Inspired by classical ("actual") Quantum Theory over $\mathbb{C}$ and Modal Quantum Theory (MQT), which is a model of Quantum Theory over certain finite fields, we introduce General Quantum Theory as a Quantum Theory -- in the København interpretation -- over general division rings with involution, in which the inner product "is" a $(σ,1)$ -Hermitian form $φ$ . This unites all known such approaches in one and the same theory, and we show that many of the known results such as no-cloning, no-deleting, quantum teleportation and super-dense quantum coding, which are known in classical Quantum Theory over $\mathbb{C}$ and in some MQTs, hold for any General Quantum Theory. On the other hand, in many General Quantum Theories, a geometrical object which we call "quantum kernel" arises, which is invariant under the unitary group $\mathbf{U}(V,φ)$ , and which carries the geometry of a so-called polar space. We use this object to construct new quantum (teleportation) coding schemes, which mix quantum theory with the geometry of the quantum kernel (and the action of the unitary group). We also show that in characteristic $0$ , every General Quantum Theory over an algebraically closed field behaves like classical Quantum Theory over $\mathbb{C}$ at many levels, and that all such theories share one model, which we pin down as the "minimal model," which is countable and defined over $\overline{\mathbb{Q}}$ . Moreover, to make the analogy with classical Quantum Theory even more striking, we show that Born's rule holds in any such theory. So all such theories are not modal at all. Finally, we obtain an extension theory for General Quantum Theories in characteristic $0$ which allows one to extend any such theory over algebraically closed fields (such as classical complex Quantum Theory) to larger theories in which a quantum kernel is present.Inspired by classical ("actual") Quantum Theory over $\mathbb{C}$ and Modal Quantum Theory (MQT), which is a model of Quantum Theory over certain finite fields, we introduce General Quantum Theory as a Quantum Theory -- in the København interpretation -- over general division rings with involution, in which the inner product "is" a $(σ,1)$-Hermitian form $φ$. This unites all known such approaches in one and the same theory, and we show that many of the known results such as no-cloning, no-deleting, quantum teleportation and super-dense quantum coding, which are known in classical Quantum Theory over $\mathbb{C}$ and in some MQTs, hold for any General Quantum Theory. On the other hand, in many General Quantum Theories, a geometrical object which we call "quantum kernel" arises, which is invariant under the unitary group $\mathbf{U}(V,φ)$, and which carries the geometry of a so-called polar space. We use this object to construct new quantum (teleportation) coding schemes, which mix quantum theory with the geometry of the quantum kernel (and the action of the unitary group). We also show that in characteristic $0$, every General Quantum Theory over an algebraically closed field behaves like classical Quantum Theory over $\mathbb{C}$ at many levels, and that all such theories share one model, which we pin down as the "minimal model," which is countable and defined over $\overline{\mathbb{Q}}$. Moreover, to make the analogy with classical Quantum Theory even more striking, we show that Born's rule holds in any such theory. So all such theories are not modal at all. Finally, we obtain an extension theory for General Quantum Theories in characteristic $0$ which allows one to extend any such theory over algebraically closed fields (such as classical complex Quantum Theory) to larger theories in which a quantum kernel is present.

arXiv:1712.04669Dec 13, 20170 citations

Quantum Theory

SPIE eBooksSep 4, 20090 citations

General quantum theory—unification of classical and modal quantum theories

Koen Thas

