194 citations · 1.2k across the 78 of their papers we have counts for
7 papers · 1 filter
The ZX-calculus as a Language for Topological Quantum Computation
Fatimah Rita Ahmadi, Aleks Kissinger
Unitary fusion categories formalise the algebraic theory of topological quantum computation. These categories come naturally enriched in a subcategory of the category of Hilbert sp…
On the Pre- and Promonoidal Structure of Spacetime
James Hefford, Aleks Kissinger
The notion of a joint system, as captured by the monoidal (a.k.a. tensor) product, is fundamental to the compositional, process-theoretic approach to physical theories. Promonoidal…
Higher-order causal theories are models of BV-logic
Will Simmons, Aleks Kissinger
The Caus[-] construction takes a compact closed category of basic processes and yields a *-autonomous category of higher-order processes obeying certain signalling/causality constr…
Quantum Supermaps are Characterized by Locality
Matt Wilson, Giulio Chiribella, Aleks Kissinger
We provide a new characterisation of quantum supermaps in terms of an axiom that refers only to sequential and parallel composition. Consequently, we generalize quantum supermaps t…
Phase-free ZX diagrams are CSS codes (...or how to graphically grok the surface code)
Aleks Kissinger
In this paper, we demonstrate a direct correspondence between phase-free ZX diagrams, a graphical notation for representing and manipulating a certain class of linear maps on qubit…
Classical simulation of quantum circuits with partial and graphical stabiliser decompositions
Aleks Kissinger, John van de Wetering, Renaud Vilmart
Recent developments in classical simulation of quantum circuits make use of clever decompositions of chunks of magic states into sums of efficiently simulable stabiliser states. We…