Pith. sign in

REVIEW 3 major objections 3 minor 30 references

By choosing an independent phase for each ray before splitting real and imaginary parts, the authors embed any finite set of rays in C^3 into R^6 so that orthogonality is preserved exactly.

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 · deepseek-v4-flash

2026-08-03 20:57 UTC pith:R3N5ANDU

load-bearing objection The general phase-avoidance embedding theorem is correct and worth having, but the paper's advertised concrete faithful embedding of the 165-ray configuration is asserted, not delivered: the only table is admitted spurious, and the K=1009 phase assignment rests on an unpresented script. the 3 major comments →

arxiv 2511.17223 v3 pith:R3N5ANDU submitted 2025-11-21 quant-ph

Faithful real embedding of a three-dimensional complex Kochen-Specker configuration

Andrei Khrennikov , Karl Svozil This is my paper
classification quant-ph PACS 03.65.-w03.65.Ta
keywords Kochen-Speckerrealificationmutually unbiased basesorthogonal representationtwo-valued statescontextualitycomplex vs real quantum theoryphase freedom
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.

The paper shows that finite complex-ray configurations can be faithfully moved into a real space of twice the dimension by exploiting the arbitrary phase of each ray, and that doing so changes whether the configuration can be colored with classical truth values. Specifically, it embeds the well-known 165-ray, 130-context Kochen-Specker configuration built from mutually unbiased bases into R^6, preserving complex orthogonality relations. In C^3 this configuration admits no two-valued state; in R^6, with contexts no longer maximal, it does. The paper therefore argues that orthogonality relations alone do not separate real from complex quantum theory, while maximality of contexts does.

Core claim

The central claim is a phase-adjusted realification theorem: for any finite set of unit vectors in C^3, there exist phases θ_k such that the vectors Φ0(e^{iθ_k}ψ_k) in R^6 satisfy R_k·R_ℓ = 0 exactly when ⟨ψ_k, ψ_ℓ⟩ = 0. Because each non-orthogonal pair forbids only two phase values for one ray, an inductive choice avoiding finitely many bad values always works. Applied to the 165-ray configuration, this yields a faithful orthogonal representation in R^6. The paper further observes that in this embedding the original three-element contexts are no longer maximal, so assigning 0 to all 165 embedded rays and 1 to suitable complementary vectors gives a two-valued state—something impossible in th

What carries the argument

The phase-adjusted realification map Φ0(z) = (Re z, Im z) applied after multiplying each ray by a phase e^{iθ_k}. The key identity is R_k·R_ℓ = |c_{kℓ}| cos((θ_ℓ − θ_k) + φ_{kℓ}), showing that for each non-orthogonal pair only finitely many phase differences produce a spurious orthogonality. This reduces the construction to an inductive choice of phases from the circle minus a finite forbidden set.

Load-bearing premise

The paper's concrete 165-ray example relies on a numerically verified but not fully exhibited choice of phases (a backtracking script with K = 1009); if that phase assignment fails or introduces a spurious orthogonality, the advertised faithful R^6 list for the example is not delivered, although the general existence theorem still stands.

What would settle it

Compute the inner products of all pairs of the 165 R^6 vectors obtained with the claimed phases θ_k = n_k π/1009; if any pair that is non-orthogonal in C^3 has vanishing real dot product, the faithful embedding claim fails. Alternatively, rerun the backtracking search for θ_k and check whether a solution actually exists with K = 1009.

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

If this is right

  • Any finite orthogonality hypergraph arising from rays in C^3 has a faithful orthogonal representation in R^6, and trivially in every R^D with D ≥ 6.
  • A faithful orthogonal representation of a Kochen-Specker hypergraph need not preserve KS uncolourability: the same hypergraph can be nonclassical in C^3 and classical in R^6.
  • The logical separation between real and complex quantum theory depends on the maximality of contexts in the embedding space, not merely on the orthogonality relations themselves.
  • The numerical result that at most 128 of the 130 contexts can keep the value 1 in R^6 quantifies exactly how the KS contradiction relaxes under the embedding.

