arXiv++ Combinatorics

We introduce and describe a new heuristic method for finding an upper bound on the degree of contextuality and the corresponding unsatisfied part of a quantum contextual configuration with three-element contexts (i.e., lines) located in a multi-qubit symplectic polar space of order two. While the previously used method based on a SAT solver was limited to three qubits, this new method is much faster and more versatile, enabling us to also handle four- to six-qubit cases. The four-qubit unsatisfied configurations we found are quite remarkable. That of an elliptic quadric features 315 lines and has in its core three copies of the split Cayley hexagon of order two having a Heawood-graph-underpinned geometry in common. That of a hyperbolic quadric also has 315 lines but, as a point-line incidence structure, is isomorphic to the dual $\mathcal{DW}(5,2)$ of $\mathcal{W}(5,2)$. Finally, an unsatisfied configuration with 1575 lines associated with all the lines/contexts of the four-qubit space contains a distinguished $\mathcal{DW}(5,2)$ centered on a point-plane incidence graph of PG$(3,2)$. The corresponding configurations found in the five-qubit space exhibit a considerably higher degree of complexity, except for a hyperbolic quadric, whose 6975 unsatisfied contexts are compactified around the point-hyperplane incidence graph of PG$(4,2)$. The most remarkable unsatisfied patterns discovered in the six-qubit space are a couple of disjoint split Cayley hexagons (for the full space) and a subgeometry underpinned by the complete bipartite graph $K_{7,7}$ (for a hyperbolic quadric).

Split Cayley hexagons of order two are distinguished finite geometries living in the three-qubit symplectic polar space in two different forms, called classical and skew. Although neither of the two yields observable-based contextual configurations of their own, {\it classically}-embedded copies are found to fully encode contextuality properties of the most prominent three-qubit contextual configurations in the following sense: for each set of unsatisfiable contexts of such a contextual configuration there exists some classically-embedded hexagon sharing with the configuration exactly this set of contexts and nothing else. We demonstrate this fascinating property first on the configuration comprising all 315 contexts of the space and then on doilies, both types of quadrics as well as on complements of skew-embedded hexagons. In connection with the last-mentioned case and elliptic quadrics we also conducted some experimental tests on a Noisy Intermediate Scale Quantum (NISQ) computer to substantiate our theoretical findings.

For $N \geq 2$, an $N$-qubit doily is a doily living in the $N$-qubit symplectic polar space. These doilies are related to operator-based proofs of quantum contextuality. Following and extending the strategy of Saniga et al. (Mathematics 9 (2021) 2272) that focused exclusively on three-qubit doilies, we first bring forth several formulas giving the number of both linear and quadratic doilies for any $N > 2$. Then we present an effective algorithm for the generation of all $N$-qubit doilies. Using this algorithm for $N=4$ and $N=5$, we provide a classification of $N$-qubit doilies in terms of types of observables they feature and number of negative lines they are endowed with. We also list several distinguished findings about $N$-qubit doilies that are absent in the three-qubit case, point out a couple of specific features exhibited by linear doilies and outline some prospective extensions of our approach.

It is known that there are two non-equivalent embeddings of the split Cayley hexagon of order two into $\mathcal{W}(5,2)$, the binary symplectic polar space of rank three, called classical and skew. Labelling the 63 points of $\mathcal{W}(5,2)$ by the 63 canonical observables of the three-qubit Pauli group subject to the symplectic polarity induced by the (commutation relations between the elements of the) group, the two types of embedding are found to be quantum contextuality sensitive. In particular, we show that the complement of a classically-embedded hexagon is not contextual, whereas that of a skewly-embedded one is.

Quantum contextuality takes an important place amongst the concepts of quantum computing that bring an advantage over its classical counterpart. For a large class of contextuality proofs, aka. observable-based proofs of the Kochen-Specker Theorem, we formulate the contextuality property as the absence of solutions to a linear system and define for a contextual configuration its degree of contextuality. Then we explain why subgeometries of binary symplectic polar spaces are candidates for contextuality proofs. We report the results of a software that generates these subgeometries, decides their contextuality and computes their contextuality degree for some small symplectic polar spaces. We show that quadrics in the symplectic polar space $W_n$ are contextual for $n=3,4,5$. The proofs we consider involve more contexts and observables than the smallest known proofs. This intermediate size property of those proofs is interesting for experimental tests, but could also be interesting in quantum game theory.

