Abstract We study the geometry of the space of Mermin pentagrams, objects that are used to rule out the existence of noncontextual hidden variable theories as alternatives to quantum theory. It is shown that this space of 12 096 possible pentagrams is organized into 1008 families, with each family containing a ‘double-six’ of pentagrams. The 1008 families are connected to a special set of Veldkamp lines in the Veldkamp space for three-qubits an object well-known to finite geometers but has only been introduced to physics recently. Due to the transitive action of the symplectic group on this set of Veldkamp lines it is enough to study only one ‘canonical’ double-six configuration of pentagrams. We prove that the geometry of this double-six configuration is encapsulated in the weight diagram of the 20 dimensional irreducible representation of the group S U ( 6 ) . As an interesting by-product of our approach we show that Mermin pentagrams and a class of Mermin squares labelled by three-qubit Pauli operators are inherently related. We conjecture that by studying the representation theoretic content of other Veldkamp lines of the Veldkamp space for N -qubits makes it possible to find new contextual configurations in a systematic manner.
Abstract We study the geometry of the space of Mermin pentagrams, objects that are used to rule out the existence of noncontextual hidden variable theories as alternatives to quantum theory. It is shown that this space of 12 096 possible pentagrams is organized into 1008 families, with each family containing a ‘double-six’ of pentagrams. The 1008 families are connected to a special set of Veldkamp lines in the Veldkamp space for three-qubits an object well-known to finite geometers but has only been introduced to physics recently. Due to the transitive action of the symplectic group on this set of Veldkamp lines it is enough to study only one ‘canonical’ double-six configuration of pentagrams. We prove that the geometry of this double-six configuration is encapsulated in the weight diagram of the 20 dimensional irreducible representation of the group S U ( 6 ) . As an interesting by-product of our approach we show that Mermin pentagrams and a class of Mermin squares labelled by three-qubit Pauli operators are inherently related. We conjecture that by studying the representation theoretic content of other Veldkamp lines of the Veldkamp space for N -qubits makes it possible to find new contextual configurations in a systematic manner.
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.
We introduce a point-line incidence geometry in which the commutation relations of the real Pauli group of multiple qubits are fully encoded.Its points are pairs of Pauli operators differing in sign, and each line contains three pairwise commuting operators any of which is the product of the other two (up to sign).We study the properties of its Veldkamp space enabling us to identify subsets of operators which are distinguished from the geometric point of view.These are geometric hyperplanes and pairwise intersections.Among the geometric hyperplanes, one can find the set of self-dual operators with respect to the Wootters spin-flip operation well known from studies concerning multiqubit entanglement measures.In the two-and three-qubit cases, a class of hyperplanes gives rise to Mermin squares and other generalized quadrangles.In the three-qubit case, the hyperplane with points corresponding to the 27 Wootters self-dual operators is just the underlying geometry of the E 6(6) symmetric entropy formula describing black holes and strings in five dimensions.
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.
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).
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.
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.