Where Pith is reading between the lines

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

  • The same inductive phase-picking argument should work for any finite set of rays in C^d embedded into R^{2d}, suggesting a general dimension-doubling faithfulness theorem that the paper only states for C^3.
  • If the phase assignment for the 165 rays were made fully explicit rather than verified by a backtracking script, the R^6 vectors could serve as a concrete testbed for whether the logical separation survives in an actual physical implementation.
  • The all-zero valuation on the embedded rays hints at a broader principle: increasing the ambient dimension can dissolve state-independent contextuality by turning maximal contexts into non-maximal subspaces.
  • Reading the paper's contrast constructively, it suggests that experiments distinguishing real from complex quantum theory at the logical level should focus on maximal-context structure rather than on orthogonality graphs alone.

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

3 major / 3 minor

Summary. The paper proposes a phase-adjusted realification procedure: any finite set of rays in C^3 can be mapped into R^6 by first multiplying each ray by a suitable phase and then applying the coordinate-wise real/imaginary separation, so that complex orthogonality is preserved and reflected (Eq. (9)). Section II proves this by induction, avoiding finitely many forbidden phase differences for each new ray. The authors apply the construction to the 165-ray, 130-context Cabello configuration built from four mutually unbiased bases. They assert that with phases theta_k = n_k*pi/1009 the configuration has a faithful orthogonal representation in R^6, and they argue that in this R^6 realization the 3-element contexts are no longer maximal, so the embedded configuration admits two-valued states, unlike the original maximal-context C^3 realization. A numerical refinement is claimed: at most 128 of the 130 contexts can retain a value-1 projector inside the embedded triple.

Significance. If the concrete phase data are supplied, the paper would provide a useful explicit example: a finite orthogonality hypergraph that is KS-uncolourable in C^3 with maximal contexts, yet admits a faithful orthogonal representation in R^6 where the same contexts are non-maximal and a finite valuation exists. The Section II existence theorem is mathematically clean and correct, and the paper properly credits prior work for the configuration and for the C^3/R^3 separation. The genuine new content is the promised explicit faithful embedding and the discussion of its non-maximal contexts; whether the paper fully delivers that content is the main issue below.

major comments (3)
  1. [Sec. III.B (Table I and following paragraph)] The central concrete claim is not actually delivered. Table I uses theta_k = 0 and its caption admits spurious orthogonalities, e.g. u1 perpendicular to u4. The only evidence for the faithful embedding is a sentence saying that a 'simple backtracking script' verified that phases theta_k = n_k*pi/1009 with K=1009 suffice. No phase values, no script, and no verification data are provided. Moreover, Sec. II only guarantees existence of arbitrary real phases; the rational common-denominator statement with K=1009 is a separate finite computation. Please supply the 165 integers n_k, or a reproducible search script with a certificate, so that Eq. (9) can be checked.
  2. [Secs. IV and V (two-valued states)] The terminology 'two-valued state' needs precision. In the standard quantum-logic sense a global two-valued state on all projectors of R^6 does not exist for dimension at least 3. What is apparently constructed here is a valuation on the finite set consisting of the 165 embedded rays plus chosen completion vectors. Please state this explicitly and prove that the completions can be chosen consistently. The current 'continuum of choices' argument is only a sketch; with 130 contexts one must show, for example, that the chosen value-1 completion vectors can be made pairwise non-orthogonal, non-coincident, and non-coincident with any embedded ray.
  3. [Sec. IV, Eq. (20)] The numerical bound that the total valuation is at most 128 is asserted without a reproducible method. No algorithm, code, or sufficiently detailed search description is given. Since this bound is not needed for the main construction or for the qualitative two-valued-state claim, either provide reproducible evidence or remove/relabel it as an illustrative numerical observation.
minor comments (3)
  1. [Abstract and Sec. III.B] The abstract says the paper lists 'for each ray its image in R^6', but Table I is the canonical theta = 0 realification and is not the faithful phase-adjusted embedding. Please make the distinction explicit in the abstract and in the introduction.
  2. [Sec. III.A, Eq. (10)] The text appears to contain a typo: 'omega^2 = omega' should read 'omega^2 = bar{omega}'.
  3. [Sec. II and Ref. [25]] The term 'faithful orthogonal representation' is used in the opposite sense from Lovasz's graph orthogonal representation (where non-adjacent vertices are orthogonal). Please define the notion in Eq. (9) and note the contrast to avoid confusion.