We study certain physically-relevant subgeometries of binary symplectic polar spaces $W(2N-1,2)$ of small rank $N$, when the points of these spaces canonically encode $N$-qubit observables. Key characteristics of a subspace of such a space $W(2N-1,2)$ are: the number of its negative lines, the distribution of types of observables, the character of the geometric hyperplane the subspace shares with the distinguished (non-singular) quadric of $W(2N-1,2)$ and the structure of its Veldkamp space. In particular, we classify and count polar subspaces of $W(2N-1,2)$ whose rank is $N-1$. $W(3,2)$ features three negative lines of the same type and its $W(1,2)$'s are of five different types. $W(5,2)$ is endowed with 90 negative lines of two types and its $W(3,2)$'s split into 13 types. 279 out of 480 $W(3,2)$'s with three negative lines are composite, i.\,e. they all originate from the two-qubit $W(3,2)$. Given a three-qubit $W(3,2)$ and any of its geometric hyperplanes, there are three other $W(3,2)$'s possessing the same hyperplane. The same holds if a geometric hyperplane is replaced by a `planar' tricentric triad. A hyperbolic quadric of $W(5,2)$ is found to host particular sets of seven $W(3,2)$'s, each of them being uniquely tied to a Conwell heptad with respect to the quadric. There is also a particular type of $W(3,2)$'s, a representative of which features a point each line through which is negative. Finally, $W(7,2)$ is found to possess 1908 negative lines of five types and its $W(5,2)$'s fall into as many as 29 types. 1524 out of 1560 $W(5,2)$'s with 90 negative lines originate from the three-qubit $W(5,2)$. Remarkably, the difference in the number of negative lines for any two distinct types of four-qubit $W(5,2)$'s is a multiple of four.

The development of Noisy Intermediate Scale Quantum Computers (NISQC) provides for the Quantum Information community new tools to perform quantum experiences from an individual laptop. It facilitates interdisciplinary research in the sense that theoretical descriptions of properties of quantum physics can be translated to experiments easily implementable on a NISCQ. In this note I test large state-independent inequalities for quantum contextuality on finite geometric structures encoding the commutation relations of the generalized N-qubit Pauli group. The bounds predicted by Non-Contextual Hidden Variables theories are strongly violated in all conducted experiences.

Given the facts that the three-qubit symplectic polar space features three different kinds of observables and each of its labeled Fano planes acquires a definite sign, we found that there are 45 distinct types of Mermin pentagrams in this space. A key element of our classification is the fact that any context of such pentagram is associated with a unique (positive or negative) Fano plane. Several intriguing relations between the character of pentagrams' three-qubit observables and `valuedness' of associated Fano planes are pointed out. In particular, we find two distinct kinds of negative contexts and as many as four positive ones.

In this review paper I present two geometric constructions of distinguished nature, one is over the field of complex numbers $\mathbb{C}$ and the other one is over the two elements field $\mathbb{F}_2$. Both constructions have been employed in the past fifteen years to describe two quantum paradoxes or two resources of quantum information: entanglement of pure multipartite systems on one side and contextuality on the other. Both geometric constructions are linked to representation of semi-simple Lie groups/algebras. To emphasize this aspect one explains on one hand how well-known results in representation theory allows one to see all the classification of entanglement classes of various tripartite quantum systems ($3$ qubits, $3$ fermions, $3$ bosonic qubits...) in a unified picture. On the other hand, one also shows how some weight diagrams of simple Lie groups are encapsulated in the geometry which deals with the commutation relations of the generalized $N$-Pauli group.

Making use of the `Veldkamp blow-up' recipe, introduced by Saniga and others (Ann. Inst. H. Poincar\' e D2 (2015) 309) for binary Segre varieties, we study geometric hyperplanes and Veldkamp lines of Segre varieties $S_k(3)$, where $S_k(3)$ stands for the $k$-fold direct product of projective lines of size four and $k$ runs from 2 to 4. Unlike the binary case, the Veldkamp spaces here feature also non-projective elements. Although for $k=2$ such elements are found only among Veldkamp lines, for $k \geq 3$ they are also present among Veldkamp points of the associated Segre variety. Even if we consider only projective geometric hyperplanes, we find four different types of non-projective Veldkamp lines of $S_3(3)$, having 2268 members in total, and five more types if non-projective ovoids are also taken into account. Sole geometric and combinatorial arguments lead to as many as 62 types of projective Veldkamp lines of $S_3(3)$, whose blowing-ups yield 43 distinct types of projective geometric hyperplanes of $S_4(3)$. As the latter number falls short of 48, the number of different large orbits of $2 \times 2 \times 2 \times 2$ arrays over the three-element field found by Bremner and Stavrou (Lin. Multilin. Algebra 61 (2013) 986), there are five (explicitly indicated) hyperplane types such that each is the merger of two different large orbits. Furthermore, we single out those 22 types of geometric hyperplanes of $S_4(3)$, featuring 7 176 640 members in total, that are in a one-to-one correspondence with the points lying on the unique hyperbolic quadric $\mathcal{Q}_0^{+}(15,3) \subset {\rm PG}(15,3) \subset \mathcal{V}(S_4(3))$; and, out of them, seven ones that correspond bijectively to the set of 91 840 generators of the symplectic polar space $\mathcal{W}(7,3) \subset \mathcal{V}(S_3(3))$. For $k=3$ we also discuss embedding of the binary Veldkamp space into the ternary one.

Regarding a Dynkin diagram as a specific point-line incidence structure (where each line has just two points), one can associate with it a Veldkamp space. Focusing on extended Dynkin diagrams of type $\widetilde{D}_n$, $4 \leq n \leq 8$, it is shown that the corresponding Veldkamp space always contains a distinguished copy of the projective space PG$(3,2)$. Proper labelling of the vertices of the diagram (for $4 \leq n \leq 7$) by particular elements of the two-qubit Pauli group establishes a bijection between the 15 elements of the group and the 15 points of the PG$(3,2)$. The bijection is such that the product of three elements lying on the same line is the identity and one also readily singles out that particular copy of the symplectic polar space $W(3,2)$ of the PG$(3,2)$ whose lines correspond to triples of mutually commuting elements of the group; in the latter case, in addition, we arrive at a unique copy of the Mermin-Peres magic square. In the case of $n=8$, a more natural labeling is that in terms of elements of the three-qubit Pauli group, furnishing a bijection between the 63 elements of the group and the 63 points of PG$(5,2)$, the latter being the maximum projective subspace of the corresponding Veldkamp space; here, the points of the distinguished PG$(3,2)$ are in a bijection with the elements of a two-qubit subgroup of the three-qubit Pauli group, yielding a three-qubit version of the Mermin-Peres square. Moreover, save for $n=4$, each Veldkamp space is also endowed with some `exceptional' point(s). Interestingly, two such points in the $n=8$ case define a unique Fano plane whose inherited three-qubit labels feature solely the Pauli matrix $Y$.

