Categorical Models of Quantum Circuits

Categorical Models of Quantum Circuits

It is shown that equations that hold in appropriate monoidal categories have an explicit representation in terms of quantum circuits. Hence, we adjust and map the graphical calculus of Abramsky and Coecke's categorical axiomatization of quantum theory onto quantum circuits, making a suitable ex...

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awdur:	Biamonte, J
Fformat:	Report
Cyhoeddwyd:	OUCL 2015

Eitemau Tebyg

Categorical Quantum Circuits
gan: Bergholm, V, et al.
Cyhoeddwyd: (2015)

Visitor Notes: Jacob Biamonte − Categorical Models of Quantum Information in the Simulation of Many−Body Systems
gan: Biamonte, J
Cyhoeddwyd: (2010)

Fault testing quantum switching circuits
gan: Biamonte, J, et al.
Cyhoeddwyd: (2006)

Automated Test Pattern Generation for Quantum Circuits
gan: Biamonte, J, et al.
Cyhoeddwyd: (2005)

Categorical Tensor Network States
gan: Biamonte, S, et al.
Cyhoeddwyd: (2010)

A Categorical Model for a Quantum Circuit Description Language (Extended Abstract)
gan: Francisco Rios, et al.
Cyhoeddwyd: (2018-02-01)

Categorical Tensor Network States
gan: Biamonte, J, et al.
Cyhoeddwyd: (2010)

Solving search problems by strongly simulating quantum circuits
gan: Johnson, T, et al.
Cyhoeddwyd: (2013)

Categorical quantum models and logics
gan: Heunen, C
Cyhoeddwyd: (2009)

Categorical quantum dynamics
gan: Gogioso, S
Cyhoeddwyd: (2016)

Categorical post-quantum theories
gan: Hefford, J
Cyhoeddwyd: (2023)

A Categorical Quantum Logic
gan: Abramsky, S, et al.
Cyhoeddwyd: (2006)

A Categorical Quantum Logic
gan: Abramsky, S, et al.
Cyhoeddwyd: (2006)

Complementarity in categorical quantum mechanics
gan: Heunen, C
Cyhoeddwyd: (2010)

No-Cloning In Categorical Quantum Mechanics
gan: Abramsky, S
Cyhoeddwyd: (2009)

A Categorical Quantum Logic
gan: Abramsky, S, et al.
Cyhoeddwyd: (2004)

Quantum Field Theory in Categorical Quantum Mechanics
gan: Stefano Gogioso, et al.
Cyhoeddwyd: (2019-01-01)

Fault Models for Quantum Mechanical Switching Networks
gan: Biamonte, J, et al.
Cyhoeddwyd: (2010)

Towards Quantum Field Theory in Categorical Quantum Mechanics
gan: Stefano Gogioso, et al.
Cyhoeddwyd: (2018-02-01)

Operational theories and Categorical quantum mechanics
gan: Abramsky, S, et al.
Cyhoeddwyd: (2016)

A Categorical Semantics of Quantum Protocols
gan: Abramsky, S, et al.
Cyhoeddwyd: (2004)

Quantum channels as a categorical completion
gan: Huot, M, et al.
Cyhoeddwyd: (2019)

Operational theories and categorical quantum mechanics
gan: Abramsky, S, et al.
Cyhoeddwyd: (2012)

A categorical semantics of quantum protocols
gan: Abramsky, S, et al.
Cyhoeddwyd: (2004)

Causal structure in categorical quantum mechanics
gan: Lal, R
Cyhoeddwyd: (2012)

A Categorical semantics of Quantum Protocols
gan: Abramsky, S, et al.
Cyhoeddwyd: (2004)

Quantum current and holographic categorical symmetry
gan: Tian Lan, Jing-Ren Zhou
Cyhoeddwyd: (2024-02-01)

A Categorical Reconstruction of Quantum Theory
gan: Sean Tull
Cyhoeddwyd: (2020-01-01)

Infinite-dimensional Categorical Quantum Mechanics
gan: Stefano Gogioso, et al.
Cyhoeddwyd: (2017-01-01)

Categorical Formulation of Finite-Dimensional Quantum Algebras
gan: Vicary, J
Cyhoeddwyd: (2011)

Categorical formulation of finite−dimensional quantum algebras
gan: Vicary, J
Cyhoeddwyd: (2010)

A categorical framework for the quantum harmonic oscillator
gan: Vicary, J
Cyhoeddwyd: (2008)

Racing a quantum computer through Minkowski spacetime
gan: Biamonte, J
Cyhoeddwyd: (2010)

Interacting Quantum Observables: Categorical Algebra and Diagrammatics
gan: Coecke, B, et al.
Cyhoeddwyd: (2009)

Environment and classical channels in categorical quantum mechanics
gan: Coecke, B, et al.
Cyhoeddwyd: (2010)

Environment and classical channels in categorical quantum mechanics
gan: Bob Coecke, et al.
Cyhoeddwyd: (2012-11-01)

Dagger linear logic for categorical quantum mechanics
gan: Robin Cockett, et al.
Cyhoeddwyd: (2021-11-01)

Total and Partial Computation in Categorical Quantum Foundations
gan: Kenta Cho
Cyhoeddwyd: (2015-11-01)

A 2-categorical approach to composing quantum structures
gan: Reutter, D, et al.
Cyhoeddwyd: (2017)

A Circuit Topology Approach to Categorizing Changes in Biomolecular Structure
gan: Otto Schullian, et al.
Cyhoeddwyd: (2020-01-01)