BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:The Role of piracy in quantum proofs - Alex Grilo (Sorbonne Univer
 sité)
DTSTART:20250310T140000Z
DTEND:20250310T150000Z
UID:TALK227752@talks.cam.ac.uk
CONTACT:Tom Gur
DESCRIPTION:A well-known feature of quantum information is that it cannot\
 , in general\, be cloned. Recently\, a number of quantum-enabled informati
 on-processing tasks have demonstrated various forms of uncloneability\; am
 ong these forms\, piracy is an adversarial model that gives maximal power 
 to the adversary\, in controlling both a cloning-type attack\, as well as 
 the evaluation/verification stage.\n\nHere\, we initiate the study of anti
 -piracy proof systems\, which are proof systems that inherently prevent pi
 racy attacks. We define anti-piracy proof systems\, demonstrate such a pro
 of system for an oracle problem\, and also describe a candidate anti-pirac
 y proof system for NP.\n\nWe also study quantum proof systems that are clo
 neable and settle the famous QMA vs. QMA(2) debate in this setting. Lastly
 \, we discuss how one can approach the QMA vs. QCMA question by studying i
 ts cloneable variants.
LOCATION:Computer Laboratory\, William Gates Building\, Room SS03
END:VEVENT
END:VCALENDAR