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...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	Biamonte, J
Formáid:	Report
Foilsithe / Cruthaithe:	OUCL 2015

Míreanna comhchosúla

Categorical Quantum Circuits
de réir: Bergholm, V, et al.
Foilsithe / Cruthaithe: (2015)

Visitor Notes: Jacob Biamonte − Categorical Models of Quantum Information in the Simulation of Many−Body Systems
de réir: Biamonte, J
Foilsithe / Cruthaithe: (2010)

Fault testing quantum switching circuits
de réir: Biamonte, J, et al.
Foilsithe / Cruthaithe: (2006)

Automated Test Pattern Generation for Quantum Circuits
de réir: Biamonte, J, et al.
Foilsithe / Cruthaithe: (2005)

Categorical Tensor Network States
de réir: Biamonte, S, et al.
Foilsithe / Cruthaithe: (2010)

A Categorical Model for a Quantum Circuit Description Language (Extended Abstract)
de réir: Francisco Rios, et al.
Foilsithe / Cruthaithe: (2018-02-01)

Categorical Tensor Network States
de réir: Biamonte, J, et al.
Foilsithe / Cruthaithe: (2010)

Solving search problems by strongly simulating quantum circuits
de réir: Johnson, T, et al.
Foilsithe / Cruthaithe: (2013)

Categorical quantum models and logics
de réir: Heunen, C
Foilsithe / Cruthaithe: (2009)

Categorical quantum dynamics
de réir: Gogioso, S
Foilsithe / Cruthaithe: (2016)

Categorical post-quantum theories
de réir: Hefford, J
Foilsithe / Cruthaithe: (2023)

A Categorical Quantum Logic
de réir: Abramsky, S, et al.
Foilsithe / Cruthaithe: (2006)

A Categorical Quantum Logic
de réir: Abramsky, S, et al.
Foilsithe / Cruthaithe: (2006)

Complementarity in categorical quantum mechanics
de réir: Heunen, C
Foilsithe / Cruthaithe: (2010)

No-Cloning In Categorical Quantum Mechanics
de réir: Abramsky, S
Foilsithe / Cruthaithe: (2009)

A Categorical Quantum Logic
de réir: Abramsky, S, et al.
Foilsithe / Cruthaithe: (2004)

Quantum Field Theory in Categorical Quantum Mechanics
de réir: Stefano Gogioso, et al.
Foilsithe / Cruthaithe: (2019-01-01)

Fault Models for Quantum Mechanical Switching Networks
de réir: Biamonte, J, et al.
Foilsithe / Cruthaithe: (2010)

Towards Quantum Field Theory in Categorical Quantum Mechanics
de réir: Stefano Gogioso, et al.
Foilsithe / Cruthaithe: (2018-02-01)

Operational theories and Categorical quantum mechanics
de réir: Abramsky, S, et al.
Foilsithe / Cruthaithe: (2016)

A Categorical Semantics of Quantum Protocols
de réir: Abramsky, S, et al.
Foilsithe / Cruthaithe: (2004)

Quantum channels as a categorical completion
de réir: Huot, M, et al.
Foilsithe / Cruthaithe: (2019)

Operational theories and categorical quantum mechanics
de réir: Abramsky, S, et al.
Foilsithe / Cruthaithe: (2012)

A categorical semantics of quantum protocols
de réir: Abramsky, S, et al.
Foilsithe / Cruthaithe: (2004)

Causal structure in categorical quantum mechanics
de réir: Lal, R
Foilsithe / Cruthaithe: (2012)

A Categorical semantics of Quantum Protocols
de réir: Abramsky, S, et al.
Foilsithe / Cruthaithe: (2004)

Quantum current and holographic categorical symmetry
de réir: Tian Lan, Jing-Ren Zhou
Foilsithe / Cruthaithe: (2024-02-01)

A Categorical Reconstruction of Quantum Theory
de réir: Sean Tull
Foilsithe / Cruthaithe: (2020-01-01)

Infinite-dimensional Categorical Quantum Mechanics
de réir: Stefano Gogioso, et al.
Foilsithe / Cruthaithe: (2017-01-01)

Categorical Formulation of Finite-Dimensional Quantum Algebras
de réir: Vicary, J
Foilsithe / Cruthaithe: (2011)

Categorical formulation of finite−dimensional quantum algebras
de réir: Vicary, J
Foilsithe / Cruthaithe: (2010)

A categorical framework for the quantum harmonic oscillator
de réir: Vicary, J
Foilsithe / Cruthaithe: (2008)

Racing a quantum computer through Minkowski spacetime
de réir: Biamonte, J
Foilsithe / Cruthaithe: (2010)

Interacting Quantum Observables: Categorical Algebra and Diagrammatics
de réir: Coecke, B, et al.
Foilsithe / Cruthaithe: (2009)

Environment and classical channels in categorical quantum mechanics
de réir: Coecke, B, et al.
Foilsithe / Cruthaithe: (2010)

Environment and classical channels in categorical quantum mechanics
de réir: Bob Coecke, et al.
Foilsithe / Cruthaithe: (2012-11-01)

Dagger linear logic for categorical quantum mechanics
de réir: Robin Cockett, et al.
Foilsithe / Cruthaithe: (2021-11-01)

Total and Partial Computation in Categorical Quantum Foundations
de réir: Kenta Cho
Foilsithe / Cruthaithe: (2015-11-01)

A 2-categorical approach to composing quantum structures
de réir: Reutter, D, et al.
Foilsithe / Cruthaithe: (2017)

A Circuit Topology Approach to Categorizing Changes in Biomolecular Structure
de réir: Otto Schullian, et al.
Foilsithe / Cruthaithe: (2020-01-01)