Pith. sign in

REVIEW 1 major objections 7 minor 2 cited by

Real-number quantum theory still hides complex structure inside

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · glm-5.2

2026-07-08 21:52 UTC pith:M3RV77P7

load-bearing objection The paper proves that the quotient-space real QM of Barrios Hita et al. is isomorphic to complex QM, not an independent real theory. The math is clean and correct; the only soft spot is interpretive. the 1 major comments →

arxiv 2607.05865 v1 pith:M3RV77P7 submitted 2026-07-07 quant-ph

Hidden Complex Structure in Quotient-Space Real Quantum Mechanics

Jeongho Bang , Kyoungho Cho , Kyunghyun Baek This is my paper
classification quant-ph
keywords realcomplexconstructionmechanicsnumbersquantumhiddenmathbb
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper examines a recent proposal that quantum mechanics can be formulated entirely over the real numbers by replacing the standard tensor-product rule with a quotient-space construction, thereby making complex numbers optional. The authors argue that this construction does not eliminate complex structure from the physical theory. It merely relocates it. The imaginary unit reappears as a real linear operator J (with J squared equal to minus the identity), and all physical measurements, dynamics, and composite-system rules must respect the gauge symmetry generated by this operator. The quotient composition rule for combining subsystems is shown to be canonically isomorphic to the standard complex tensor product, not a genuinely new real composition law. The locality postulate invoked to motivate the construction constrains the choice of embeddings but does not derive them. In network experiments, the notion of source independence changes from ordinary tensor-product factorization to quotient factorization. The paper's central message is that real coordinates are dispensable notation, but the operational complex structure — the phase gauge, the restricted observable algebra, and the balanced tensor product — is not eliminated and remains a physical postulate of the theory.

Core claim

The paper proves three formal results. First, the single-system flag that stores real and imaginary parts requires a superselection rule: every physical effect E must commute with the complex structure operator J, otherwise the global phase of quantum mechanics becomes measurable and the theory no longer matches complex quantum mechanics. Second, the quotient tensor product used to compose subsystems is canonically isomorphic to the complex tensor product regarded as a real vector space — it is the balanced tensor product over the hidden complex structure, not an independent real composition law. Third, the locality postulate P4 is satisfied by both the ordinary real tensor product and the q

What carries the argument

The central objects are: (1) the operator J, a real linear map with J^2 = -I that plays the role of multiplication by i and generates an SO(2) gauge symmetry; (2) the J-commutant, the subalgebra of real symmetric operators commuting with J, which constitutes the physical observable algebra; (3) the balanced tensor product, defined as the ordinary real tensor product quotiented by the relation J_A v ⊗ w ~ v ⊗ J_B w, shown to be canonically isomorphic to the complex tensor product; and (4) the J-covariance condition on channels, requiring that gauge-equivalent inputs map to gauge-equivalent outputs.

Load-bearing premise

The paper assumes that the distinction between 'hiding' complex structure as a gauge redundancy and 'eliminating' it is operationally meaningful — that is, the presence of J, the superselection rule, and the balanced tensor product count as physical structure rather than mere bookkeeping, even though the theory is mathematically isomorphic to complex quantum mechanics.

What would settle it

If one relaxes the J-superselection rule and allows a generic real symmetric effect that does not commute with J, the theory predicts measurements that distinguish different real representatives of the same complex ray — deviations from standard quantum mechanics that would be experimentally detectable.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • Experiments that test whether complex numbers are necessary in quantum mechanics should be understood as ruling out ordinary real-amplitude tensor-product theories, not all conceivable real formulations.
  • Any real formulation claiming empirical equivalence with complex quantum mechanics must specify how the complex phase structure is protected — whether by superselection, gauge symmetry, or composition rules — and this specification is a physical postulate, not a notational choice.
  • The distinction between eliminating complex notation and eliminating complex structure could apply to other reformulations of quantum theory that change the mathematical background field (e.g., quaternionic or p-adic frameworks).
  • For open quantum systems, the requirement that all physical channels preserve the J-gauge imposes constraints on admissible noise models, which could be relevant for quantum error correction and decoherence analysis.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • If one could engineer a physical interaction that couples to the flag degree of freedom without respecting J-covariance, the resulting deviations from complex quantum mechanics predictions would constitute a direct test of the superselection rule itself, not merely of the tensor-product structure.
  • The global parity flag structure observed in multipartite canonical representatives suggests a connection to topological or symmetry-protected phases, where similar global constraints emerge from local gauge structure — though the paper does not explore this connection.
  • The underdetermination of the locality postulate P4 raises the possibility that other composition rules satisfying local-triviality conditions exist, potentially interpolating between the ordinary real tensor product and the balanced tensor product, which could define a family of foil theories with intermediate empirical content.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