Circularity Check

0 steps flagged

No significant circularity: the phase-adjusted realification theorem is proved self-containedly, and the only self-citation is independently supported.

full rationale

The central derivation in Sec. II is self-contained: Eq. (4) computes R_k · R_l = Re(exp(i(theta_l - theta_k)) c_kl), Eqs. (6)-(8) show that only finitely many phase values are forbidden per non-orthogonal pair, and the induction constructs phases satisfying (9) without assuming the conclusion. The concrete 165-ray example has a reproducibility gap rather than a circularity: Table I explicitly uses theta_k = 0, and its caption admits spurious orthogonalities in R^6 (e.g., between u1 and u4), while the faithful phase assignment is asserted via an unpresented 'simple backtracking script' with K = 1009. A missing reproducible computation is not circular reasoning under the stated criteria, since no fitted quantity is renamed as a prediction and no equation reduces to its input. The KS-uncolourability of the C^3 configuration is imported from Cabello [15] and Harding-Salinas Schmeis [17]; although [18] is co-authored by Svozil, the result is independently stated in [15] and [17], so the self-citation is not load-bearing. The two-valued-state conclusion for R^6 follows from non-maximality of the embedded 3-contexts and is a genuine consequence, not a re-labeling of the premise. Therefore the circularity score is 0.

Axiom & Free-Parameter Ledger

0 free parameters · 4 axioms · 0 invented entities

The central theorem uses only standard Euclidean geometry plus the finite-avoidance induction. The paper's advertised significance leans on two imported results: the MUB existence/frequency facts and the KS-uncolourability of Cabello's 165-ray set. No empirical free parameters appear; the phases are existential choices, and K=1009 is an auxiliary integer for a numerical check, not a fitted parameter. The R^6 completion vectors are mathematical bookkeeping, not new physical entities.

axioms (4)
  • standard math The realification identity R_k·R_l = Re(e^{i(θ_l−θ_k)} c_{kl}) for phase-adjusted images.
    This is Eqs. (4)-(5) in Sec. II and is the basis of the entire phase-adjustment argument.
  • domain assumption In C^3 there exist D+1=4 mutually unbiased bases, while in R^3 no two MUBs exist.
    Imported from [23,24] and used in Sec. I to motivate why the 165-ray configuration is complex-specific.
  • domain assumption The 165-ray, 130-context Cabello configuration built from these MUBs is KS-uncolourable in C^3.
    The paper does not re-derive the colouring contradiction; it imports this result from [15,17,18] in Secs. I, IV, and V.
  • domain assumption Contexts are interpreted as maximal orthonormal bases of the ambient Hilbert space.
    This is the Kochen-Specker framework assumption stated in Sec. I; the real-vs-complex contrast in the paper depends on it.

pith-pipeline@v1.3.0-alltime-deepseek · 15386 in / 14043 out tokens · 130640 ms · 2026-08-03T20:57:05.709443+00:00 · methodology

0 comments
read the original abstract

We describe a phase-adjusted realification procedure that embeds any finite set of rays in C^3 into R^6. By assigning an appropriate phase to each ray before applying the standard coordinate-wise map, we can arrange that two rays are orthogonal in C^3 if and only if their images are orthogonal in R^6, so the construction yields a faithful orthogonal representation of the original complex configuration. As a concrete example, we consider the 165 projectively distinct rays used in a C^3 Kochen-Specker configuration obtained from mutually unbiased bases, list these 165 rays explicitly in C^3, and give for each of them its image in R^6 under the canonical realification map. We also note that, because the original 3-element contexts are no longer maximal in R^6, the embedded configuration admits two-valued states even though its realisation with maximal contexts in C^3 is Kochen-Specker uncolourable.

discussion (0)

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

Reference graph

Works this paper leans on

