Quantum theory is one of our most successful physical theories, but also one of the most mysterious ones: why are detector click probabilities in nature described by abstract mathematical structures like Hilbert spaces, complex numbers, and operators? This question of “why the quantum” has more than just philosophical significance -- there are important reasons for addressing this question in a rigorous mathematical way:
We have contributed to this research program in a number of different ways, and have found several successful reconstructions of the (finite-dimensional) quantum formalism from simple physical, or broadly information-theoretic, principles. In one such work [1], later improved in [2], we have derived quantum theory from the following postulates:
To show that quantum theory follows from these postulates, the first step is to derive that the generalized bit corresponds exactly to the quantum bit, which can be represented as a three-dimensional ball (the Bloch ball). The picture above (from [2]) shows how this is achieved step by step: first, the state space of the generalized bit can be any convex set of any dimension d. No simultaneous encoding shows that there can be no “flat pieces in its boundary”, since these could be used to encode additional information into a state – hence it must have a droplet-like shape. Continuous reversibility shows that the state space must be very symmetric – that is, due to group representation theory, an ellipsoid, which can be reparametrized as a ball. Then, interaction between pairs of d-dimensional ball state spaces turns out to be possible only if d=3, as for the quantum bit, which can be shown with quite some effort [3]. Finally, the only consistent way to combine qubit state spaces is in a way that is equivalent to standard quantum theory’s state space over many qubits, as shown in [4], and we are done.
Note that at no point is it assumed that there are wave functions, operators or complex numbers – instead, those arise as consequences of the postulates. And we get all other ingredients and predictions of abstract finite-dimensional quantum: unitary transformations, uncertainty relations, the Schrödinger equation (but not the choice of Hamiltonian or Lagrangian), Tsirelson’s bound on Bell correlations and more.
Once we have postulates that give us quantum theory (QT), we can start to relax those postulates, and in this way try to construct “quantum theory’s closest cousins” – theories that predict measurement outcome probabilities in a way that is not related to operator algebras or Hilbert spaces, but that are still in some sense physically close to QT. This turns out to be very difficult to do for the postulates above; but in [5], we have derived QT from four other principles that may be more suitable for this goal (because they do mention composite systems which are much harder to analyze):
The insight that QT only allows for “second-order”, but not for “higher-order interference” is due to Sorkin [14], and this has initiated several recent experimental tests of this property (e.g. [15]). It would significantly improve the experimental situation if one would not only test for general violations of the quantum predictions, but if one actually had a viable alternative theory that could predict a certain concrete alternative behavior in those experiments. In principle, we can obtain such a theory by using the reconstruction above: Simply drop postulate (3), and work out the resulting set of theories that appear as solutions. This is one of the problems that we are currently thinking about, but it seems to be a mathematically extremely difficult problem.
Apart from the goals listed above, what does all this tell us about the nature of the quantum world? In [6], we argue that this tells us that QT can be understood as a “principle theory of information” (referring to Einstein’s distinction between principle and constructive theories). While the information-theoretic reconstructions of QT are to a large extent agnostic regarding the question how to interpret the quantum state, they do seem to tell us that we can understand the full quantum formalism as a simple “theory of probability” – namely, of quantum states expressing our information, knowledge, or belief about future observations (conditioned on our choices of which observations to make).
In other words: taking an informational view on the quantum state as a starting point can lead us more or less directly to a derivation of QT’s formalism. No other interpretations (like many-worlds or Bohmian mechanics) can currently claim something like this. The question now is how far this reasoning can be pushed: can we start with a concrete “informational” interpretation of QT – concretely, QBism – and derive the full quantum formalism from its basic premises? Our group is part of an international team (funded by the Foundational Questions Institute) that is currently working on this question:
http://fqxi.org/grants/large/awardees/view/__details/2016/chiribella
Recent work:
M. Krumm, M.P. Müller, Quantum computation is the unique reversible circuit model for which bits are balls. npj Quantum Inf 5, 7 (2019). https://arxiv.org/abs/1804.05736
L. Masanes, T.D. Galley, and M.P. Müller, The measurement postulates of quantum mechanics are operationally redundant. Nat Commun 10, 1361 (2019). https://arxiv.org/abs/1811.11060, also featured on Quanta Magazine
Bibliography:
[1] Ll. Masanes and M. P. Müller, A derivation of quantum theory from physical requirements, New J. Phys. 13, 063001 (2011). arXiv:1004.1483
[2] Ll. Masanes, M. P. Müller, R. Augusiak, and D. Pérez-García, Existence of an information unit as a postulate of quantum theory, Proc. Natl. Acad. Sci. USA 110(41), 16373 (2013). arXiv:1208.0493
[3] Ll. Masanes, M. P. Müller, R. Augusiak, and D. Pérez-García, Entanglement and the three-dimensionality of the Bloch ball, J. Math. Phys. 55, 122203 (2014). arXiv:1111.4060
[4] G. de la Torre, Ll. Masanes, A. J. Short, and M. P. Müller, Deriving quantum theory from its local structure and reversibility, Phys. Rev. Lett. 109, 090403 (2012). arXiv:1110.5482
[5] H. Barnum, M. P. Müller, and C. Ududec, Higher-order interference and single-system postulates characterizing quantum theory, New J. Phys. 16, 123029 (2014). arXiv:1403.4147
[6] A. Koberinski and M. P. Müller, Quantum theory as a principle theory: insights from an information-theoretic construction, In M. Cuffaro & S. Fletcher (Eds.), Physical Perspectives on Computation, Computational Perspectives on Physics (pp. 257-280). Cambridge: Cambridge University Press, 2018. arXiv:1707.05602
[7] M. P. Müller and C. Ududec, Structure of reversible computation determines the self-duality of quantum theory, Phys. Rev. Lett. 108, 130401 (2012). arXiv:1110.3516
[8] D. Gross, M. Müller, R. Colbeck, and O. C. O. Dahlsten, All reversible dynamics in maximally non-local theories are trivial, Phys. Rev. Lett. 104, 080402 (2010). arXiv:0910.1840
Further reading:
[9] L. Hardy, Quantum Theory From Five Reasonable Axioms, arXiv:quant-ph/0101012.
[10] B. Dakić and Č. Brukner, Quantum Theory and beyond: Is entanglement special?, in “Deep Beauty. Understanding the Quantum World through Mathematical Innovation”, edited by H. Halvorson (Cambridge University Press, New York, 2011). arXiv:0911.0695
[11] G. Chiribella, G. M. D’Ariano, and P. Perinotti, Informational derivation of quantum theory, Phys. Rev. A 84, 012311 (2011). arXiv:1011.6451
[12] L. Hardy, Reformulating and reconstructing quantum theory, arXiv:1104.2066.
[13] P. A. Höhn, Quantum theory from rules on information acquisition, Entropy 19(3), 98 (2017). arXiv:1612.06849
[14] R. D. Sorkin, Quantum Mechanics as Quantum Measure Theory, Mod. Phys. Lett A 9, 3119 (1994). arXiv:gr-qc/9401003
[15] U. Sinha, C. Couteau, T. Jennewein, R. Laflamme, and G. Weihs, Ruling Out Multi-Order Interference in Quantum Mechanics, Science 329, 418 (2010). arXiv:1007.4193