Fermions and the Tsirelson Problem in Real Quantum Theory
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.
Related
- Relative entropy in quantum field theory: the case of squeezed fermions
- An Explicit Counterexample to Tsirelson's Problem via a Linear System Game
- Topological Quantum Spin Liquids in a Ladder with Majorana fermions and p-wave Superconductivity
- An additive problem in connection with some quadratic real fields with class number one
- Macroscopic fluctuation theory from a Lagrangian viewpoint and the Schrödinger problem
BibTeX
@misc{hoffreumon2026fermions,
title = {{Fermions and the Tsirelson Problem in Real Quantum Theory}},
author = {Timothee Hoffreumon and Mischa P. Woods},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.06767},
eprint = {2610.06767},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.06767},
}
RIS
TY - UNPB
TI - Fermions and the Tsirelson Problem in Real Quantum Theory
AU - Timothee Hoffreumon
AU - Mischa P. Woods
PY - 2026
DA - 2026/10/05
PB - arXiv
DO - 10.48550/arxiv.2610.06767
UR - https://arxiv.org/abs/2610.06767
AB - 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.
ER -