Categorical quantum circuits
From MaRDI portal
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.
Recommendations
Cited in
(18)- Classical control and quantum circuits in enriched category theory
- A graphical calculus for integration over random diagonal unitary matrices
- Quantum algorithm for K-nearest neighbors classification based on the categorical tensor network states
- Dominant strategies in two-qubit quantum computations
- Graph-theoretic quantum system modelling for information/computation processing circuits
- Dagger categories of tame relations
- Quon 3D language for quantum information
- Generalized counting constraint satisfaction problems with determinantal circuits
- Quantum speedup and categorical distributivity
- Mixed quantum states in higher categories
- A 2-categorical analysis of complementary families, quantum key distribution and the mean king problem
- TOWARDS NONCOMMUTATIVE COMPUTING
- Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation
- Constructive simulation and topological design of protocols
- From dual-unitary to biunitary: a 2-categorical model for exactly-solvable many-body quantum dynamics
- Efficient and scalable designs for ternary quantum reversible multiplexer and demultiplexer systems
- Balanced ternary reversible comparator for qutrit quantum circuits
- Topological-like features in diagrammatical quantum circuits
This page was built for publication: Categorical quantum circuits
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3015349)