1 major / 7 minor

Summary. This manuscript analyzes the quotient-space real formulation of quantum mechanics proposed by Barrios Hita et al. [PRL 136, 240202 (2026)] and argues that the construction does not eliminate complex structure from the physical theory but merely relocates it. The authors identify three ingredients required for empirical equivalence with complex QM: (1) a distinguished complex structure operator J with J²=-1, (2) a superselection rule restricting physical effects to the J-commutant, and (3) a balanced tensor product over J that is canonically isomorphic to the complex tensor product. The paper proves these claims through five theorems and several propositions, covering single-system superselection, composite-system structure, locality postulate underdetermination, Bell-network source independence, and open-system dynamics. The mathematical content is straightforward and correct: Theorem 1/3 (J-superselection) is a standard differentiation argument, Theorem 2/4 (balanced quotient equals complex tensor product) is proved by explicit construction with correct dimension count, and Proposition 4 (P4 underdetermination) is correct by construction.

Significance. The paper addresses a timely and actively debated question in the foundations of quantum mechanics. Its strength lies in providing a clean, parameter-free algebraic diagnosis of what the quotient construction does and does not achieve. The theorems are mathematically correct and the proofs, while not machine-checked, are elementary and verifiable by hand. The coordinate-free reformulation of the quotient as a balanced tensor product (Definition 1, Theorem 4) is a useful contribution that makes the relationship to complex composition transparent. The discussion of source independence in the Renou network (Proposition 5, Eq. 59-60) and the open-system descent criterion (Theorem 5) add operational concreteness. The paper is primarily interpretive in its central claim, but the interpretation is grounded in precise mathematical statements about what structure is required for empirical equivalence.

