constructive mathematics, realizability, computability
propositions as types, proofs as programs, computational trinitarianism
algebraic quantum field theory (perturbative, on curved spacetimes, homotopical)
quantum mechanical system, quantum probability
interacting field quantization
Quantum computation is computation in terms of quantum information theory, possibly implemented on quantum computers, hence on physical systems for which phenomena of quantum mechanics are not negligible. In terms of computational trinitarianism quantum computation is the computation corresponding to (some kind of) quantum logic.
Specifically, topological quantum computation is (or is meant to be) quantum computation implemented on physical systems governed by topological quantum field theory, such as Chern-Simons theory. A prominent example of this is the (fractional) quantum Hall effect in solid state physics.
There are arguments that a good formal context for quantum computing is (via computational trinitarianism) linear logic/linear type theory (e.g. Lago-Faffian 12). See also at quantum logic.
Shor's algorithm?
General discussions include
Michael A. Nielsen, Isaac L. Chuang, Quantum computation and quantum information, Cambridge University Press 2000 (pdf)
Jens Eisert, M. M. Wolf, Quantum computing, In: Handbook of Nature-Inspired and Innovative Computing, Springer 2006 (arXiv:quant-ph/0401019)
Greg Kuperberg, A concise introduction to quantum probability, quantum mechanics, and quantum computation, 2005 (pdf)
Michael Loceff, A course in quantum computing, 2013 (pdf)
Wikipedia, Quantum computation
Scott Aaronson, Lecture notes Quantum Computing Since Democritus 2006 (web)
National Academies of Sciences, Engineering, and Medicine, Quantum Computing: Progress and Prospects, The National Academies Press 2019 (doi:10.17226/25196)
Discussion in terms of finite quantum mechanics in terms of dagger-compact categories:
Discussion of quantum computation as the internal linear logic/linear type theory of compact closed categories is in
Samson Abramsky, Ross Duncan, A Categorical Quantum Logic, Mathematical Structures in Computer Science, 2006 (arXiv:quant-ph/0512114)
Ross Duncan, Types for quantum mechanics, 2006 (pdf, slides)
Ugo Dal Lago, Claudia Faggian, On Multiplicative Linear Logic, Modality and Quantum Circuits (arXiv:1210.0613)
An exposition along these lines is in
Discussion of aspects of quantum computing in terms of monads in functional programming are in
Thorsten Altenkirch, Alexander Green, The quantum IO monad, in Semantic Techniques in Quantum Computation, January 2009, appeared in 2010 (pdf, talk slides)
Thorsten Altenkirch, Jonathan Grattage, A functional quantum programming language (pdf)
J. K. Vizzotto, Thorsten Altenkirch, A. Sabry, Structuring quantum effects: superoperators as arrows (arXiv:quant-ph/0501151)
topological quantum computation is discussed in
Michael Freedman, Alexei Kitaev, Michael J. Larsen, Zhenghan Wang, Topological Quantum Computation (arXiv:quant-ph/0101025)
Zhenghan Wang, Topologization of electron liquids with Chern-Simons theory and quantum computation (arXiv:cond-mat/0601285)
Michael Freedman, Michael Larsen, Zhenghan Wang, A modular functor which is universal for quantum computation (arXiv:quant-ph/0001108)
Alexei Kitaev, Fault-tolerant quantum computation by anyons, Annals Phys. 303 (2003) 2-30 (arXiv:quant-ph/9707021)
Relation to tensor networks, specifically matrix product states:
Last revised on January 6, 2021 at 18:21:49. See the history of this page for a list of all contributions to it.