Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2610.06767

Fermions and the Tsirelson Problem in Real Quantum Theory

Timothee Hoffreumon, Mischa P. Woods

quant-phmath-phSubmitted Oct 5, 2026• Announced Oct 6, 2026• 0 citations
arXivHTMLPDF

Abstract

In a previous work, we showed that real quantum theory (RQT) cannot be experimentally distinguished from ordinary quantum theory (QT). In this paper, we investigate whether this indistinguishability survives two natural extensions of the setting: allowing separated measurements to be represented by commuting rather than tensor-product observables, and imposing superselection rules, as in fermionic information theory. We show that it does in both cases. Our first result is a positive answer to the Tsirelson problem in RQT: commuting and tensor-product measurements generate the same finite-dimensional correlations. This is surprisingly not a trivial consequence of the standard complex proof, as it does not carry over to the reals. The proof obstruction becomes particularly relevant in the presence of superselection rules, which is why we first establish the equivalence in RQT before extending the framework to superselected RQT. Our second result is a local, real quantum formulation of superselected theories. We extend the RQT framework to accommodate a representation of superselection over the reals and show, in particular, that it admits a fermionic version whose predictions are experimentally indistinguishable from those of fermionic information theory. More generally, the construction extends to all superselected QTs.

Comments
43 pages plus appendices

Related papers

Quantum theory based on real numbers cannot be experimentally falsified

Timothée Hoffreumon, Mischa P. Woods

Whether the complex numbers of standard quantum theory are experimentally indispensable has remained open for decades. Real quantum theory (RQT), obtained by replacing complex amplitudes with real ones while retaining the usual Kronecker-product composition rule, reproduces all single-party and bipartite Bell correlations of quantum theory (QT), but its lack of local tomography suggested that the two theories might diverge in more general local experiments. This possibility appeared to be confirmed by Renou et al., who argued that a bilocal network experiment can falsify RQT without falsifying QT. Here we show that this conclusion relies on an experimentally untestable assumption. The key distinction is between product-state independence, which constrains the mathematical form of source states, and operational independence, which is defined entirely by the absence of observable cross-source correlations. We prove that, once source independence is imposed operationally, every finite network correlation achievable in QT is also achievable in RQT with the same locality structure of the measurements. We then extend this equivalence to arbitrary finite sequential multipartite protocols involving channels and measurements with prescribed locality structure. Thus, as long as no violation of QT is observed, RQT cannot be experimentally falsified. Our results restore the empirical indistinguishability of QT and RQT, while showing that they support markedly different pictures of the correlation structure underlying the same observed world.

quant-pharXiv:2603.19208•Mar 20, 2026•1 citation

Clarifications on the Experimental Status of Real Quantum Theory

Timothée Hoffreumon, Mischa P. Woods

In our previous paper on the matter, we proved that real quantum theory (RQT) cannot be experimentally falsified without the experiment falsifying quantum theory (QT) as well. Our result is in direct contradiction to the central claim of an article by Renou et al., published in Nature [600, 625--629 (2021)], reporting a bilocal network experiment that could falsify real quantum theory without falsifying quantum theory. The purpose of this note is to address several seemingly natural attempts to recover the experimental conclusion of Renou et al. We first explain how these results, although based on nonlocality experiments, are far from a Bell-like level of proof. Then we explain why the proposed experiment requires an experimentally untestable premise about independent preparations necessarily being represented as product states. Finally, we discuss some concerns that lie outside the scope of both results.

quant-pharXiv:2610.03644•Oct 5, 2026•0 citations

Comment on "Quantum theory based on real numbers cannot be experimentally falsified": On the compatibility of physical principles with information theory for fermions

Fatemeh Moradi Kalarde, Xiangling Xu, Marc-Olivier Renou

