5 papers
Quantum Orchestras: a Concrete Semantics for Recursive Hybrid Programs
Alex Rice, Dominik Leichtle, Kim Worrall +1
Many production quantum programming languages represent hybrid quantum computations by extending a classical base language with a quantum effect, where qubits are addressed by refe…
Composing Quantum Instruments
Robert I. Booth, Dominik Leichtle, Alex Rice +1
We study the composition of classically-controlled quantum instruments--the natural quantum analogue of Markov kernels. Classically, Markov kernels compose by integrating one kerne…
Denotational semantics for stabiliser quantum programs
Robert I. Booth, Cole Comfort
The stabiliser fragment of quantum theory is a foundational building block for quantum error correction and the fault-tolerant compilation of quantum programs. In this article, we…
Complete equational theories for classical and quantum Gaussian relations
Robert I. Booth, Titouan Carette, Cole Comfort
We give generators and relations for the hypergraph props of Gaussian relations and positive affine Lagrangian relations. The former extends Gaussian probabilistic processes by com…
Graphical Symplectic Algebra
Robert I. Booth, Titouan Carette, Cole Comfort
We give complete presentations for the dagger-compact props of affine Lagrangian and coisotropic relations over an arbitrary field. This provides a unified family of graphical lang…