BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:The Quantum Monad on Relational Structures - Nadish de Silva (Univ
 ersity of Cambridge)
DTSTART:20191108T140000Z
DTEND:20191108T150000Z
UID:TALK133246@talks.cam.ac.uk
CONTACT:Jean Pichon-Pharabod
DESCRIPTION:Homomorphisms between relational structures play a central rol
 e in finite model theory\, constraint satisfaction and database theory. A 
 central theme in quantum computation is to show how quantum resources can 
 be used to gain advantage in information processing tasks. In particular\,
  non-local games have been used to exhibit quantum advantage in boolean co
 nstraint satisfaction\, and to obtain quantum versions of graph invariants
  such as the chromatic number. We show how quantum strategies for homomorp
 hism games between relational structures can be viewed as Kleisli morphism
 s for a quantum monad on the (classical) category of relational structures
  and homomorphisms. We show a general connection between these notions and
  state-independent quantum realizations of strong contextuality in the Abr
 amsky-Brandenburger formulation of contextuality. We use these results to 
 exhibit a wide range of examples of contextuality-powered quantum advantag
 e\, and to unify several apparently diverse strands of previous work.\nhtt
 ps://arxiv.org/abs/1705.07310
LOCATION:FW26
END:VEVENT
END:VCALENDAR