Abstract Inspired by classical (‘actual’) quantum theory over C and modal quantum theory (MQT), which is a model of quantum theory over certain finite fields, we introduce general quantum theory as a quantum theory—in the København interpretation—over general division rings with involution, in which the inner product ‘is’ a ( σ , 1)-Hermitian form φ . This unites all known such approaches in one and the same theory, and we show that many of the known results such as no-cloning, no-deleting, quantum teleportation and super-dense quantum coding, which are known in classical quantum theory over C and in some MQTs, hold for any general quantum theory. Our approach is totally different (and more general) than Hardy’s axiomatic approach [15], and generalized probability theories. On the other hand, in many general quantum theories, a geometrical object which we call ‘quantum kernel’ arises, which is invariant under the unitary group U ( V , φ ), and which carries the geometry of a so-called polar space. This object cannot be seen in classical quantum theory over C , but it is present, for instance, in all known MQTs. We use this object to construct new quantum (teleportation) coding schemes, which mix quantum theory with the geometry of the quantum kernel (and the action of the unitary group). We also show that in characteristic 0, every general quantum theory over an algebraically closed field behaves like classical quantum theory over C at many levels, and that all such theories share one model, which we pin down as the ‘minimal model,’ which is countable and defined over Q ¯ . Moreover, to make the analogy with classical quantum theory even more striking, we show that Born’s rule holds in any such theory. So all such theories are not modal at all. Finally, we obtain an extension theory for general quantum theories in characteristic 0 which allows one to extend any such theory over algebraically closed fields (such as classical complex quantum theory) to larger theories in which a quantum kernel is present. In this sense, these singular objects are always virtually around in abundance.Abstract Inspired by classical (‘actual’) quantum theory over C and modal quantum theory (MQT), which is a model of quantum theory over certain finite fields, we introduce general quantum theory as a quantum theory—in the København interpretation—over general division rings with involution, in which the inner product ‘is’ a ( σ , 1)-Hermitian form φ . This unites all known such approaches in one and the same theory, and we show that many of the known results such as no-cloning, no-deleting, quantum teleportation and super-dense quantum coding, which are known in classical quantum theory over C and in some MQTs, hold for any general quantum theory. Our approach is totally different (and more general) than Hardy’s axiomatic approach [15], and generalized probability theories. On the other hand, in many general quantum theories, a geometrical object which we call ‘quantum kernel’ arises, which is invariant under the unitary group U ( V , φ ), and which carries the geometry of a so-called polar space. This object cannot be seen in classical quantum theory over C , but it is present, for instance, in all known MQTs. We use this object to construct new quantum (teleportation) coding schemes, which mix quantum theory with the geometry of the quantum kernel (and the action of the unitary group). We also show that in characteristic 0, every general quantum theory over an algebraically closed field behaves like classical quantum theory over C at many levels, and that all such theories share one model, which we pin down as the ‘minimal model,’ which is countable and defined over Q ¯ . Moreover, to make the analogy with classical quantum theory even more striking, we show that Born’s rule holds in any such theory. So all such theories are not modal at all. Finally, we obtain an extension theory for general quantum theories in characteristic 0 which allows one to extend any such theory over algebraically closed fields (such as classical complex quantum theory) to larger theories in which a quantum kernel is present. In this sense, these singular objects are always virtually around in abundance.

Journal of Physics A Mathematical and TheoreticalJul 6, 20201 citation

Quantum Theory and Probability Theory: Their Relationship and Origin in Symmetry

Philip Goyal, Kevin H. Knuth

Quantum theory is a probabilistic calculus that enables the calculation of the probabilities of the possible outcomes of a measurement performed on a physical system. But what is the relationship between this probabilistic calculus and probability theory itself? Is quantum theory compatible with probability theory? If so, does it extend or generalize probability theory? In this paper, we answer these questions, and precisely determine the relationship between quantum theory and probability theory, by explicitly deriving both theories from first principles. In both cases, the derivation depends upon identifying and harnessing the appropriate symmetries that are operative in each domain. We prove, for example, that quantum theory is compatible with probability theory by explicitly deriving quantum theory on the assumption that probability theory is generally valid.Quantum theory is a probabilistic calculus that enables the calculation of the probabilities of the possible outcomes of a measurement performed on a physical system. But what is the relationship between this probabilistic calculus and probability theory itself? Is quantum theory compatible with probability theory? If so, does it extend or generalize probability theory? In this paper, we answer these questions, and precisely determine the relationship between quantum theory and probability theory, by explicitly deriving both theories from first principles. In both cases, the derivation depends upon identifying and harnessing the appropriate symmetries that are operative in each domain. We prove, for example, that quantum theory is compatible with probability theory by explicitly deriving quantum theory on the assumption that probability theory is generally valid.

SymmetryApr 27, 201129 citations

Quantum Theory

Springer eBooksMay 6, 20060 citations

Inspired by classical ("actual") Quantum Theory over

\mathbb{C}

and Modal Quantum Theory (MQT), which is a model of Quantum Theory over certain finite fields, we introduce General Quantum Theory as a Quantum Theory -- in the København interpretation -- over general division rings with involution, in which the inner product "is" a

(σ,1)

-Hermitian form

φ

. This unites all known such approaches in one and the same theory, and we show that many of the known results such as no-cloning, no-deleting, quantum teleportation and super-dense quantum coding, which are known in classical Quantum Theory over

\mathbb{C}

and in some MQTs, hold for any General Quantum Theory. On the other hand, in many General Quantum Theories, a geometrical object which we call "quantum kernel" arises, which is invariant under the unitary group

\mathbf{U}(V,φ)

, and which carries the geometry of a so-called polar space. We use this object to construct new quantum (teleportation) coding schemes, which mix quantum theory with the geometry of the quantum kernel (and the action of the unitary group). We also show that in characteristic

0

, every General Quantum Theory over an algebraically closed field behaves like classical Quantum Theory over

\mathbb{C}

at many levels, and that all such theories share one model, which we pin down as the "minimal model," which is countable and defined over

\overline{\mathbb{Q}}

. Moreover, to make the analogy with classical Quantum Theory even more striking, we show that Born's rule holds in any such theory. So all such theories are not modal at all. Finally, we obtain an extension theory for General Quantum Theories in characteristic

0

which allows one to extend any such theory over algebraically closed fields (such as classical complex Quantum Theory) to larger theories in which a quantum kernel is present.