A ``magic rectangle" of eleven observables of four qubits, employed by Harvey and Chryssanthacopoulos (2008) to prove the Bell-Kochen-Specker theorem in a 16-dimensional Hilbert space, is given a neat finite-geometrical reinterpretation in terms of the structure of the symplectic polar space $W(7,2)$ of the real four-qubit Pauli group. Each of the four sets of observables of cardinality five represents an elliptic quadric in the three-dimensional projective space of order two (PG$(3,2)$) it spans, whereas the remaining set of cardinality four corresponds to an affine plane of order two. The four ambient PG$(3, 2)$s of the quadrics intersect pairwise in a line, the resulting six lines meeting in a point. Projecting the whole configuration from this distinguished point (observable) one gets another, complementary ``magic rectangle" of the same qualitative structure.
A magic rectangle" of eleven observables of four qubits, employed by Harvey and Chryssanthacopoulos (2008) to prove the Bell-Kochen-Specker theorem in a 16-dimensional Hilbert space, is given a neat finite-geometrical reinterpretation in terms of the structure of the symplectic polar space $W(7,2)$ of the real four-qubit Pauli group. Each of the four sets of observables of cardinality five represents an elliptic quadric in the three-dimensional projective space of order two (PG$(3,2)$) it spans, whereas the remaining set of cardinality four corresponds to an affine plane of order two. The four ambient PG$(3, 2)$s of the quadrics intersect pairwise in a line, the resulting six lines meeting in a point. Projecting the whole configuration from this distinguished point (observable) one gets another, complementary magic rectangle" of the same qualitative structure.
Mermin's pentagram, a specific set of ten three-qubit observables arranged in quadruples of pairwise commuting ones into five edges of a pentagram and used to provide a very simple proof of the Kochen-Specker theorem, is shown to be isomorphic to an ovoid (elliptic quadric) of the three-dimensional projective space of order two, PG(3, 2). This demonstration employs properties of the real three-qubit Pauli group embodied in the geometry of the symplectic polar space W (5, 2) and rests on the facts that: 1) the four observables/operators on any of the five edges of the pentagram can be viewed as points of an affine plane of order two, 2) all the ten observables lie on a hyperbolic quadric of the five-dimensional projective space of order two, PG(5, 2), and 3) that the points of this quadric are in a well-known bijective correspondence with the lines of PG(3, 2).
We develop a geometric framework for constructing and organizing Kochen--Specker configurations in real four-dimensional space. The construction uses finite grids on pairs of smooth quadrics related by Euclidean polarity. Their incidence geometry directly produces orthogonal measurement contexts and parity proofs of quantum contextuality, yielding infinite families of configurations and a geometric interpretation and extension of a previously known cyclic construction. For a distinguished subfamily, the same geometry admits a canonical completion determined by secant lines. The first two instances of this completion recover the exceptional root configurations of types F4 and H4, while the smallest case also recovers the Cabello configuration and its embedding in the Peres configuration. Thus several prominent four-dimensional contextual configurations, previously obtained from different constructions, arise from a single projective-geometric mechanism.
The Projective Line Over the Finite Quotient Ring GF(2)[x]/⟨x3−x⟩ and Quantum Entanglement\\ II. The Mermin ``Magic" Square/Pentagram
In 1993, Mermin (Rev. Mod. Phys. 65, 803--815) gave lucid and strikingly simple proofs of the Bell-Kochen-Specker (BKS) theorem in Hilbert spaces of dimensions four and eight by making use of what has since been referred to as the Mermin(-Peres) ``magic square" and the Mermin pentagram, respectively. The former is a 3×3 array of nine observables commuting pairwise in each row and column and arranged so 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 similar contradiction. An interesting 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) is established. Under this mapping, the concept ``mutually commuting" translates 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 both either zero-divisors, or units. The ten operators of the Mermin pentagram answer to a specific subset of points of the line over GF(2)[x]/⟨x3−x⟩. The situation here is, however, more intricate as there are two different configurations that seem to serve equally well our purpose. 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 features the neighbourhood of the point (1,0) (or, equivalently, that of (0,1)). Some other ring lines that might be relevant for BKS proofs in higher dimensions are also mentioned.
In the intriguing realm of quantum physics, the concept of contextuality raises interesting questions about the nature of quantum systems. Since the commutation relation in the N-qubits Pauli group corresponds to the colinearity relation in the symplectic polar space W(2N − 1, 2), we study subgeometries of this space in order to discover new contextual quantum configurations. We have developed algorithms and a corresponding software in C language, that can effectively determine quantum contextuality and quantify it, by charting these symplectic polar spaces of various ranks. This tool allowed us to uncover new insights that go beyond the achievements of earlier work, such as that of de Boutray et al (J. Phys. A: Math. Theor. 55 475301, 2022). Our study spans across these geometric structures of ranks from two to seven, offering significant findings.In my talk I will explicitly illustrate the concept of quantum contextuality on certain wellknown finite-geometric configurations living in W(5,2), like the doily (and its two-spread), an elliptic quadric (and its spread of lines) and a hyperbolic quadric (and its associated Heawoodgraph); I will also consider configurations whose contexts are all the subspaces with a given dimension k < N.
Recently Waegell and Aravind [J.Phys.A: Math.Theor.45 (2012), 405301, 13 pages] have given a number of distinct sets of three-qubit observables, each furnishing a proof of the Kochen-Specker theorem.Here it is demonstrated that two of these sets/configurations, namely the 18 2 -12 3 and 2 4 14 2 -4 3 6 4 ones, can uniquely be extended into geometric hyperplanes of the split Cayley hexagon of order two, namely into those of types V 22 (37; 0, 12, 15, 10) and V 4 (49; 0, 0, 21, 28) in the classification of Frohardt and Johnson [Comm.Algebra 22 (1994), 773-797].Moreover, employing an automorphism of order seven of the hexagon, six more replicas of either of the two configurations are obtained.
We point out an explicit connection between graphs drawn on compact Riemann surfaces defined over the field [Formula: see text] of algebraic numbers — the so-called Grothendieck's dessins d'enfants — and a wealth of distinguished point-line configurations. These include simplices, cross-polytopes, several notable projective configurations, a number of multipartite graphs and some "exotic" geometries. Among them, remarkably, we find not only those underlying Mermin's magic square and magic pentagram, but also those related to the geometry of two- and three-qubit Pauli groups. Of particular interest is the occurrence of all the three types of slim generalized quadrangles, namely GQ(2, 1), GQ(2, 2) and GQ(2, 4), and a couple of closely related graphs, namely the Schläfli and Clebsch ones. These findings seem to indicate that dessins d'enfants may provide us with a new powerful tool for gaining deeper insight into the nature of finite-dimensional Hilbert spaces and their associated groups, with a special emphasis on contextuality.