The manuscript [arXiv:2603.19208] proposes a physically motivated postulate to select the appropriate formulation of quantum theory over real Hilbert spaces, ruling out the theory considered in [Nature 600, 625-629 (2021)] in favour of an alternative theory which reproduces the predictions of standard complex quantum information theory. Here, we argue that, to qualify as a general physical principle, this postulate should also hold in fermionic quantum information theory, the standard framework describing information encoded in the presence or absence of identical fermions. We show, however, that it fails in this framework. More broadly, our result highlights the importance of confronting proposed foundational principles with fermionic quantum information theory, a point that also deserves further examination in recent related works such as [arXiv:2503.17307] and [arXiv:2504.02808].

quant-pharXiv:2604.07425•Apr 9, 2026•0 citations

Quantum mechanics over real numbers fully reproduces standard quantum theory

Alan C. Maioli, Evaldo M. F. Curado, Jean-Pierre Gazeau

Standard quantum mechanics employs complex Hilbert spaces, but whether complex numbers are fundamental or merely convenient has long been debated. For decades, real-valued equivalents were considered mathematically possible but cumbersome. However, a highly cited 2021 result claimed that any quantum theory based on real numbers is experimentally falsifiable via network Bell experiments. Yet, it remains an open question whether this falsification applies to all real-valued theories. Here we show that this conclusion rests on an incomplete real formulation, and we present a rigorous real-valued framework that perfectly reproduces all predictions of standard quantum mechanics. We demonstrate that the standard real tensor product ($\otimes_{\mathbb{R}}$) used in previous no-go theorems is algebraically incompatible with the rich structure of conventional quantum mechanics. We present a real framework based on Kähler space and prove that it is exactly isomorphic to established quantum mechanics via an explicit bijection $γ$. The isomorphism extends to composite systems through a symplectic composition rule $\otimes^{\ks}$ that replaces the Kronecker product. Consequently, our formulation achieves the maximal $\mathrm{CHSH}_{3}$ violation of $6\sqrt{2}$ using purely real variables, demonstrating that the no-go theorem is specific to a particular real representation of states and operators and to the composition rule $\otimes_\mathbb{R}$ built upon it, neither of which extends to the present Kähler framework. These results demonstrate that complex numbers are not fundamentally required by nature; rather, they encode a deeper real geometric structure that governs quantum interference and entanglement, settling this long debate.

quant-pharXiv:2604.19482•Apr 22, 2026•0 citations

Negation of the Tsirelson’s conjecture and genericity in quantum mechanics

Jerzy Król, Torsten Aßelmeyer-Maluga

We show that the negation of the Tsirelson’s conjecture can be understood as, and in fact follows from, the ZFC - genericity of infinite sequences of the QM outcomes. We extend the result of Landsman that there holds the equivalence of the statistics of the entire sequences with the statistic of the single QM measurements in such sequences, over stratified infinite tensor products of the finite dimensional spaces. The stratification is based on uncomputable Turing classes and also on the Solovay genericity and the equivalence is now corrected by the appearance of certain self-adjoint operator. From studies on algorithmic randomness follows that these two properties are in a sense orthogonal one to the other for random sequences. We show two models of ZFC which indeed separate them. This is based on the classic results for Cohen and random forcings in set theory and also on Takeuti’s early results on Boolean-valued models and quantum mechanics. This separation is the tool for showing that not all correlations between commuting operators on infinite dimensional Hilbert spaces can be reproduced on a tensor product of two spaces with the corresponding self-adjoint operators. We discuss the findings also from the perspective of eventual practical applications. The supplementary subsections contain discussion of QM with the set theory component along with Solovay randomness of the outcomes.

Kielnarowa Review•Sep 16, 2024•1 citation

Tomographically-nonlocal entanglement

Roberto D. Baldijão, Marco Erba, David Schmid +2 more

