Abstract
In 1993, Mermin gave surprisingly simple proofs of the Bell-Kochen-Specker (BKS) theorem in Hilbert spaces of dimensions four and eight respectively using what has since been called the Mermin-Peres “magic” square and the Mermin pentagram. The former is a 3×3 array of nine observables commuting pairwise in each row and column and arranged such that their product properties contradict those of the assigned eigenvalues. The latter is a set of ten observables arranged in five groups of four lying along five edges of the pentagram and characterized by a similar contradiction. We establish a one-to-one correspondence between the operators of the Mermin-Peres square and the points of the projective line over the product ring GF(2) ⊗ GF(2). Under this map, the concept mutually commuting transforms into mutually distant, and the distinguishing character of the third column’s observables has its counterpart in the distinguished properties of the coordinates of the corresponding points, whose entries are either both zero divisors or both units. The ten operators of the Mermin pentagram correspond to a specific subset of points of the line over GF(2)[x]/〈x3 ™ x〉. But the situation in this case is more intricate because there are two different configurations that seem to serve our purpose equally well. The first one comprises the three distinguished points of the (sub)line over GF(2), their three “Jacobson” counterparts, and the four points whose both coordinates are zero divisors. The other con.guration features the neighborhood of the point (1, 0) (or, equivalently, that of (0, 1)). We also mention some other ring lines that might be relevant to BKS proofs in higher dimensions.
Similar content being viewed by others
References
M. Saniga and M. Planat, Theor. Math. Phys., 151, 474–481 (2007); arXiv:quant-ph/0603051v2 (2006).
N. D. Mermin, Rev. Modern Phys., 65, 803–815 (1993).
N. D. Mermin, Phys. Rev. Lett., 65, 3373–3376 (1990).
P. K. Aravind, Found. Phys. Lett., 13, 499–519 (2000).
A. Peres, J. Phys. A, 24, 175–178 (1991).
J. Zimba and R. Penrose, Stud. Hist. Philos. Sci., 24, 697–720 (1993).
A. Einstein, B. Podolsky, and N. Rosen, Phys. Rev., 47, 777–780 (1935).
J. S. Bell, Rev. Modern Phys., 38, 447–452 (1966).
S. Kochen and E. P. Specker, J. Math. Mech., 17, 59–88 (1967).
P. K. Aravind, Amer. J. Phys., 72, 1303–1307 (2004).
J. W. P. Hirschfeld, Projective Geometries over Finite Fields, Oxford Univ. Press, Oxford (1998).
M. Saniga and M. Planat, J. Phys. A, 39, 435–440 (2006); arXiv:math-ph/0506057v3 (2005).
M. Saniga and M. Planat, Internat. J. Mod. Phys. B, 20, 1885–1892 (2006).
W. M. Stuckey, M. Silberstein, and M. Cifone, “Deflating quantum mysteries via the relational blockworld,” Phys. Essays (in press); arXiv:quant-ph/0503065v3 (2005).
Author information
Authors and Affiliations
Additional information
__________
Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 151, No. 2, pp. 219–227, May, 2007.
Rights and permissions
About this article
Cite this article
Saniga, M., Planat, M. & Minarovjech, M. Projective line over the finite quotient ring GF(2)[x]/〈x 3 ™ x〉 and quantum entanglement: The Mermin “magic” square/pentagram. Theor Math Phys 151, 625–631 (2007). https://doi.org/10.1007/s11232-007-0049-5
Received:
Issue Date:
DOI: https://doi.org/10.1007/s11232-007-0049-5