BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:A dataflow programming framework for linear optical distributed qu
 antum computing - Lia Yeh\, Department of Computer Science and Technology\
 , University of Cambridge
DTSTART:20260127T110000Z
DTEND:20260127T115000Z
UID:TALK243139@talks.cam.ac.uk
CONTACT:Lia Yeh
DESCRIPTION:This paper is published in Quantum at https://doi.org/10.22331
 /q-2026-01-19-1972\n\nThis talk is hybrid for those away. The Teams link i
 s\n"https://teams.microsoft.com/l/meetup-join/19%3ameeting_M2EyOGQyMDktMjA
 0Mi00MjdjLWFmYjctNzEwZTUxNWIxMWIy%40thread.v2/0?context=%7b%22Tid%22%3a%22
 49a50445-bdfa-4b79-ade3-547b4f3986e9%22%2c%22Oid%22%3a%2228078a22-fcba-4cc
 d-a277-59447941c01d%22%7d":https://teams.microsoft.com/l/meetup-join/19%3a
 meeting_M2EyOGQyMDktMjA0Mi00MjdjLWFmYjctNzEwZTUxNWIxMWIy%40thread.v2/0?con
 text=%7b%22Tid%22%3a%2249a50445-bdfa-4b79-ade3-547b4f3986e9%22%2c%22Oid%22
 %3a%2228078a22-fcba-4ccd-a277-59447941c01d%22%7d\n\nAbstract:\nPhotonic sy
 stems offer a promising platform for interconnecting quantum processors an
 d enabling scalable\, networked architectures. Designing and verifying suc
 h architectures requires a unified formalism that integrates linear algebr
 aic reasoning with probabilistic and control-flow structures. In this work
 \, we introduce a graphical framework for distributed quantum computing th
 at brings together linear optics\, the ZX-calculus\, and dataflow programm
 ing. Our language supports the formal analysis and optimization of distrib
 uted protocols involving both qubits and photonic modes\, with explicit in
 terfaces for classical control and feedforward\, all expressed within a sy
 nchronous dataflow model with discrete-time dynamics. Within this setting\
 , we classify entangling photonic fusion measurements\, show how their ind
 uced Pauli errors can be corrected via a novel flow structure for fusion n
 etworks\, and establish correctness proofs for new repeat-until-success pr
 otocols enabling arbitrary fusions. Layer by layer\, we construct qubit ar
 chitectures incorporating practical optical components such as beam splitt
 ers\, switches\, and photon sources\, with graphical proofs that they are 
 deterministic and support universal quantum computation. Together\, these 
 results establish a foundation for verifiable compilation and automated op
 timization in networked quantum computing.
LOCATION:Computer Laboratory\, William Gates Building\, Room FW11
END:VEVENT
END:VCALENDAR