Hexagons govern three-qubit contextuality
1Astronomical Institute of the Slovak Academy of Sciences, SK-05960 Tatranská Lomnica, Slovakia
2Laboratoire Interdisciplinaire Carnot de Bourgogne, ICB/UTBM, UMR 6303, CNRS, Université de Technologie de Belfort-Montbéliard, F-90010 Belfort Cedex, France
3Department of Mathematics and Statistics, Auburn University, Auburn, AL, USA
4Université Marie et Louis Pasteur, CNRS, Institut FEMTO-ST, F-25000 Besançon, France
5ColibriTD, F-75013 Paris, France
| Published: | 2025-01-20, volume 9, page 1601 |
| Editor: | Ion Nechita |
| Eprint: | arXiv:2312.07738v3 |
| Doi: | https://doi.org/10.22331/q-2025-01-20-1601 |
| Citation: | Quantum 9, 1601 (2025). |
Find this paper interesting or want to discuss? Scite or leave a comment on SciRate.
Abstract
Split Cayley hexagons of order two are distinguished finite geometries living in the three-qubit symplectic polar space in two different forms, called classical and skew. Although neither of the two yields observable-based contextual configurations of their own, $classically$-embedded copies are found to fully encode contextuality properties of the most prominent three-qubit contextual configurations in the following sense: for each set of unsatisfiable contexts of such a contextual configuration there exists some classically-embedded hexagon sharing with the configuration exactly this set of contexts and nothing else. We demonstrate this fascinating property first on the configuration comprising all 315 contexts of the space and then on doilies, both types of quadrics as well as on complements of skew-embedded hexagons. In connection with the last-mentioned case and elliptic quadrics we also conducted some experimental tests on a Noisy Intermediate Scale Quantum (NISQ) computer to substantiate our theoretical findings.