30 extracted references · 15 linked inside Pith

  1. [1]

    InC 3 one can construct a complete set ofD+1 = 4 MUBs

  2. [2]

    canonical gauge

    InR 3 it is impossible to find even two mutually unbiased orthonormal bases. The Yu-Oh-Cabello-KS configuration we consider [15] is built explicitly from the four MUBs inC3 and consists of 165 rays arranged into 130 contexts; in Section III we describe this configuration in detail. arXiv:2511.17223v2 [quant-ph] 23 Jan 2026 2 The present paper has two aims...

    Pith/arXiv arXiv 2026

  3. [3]

    Renou, D

    M.-O. Renou, D. Trillo, M. Weilenmann, T. P. Le, A. Tavakoli, N. Gisin, A. Acín, and M. Navascués, Quan- tum theory based on real numbers can be experimentally falsified, Nature600, 625 (2021), arXiv:2101.10873

    Pith/arXiv arXiv 2021

  4. [4]

    Weilenmann, N

    M. Weilenmann, N. Gisin, and P. Sekatski, Partial inde- pendence suffices to rule out real quantum theory exper- imentally, Physical Review Letters135, 180201 (2025)

    2025

  5. [5]

    Hoffreumon and M

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

    doi:10.48550/arxiv.2504.02808 2025

  6. [6]

    P. B. Hita, A. Trushechkin, H. Kampermann, M. Epping, and D. Bruß, Quantum mechanics based on real numbers: A consistent description, arXiv preprint arXiv:2503.17307 10.48550/arXiv.2503.17307 (2025), arXiv:2503.17307 [quant-ph]

    Pith/arXiv arXiv doi:10.48550/arxiv.2503.17307 2025

  7. [7]

    Y. Ying, M. Ciudad Alañón, D. Centeno, J. Surace, M. Maciel Ansanelli, R. Liu, D. Schmid, and R. W. Spekkens, On whether quantum theory needs com- plex numbers: the foil theories perspective, arXiv preprint arXiv:2506.08091 10.48550/arXiv.2506.08091 (2025), arXiv:2506.08091 [quant-ph]

    Pith/arXiv arXiv doi:10.48550/arxiv.2506.08091 2025

  8. [8]

    Hardy and W

    L. Hardy and W. K. Wootters, Limited holism and real- vector-space quantum theory, Foundations of Physics42, 454 (2012)

    2012

  9. [9]

    E. C. G. Stueckelberg von Breidenbach and M. Guenin, Quantum theory in real hilbert space ii (addenda and errata), Helvetica Physica Acta34, 621 (1961)

    1961

  10. [10]

    A.BednorzandJ.Batle,Optimaldiscriminationbetween real and complex quantum theories, Physical Review A 106, 042207 (2022)

    2022

  11. [11]

    Aleksandrova, V

    A. Aleksandrova, V. Borish, and W. K. Wootters, Real- vector-space quantum theory with a universal quantum bit, Physical Review A87, 052106 (2013)

    2013

  12. [12]

    W. K. Wootters, Optimal information transfer and real- vector-spacequantumtheory,inQuantum Theory: Infor- mational Foundations and Foils, Fundamental Theories of Physics, edited by G. Chiribella and R. W. Spekkens (Springer, Dordrecht, 2016) pp. 21–43

    2016

  13. [13]

    Rudolph and L

    T. Rudolph and L. Grover, A 2 rebit gate universal for quantum computing, arXiv preprint quant-ph/0210187 10.48550/arXiv.quant-ph/0210187 (2002), arXiv:quant- ph/0210187 [quant-ph]

    Pith/arXiv arXiv doi:10.48550/arxiv.quant-ph/0210187 2002

  14. [14]

    McKague, M

    M. McKague, M. Mosca, and N. Gisin, Simulating quan- tum systems using real hilbert spaces, Physical Review Letters102, 020505 (2009)

    2009

  15. [15]

    Erba and P

    M. Erba and P. Perinotti, The composition rule for quantum systems is not the only possible one, arXiv preprint arXiv:2411.15964 10.48550/arXiv.2411.15964 (2024), arXiv:2411.15964 [quant-ph]

    Pith/arXiv arXiv doi:10.48550/arxiv.2411.15964 2024

  16. [16]

    Barrios Hita, A

    P. Barrios Hita, A. Trushechkin, H. Kampermann, M. Epping, and D. Bruß, Quantum mechanics based on real numbers: A consistent description (2025), arXiv:2503.17307

    Pith/arXiv arXiv 2025

  17. [17]

    Cabello, The simplest Kochen-Specker set (2025), arXiv:2508.07335 [quant-ph]

    A. Cabello, The simplest Kochen-Specker set (2025), arXiv:2508.07335 [quant-ph]

    arXiv 2025

  18. [18]

    Yu and C

    S. Yu and C. H. Oh, State-independent proof of Kochen- Specker theorem with 13 rays, Physical Review Letters 108, 030402 (2012), arXiv:1109.4396

    Pith/arXiv arXiv 2012

  19. [19]

    Harding and R

    J. Harding and R. Salinas Schmeis, Remarks on or- thogonality spaces, International Journal of Theoreti- cal Physics64, 211 (2025), arXiv:2505.13871 [math-ph], arXiv:arXiv:2505.13871 [math-ph]

    Pith/arXiv arXiv 2025

  20. [20]

    Navara and K

    M. Navara and K. Svozil, Construction of Kochen- Specker sets from mutually unbiased bases (2025), arXiv:2509.08636 [quant-ph]

    Pith/arXiv arXiv 2025

  21. [21]

    Schwinger, Unitary operators bases, Proceedings of the National Academy of Sciences (PNAS)46, 570 (1960)

    J. Schwinger, Unitary operators bases, Proceedings of the National Academy of Sciences (PNAS)46, 570 (1960)

    1960

  22. [22]

    W. K. Wootters and B. D. Fields, Optimal state- determination by mutually unbiased measurements, An- nals of Physics191, 363 (1989)

    1989

  23. [23]

    S. Brierley,Mutually Unbiased Bases in Low Dimensions, Phd thesis, University of York, York, UK (2009), eTHoS ID: uk.bl.ethos.516399, Deposited: 01 Jun 2010, Last Modified: 08 Sep 2016

    2009

  24. [24]

    Klappenecker and M

    A. Klappenecker and M. Rötteler, Constructions of mu- tually unbiased bases, inFinite Fields and Applications, Lecture Notes in Computer Science, Vol. 2948, edited by G. Mullen, A. Poli, and H. Stichtenoth (Springer, Berlin, Heidelberg, 2004) pp. 262–266, arXiv:quant-ph/0309120

    Pith/arXiv arXiv 2004

  25. [25]

    Durt, B.-G

    T. Durt, B.-G. Englert, I. Bengtsson, and K. Życzkowski, On mutually unbiased bases, International Journal of Quantum Information8, 535 (2010), arXiv:1004.3348

    Pith/arXiv arXiv 2010

  26. [26]

    McNulty and S

    D. McNulty and S. Weigert, Mutually unbiased bases in composite dimensions – a review (2024), arXiv:2410.23997 [quant-ph], arXiv:2410.23997 [quant- ph]

    Pith/arXiv arXiv 2024

  27. [27]

    Lovász, On the Shannon capacity of a graph, IEEE 9 Transactions on Information Theory25, 1 (1979)

    L. Lovász, On the Shannon capacity of a graph, IEEE 9 Transactions on Information Theory25, 1 (1979)

    1979

  28. [28]

    M. Reck, A. Zeilinger, H. J. Bernstein, and P. Bertani, Experimental realization of any discrete unitary opera- tor, Physical Review Letters73, 58 (1994)

    1994

  29. [29]

    McKague, M

    M. McKague, M. Mosca, and N. Gisin, Simulating quan- tum systems using real Hilbert spaces, Physical Review Letters102, 020505 (2009), arXiv:0810.1923

    Pith/arXiv arXiv 2009

  30. [30]

    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, Ex- perimental refutation of real-valued quantum mechanics under strict locality conditions, Physical Review Letters 129, 140401 (2022), arXiv:2201.04177

    Pith/arXiv arXiv 2022