- Open Access
Faithful real embedding of a three-dimensional complex Kochen-Specker configuration
Phys. Rev. A 113, 032206 – Published 10 March, 2026
DOI: https://doi.org/10.1103/2pf4-bq7p
Abstract
We describe a phase-adjusted realification procedure that embeds any finite set of rays in into . By assigning an appropriate phase to each ray before applying the standard coordinatewise map, we can arrange that two rays are orthogonal in if and only if their images are orthogonal in , 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 Kochen-Specker configuration obtained from mutually unbiased bases, list these 165 rays explicitly in , and give for each of them its image in under the canonical realification map. We also note that, because the original three -element contexts are no longer maximal in , the embedded configuration admits two-valued states even though its realization with maximal contexts in is Kochen-Specker uncolorable.
Physics Subject Headings (PhySH)
Article Text
References (26)
- M.-O. Renou, D. Trillo, M. Weilenmann, T. P. Le, A. Tavakoli, N. Gisin, A. Acín, and M. Navascués, Quantum theory based on real numbers can be experimentally falsified, Nature (London) 600, 625 (2021).
- M. Weilenmann, N. Gisin, and P. Sekatski, Partial independence suffices to rule out real quantum theory experimentally, Phys. Rev. Lett. 135, 180201 (2025).
- T. Hoffreumon and M. P. Woods, Quantum theory does not need complex numbers, arXiv:2504.02808.
- P. B. Hita, A. Trushechkin, H. Kampermann, M. Epping, and D. Bruß, Quantum mechanics based on real numbers: A consistent description, arXiv:2503.17307.
- 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 complex numbers: The foil theories perspective, arXiv:2506.08091.
- L. Hardy and W. K. Wootters, Limited holism and real-vector-space quantum theory, Found. Phys. 42, 454 (2012).
- E. C. G. Stueckelberg von Breidenbach and M. Guenin, Quantum theory in real Hilbert space II (addenda and errata), Helv. Phys. Acta 34, 621 (1961).
- A. Bednorz and J. Batle, Optimal discrimination between real and complex quantum theories, Phys. Rev. A 106, 042207 (2022).
- A. Aleksandrova, V. Borish, and W. K. Wootters, Real-vector-space quantum theory with a universal quantum bit, Phys. Rev. A 87, 052106 (2013).
- W. K. Wootters, Optimal information transfer and real-vector-space quantum theory, in Quantum Theory: Informational Foundations and Foils, Fundamental Theories of Physics, edited by G. Chiribella and R. W. Spekkens (Springer, Dordrecht, 2016), pp. 21–43.
- T. Rudolph and L. Grover, A 2 rebit gate universal for quantum computing, arXiv:quant-ph/0210187.
- M. McKague, M. Mosca, and N. Gisin, Simulating quantum systems using real Hilbert spaces, Phys. Rev. Lett. 102, 020505 (2009).
- M. Erba and P. Perinotti, The composition rule for quantum systems is not the only possible one, arXiv:2411.15964.
- A. Cabello, The simplest Kochen-Specker set, Phys. Rev. Lett. 135, 190203 (2025).
- S. Yu and C. H. Oh, State-independent proof of Kochen-Specker theorem with 13 rays, Phys. Rev. Lett. 108, 030402 (2012).
- J. Harding and R. Salinas Schmeis, Remarks on orthogonality spaces, Int. J. Theor. Phys. 64, 211 (2025).
- M. Navara and K. Svozil, Construction of Kochen-Specker sets from mutually unbiased bases, arXiv:2509.08636.
- J. Schwinger, Unitary operators bases, Proc. Natl. Acad. Sci. USA 46, 570 (1960).
- W. K. Wootters and B. D. Fields, Optimal state-determination by mutually unbiased measurements, Ann. Phys. 191, 363 (1989).
- S. Brierley, Mutually unbiased bases in low dimensions, Ph.D. thesis, University of York, York, United Kingdom, 2009.
- A. Klappenecker and M. Rötteler, Constructions of mutually unbiased bases, in Finite Fields and Applications, Lecture Notes in Computer Science, Vol. 2948, edited by G. Mullen, A. Poli, and H. Stichtenoth (Springer, Berlin, 2004), pp. 262–266.
- T. Durt, B.-G. Englert, I. Bengtsson, and K. Życzkowski, On mutually unbiased bases, Int. J. Quantum Inf. 8, 535 (2010).
- D. McNulty and S. Weigert, Mutually unbiased bases in composite dimensions—a review, arXiv:2410.23997.
- L. Lovász, On the Shannon capacity of a graph, IEEE Trans. Inf. Theory 25, 1 (1979).
- M. Reck, A. Zeilinger, H. J. Bernstein, and P. Bertani, Experimental realization of any discrete unitary operator, Phys. Rev. Lett. 73, 58 (1994).
- 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, Experimental refutation of real-valued quantum mechanics under strict locality conditions, Phys. Rev. Lett. 129, 140401 (2022).