10 citations · 52 across the 17 of their papers we have counts for
18 papers
The Delayed Stabilizer ZX-Calculus
Cole Comfort, Giovanni de Felice
Many stabilizer quantum error-correcting codes are built from a finite pattern repeated across space or time, such as lattice codes, translation-invariant graph states, and quantum…
Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes
Cole Comfort, Giovanni de Felice
Time-dependent processes are often described by machines with an internal state which is updated as time evolves. An external observer cannot see this state and learns about a proc…
A dataflow programming framework for linear optical distributed quantum computing
Giovanni de Felice, Boldizsár Poór, Cole Comfort +4
Photonic systems offer a promising platform for interconnecting quantum processors and enabling scalable, networked architectures. Designing and verifying such architectures requir…
From Moore-Penrose to Markov via Gauss
Cole Comfort, Jean-Simon Pacaud Lemay
Markov categories are the central framework for categorical probability theory. Many important concepts from probability theory can be formalized in terms of Markov categories. In…
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…
The Algebra for Stabilizer Codes
Cole Comfort
There is a bijection between odd prime dimensional qudit pure stabilizer states modulo invertible scalars and affine Lagrangian subspaces of finite dimensional symplectic $\mathbb{…
Dagger linear logic and categorical quantum mechanics
Priyaa Varshinee Srinivasan
This thesis develops the categorical proof theory for the non-compact multiplicative dagger linear logic, and investigates its applications to Categorical Quantum Mechanics (CQM).…
Coend Optics for Quantum Combs
James Hefford, Cole Comfort
We compare two possible ways of defining a category of 1-combs, the first intensionally as coend optics and the second extensionally as a quotient by the operational behaviour of 1…
A Graphical Calculus for Lagrangian Relations
Cole Comfort, Aleks Kissinger
Symplectic vector spaces are the phase spaces of linear mechanical systems. The symplectic form describes, for example, the relation between position and momentum as well as curren…
Distributive Laws, Spans and the ZX-Calculus
Cole Comfort
We modularly build increasingly larger fragments of the ZX-calculus by modularly adding new generators and relations, at each point, giving some concrete semantics in terms of some…
Sheet diagrams for bimonoidal categories
Cole Comfort, Antonin Delpeuch, Jules Hedges
Bimonoidal categories (also known as rig categories) are categories with two monoidal structures, one of which distributes over the other. We formally define sheet diagrams, a grap…
The ZX&-calculus: A complete graphical calculus for classical circuits using spiders
Cole Comfort
We give a complete presentation for the fragment, ZX&, of the ZX-calculus generated by the Z and X spiders (corresponding to copying and addition) along with the not gate and the a…
Circuit Relations for Real Stabilizers: Towards TOF+H
Cole Comfort
The real stabilizer fragment of quantum mechanics was shown to have a complete axiomatization in terms of the angle-free fragment of the ZX-calculus. This fragment of the ZX-calcul…
Dagger linear logic for categorical quantum mechanics
Robin Cockett, Cole Comfort, Priyaa Srinivasan
Categorical quantum mechanics exploits the dagger compact closed structure of finite dimensional Hilbert spaces, and uses the graphical calculus of string diagrams to facilitate re…
The Category TOF
J. R. B. Cockett, Cole Comfort
We provide a complete set of identities for the symmetric monoidal category, TOF, generated by the Toffoli gate and computational ancillary bits. We do so by demonstrating that the…
The Category CNOT
Robin Cockett, Cole Comfort, Priyaa Srinivasan
We exhibit a complete set of identities for CNOT, the symmetric monoidal category generated by the controlled-not gate, the swap gate, and the computational ancillae. We prove that…