major comments (1)
  1. The paper's central interpretive claim—that the quotient construction 'hides' rather than 'eliminates' complex structure—rests on the premise that J, the J-commutant restriction, and the balanced tensor product count as 'physical structure' rather than 'bookkeeping.' The mathematics establishes that these ingredients are necessary for empirical equivalence with complex QM, but the paper does not fully address the counterargument that any empirically equivalent real formulation must contain some structural counterpart to i, and that the question is whether that counterpart is an additional postulate or a derived consistency condition. The paper acknowledges this distinction (Discussion, final paragraphs) but does not resolve it. This is not a mathematical gap but a conceptual one that is load-bearing for the paper's rhetorical conclusion. The authors should either sharpen the claim (e.g.,
minor comments (7)
  1. The phrase 'canonical as real Hilbert spaces with complex structure' in Theorem 2 (main text, Eq. 7) is slightly imprecise: the isomorphism is canonical as real Hilbert spaces equipped with complex structure, but the paper should clarify that 'canonical' here means natural with respect to the given J operators, not canonical in an absolute sense independent of the choice of J.
  2. In the main text, Theorems 1 and 2 are stated, but the full proofs appear only in the Supplemental Material as Theorems 3 and 4 respectively. The numbering mismatch (Theorem 1 in main text = Theorem 3 in SM, etc.) could confuse readers. Consider adding a note such as 'See Theorem 3 of the Supplemental Material for the full proof.'
  3. Reference [6] (arXiv:2601.14638) is by the same authors and appears to be a related but distinct work on 'overlap-determinability.' Its relevance to the present paper's argument about hiding vs. eliminating complex structure is not immediately clear from the citation context. A brief explanatory note would help readers understand its role.
  4. Eq. (11): the notation for the four-party flag state uses subscripts A'B'1B'2C' that are not fully defined at that point in the text. The primed systems are explained later as flags, but a forward reference or brief definition would help.
  5. The SM is substantial (17 pages) and covers many topics. A brief roadmap at the beginning of the SM (beyond the one-sentence purpose statement) would help readers navigate. Table I in the SM provides a compact summary but appears only at the end.
  6. Typo: 'The experiments remain still meaningful' should read 'The experiments remain meaningful' or 'The experiments are still meaningful.'
  7. Typo: 'consistency条件' appears to contain a Chinese character (条件, meaning 'condition') mixed into the English text, likely an artifact of editing. This should be corrected to 'consistency condition.'

Simulated Author's Rebuttal

1 responses · 0 unresolved

The referee recommends minor revision with one major conceptual comment: the paper's interpretive claim that the quotient construction 'hides' rather than 'eliminates' complex structure rests on treating J, the J-commutant restriction, and the balanced tensor product as physical structure rather than bookkeeping. The referee notes the paper acknowledges but does not resolve the distinction between an additional postulate and a derived consistency condition, and suggests the authors sharpen their claim. We agree this distinction should be made more explicit and will revise the Discussion accordingly.

read point-by-point responses

  1. Referee: The paper's central interpretive claim—that the quotient construction 'hides' rather than 'eliminates' complex structure—rests on the premise that J, the J-commutant restriction, and the balanced tensor product count as 'physical structure' rather than 'bookkeeping.' The mathematics establishes that these ingredients are necessary for empirical equivalence with complex QM, but the paper does not fully address the counterargument that any empirically equivalent real formulation must contain some structural counterpart to i, and that the question is whether that counterpart is an additional postulate or a derived consistency condition. The paper acknowledges this distinction (Discussion, final paragraphs) but does not resolve it. This is not a mathematical gap but a conceptual one that is load-bearing for the paper's rhetorical conclusion. The authors should either sharpen the claim...

    Authors: We agree with the referee that the distinction between 'additional postulate' and 'derived consistency condition' is load-bearing for our interpretive conclusion, and that the current Discussion does not address it sharply enough. We will revise the Discussion to make the following argument explicit. The key point is that the status of J depends on the direction of inquiry. If one starts from complex quantum mechanics and asks whether it can be rewritten in real notation, then J, the J-commutant, and the balanced tensor product are indeed derived consistency conditions—they are what the derivation produces. But this is not the situation claimed by Barrios Hita et al. Their claim is that one can start from a real Hilbert space and arrive at an empirically equivalent theory. In that direction, J and its associated structures are not derived from the real Hilbert space alone; they must be specified as additional structure. Our theorems make this precise: Theorem 1 shows that without the J-superselection rule, the real theory predicts measurements with no complex counterpart; Theorem 4 shows that without the balanced tensor product, the composite state space has the wrong dimension and wrong phase structure; Proposition 4 shows that the locality postulate P4 does not select the quotient composition over the ordinary real tensor product. In each case, the structure in question is not forced by the real Hilbert space or by locality; it must be added. Whether one calls this a 'postulate' or a 'consistency condition' is a matter of terminology, but the substantive point is that it is structure not present in a generic real-amplitude theory. We will sharpen the claim to state this explicitly: our argument is not that J is an arbitrary postulate, but that it is necessary physical revision: no

Circularity Check

0 steps flagged

No significant circularity. The central claim is established by direct mathematical proof; the one self-citation is conceptual framing, not load-bearing.

full rationale

The paper's derivation chain is self-contained and parameter-free. Theorem 2/4 (balanced quotient ≅ complex tensor product) is proved by explicit construction of the isomorphism Φ(v⊠w) = v⊗_C w, verification that it vanishes on the kernel N_AB, surjectivity, and a dimension count—standard linear algebra with no fitted parameters and no self-citation. Theorem 1/3 (J-superselection) is proved by differentiating the SO(2)-orbit invariance condition, a direct argument. Proposition 4 (P4 underdetermination) is proved by exhibiting two distinct composition rules (⊗_R and ⊠) that both satisfy the locality condition, which is a constructive counterexample, not a circular inference. Theorem 5 (descent criterion) is a standard well-definedness condition for maps on quotient spaces. The only self-citation is Ref. [6] (Bang, Cho, Yee, arXiv:2601.14638), cited in the introduction to frame the conceptual distinction between 'hiding' and 'eliminating' complex structure. This citation is not invoked in any proof, theorem, or load-bearing mathematical step; it provides motivational context only. The paper's central claim—that the quotient construction is isomorphic to complex QM—follows from the definition of ⊠ (Eq. 6/29) and the proof of Theorem 2/4, neither of which depends on the authors' prior work. The paper does not claim to derive complex QM from real QM; it shows the quotient construction already contains complex structure (J, J-commutant, balanced product), which is established by direct mathematical argument. No step reduces to its inputs by construction in the circular sense.

Axiom & Free-Parameter Ledger

0 free parameters · 4 axioms · 0 invented entities

The paper introduces no free parameters (all results are parameter-free mathematical theorems), no new physical entities (J is shown to be the realification of multiplication by i, not a new postulate), and no ad-hoc axioms. The axioms listed are standard domain assumptions of quantum information theory. The paper's contribution is diagnostic: it identifies structure already present in the target construction, not new postulated structure.

axioms (4)
  • standard math Finite-dimensional complex Hilbert spaces faithfully model quantum systems
    Background assumption throughout; the paper works in finite dimension and notes the infinite-dimensional case is not fully treated.
  • domain assumption Gauge-equivalent states (v ~ e^{αJ} v) are operationally indistinguishable
    Invoked in Theorem 1/3 to derive the J-superselection rule. This is the central physical premise: if the SO(2) orbit is unobservable, effects must commute with J.
  • domain assumption The locality postulate P4 (local operations act trivially on remote systems) is a compatibility condition on pre-specified embeddings, not a derivation of those embeddings
    Proposition 4 in Supplemental Material. This is the interpretive premise underlying the underdetermination argument.
  • domain assumption Physical channels must descend to well-defined maps on gauge equivalence classes
    Theorem 5 in Supplemental Material. Used to derive the J-covariance condition for open dynamics.

pith-pipeline@v1.1.0-glm · 23127 in / 2811 out tokens · 396739 ms · 2026-07-08T21:52:14.433961+00:00 · methodology

0 comments
read the original abstract

Barrios Hita et al. [Phys. Rev. Lett. $\bf{136}$, 240202 (2026)] argued that quantum mechanics can be formulated over the real numbers by replacing the tensor-product postulate with a quotient-space construction, and concluded that complex numbers are therefore a matter of convenience. We show that the operational content of this construction is not that of a generic real Hilbert-space theory. Empirical equivalence requires a distinguished real linear operator $J$ with $J^2 = -\mathbb{1}$, and all physical effects, instruments, and dynamics must preserve the corresponding $SO(2)$ gauge. Moreover, the composite-system rule is a balanced tensor product over this hidden complex structure, not the ordinary tensor product over $\mathbb{R}$. In multipartite network scenarios, this changes the meaning of source independence: canonical real representatives are not source-factorizable in the usual tensor-product sense. Thus, the construction is best understood as standard complex quantum mechanics written in real notation, not as an independent real-amplitude theory. This clarifies what is, and is not, excluded by experiments testing the necessity of complex numbers.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Real Quantum Field Theory, J-Quantization, and Standard Model

    hep-th 2026-07 conditional novelty 6.0

    Quantum field theory can be reformulated entirely in real numbers by substituting the matrix J for i, with all physical predictions unchanged.

  2. Comment on "Quantum mechanics based on real numbers: a consistent description"

    physics.gen-ph 2026-07 conditional novelty 3.0

    The flag-state transformation in the criticized paper encodes the imaginary unit i in the flag space, so the resulting 'real' quantum mechanics is complex quantum mechanics in disguise.

Reference graph

Works this paper leans on

31 extracted references · 31 canonical work pages · cited by 2 Pith papers · 7 internal anchors

  1. [5]

    Aleksandrova, V

    A. Aleksandrova, V . Borish, and W. K. Wootters, Phys. Rev. A 87, 052106 (2013)

    work page 2013

  2. [6]

    J. Bang, K. Cho, and K. H. Yee, Quantum interference needs convention: Overlap-Determinability and unified No- Superposition principle (2026), arXiv:2601.14638 [quant-ph]

    work page arXiv 2026

  3. [9]

    Li, Y .-L

    Z.-D. Li, Y .-L. Mao, M. Weilenmann, A. Tavakoli, H. Chen, L. Feng, S.-J. Yang, M.-O. Renou, D. Trillo, T. P. Le, N. Gisin, A. Ac´ın, M. Navascu´es, Z. Wang, and J. Fan, Phys. Rev. Lett. 128, 040402 (2022)

    work page 2022

  4. [11]

    Wu, Y .-F

    D. Wu, Y .-F. Jiang, X.-M. Gu, L. Huang, B. Bai, Q.-C. Sun, X. Zhang, S.-Q. Gong, Y . Mao, H.-S. Zhong, M.-C. Chen, J. Zhang, Q. Zhang, C.-Y . Lu, and J.-W. Pan, Phys. Rev. Lett. 129, 140401 (2022)

    work page 2022

  5. [12]

    Barrios Hita, A

    P. Barrios Hita, A. Trushechkin, H. Kampermann, M. Epping, and D. Bruß, Phys. Rev. Lett.136, 240202 (2026)

    work page 2026

  6. [13]

    IV of the Supplemental Material

    Further details, including a coordinate-free proof and the equiv- alence with the flag-kernel quotient, are given in Sec. IV of the Supplemental Material

    work page

  7. [14]

    V of the Supplemental Material

    The generalN-party canonical even/odd flag states used here are defined in Sec. V of the Supplemental Material

    work page

  8. [23]

    the single-system flag requires a ˆJ-superselection rule, otherwise global phase becomes measurable

    work page

  9. [24]

    the quotient tensor product is the balanced tensor product over the hidden complex structure and is isomorphic to the complex tensor product

    work page

  10. [25]

    the locality postulate P4 constrains embeddings but does not derive the quotient embeddings

    work page

  11. [26]

    source independence in the Renou network is changed from ordinary product-state factorization to quotient factorization

    work page

  12. [27]

    Thus, our claim is not that quotient-space real quantum mechanics is mathematically wrong

    open dynamics must be restricted to channels that descend to the quotient, for instance ˆJ-covariant channels. Thus, our claim is not that quotient-space real quantum mechanics is mathematically wrong. It is that its empirical equivalence to complex quantum mechanics is achieved by relocating, not eliminating, the physical complex structure. To make the n...

    work page

  13. [28]

    Barrios Hita, A

    P. Barrios Hita, A. Trushechkin, H. Kampermann, M. Epping, and D. Bruß, Phys. Rev. Lett.136, 240202 (2026). 17

    work page 2026

  14. [29]

    Renou, D

    M.-O. Renou, D. Trillo, M. Weilenmann, T. P. Le, A. Tavakoli, N. Gisin, A. Ac´ın, and M. Navascu´es, Nature600, 625 (2021)

    work page 2021

  15. [30]

    E. C. G. Stueckelberg, Helv. Phys. Acta33, 727 (1960)

    work page 1960

  16. [31]

    Quantum mechanics on a real Hilbert space

    J. Myrheim, Quantum mechanics on a real hilbert space (1999), arXiv:quant-ph/9905037

    work page internal anchor Pith review Pith/arXiv arXiv 1999

  17. [32]

    McKague, M

    M. McKague, M. Mosca, and N. Gisin, Phys. Rev. Lett.102, 020505 (2009)

    work page 2009

  18. [33]

    W. K. Wootters, Found. Phys.42, 19 (2012)

    work page 2012

  19. [34]

    Aleksandrova, V

    A. Aleksandrova, V . Borish, and W. K. Wootters, Phys. Rev. A87, 052106 (2013)

    work page 2013

  20. [35]

    Li, Y .-L

    Z.-D. Li, Y .-L. Mao, M. Weilenmann, A. Tavakoli, H. Chen, L. Feng, S.-J. Yang, M.-O. Renou, D. Trillo, T. P. Le, N. Gisin, A. Ac ´ın, M. Navascu´es, Z. Wang, and J. Fan, Phys. Rev. Lett.128, 040402 (2022)

    work page 2022

  21. [36]

    M.-C. Chen, C. Wang, F.-M. Liu, J.-W. Wang, C. Ying, Z.-X. Shang, Y . Wu, M. Gong, H. Deng, F.-T. Liang, Q. Zhang, C.-Z. Peng, X. Zhu, A. Cabello, C.-Y . Lu, and J.-W. Pan, Phys. Rev. Lett.128, 040403 (2022)

    work page 2022

  22. [37]

    Wu, Y .-F

    D. Wu, Y .-F. Jiang, X.-M. Gu, L. Huang, B. Bai, Q.-C. Sun, X. Zhang, S.-Q. Gong, Y . Mao, H.-S. Zhong, M.-C. Chen, J. Zhang, Q. Zhang, C.-Y . Lu, and J.-W. Pan, Phys. Rev. Lett.129, 140401 (2022)

    work page 2022

  23. [38]

    Y . Ying, M. C. Alanon, D. Centeno, J. Surace, M. M. Ansanelli, R. Liu, D. Schmid, and R. W. Spekkens, On whether quantum theory needs complex numbers: The foil theories perspective (2025), arXiv:2506.08091 [quant-ph]

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  24. [39]

    Hoffreumon and M

    T. Hoffreumon and M. P. Woods, Quantum theory does not need complex numbers (2025), arXiv:2504.02808 [quant-ph]

    work page arXiv 2025

  25. [40]

    Hoffreumon and M

    T. Hoffreumon and M. P. Woods, Quantum theory based on real numbers cannot be experimentally falsified (2026), arXiv:2603.19208 [quant-ph]

    work page arXiv 2026

  26. [41]

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

    F. M. Kalarde, X. Xu, and M.-O. Renou, Comment on “quantum theory based on real numbers cannot be experimentally falsified”: On the compatibility of physical principles with information theory for fermions (2026), arXiv:2604.07425 [quant-ph]

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  27. [42]

    T. Feng, C. Ren, and V . Vedral, Locality implies complex numbers in quantum mechanics (2025), arXiv:2504.07808 [quant-ph]

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  28. [43]

    Weilenmann, N

    M. Weilenmann, N. Gisin, and P. Sekatski, Phys. Rev. Lett.135, 180201 (2025), arXiv:2502.20102 [quant-ph]

    work page arXiv 2025

  29. [44]

    Real Quantum Mechanics in a Kahler Space

    I. V olovich, Real quantum mechanics in a Kahler space (2025), arXiv:2504.16838 [quant-ph]

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  30. [45]

    A. C. Maioli, E. M. F. Curado, and J.-P. Gazeau, Quantum mechanics over real numbers fully reproduces standard quantum theory (2026), arXiv:2604.19482 [quant-ph]

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  31. [46]

    Quantum theory in real Hilbert space: How the complex Hilbert space structure emerges from Poincar\'e symmetry

    V . Moretti and M. Oppio, Rev. Math. Phys.29, 1750021 (2017), arXiv:1611.09029 [math-ph]

    work page internal anchor Pith review Pith/arXiv arXiv 2017