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).
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).
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.
Abstract We invoke some ideas from finite geometry to map bijectively 135 heptads of mutually commuting three-qubit observables into 135 symmetric four -qubit ones. After labeling the elements of the former set in terms of a seven-dimensional Clifford algebra, we present the bijective map and most pronounced actions of the associated symplectic group on both sets in explicit forms. This formalism is then employed to shed novel light on recently-discovered structural and cardinality properties of an aggregate of three-qubit Mermin’s “magic” pentagrams. Moreover, some intriguing connections with the so-called black-hole-qubit correspondence are also pointed out.
A comprehensive graph theoretical and finite geometrical study of the commutation relations between the generalized Pauli operators of N-qudits is performed in which vertices/points correspond to the operators and edges/lines join commuting pairs of them. As per two-qubits, all basic properties and partitionings of the corresponding {\it Pauli graph} are embodied in the geometry of the generalized quadrangle of order two. Here, one identifies the operators with the points of the quadrangle and groups of maximally commuting subsets of the operators with the lines of the quadrangle. The three basic partitionings are (a) a pencil of lines and a cube, (b) a Mermin's array and a bipartite-part and (c) a maximum independent set and the Petersen graph. These factorizations stem naturally from the existence of three distinct geometric hyperplanes of the quadrangle, namely a set of points collinear with a given point, a grid and an ovoid, which answer to three distinguished subsets of the Pauli graph, namely a set of six operators commuting with a given one, a Mermin's square, and set of five mutually non-commuting operators, respectively. The generalized Pauli graph for multiple qubits is found to follow from symplectic polar spaces of order two, where maximal totally isotropic subspaces stand for maximal subsets of mutually commuting operators. The substructure of the (strongly regular) N-qubit Pauli graph is shown to be pseudo-geometric, i.\,e., isomorphic to a graph of a partial geometry. Finally, the (not strongly regular) Pauli graph of a two-qutrit system is introduced; here it turns out more convenient to deal with its dual in order to see all the parallels with the two-qubit case and its surmised relation with the generalized quadrangle Q(4,3), the dual of W(3).
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.
Given the symplectic polar space of type W(5,2), let us call a set of five Fano planes sharing pairwise a single point a Fano pentad. Once 63 points of W(5,2) are appropriately labeled by 63 non-trivial three-qubit observables, any such Fano pentad gives rise to a quantum contextual set known as a Mermin pentagram. Here, it is shown that a Fano pentad also hosts another, closely related, contextual set, which features 25 observables and 30 three-element contexts. Out of 25 observables, ten are such that each of them is on six contexts, while each of the remaining 15 observables belongs to two contexts only. Making use of the recent classification of Mermin pentagrams (Saniga et al., Symmetry 12 (2020) 534), it was found that 12,096 such contextual sets comprise 47 distinct types, falling into eight families according to the number (3,5,7,…,17) of negative contexts.
Observable-based Kochen-Specker proofs are configurations of multi-qubit Pauli observables grouped into contexts whose products are plus or minus the indentity. Their robustness as state-independent contextuality tests can be measured by the tolerated error per context ε=2d/∣H∣, where d is the contextuality degree and ∣H∣ the number of contexts. Since the degree depends only on an underlying abstract structure called the hypergram i.e. the pair formed by the context hypergraph and the anticommutation graph, the search for highly contextual proofs can be carried out on them instead, with no reference to qubits or to any particular Pauli labeling. We further exploit this by enumerating anticommutation graphs first, and then by associating to each graph G the single hypergram carrying its entire hypergraph support HS(G), so that exactly one candidate is examined per graph. Applied to the House of Graphs database and to censuses of vertex-transitive graphs on at most 24 vertices, this pipeline recovers the Peres-Mermin square, the doily and the Mermin pentagram, and yields configurations reaching ε=0.707, against 0.424 for the previous published record. The best configurations are predominantly those stemming from line graphs and unions of graphs; we explain the former by showing that every perfect matching of a graph is a context of its line graph, which exhibits the Peres-Mermin square and the doily as the first members of two infinite families. We close with finite geometric descriptions of the most striking configurations inside symplectic polar spaces, in terms of ovoids, hyperbolic quadrics and Fano planes.