arXiv++ Combinatorics

Let $S_{(N)} \equiv PG(1,\,2) \times PG(1,\,2) \times \cdots \times PG(1,\,2)$ be a Segre variety that is $N$-fold direct product of projective lines of size three. Given two geometric hyperplanes $H'$ and $H''$ of $S_{(N)}$, let us call the triple $\{H', H'', \overline{H' ΔH''}\}$ the Veldkamp line of $S_{(N)}$. We shall demonstrate, for the sequence $2 \leq N \leq 4$, that the properties of geometric hyperplanes of $S_{(N)}$ are fully encoded in the properties of Veldkamp {\it lines} of $S_{(N-1)}$. Using this property, a complete classification of all types of geometric hyperplanes of $S_{(4)}$ is provided. Employing the fact that, for $2 \leq N \leq 4$, the (ordinary part of) Veldkamp space of $S_{(N)}$ is $PG(2^N-1,2)$, we shall further describe which types of geometric hyperplanes of $S_{(N)}$ lie on a certain hyperbolic quadric $\mathcal{Q}_0^+(2^N-1,2) \subset PG(2^N-1,2)$ that contains the $S_{(N)}$ and is invariant under its stabilizer group; in the $N=4$ case we shall also single out those of them that correspond, via the Lagrangian Grassmannian of type $LG(4,8)$, to the set of 2295 maximal subspaces of the symplectic polar space $\mathcal{W}(7,2)$.

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.

Disregarding the identity, the remaining 63 elements of the generalized three-qubit Pauli group are found to contain 12096 distinct copies of Mermin's magic pentagram. Remarkably, 12096 is also the number of automorphisms of the smallest split Cayley hexagon. We give a few solid arguments showing that this may not be a mere coincidence. These arguments are mainly tied to the structure of certain types of geometric hyperplanes of the hexagon. It is further demonstrated that also an (18_{2}, 12_{3})-type of magic configurations, recently proposed by Waegell and Aravind (J. Phys. A: Math. Theor. 45 (2012) 405301), seems to be intricately linked with automorphisms of the hexagon. Finally, the entanglement properties exhibited by edges of both pentagrams and these particular Waegell-Aravind configurations are addressed.

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 ${\cal V}_{22}(37; 0, 12, 15, 10)$ and ${\cal 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.

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.

Following the spirit of a recent work of one of the authors (J. Phys. A: Math. Theor. 44 (2011) 045301), the essential structure of the generalized Pauli group of a qubit-qu$d$it, where $d = 2^{k}$ and an integer $k \geq 2$, is recast in the language of a finite geometry. A point of such geometry is represented by the maximum set of mutually commuting elements of the group and two distinct points are regarded as collinear if the corresponding sets have exactly $2^{k} - 1$ elements in common. The geometry comprises $2^{k} - 1$ copies of the generalized quadrangle of order two ("the doily") that form $2^{k-1} - 1$ pencils arranged into a remarkable nested configuration. This nested structure reflects the fact that maximum sets of mutually commuting elements are of two different kinds (ordinary and exceptional) and exhibits an intriguing alternating pattern: the subgeometry of the exceptional points of the $(k+2)$-case is found to be isomorphic to the full geometry of the $k$-case. It should be stressed, however, that these generic properties of the qubit-qudit geometry were inferred from purely computer-handled cases of $k = 2, 3, 4$ and 5 only and, therefore, their rigorous, computer-free proof for $k \geq 6$ still remains a mathematical challenge.