General Theory

John H. Selby, David Schmid, Elie Wolfe +3 more

The formalism of generalized probabilistic theories (GPTs) was originally developed as a way to characterize the landscape of conceivable physical theories. Thus, the GPT describing a given physical theory necessarily includes all physically possible processes. We here consider the question of how to provide a GPT-like characterization of a particular experimental setup within a given physical theory. We show that the resulting characterization is not generally a GPT in and of itself, rather, it is described by a more general mathematical object that we introduce and term an accessible GPT fragment. We then introduce an equivalence relation, termed cone equivalence, between accessible GPT fragments (and, as a special case, between standard GPTs). We give a number of examples of experimental scenarios that are best described using accessible GPT fragments, and where moreover, cone-equivalence arises naturally. We then prove that an accessible GPT fragment admits of a classical explanation if and only if every other fragment that is cone equivalent to it also admits of a classical explanation. Finally, we leverage this result to prove several fundamental results regarding the experimental requirements for witnessing the failure of generalized noncontextuality. In particular, we prove that neither incompatibility among measurements nor the assumption of freedom of choice is necessary for witnessing failures of generalized noncontextuality, and moreover, that such failures can be witnessed even when using arbitrarily inefficient detectors.

Tobias Fritz

Both in quantum theory and in general probabilistic theories, measurements with $n$ outcomes are modelled as $n$-tuples of \emph{effects} summing up to the unit effect. Why is this the case, and can this assumption be meaningfully relaxed? Here we develop \emph{generalized measurement theories (GMTs)} as a mathematical framework for physical theories that is complementary to general probabilistic theories, and where this kind of question can be made precise and answered. We then give a definition of \emph{probabilistic state} on a GMT, prove that measurements are made of effects in every GMT in which the probabilistic states separate the measurements, and also argue that this separation condition is physically well-motivated. Finally, we also discuss when a GMT should be considered classical and characterize GMTs corresponding to Boolean algebras as those that are strongly classical and projective.

Philip George Burke, Charles Jean Joachain

Eugene P. Gross

James G. Glimm, Arthur M. Jaffe

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.