BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//talks.cam.ac.uk//v3//EN
BEGIN:VTIMEZONE
TZID:Europe/London
BEGIN:DAYLIGHT
TZOFFSETFROM:+0000
TZOFFSETTO:+0100
TZNAME:BST
DTSTART:19700329T010000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0100
TZOFFSETTO:+0000
TZNAME:GMT
DTSTART:19701025T020000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
CATEGORIES:Logic and Semantics Seminar (Computer Laboratory)
SUMMARY:Quantum Things 2 - The quantum monad on relational
structures - Nadish de Silva (University of Cambr
idge)
DTSTART;TZID=Europe/London:20191115T140000
DTEND;TZID=Europe/London:20191115T150000
UID:TALK134608AThttp://talks.cam.ac.uk
URL:http://talks.cam.ac.uk/talk/index/134608
DESCRIPTION:Note the unusual location.\n\nHomomorphisms betwee
n relational structures play a central role in fin
ite model theory\, constraint satisfaction and dat
abase theory. A central theme in quantum computati
on is to show how quantum resources can be used to
gain advantage in information processing tasks. I
n particular\, non-local games have been used to e
xhibit quantum advantage in boolean constraint sat
isfaction\, and to obtain quantum versions of grap
h invariants such as the chromatic number. We show
how quantum strategies for homomorphism games bet
ween relational structures can be viewed as Kleisl
i morphisms for a quantum monad on the (classical)
category of relational structures and homomorphis
ms. We show a general connection between these not
ions and state-independent quantum realizations of
strong contextuality in the Abramsky-Brandenburge
r formulation of contextuality. We use these resul
ts to exhibit a wide range of examples of contextu
ality-powered quantum advantage\, and to unify sev
eral apparently diverse strands of previous work.
LOCATION:SS03
CONTACT:Jean Pichon-Pharabod
END:VEVENT
END:VCALENDAR