Entanglement is a central and subtle feature of quantum theory, whose structure and operational behavior can change dramatically when additional physical constraints, such as symmetries or superselection rules, are imposed. Such constraints can give rise to striking and counter-intuitive phenomena, including local broadcasting of entangled states and failures of entanglement monogamy. These effects naturally arise in tomographically nonlocal theories (like real quantum theory, twirled worlds, or fermionic quantum theory), where composite systems possess holistic degrees of freedom that are inaccessible to local measurements. In this work, we study entanglement in such theories within the framework of generalized probabilistic theories. We show that the failure of tomographic locality leads to two qualitatively distinct forms of entanglement, which we term $\textit{tomographically-local}$ entanglement and $\textit{tomographically-nonlocal}$ entanglement. We analyze the operational consequences of this distinction, proving that tomographically-nonlocal entanglement is useless for Bell nonlocality, steering, and teleportation, but sufficient for dense coding and perfectly secure data hiding. This framework clarifies the origin of several previously puzzling features of entanglement that arise when tomographic locality fails, as can happen even in quantum theory when one considers fermions or fundamental superselection rules.

quant-pharXiv:2602.16280•Feb 19, 2026•0 citations
In a previous work, we showed that real quantum theory (RQT) cannot be experimentally distinguished from ordinary quantum theory (QT). In this paper, we investigate whether this indistinguishability survives two natural extensions of the setting: allowing separated measurements to be represented by commuting rather than tensor-product observables, and imposing superselection rules, as in fermionic information theory. We show that it does in both cases.
Our first result is a positive answer to the Tsirelson problem in RQT: commuting and tensor-product measurements generate the same finite-dimensional correlations. This is surprisingly not a trivial consequence of the standard complex proof, as it does not carry over to the reals. The proof obstruction becomes particularly relevant in the presence of superselection rules, which is why we first establish the equivalence in RQT before extending the framework to superselected RQT.
Our second result is a local, real quantum formulation of superselected theories. We extend the RQT framework to accommodate a representation of superselection over the reals and show, in particular, that it admits a fermionic version whose predictions are experimentally indistinguishable from those of fermionic information theory. More generally, the construction extends to all superselected QTs.
Whether the complex numbers of standard quantum theory are experimentally indispensable has remained open for decades. Real quantum theory (RQT), obtained by replacing complex amplitudes with real ones while retaining the usual Kronecker-product composition rule, reproduces all single-party and bipartite Bell correlations of quantum theory (QT), but its lack of local tomography suggested that the two theories might diverge in more general local experiments. This possibility appeared to be confirmed by Renou et al., who argued that a bilocal network experiment can falsify RQT without falsifying QT. Here we show that this conclusion relies on an experimentally untestable assumption. The key distinction is between product-state independence, which constrains the mathematical form of source states, and operational independence, which is defined entirely by the absence of observable cross-source correlations. We prove that, once source independence is imposed operationally, every finite network correlation achievable in QT is also achievable in RQT with the same locality structure of the measurements. We then extend this equivalence to arbitrary finite sequential multipartite protocols involving channels and measurements with prescribed locality structure. Thus, as long as no violation of QT is observed, RQT cannot be experimentally falsified. Our results restore the empirical indistinguishability of QT and RQT, while showing that they support markedly different pictures of the correlation structure underlying the same observed world.
In our previous paper on the matter, we proved that real quantum theory (RQT) cannot be experimentally falsified without the experiment falsifying quantum theory (QT) as well. Our result is in direct contradiction to the central claim of an article by Renou et al., published in Nature [600, 625--629 (2021)], reporting a bilocal network experiment that could falsify real quantum theory without falsifying quantum theory. The purpose of this note is to address several seemingly natural attempts to recover the experimental conclusion of Renou et al. We first explain how these results, although based on nonlocality experiments, are far from a Bell-like level of proof. Then we explain why the proposed experiment requires an experimentally untestable premise about independent preparations necessarily being represented as product states. Finally, we discuss some concerns that lie outside the scope of both results.
The manuscript [arXiv:2603.19208] proposes a physically motivated postulate to select the appropriate formulation of quantum theory over real Hilbert spaces, ruling out the theory considered in [Nature 600, 625-629 (2021)] in favour of an alternative theory which reproduces the predictions of standard complex quantum information theory. Here, we argue that, to qualify as a general physical principle, this postulate should also hold in fermionic quantum information theory, the standard framework describing information encoded in the presence or absence of identical fermions. We show, however, that it fails in this framework. More broadly, our result highlights the importance of confronting proposed foundational principles with fermionic quantum information theory, a point that also deserves further examination in recent related works such as [arXiv:2503.17307] and [arXiv:2504.02808].
Standard quantum mechanics employs complex Hilbert spaces, but whether complex numbers are fundamental or merely convenient has long been debated. For decades, real-valued equivalents were considered mathematically possible but cumbersome. However, a highly cited 2021 result claimed that any quantum theory based on real numbers is experimentally falsifiable via network Bell experiments. Yet, it remains an open question whether this falsification applies to all real-valued theories. Here we show that this conclusion rests on an incomplete real formulation, and we present a rigorous real-valued framework that perfectly reproduces all predictions of standard quantum mechanics. We demonstrate that the standard real tensor product (⊗R\otimes_{\mathbb{R}}⊗R​) used in previous no-go theorems is algebraically incompatible with the rich structure of conventional quantum mechanics. We present a real framework based on Kähler space and prove that it is exactly isomorphic to established quantum mechanics via an explicit bijection γγγ. The isomorphism extends to composite systems through a symplectic composition rule $\otimes^{\ks}$ that replaces the Kronecker product. Consequently, our formulation achieves the maximal CHSH3\mathrm{CHSH}_{3}CHSH3​ violation of 626\sqrt{2}62​ using purely real variables, demonstrating that the no-go theorem is specific to a particular real representation of states and operators and to the composition rule ⊗R\otimes_\mathbb{R}⊗R​ built upon it, neither of which extends to the present Kähler framework. These results demonstrate that complex numbers are not fundamentally required by nature; rather, they encode a deeper real geometric structure that governs quantum interference and entanglement, settling this long debate.
We show that the negation of the Tsirelson’s conjecture can be understood as, and in fact follows from, the ZFC - genericity of infinite sequences of the QM outcomes. We extend the result of Landsman that there holds the equivalence of the statistics of the entire sequences with the statistic of the single QM measurements in such sequences, over stratified infinite tensor products of the finite dimensional spaces. The stratification is based on uncomputable Turing classes and also on the Solovay genericity and the equivalence is now corrected by the appearance of certain self-adjoint operator. From studies on algorithmic randomness follows that these two properties are in a sense orthogonal one to the other for random sequences. We show two models of ZFC which indeed separate them. This is based on the classic results for Cohen and random forcings in set theory and also on Takeuti’s early results on Boolean-valued models and quantum mechanics. This separation is the tool for showing that not all correlations between commuting operators on infinite dimensional Hilbert spaces can be reproduced on a tensor product of two spaces with the corresponding self-adjoint operators. We discuss the findings also from the perspective of eventual practical applications. The supplementary subsections contain discussion of QM with the set theory component along with Solovay randomness of the outcomes.
Entanglement is a central and subtle feature of quantum theory, whose structure and operational behavior can change dramatically when additional physical constraints, such as symmetries or superselection rules, are imposed. Such constraints can give rise to striking and counter-intuitive phenomena, including local broadcasting of entangled states and failures of entanglement monogamy. These effects naturally arise in tomographically nonlocal theories (like real quantum theory, twirled worlds, or fermionic quantum theory), where composite systems possess holistic degrees of freedom that are inaccessible to local measurements. In this work, we study entanglement in such theories within the framework of generalized probabilistic theories. We show that the failure of tomographic locality leads to two qualitatively distinct forms of entanglement, which we term tomographically-local\textit{tomographically-local}tomographically-local entanglement and tomographically-nonlocal\textit{tomographically-nonlocal}tomographically-nonlocal entanglement. We analyze the operational consequences of this distinction, proving that tomographically-nonlocal entanglement is useless for Bell nonlocality, steering, and teleportation, but sufficient for dense coding and perfectly secure data hiding. This framework clarifies the origin of several previously puzzling features of entanglement that arise when tomographic locality fails, as can happen even in quantum theory when one considers fermions or fundamental superselection rules.