Given a $2^N$-dimensional Cayley-Dickson algebra, where $3 \leq N \leq 6$, we first observe that the multiplication table of its imaginary units $e_a$, $1 \leq a \leq 2^N -1$, is encoded in the properties of the projective space PG$(N-1,2)$ if one regards these imaginary units as points and distinguished triads of them $\{e_a, e_b, e_c\}$, $1 \leq a < b <c \leq 2^N -1$ and $e_ae_b = \pm e_c$, as lines. This projective space is seen to feature two distinct kinds of lines according as $a+b = c$ or $a+b \neq c$. Consequently, it also exhibits (at least two) different types of points in dependence on how many lines of either kind pass through each of them. In order to account for such partition of the PG$(N-1,2)$, the concept of Veldkamp space of a finite point-line incidence structure is employed. The corresponding point-line incidence structure is found to be a binomial $\left({N+1 \choose 2}_{N-1}, {N+1 \choose 3}_{3}\right)$-configuration ${\cal C}_N$; in particular, ${\cal C}_3$ (octonions) is isomorphic to the Pasch $(6_2,4_3)$-configuration, ${\cal C}_4$ (sedenions) is the famous Desargues $(10_3)$-configuration, ${\cal C}_5$ (32-nions) coincides with the Cayley-Salmon $(15_4,20_3)$-configuration found in the well-known Pascal mystic hexagram and ${\cal C}_6$ (64-nions) is identical with a particular $(21_5,35_3)$-configuration that can be viewed as four triangles in perspective from a line where the points of perspectivity of six pairs of them form a Pasch configuration. We also draw attention to a remarkable nesting pattern formed by these configurations, where ${\cal C}_{N-1}$ occurs as a geometric hyperplane of ${\cal C}_N$. Finally, a brief examination of the structure of generic ${\cal C}_N$ leads to a conjecture that ${\cal C}_N$ is isomorphic to a combinatorial Grassmannian of type $G_2(N+1)$.

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)$.

Employing the fact that the geometry of the $N$-qubit ($N \geq 2$) Pauli group is embodied in the structure of the symplectic polar space $\mathcal{W}(2N-1,2)$ and using properties of the Lagrangian Grassmannian ${\rm LGr}(N,2N)$ defined over the smallest Galois field, it is demonstrated that there exists a bijection between the set of maximum sets of mutually commuting elements of the $N$-qubit Pauli group and a certain subset of elements of the $2^{N-1}$-qubit Pauli group. In order to reveal finer traits of this correspondence, the cases $N=3$ (also addressed recently by Lévay, Planat and Saniga [J. High Energy Phys. 2013 (2013), no. 9, 037, 35 pages, arXiv:1305.5689]) and $N=4$ are discussed in detail. As an apt application of our findings, we use the stratification of the ambient projective space ${\rm PG}(2^N-1,2)$ of the $2^{N-1}$-qubit Pauli group in terms of $G$-orbits, where $G \equiv {\rm SL}(2,2)\times {\rm SL}(2,2)\times\cdots\times {\rm SL}(2,2)\rtimes S_N$, to decompose $\underlineπ({\rm LGr}(N,2N))$ into non-equivalent orbits. This leads to a partition of ${\rm LGr}(N,2N)$ into distinguished classes that can be labeled by elements of the above-mentioned Pauli groups.

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.