Categorical Quantum Circuits

Abstract

In this paper, we extend past work done on the application of the mathematics of category theory to quantum information science. Specifically, we present a realization of a dagger-compact category that can model finite-dimensional quantum systems and explicitly allows for the interaction of systems of arbitrary, possibly unequal, dimensions. Hence our framework can handle generic tensor network states, including matrix product states. Our categorical model subsumes the traditional quantum circuit model while remaining directly and easily applicable to problems stated in the language of quantum information science. The circuit diagrams themselves now become morphisms in a category, making quantum circuits a special case of a much more general mathematical framework. We introduce the key algebraic properties of our tensor calculus diagrammatically and show how they can be applied to solve problems in the field of quantum information.

25 pages, 20 figures. Published version

References in corpus (12)

• Elementary gates for quantum computation
• Quantum Teleportation is a Universal Computational Primitive
• Conditional Quantum Dynamics and Logic Gates
• Higher-dimensional Algebra and Topological Quantum Field Theory
• Physics, Topology, Logic and Computation: A Rosetta Stone
• Measurement-based quantum computation beyond the one-way model
• Quantum NP - A Survey
• Optimal conclusive teleportation of quantum states
• One-Loop Amplitudes in Euclidean Quantum Gravity
• A Prehistory of n-Categorical Physics
• Atemporal diagrams for quantum circuits
• The three dimensions of proofs

Cited by in corpus (18)

• Tensor Networks in a Nutshell
• An introduction to operational quantum dynamics
• Categorical Tensor Network States
• Algebraically contractible topological tensor network states
• Lectures on Quantum Tensor Networks
• Quons: A 3D Language for Quantum Information
• Undecidability in Tensor Network States
• Tensor Network Methods for Invariant Theory
• A graphical calculus for integration over random diagonal unitary matrices
• Constructive Simulation and Topological Design of Protocols
• Generalized Counting Constraint Satisfaction Problems With Determinantal Circuits
• Charged String Tensor Networks
• Boosting Vector Calculus with the Graphical Notation
• On state vs. channel quantum extension problems: exact results for UxUxU symmetry
• Dominant Strategies in Two Qubit Quantum Computations
• Symmetric tensor scars with tunable entanglement from volume to area law
• Tensor Networks for Entanglement Evolution
• A diagrammatic approach to map-state and channel-state dualities