403 citations · 1.6k across the 34 of their papers we have counts for
5 papers · 1 filter
Classifying all mutually unbiased bases in Rel
Julia Evans, Ross Duncan, Alex Lang +1
Finding all the mutually unbiased bases in various dimensions is a problem of fundamental interest in quantum information theory and pure mathematics. The general problem formulate…
Interacting Quantum Observables: Categorical Algebra and Diagrammatics
Bob Coecke, Ross Duncan
This paper has two tightly intertwined aims: (i) To introduce an intuitive and universal graphical calculus for multi-qubit systems, the ZX-calculus, which greatly simplifies deriv…
Generalised Proof-Nets for Compact Categories with Biproducts
Ross Duncan
Just as conventional functional programs may be understood as proofs in an intuitionistic logic, so quantum processes can also be viewed as proofs in a suitable logic. We describe…
Graphical Reasoning in Compact Closed Categories for Quantum Computation
Lucas Dixon, Ross Duncan
Compact closed categories provide a foundational formalism for a variety of important domains, including quantum computation. These categories have a natural visualisation as a for…
Graphs States and the necessity of Euler Decomposition
Ross Duncan, Simon Perdrix
Coecke and Duncan recently introduced a categorical formalisation of the interaction of complementary quantum observables. In this paper we use their diagrammatic language to study…