Geometry of discrete quantum computing

Conventional quantum computing entails a geometry based on the description of an n-qubit state using 2n infinite precision complex numbers denoting a vector in a Hilbert space. Such numbers are in general uncomputable using any real-world resources, and, if we have the idea of physical law as some kind of computational algorithm of the universe, we would be compelled to alter our descriptions of physics to be consistent with computable numbers. Our purpose here is to examine the geometric implications of using finite fields Fp and finite complexified fields (based on primes p congruent to 3 (mod4)) as the basis for computations in a theory of discrete quantum computing, which would therefore become a computable theory. Because the states of a discrete n-qubit system are in principle enumerable, we are able to determine the proportions of entangled and unentangled states. In particular, we extend the Hopf fibration that defines the irreducible state space of conventional continuous n-qubit theories (which is the complex projective space ) to an analogous discrete geometry in which the Hopf circle for any n is found to be a discrete set of p + 1 points. The tally of unit-length n-qubit states is given, and reduced via the generalized Hopf fibration to , the discrete analogue of the complex projective space, which has irreducible states. Using a measure of entanglement, the purity, we explore the entanglement features of discrete quantum states and find that the n-qubit states based on the complexified field have pn(p − 1)n unentangled states (the product of the tally for a single qubit) with purity 1, and they have pn + 1(p − 1)(p + 1)n − 1 maximally entangled states with purity zero.

[1]  E. Knill,et al.  Generalizations of entanglement based on coherent states and convex sets , 2002, quant-ph/0207149.

[2]  Lorenza Viola,et al.  A subsystem-independent generalization of entanglement. , 2004, Physical review letters.

[3]  Physics Letters , 1962, Nature.

[4]  U. De,et al.  Differential Geometry of Manifolds , 2007 .

[5]  David Corwin Galois Theory , 2009 .

[6]  R. Feynman Simulating physics with computers , 1999 .

[7]  R. Landauer The physical nature of information , 1996 .

[8]  R. Mosseri,et al.  Geometry of entangled states, Bloch spheres and Hopf fibrations , 2001, quant-ph/0108137.

[9]  Vladimir I. Arnold,et al.  Dynamics, Statistics and Projective Geometry of Galois Fields , 2011 .

[10]  E. Wright,et al.  An Introduction to the Theory of Numbers , 1939 .

[11]  C. Ross Found , 1869, The Dental register.

[12]  Gerard J. Milburn,et al.  Geometry of quantum states: an introduction to quantum entanglement by Ingemar Bengtsson and Karol Zyczkowski , 2006, Quantum Inf. Comput..

[13]  M. Berger,et al.  Differential Geometry: Manifolds, Curves, and Surfaces , 1987 .

[14]  J. Cremona,et al.  Proceedings of the London Mathematical Society , 1893 .

[15]  A. Turing On Computable Numbers, with an Application to the Entscheidungsproblem. , 1937 .

[16]  Benjamin Schumacher,et al.  Modal Quantum Theory , 2010, 1204.0701.

[17]  E. T. An Introduction to the Theory of Numbers , 1946, Nature.

[18]  V. I. Arnold Dynamics, Statistics and Projective Geometry of Galois Fields: Preface , 2010 .