Book contents
- Frontmatter
- Contents
- Preface
- Introduction
- 1 A (very) brief tour of quantum mechanics, computation, and category theory
- 2 Could logic be empirical? The Putnam-Kripke debate
- 3 The essence of quantum theory for computers
- 4 Fiber products of measures and quantum foundations
- 5 Operational theories and categorical quantum mechanics
- 6 Relating operator spaces via adjunctions
- 7 Topos-based logic for quantum systems and bi-Heyting algebras
- 8 The logic of quantum mechanics – Take II
- 9 Reasoning about meaning in natural language with compact closed categories and Frobenius algebras
- 10 Knot logic and topological quantum computing with Majorana fermions
- Index
- References
10 - Knot logic and topological quantum computing with Majorana fermions
Published online by Cambridge University Press: 05 June 2016
Book contents
- Frontmatter
- Contents
- Preface
- Introduction
- 1 A (very) brief tour of quantum mechanics, computation, and category theory
- 2 Could logic be empirical? The Putnam-Kripke debate
- 3 The essence of quantum theory for computers
- 4 Fiber products of measures and quantum foundations
- 5 Operational theories and categorical quantum mechanics
- 6 Relating operator spaces via adjunctions
- 7 Topos-based logic for quantum systems and bi-Heyting algebras
- 8 The logic of quantum mechanics – Take II
- 9 Reasoning about meaning in natural language with compact closed categories and Frobenius algebras
- 10 Knot logic and topological quantum computing with Majorana fermions
- Index
- References
Summary
Abstract. This paper is an introduction to relationships between quantum topology and quantum computing. We show how knots are related not just to braiding and quantum operators, but to quantum set theoretical foundations, algebras of fermions, and we show how the operation of negation in logic, seen as both a value and an operator, can generate the fusion algebra for a Majorana fermion. We call negation in this mode the mark, as it operates on itself to change from marked to unmarked states. The mark viewed recursively as a simplest discrete dynamical system naturally generates the fermion algebra, the quaternions and the braid group representations related to Majorana fermions. The paper begins with these fundamentals. It then discusses unitary solutions to the Yang-Baxter equation that are universal quantum gates, quantum entanglement and topological entanglement, and gives an exposition of knot-theoretic recoupling theory, its relationship with topological quantum field theory and applies these methods to produce unitary representations of the braid groups that are dense in the unitary groups. These methods are rooted in the bracket state sum model for the Jones polynomial. A self-contained study of the quantum universal Fibonacci model is given. Results are applied to give quantum algorithms for the computation of the colored Jones polynomials for knots and links, and theWitten-Reshetikhin-Turaev invariant of three manifolds. Two constructions are given for the Fibonacci model, one based in Temperley-Lieb recoupling theory, the other quite elementary and also based on the Temperley-Lieb algebra. This paper begins an exploration of quantum epistemology in relation to the structure of discrimination as the underpinning of basic logic, perception and measurement.
Introduction. This paper is an introduction to relationships between quantum topology and quantum computing. We take a foundational approach, showing how knots are related not just to braiding and quantum operators, but to quantum set theoretical foundations and algebras of fermions. We show how the operation of negation in logic, seen as both a value and an operator, can generate the fusion algebra for a Majorana fermion, a particle that is its own anti-particle and interacts with itself either to annihilate itself or to produce itself. We call negation in this mode the mark, as it operates on itself to change from marked to unmarked states.
- Type
- Chapter
- Information
- Logic and Algebraic Structures in Quantum Computing , pp. 223 - 336Publisher: Cambridge University PressPrint publication year: 2016
References
[1] and , Categorical quantum mechanics, Handbook of Quantum Logic and Quantum Structures: Quantum Logic, Elsevier/North-Holland, Amsterdam, 2009, pp. 261–323.
[2] and , The BQP-hardness of approximating the Jones polynomial, quant-ph/0605181.
[3] , , and , A polynomial quantum algorithm for approximating the Jones polynomial, STOC'06: Proceedings of the 38th Annual ACM Symposium on Theory of Computing (New York), ACM, 2006, quant-ph/0511096, pp. 427–436.
[4] and , Knot invariants and critical statistical systems, J. Phys. Soc. Japan, vol. 56 (1987), pp. 839–842.Google Scholar
[5] , Borromean entanglement of the GHZ state, Potentiality, Entanglement and Passion-at-a-Distance ( et al., editors), Kluwer, 1997, pp. 53–59.
[6] , The Geometry and Physics of Knots, Cambridge University Press, 1990.
[7] , Exactly Solved Models in Statistical Mechanics, Acad. Press, 1982.
[8] , Search for majorana fermions in superconductors, arXiv: 1112.1950.
[9] , Commuting actions – a tale of two groups, Lie algebras and their representations (Seoul 1995), Contemp. Math. Series, vol. 194, American Mathematical Society, 1996, pp. 1–46.
[10] , , , and , Braid topologies for quantum computation, Physical Review Letters, vol. 95 (2005), pp. 140503, 4 pp., quant-ph/0505665.Google Scholar
[11] and , Universal quantum gates, Mathematics of Quantum Computation ( and , editors), Chapman & Hall/CRC Press, Boca Raton, Florida, 2002.
[12] , , and (editors), Mathematics in Quantum Computation and Quantum Technology, Chapman & Hall/CRC, 2007.
[13] , The logic of entanglement, quant-phy/0402014.
[14] , 2-d physics and 3-d topology, Communications in Mathematical Physics, vol. 135 (1991), pp. 615–640.Google Scholar
[15] , Principles of Quantum Mechanics, Oxford University Press, 1958.
[16] , Unitary solutions to the yang-baxter equation in dimension four, Quantum Inf. Process, vol. 2 (2002/3), pp. 117–151, arXiv:quant-ph/0211050.Google Scholar
[17] and , A calculus for rational tangles: Applications to DNA recombination, Mathematical Proceedings of the Cambridge Philosophical Society, vol. 108 (1990), pp. 489–515.Google Scholar
[18] , Quantum Relativity: A Synthesis of the Ideas of Einstein and Heisenberg, Springer-Verlag, 1996.
[19] and , Realizing non-abelian statistics in time-reversal invariant systems, Theory Seminar, Physics Department, UIUC, 4/25/2005.Google Scholar
[20] , Topological views on computational complexity, Documenta Mathematica, Extra Volume, ICM, 1998, pp. 453–464.
[21] , Quantum computation and the localization of modular functors, Foundations of Computational Mathematics, vol. 1 (2001), pp. 183–204, quant-ph/0003128.
[22] , A magnetic model with a possible chern-simons phase, Communications in Mathematical Physics, vol. 234 (2003), pp. 129–183, With an appendix by and ; quant-ph/0110060v1 9 Oct 2001.Google Scholar
[23] , , and , A modular functor which is universal for quantum computation, Communications in Mathematical Physics, vol. 227 (2002), pp. 605–622, quant-ph/0001108v2, 1 Feb 2000.Google Scholar
[24] , , and , Simulation of topological field theories by quantum computers, Communications in Mathematical Physics, vol. 227 (2002), pp. 587–603, quant-ph/0001071.Google Scholar
[25] , , and , Quantum automata, braid group and link polynomials, quant-ph/0601169.
[26] , Topological quantum computation with the universal R matrix for Ising anyons, Lie Theory and Its Applications in Physics VII (Sofia) ( and , editors), Heron Press, 2008, pp. 256–265.
[27] , The Yang-Baxter equations and invariants of links, Inventiones mathematicae, vol. 92, Fasc. 3, pp. 527–553, LOMI preprint E-3-87, Steklov Institute, Leningrad, USSR.
[28] , Non-abelian statistics of half-quantum vortices in p-wave superconductors, Physical Review Letters, vol. 86 (2001), p. 268.Google Scholar
[29] , Hecke algebra representations of braid groups and link polynomials, Annals of Mathematics, vol. 126 (1987), pp. 335–338.Google Scholar
[30] , On knot invariants related to some statistical mechanics models, Pacific J. Math., vol. 137 (1989), pp. 311–334.Google Scholar
[31] , Reflexivity and foundations of physics, Search for Fundamental Theory, The VIIth Intenational Symposium Honoring French Mathematical Physicist Jean-Pierre Vigier, Imperial College, London, UK, 12-14 July 2010 () (, , and , editors), AIP, American Institute of Physics Pub., pp. 48–89.
[32] , Space and time in computation, topology and discrete physics, Proceedings of the Workshop on Physics and Computation, PhysComp ’94, Nov. 1994, Dallas, Texas, IEEE Computer Society Press, pp. 44–53.
[33] , Sign and space, Religious Experience and Scientific Paradigms. Proceedings of the 1982 IASWR Conference, Stony Brook (New York), Institute of Advanced Study of World Religions, 1985, pp. 118–164.
[34] , Self-reference and recursive forms, Journal of Social and Biological Structures, vol. 10 (1987), pp. 53–72.Google Scholar
[36] , New invariants in the theory of knots, Amer. Math. Monthly, vol. 95 (1988), pp. 195–242.Google Scholar
[37] , Statistical mechanics and the Jones polynomial, AMS Contemp. Math. Series, vol. 78 (1989), pp. 263–297.Google Scholar
[38] , An invariant of regular isotopy, Trans. Amer. Math. Soc., vol. 318 (1990), pp. 417–471.Google Scholar
[39] , Knots and Physics, World Scientific Publishers, 1991, Second Edition (1993), Third Edition (2002), Fourth Edition (2012).
[40] , Temperley-Lieb Recoupling Theory and Invariants of Three-Manifolds, Annals Studies, vol. 114, Princeton University Press, 1994.
[41] , Knot logic, Knots and Applications (, editor), World Scientific Pub., 1995, pp. 1–110.
[42] (editor), Knots and Applications, World Scientific Pub., 1995.
[43] (editor), The Interface of Knots and Physics, AMS PSAPM, vol. 51, American Mathematical Society, Providence, RI, 1996. KNOT LOGIC AND TOPOLOGICAL QUANTUM COMPUTING 333
[44] (editor), Quantum computing and the Jones polynomial, Quantum Computation and Information (, editor), AMS CONM/305, American Mathematical Society, 2002, math.QA/0105255, pp. 101–137.
[45] (editor), Time imaginary value, paradox sign and space, Computing Anticipatory Systems, CASYS, Fifth International Conference, Liege, Belgium (2001) (, editor), AIP Conference Proceedings, vol. 627, 2002.
[46] (editor), Non-commutative worlds, New Journal of Physics, vol. 6 (2004), pp. 173.1–173.47, (Short version in “Spin, Proceedings of ANPA 25”, K. Bowden (ed.), Pub. May 2004).Google Scholar
[47] (editor), Eigenform, Kybernetes, The International Journal of Systems and Cybernetics, vol. 34 (2005), pp. 129–150.Google Scholar
[48] (editor), Knot diagrammatics, Handbook of Knot Theory (Menasco and Thistlethwaite, editors), Elsevier B. V., Amsterdam, 2005, math.GN/0410329, pp. 233–318.Google Scholar
[49] (editor), Teleportation topology, Opt. Spectrosc., vol. 9 (2005), pp. 227–232, quantph/ 0407224, (in the Proceedings of the 2004 Byelorus Conference on Quantum Optics).Google Scholar
[50] (editor), Glafka-2004: non-commutative worlds, International Journal of Theoretical Physics, vol. 45 (2006), pp. 1443–1470.
[51] (editor), Reflexivity and eigenform: The shape of process, Kybernetes, vol. 4(3) (2009).
[52] (editor), Eigenforms, discrete processes and quantum processes, Journal of Physics: Conference Series. EmerQuM11: Emergent Quantum Mechanics 2011 (Heinz von Foerster Congress), Vienna Austria 11-13 November 2011 (, editor), vol. 361, IOP Publishing, 2012, p. 012034.
[53] and , Knot theory and a physical state of quantum gravity, Classical and Quantum Gravity, vol. 23 (2006), p. R63, hep-th/0505069.Google Scholar
[54] and , Entanglement criteria: Quantum and topological, Quantum Information and Computation, Spie Proceedings, 21-22 April, 2003, Orlando, FL (, , and , editors), vol. 5105, pp. 51–58.
[55] and , Topological Quantum Information Theory, (Book in preparation).
[56] and , Quantum entanglement and topological entanglement, New Journal of Physics, vol. 4 (2002), pp. 73.1–73.18.Google Scholar
[57] and , Braiding operators are universal quantum gates, New Journal of Physics, vol. 6 (2004), pp. 1–39.Google Scholar
[58] and , Quantum knots, Quantum Information and Computation II, Proceedings of Spie, 12 -14 April 2004 (E. Donkor, A. R. Pirich, and H. E. Brandt, editors), 2004, pp. 268–284.
[59] and , q-deformed spin networks, knot polynomials and anyonic topological quantum computation, J. Knot Theory Ramifications, vol. 16 (2007), pp. 267–332.
[60] and , Spin networks and quantum computation, Lie Theory and Its Applications in Physics VII, Heron Press, Sofia, 2008, pp. 225–239.
[61] and , The Fibonacci Model and the Temperley-Lieb Algebra, International J. Modern Phys. B, vol. 22 (2008), pp. 5065–5080.
[62] and , Topological quantum information theory, Proceedings of the AMS Short Course in Quantum Computation and Quantum Information held in Washington, D.C. January 3-4, 2009 (S. J. Lomonaco Jr., editor), Proceedings of Symposia in Applied Mathematics, vol. 68, American Mathematical Society, 2010, pp. 103–176.
[63] and , Quantizing knots groups and graphs, Quantum Information and Computation IX, Spie Proceedings, April 2011 (, , and , editors), Proceedings of Spie, vol. 8057, SPIE, 2011, pp. 80570T–1–80570T–15.
[64] and , Discrete physics and the derivation of electromagnetism from the formalism of quantum mechanics, Proceedings of the Royal Society of London A, vol. 452 (1996), pp. 81–95.Google Scholar
[65] and , Discrete physics and the dirac equation, Physics Letters A, vol. 218 (1996), pp. 139–146.Google Scholar
[66] and , Invariants of 3-manifolds derived from finite dimensional Hopf algebras, Journal of Knot Theory and its Ramifications, vol. 4 (1995), pp. 131–162.Google Scholar
[67] and , Form dynamics, Journal of Social and Biological Structures, (1980), pp. 171–206.Google Scholar
[68] , Anyons in an exactly solved model and beyond, Annals of Physics, vol. 321 (2006), pp. 2–111, arXiv.cond-mat/0506438 v1 17 June 2005.Google Scholar
[69] , Conformal Field Theory and Topology, AMS Translations of Mathematical Monographs, vol. 210, American Mathematical Society, 1998.
[70] and , Introduction to topological superconductivity and Majorana ferminons, Semiconductor Science and Technology, vol. 27 (2012), p. 124003, arXiv:1206.1736.Google Scholar
[71] and , Quantum knots and mosaics, Journal of Quantum Information Processing, vol. 7 (2008), pp. 85–115, http://arxiv.org/abs/0805.0339.Google Scholar
[72] and , Quantum knots and lattices, or a blueprint for quantum systems that do rope tricks, Quantum Information Science and its Contributions to Mathematics (Providence, RI), Proc. Sympos. Appl. Math., vol. 68, Amer. Math. Soc., 2010, pp. 209–276.
[73] and , Quantizing braids and other mathematical structures: the general quantization procedure, Quantum Information and Computation IX, Spie Proceedings, April 2011 (, , and , editors), Proceedings of Spie, vol. 8057, SPIE, 2011, pp. 805702–1– 805702–14.
[74] , A symmetric theory of electrons and positrons, I Nuovo Cimento, vol. 14 (1937), pp. 171–184.Google Scholar
[75] and , Spin network quantum simulator, Physics Letters A, vol. 306 (2002), pp. 79–87.Google Scholar
[76] and , Noabelions in the fractional quantum Hall effect, Nuclear Physics B, vol. 360 (1991), pp. 362–396.Google Scholar
[77] and , Classical and quantum conformal field theory, Communications in Mathematical Physics, vol. 123 (1989), pp. 177–254.Google Scholar
[78] , , , , , and , Signatures of Majorana fermions in hybred superconductor-semiconductor devices, arXiv: 1204.2792.
[79] and , Quantum Computation and Quantum Information, Cambridge University Press, 2000.
[80] , Angular momentum: An approach to combinatorial spacetime, Quantum Theory and Beyond (, editor), Cambridge University Press, 1969.
[81] , Topological computing for beginners, (slide presentation), Technical report, Caltech, http://www.iqi.caltech.edu/~preskill/ph219.
[82] and , Ribbon graphs and their invariants derived from quantum groups, Communications in Mathematical Physics, vol. 127 (1990), pp. 1–26.Google Scholar
[83] and , Invariants of three manifolds via link polynomials and quantum groups, Inventiones mathematicae, vol. 103 (1991), pp. 547–597.Google Scholar
[84] , (Private conversation, fall 2003).
[85] and , Spin networks and quantum gravity, Physical Review D, vol. 52 (1995), pp. 5743–5759.Google Scholar
[86] , Zero to Infinity: The Foundations of Physics, Series on Knots and Everything, vol. 41, World Scientific Publishing Company, 2007.
[87] , Primordial Space: Point-free Space and Logic Case, Nova Publishers, 2012.
[88] , Communication, Correlation, and Complementarity, Ph.D. thesis, University of Texas at Austin, 1990.
[89] and , Estimating Jones polynomials is a complete problem for one clean qubit, Quantum Information & Computation, vol. 8 (2008), pp. 681–714.Google Scholar
[90] , , , , and , Topological quantum computing with only one mobile quasiparticle, Physical Review Letters, vol. 96 (2006), pp. 070503, 4 pp., quant-ph/0509175.Google Scholar
[91] , Link polynomials and critical points of the chern-simons path integrals, Modern Physics Letters A, vol. 4 (1989), pp. 1091–1112.Google Scholar
[92] , Laws of Form, George Allen and Unwin Ltd., London, 1969.
[93] and , State sum invariants of 3-manifolds and quantum 6j symbols, Topology, vol. 31 (1992), pp. 865–902.Google Scholar
[94] , Fractional Statistics and Anyon Superconductivity, World Scientific Publishing Company, 1990.
[95] , Quantum field Theory and the Jones Polynomial, Communications in Mathematical Physics, vol. 121 (1989), pp. 351–399.Google Scholar
[96] , Tractatus Logico-Philosophicus, New York: Harcourt, Brace and Company, Inc., London: Kegan Paul, Trench, Trubner and Co. Ltd., 1922.
[97] and , The Jones polynomial: quantum algorithms and applications in quantum complexity theory, quant-ph/0603069.
[98] , Some exact results for the many-body problem in one dimension with repulsive delta-function interaction, Physical Review Letters, vol. 19 (1967), p. 1312.Google Scholar
[99] , , and , Yang-Baxterizations, universal quantum gates and Hamiltonians, Quantum Information Processing, vol. 4 (2005), pp. 159–197.Google Scholar
- 8
- Cited by