Featured image: An illustration of the procedure that shows that to each ‘non-planar’ line (black) of a skew-embedded split Cayley hexagon of order two (left) one can associate a unique linear doily (right) that shares with it the maximum possible number of lines.
Popular summary
► BibTeX data
► References
[1] IBM Quantum Experience. https://quantum-computing.ibm.com/.
https://quantum-computing.ibm.com/
[2] D. Alsina and J. I. Latorre, Experimental test of Mermin inequalities on a five-qubit quantum computer, Physical Review A 94 (2016), 012314. 10.1103/PhysRevA.94.012314.
https://doi.org/10.1103/PhysRevA.94.012314
[3] D. M. Appleby, The Kochen-Specker theorem, Studies in History and Philosophy of Modern Physics 36 (2005), 1–28. 10.1016/j.shpsb.2004.05.003.
https://doi.org/10.1016/j.shpsb.2004.05.003
[4] J. S. Bell, On the problem of hidden variables in quantum mechanics, Reviews of Modern Physics 38 (1966), 447–452. 10.1103/RevModPhys.38.447.
https://doi.org/10.1103/RevModPhys.38.447
[5] J. Brody and R. Avram, Testing a Bell inequality with a remote quantum processor, Physics Teacher 61 (2023), 218–221. 10.1119/5.0069073.
https://doi.org/10.1119/5.0069073
[6] C. Budroni, A. Cabello, O. Gühne, M. Kleinmann, and J.-Å. Larsson, Kochen-Specker contextuality, Reviews of Modern Physics 94 (2022), 045007. 10.1103/RevModPhys.94.045007.
https://doi.org/10.1103/RevModPhys.94.045007
[7] A. Cabello, Proposed test of macroscopic quantum contextuality, Physical Review A 82 (2010), 032110. 10.1103/PhysRevA.82.032110.
https://doi.org/10.1103/PhysRevA.82.032110
[8] A. Cabello, Bell’s theorem with and without inequalities for the three-qubit Greenberger-Horne-Zeilinger and W states, Phys. Rev. A 65 (2002), 032108. 10.1103/PhysRevA.65.032108.
https://doi.org/10.1103/PhysRevA.65.032108
[9] K. Coolsaet, The smallest split Cayley hexagon has two symplectic embeddings, Finite Fields and Their Applications 16 (2010), 380–384. 10.1016/j.ffa.2010.06.003.
https://doi.org/10.1016/j.ffa.2010.06.003
[10] H. de Boutray, F. Holweck, A. Giorgetti, P.-A. Masson, and M. Saniga, Contextuality degree of quadrics in multi-qubit symplectic polar spaces, Journal of Physics A: Mathematical and Theoretical 55 (2022), 475301. 10.1088/1751-8121/aca36f.
https://doi.org/10.1088/1751-8121/aca36f
[11] W. Dür, G. Vidal, and J. I. Cirac, Three qubits can be entangled in two inequivalent ways, Phys. Rev. A 62 (2000), 062314. 10.1103/PhysRevA.62.062314.
https://doi.org/10.1103/PhysRevA.62.062314
[12] G. Fano, Sui postulati fondamentali della geometria proiettiva in uno spazio lineare a un numero qualunque di dimensioni, Giornale di Matematiche 30 (1892), 106–132. http://www.bdim.eu/item?fmt=pdf&id=GM_Fano_1892_1.
http://www.bdim.eu/item?fmt=pdf&id=GM_Fano_1892_1
[13] D. M. Greenberger, M. A. Horne, A. Shimony, and A. Zeilinger, Bell’s theorem without inequalities, American Journal of Physics 58 (1990), 1131–1143. 10.1119/1.16243.
https://doi.org/10.1119/1.16243
[14] H. Havlicek, B. Odehnal, and M. Saniga, Factor-group-generated polar spaces and (multi)-qudits, SIGMA. Symmetry, Integrability and Geometry: Methods and Applications 5 (2009), 096. 10.3842/SIGMA.2009.096.
https://doi.org/10.3842/SIGMA.2009.096
[15] H. Havlicek and M. Saniga, Projective ring line of an arbitrary single qudit, Journal of Physics A: Mathematical and Theoretical 41 (2008), 225305. 10.1088/1751-8113/41/1/015302.
https://doi.org/10.1088/1751-8113/41/1/015302
[16] P. J. Heawood, Map colouring theorems, Quarterly Journal of Mathematics – Oxford Series 24 (1890), 322–339.
[17] F. Holweck, Testing quantum contextuality of binary symplectic polar spaces on a noisy intermediate scale quantum computer, Quantum Information Processing 20 (2021), 247. 10.1007/s11128-021-03188-9.
https://doi.org/10.1007/s11128-021-03188-9
[18] F. Holweck, H. de Boutray, and M. Saniga, Three-qubit-embedded split Cayley hexagon is contextuality sensitive, Scientific Reports 12 (2022), 8915. 10.1038/s41598-022-13079-3.
https://doi.org/10.1038/s41598-022-13079-3
[19] F. Holweck and M. Saniga, Contextuality with a small number of observables, International Journal of Quantum Information 15 (2017), 1750026. 10.1142/S0219749917500265.
https://doi.org/10.1142/S0219749917500265
[20] C. Kelleher, M. Roomy, and F. Holweck, Implementing 2-qubit pseudo-telepathy games on noisy intermediate scale quantum computers, Quantum Information Processing 23 (2024), 187. 10.1007/s11128-024-04386-x.
https://doi.org/10.1007/s11128-024-04386-x
[21] S. Kochen and E. Specker, The problem of hidden variables in quantum mechanics, Journal of Mathematics and Mechanics 17 (1967), 59–87. www.jstor.org/stable/24902153, Ernst Specker Selecta (1990), 235–263. 10.1007/978-3-0348-9259-9_21.
https://doi.org/10.1007/978-3-0348-9259-9_21
http://www.jstor.org/stable/24902153
[22] A. Laghaout, A. Dikme, N. Reichel, and G. Björk, A demonstration of contextuality using quantum computers, European Journal of Physics 43 (2022), 055401. 10.1088/1361-6404/ac79e0.
https://doi.org/10.1088/1361-6404/ac79e0
[23] P. Lévay, F. Holweck, and M. Saniga, Magic three-qubit Veldkamp line: A finite geometric underpinning for form theories of gravity and black hole entropy, Physical Review D 96 (2017), 026018. 10.1103/PhysRevD.96.026018.
https://doi.org/10.1103/PhysRevD.96.026018
[24] P. Lévay, M. Planat, and M. Saniga, Grassmannian connection between three- and four-qubit observables, Mermin’s contextuality and black holes, Journal of High Energy Physics 9 (2013), 037. 10.1007/JHEP09(2013)037.
https://doi.org/10.1007/JHEP09(2013)037
[25] P. Lévay, M. Saniga, and P. Vrana, Three-qubit operators, the split Cayley hexagon of order two and black holes, Physical Review D 78 (2008), 124022. 10.1103/PhysRevD.78.124022.
https://doi.org/10.1103/PhysRevD.78.124022
[26] P. Lévay and Z. Szabó, Mermin pentagrams arising from Veldkamp lines for three qubits, Journal of Physics A: Mathematical and Theoretical 50 (2017), 095201. 10.1088/1751-8121/aa56aa.
https://doi.org/10.1088/1751-8121/aa56aa
[27] N. D. Mermin, Hidden variables and the two theorems of John Bell, Reviews of Modern Physics 65 (1993), 803–815. 10.1103/RevModPhys.65.803.
https://doi.org/10.1103/RevModPhys.65.803
[28] A. Muller and A. Giorgetti, An abstract structure that determines the degree of contextuality of observable-based Kochen-Specker proofs, 2024. arXiv preprint www.arxiv.org/abs/2410.14463, submitted for publication.
http://www.arxiv.org/abs/2410.14463
[29] A. Muller, M. Saniga, A. Giorgetti, H. de Boutray, and F. Holweck, New and improved bounds on the contextuality degree of multi-qubit configurations, Mathematical Structures in Computer Science 34 (2024), 322–343. 10.1017/S0960129524000057.
https://doi.org/10.1017/S0960129524000057
[30] A. Muller, M. Saniga, A. Giorgetti, F. Holweck, and C. Kelleher, A new heuristic approach for contextuality degree estimates and its four- to six-qubit portrayals, 2024. arXiv preprint www.arxiv.org/abs/2407.02928, submitted for publication.
http://www.arxiv.org/abs/2407.02928
[31] A. Peres, Two simple proofs of the Kochen-Specker theorem, Journal of Physics A: Mathematical and General 24 (1991), L175–L178. 10.1088/0305-4470/24/4/003.
https://doi.org/10.1088/0305-4470/24/4/003
[32] M. Planat, M. Saniga, and F. Holweck, Distinguished three-qubit `magicity' via automorphisms of the split Cayley hexagon, Quantum Information Processing 12 (2013), 2535–2549. 10.1007/s11128-013-0547-3.
https://doi.org/10.1007/s11128-013-0547-3
[33] B. Polster, A. E Schroth, and H. Van Maldeghem, Generalized flatland, The Mathematical Intelligencer 23 (2001), 33–47. 10.1007/BF03024601.
https://doi.org/10.1007/BF03024601
[34] M. Saniga, H. de Boutray, F. Holweck, and A. Giorgetti, Taxonomy of polar subspaces of multiqubit symplectic polar spaces of small rank, Mathematics 9 (2021), 2272. 10.3390/math9182272.
https://doi.org/10.3390/math9182272
[35] M. Saniga, P. Lévay, and P. Pracna, Charting the real four-qubit Pauli group via ovoids of a hyperbolic quadric of PG(7,2), Journal of Physics A: Mathematical and Theoretical 45 (2012), 295304. 10.1088/1751-8113/45/29/295304.
https://doi.org/10.1088/1751-8113/45/29/295304
[36] M. Saniga and M. Planat, Hjelmslev geometry of mutually unbiased bases, Journal of Physics A: Mathematical and General 39 (2006), 435–440. 10.1088/0305-4470/39/2/013.
https://doi.org/10.1088/0305-4470/39/2/013
[37] M. Saniga and M. Planat, Multiple qubits as symplectic polar spaces of order two, Advanced Studies in Theoretical Physics 1 (2007), 1–4. www.arxiv.org/abs/quant-ph/0612179.
arXiv:quant-ph/0612179
[38] M. Saniga, M. Planat, P. Pracna, and P. Lévay, `Magic' configurations of three-qubit observables and geometric hyperplanes of the smallest split Cayley hexagon, SIGMA. Symmetry, Integrability and Geometry: Methods and Applications 8 (2012), 083. 10.3842/SIGMA.2012.083.
https://doi.org/10.3842/SIGMA.2012.083
[39] A. E. Schroth, How to draw a hexagon, Discrete Applied Mathematics 199 (1999), 161–171. 10.1016/S0012-365X(98)00294-5.
https://doi.org/10.1016/S0012-365X(98)00294-5
[40] E. Specker, Die Logik nicht gleichzeitig entscheidbarer Aussagen, Dialectica 14 (1960), 239–246. 10.1111/j.1746-8361.1960.tb00422.x.
https://doi.org/10.1111/j.1746-8361.1960.tb00422.x
[41] K. Thas, The geometry of generalized Pauli operators of N-qudit Hilbert space, and an application to MUBs, EPL (Europhysics Letters) 86 (2009), 60005. 10.1209/0295-5075/86/60005.
https://doi.org/10.1209/0295-5075/86/60005
[42] D. M. Tran, D. V. Nguyen, B. H. Le, and H. Q. Nguyen, Experimenting quantum phenomena on NISQ computers using high level quantum programming, EPJ Quantum Technology 9 (2022), 6. 10.1140/epjqt/s40507-022-00126-1.
https://doi.org/10.1140/epjqt/s40507-022-00126-1
[43] H. Van Maldeghem, Generalized polygons, Springer Science $\&$ Business Media, 2012. 10.1007/978-3-0348-0271-0.
https://doi.org/10.1007/978-3-0348-0271-0
[44] F. Verstraete, J. Dehaene, B. De Moor, and H. Verschelde, Four qubits can be entangled in nine different ways, Phys. Rev. A 65 (2002), 052112. 10.1103/PhysRevA.65.052112.
https://doi.org/10.1103/PhysRevA.65.052112
[45] P. Vrana and P. Lévay, The Veldkamp space of multiple qubits, Journal of Physics A: Mathematical and Theoretical 43 (2010), 125303. 10.1088/1751-8113/43/12/125303.
https://doi.org/10.1088/1751-8113/43/12/125303
[46] M. Waegell, Primitive nonclassical structures of the N-qubit Pauli group, Physical Review A 89 (2014), 012321. 10.1103/PhysRevA.89.012321.
https://doi.org/10.1103/PhysRevA.89.012321
[47] M. Waegell and P. K. Aravind, Proofs of the Kochen–Specker theorem based on the N-qubit Pauli group, Physical Review A 88 (2013), 012102. 10.1103/PhysRevA.88.012102.
https://doi.org/10.1103/PhysRevA.88.012102
[48] J.-M. Xu, Y.-Z. Zhen, Y.-X. Yang, Z.-M. Cheng, Z.-C. Ren, K. Chen, X.-L. Wang, and H.-T. Wang, Experimental Demonstration of Quantum Pseudotelepathy, Physical Review Letters 129 (2022), 050402. 10.1103/PhysRevLett.129.050402.
https://doi.org/10.1103/PhysRevLett.129.050402
Cited by
[1] Axel Muller, Metod Saniga, Alain Giorgetti, Frédéric Holweck, and Colm Kelleher, "A new heuristic approach for contextuality degree estimates and its four- to six-qubit portrayals", Journal of Physics A: Mathematical and Theoretical 58 21, 215302 (2025).
The above citations are from Crossref's cited-by service (last updated successfully 2026-08-17 14:39:05) and SAO/NASA ADS (last updated successfully 2026-08-17 14:39:06). The list may be incomplete as not all publishers provide suitable and complete citation data.
This Paper is published in Quantum under the Creative Commons Attribution 4.0 International (CC BY 4.0) license. Copyright remains with the original copyright holders such as the authors or their institutions.