PLDI 2024
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark
Mon 24 Jun 2024 17:20 - 17:40 at Copenhagen - Session 4

Central to near-term quantum machine learning is the use of hybrid quantum-classical algorithms. This paper develops a formal framework for describing these algorithms in terms of string diagrams: a key step towards integrating these hybrid algorithms into existing work using string diagrams for machine learning and differentiable programming. A notable feature of our string diagrams is the use of functor boxes, which corresponds to a quantum-classical interface. The functor used is a lax monoidal functor embedding the quantum systems into classical, and the lax monoidality imposes restrictions on the string diagrams when extracting classical data from quantum systems via measurement.

Mon 24 Jun

Displayed time zone: Windhoek change

16:00 - 18:00
Session 4WQS at Copenhagen
16:00
40m
Keynote
Mitiq, a toolbox for quantum error mitigation and error suppression
WQS
Nathan Shammah Unitary Fund
16:40
20m
Talk
Quantum Backtracking in Qrisp Applied to Sudoku Problems
WQS
Raphael Seidel Fraunhofer Institute for Open Communication Systems, Zander René , Matic Petrič , Niklas Steinmann , David Liu , Nikolay Tcholtchev Fraunhofer Institute for Open Communication Systems, Manfred Hauswirth Fraunhofer Institute for Open Communication Systems, TU Berlin
17:00
20m
Talk
Classical Shadows for Property-Based Testing of Quantum Programs
WQS
Gabriel Joseph Pontolillo King's College London, Connor Lenihan King's College London, Mohammad Reza Mousavi King's College London, George Booth King's College London
17:20
20m
Talk
Hybrid Quantum-Classical Machine Learning with String Diagrams
WQS
Alexander Koziell-Pipe University of Oxford, Aleks Kissinger University of Oxford
17:40
20m
Talk
Classical Simulation of Quantum Circuits with Partial Interference Effects
WQS
Sinan Pehlivanoglu Indiana University, Amr Sabry Indiana University