Search Results - "Kissinger, Aleks"

ZH: A Complete Graphical Calculus for Quantum Computations Involving Classical Non-linearity by Backens, Miriam, Kissinger, Aleks

“…We present a new graphical calculus that is sound and complete for a universal family of quantum circuits, which can be seen as the natural string-diagrammatic…”
Get full text

Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus by Duncan, Ross, Kissinger, Aleks, Perdrix, Simon, van de Wetering, John

“…We present a completely new approach to quantum circuit optimisation, based on the ZX-calculus. We first interpret quantum circuits as ZX-diagrams, which…”
Get full text

A categorical semantics for causal structure by Aleks Kissinger, Sander Uijlen

“…We present a categorical construction for modelling causal structures within a general class of process theories that include the theory of classical…”
Get full text

Universal MBQC with generalised parity-phase interactions and Pauli measurements by Kissinger, Aleks, van de Wetering, John

“…We introduce a new family of models for measurement-based quantum computation which are deterministic and approximately universal. The resource states which…”
Get full text

Globular: an online proof assistant for higher-dimensional rewriting by Krzysztof Bar, Aleks Kissinger, Jamie Vicary

“…This article introduces Globular, an online proof assistant for the formalization and verification of proofs in higher-dimensional category theory. The tool…”
Get full text

Picturing Indefinite Causal Structure by Kissinger, Aleks, Uijlen, Sander

“…Following on from the notion of (first-order) causality, which generalises the notion of being tracepreserving from CP-maps to abstract processes, we give a…”
Get full text

Completely positive projections and biproducts by Heunen, Chris, Kissinger, Aleks, Selinger, Peter

“…The recently introduced CP*–construction unites quantum channels and classical systems, subsuming the earlier CPM–construction in categorical quantum…”
Get full text

Pattern graph rewrite systems by Kissinger, Aleks, Merry, Alex, Soloviev, Matvey

“…String diagrams are a powerful tool for reasoning about physical processes, logic circuits, tensor networks, and many other compositional structures. Dixon,…”
Get full text

Strong Complementarity and Non-locality in Categorical Quantum Mechanics by Coecke, B., Duncan, R., Kissinger, A., Quanlong Wang

“…Categorical quantum mechanics studies quantum theory in the framework of dagger-compact closed categories. Using this framework, we establish a tight…”
Get full text

Tensors, !-graphs, and non-commutative quantum structures by Kissinger, Aleks, Quick, David

“…Categorical quantum mechanics (CQM) and the theory of quantum groups rely heavily on the use of structures that have both an algebraic and co-algebraic…”
Get full text

Graphs with Trivial Overlap are Context-Free by Kissinger, Aleks, Zamdzhiev, Vladimir

“…String diagrams are a powerful tool for reasoning about composite structures in symmetric monoidal categories. By representing string diagrams as graphs,…”
Get full text

Tinker, tailor, solver, proof by Grov, Gudmund, Kissinger, Aleks, Lin, Yuhui

“…We introduce Tinker, a tool for designing and evaluating proof strategies based on proof-strategy graphs, a formalism previously introduced by the authors. We…”
Get full text

Categories of Quantum and Classical Channels (extended abstract) by Coecke, Bob, Heunen, Chris, Kissinger, Aleks

“…We introduce the CP*–construction on a dagger compact closed category as a generalisation of Selinger's CPM-construction. While the latter takes a dagger…”
Get full text

PyZX: Large Scale Automated Diagrammatic Reasoning by Kissinger, Aleks, van de Wetering, John

Get full text

The CBH characterisation theorem beyond algebraic quantum theory by Heunen, Chris, Kissinger, Aleks

“…The CBH theorem characterises quantum theory within a C*-algebraic framework. Namely, mathematical properties of C*-algebras modelling quantum systems are…”
Get full text

A categorical semantics for causal structure by Kissinger, Aleks, Uijlen, Sander

“…We present a categorical construction for modelling both definite and indefinite causal structures within a general class of process theories that include…”
Get full text

Procedurally Optimised ZX-Diagram Cutting for Efficient T-Decomposition in Classical Simulation by Sutcliffe, Matthew, Kissinger, Aleks

Get full text

Identification of Causal Influences in Quantum Processes by Friend, Isaac, Kissinger, Aleks

Get full text

On the Pre- and Promonoidal Structure of Spacetime by Hefford, James, Kissinger, Aleks

Get full text

Global Synthesis of CNOT Circuits with Holes by Murphy, Ewan, Kissinger, Aleks

Get full text