-
A new heuristic approach for contextuality degree estimates and its four- to six-qubit portrayals
Authors:
Axel Muller,
Metod Saniga,
Alain Giorgetti,
Frédéric Holweck,
Colm Kelleher
Abstract:
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 fast…
▽ More
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).
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
Classically-embedded split Cayley hexagons rule three-qubit contextuality with three-element contexts
Authors:
Metod Saniga,
Frédéric Holweck,
Colm Kelleher,
Axel Muller,
Alain Giorgetti,
Henri de Boutray
Abstract:
As it is well known, split Cayley hexagons of order two live in the three-qubit symplectic polar space in two non-isomorphic embeddings, called classical and skew. Although neither of the two embeddings yields observable-based contextual configurations of their own, {\it classically}-embedded copies are found to fully rule contextuality properties of the most prominent three-qubit contextual confi…
▽ More
As it is well known, split Cayley hexagons of order two live in the three-qubit symplectic polar space in two non-isomorphic embeddings, called classical and skew. Although neither of the two embeddings yields observable-based contextual configurations of their own, {\it classically}-embedded copies are found to fully rule contextuality properties of the most prominent three-qubit contextual configurations in the following sense: each set of unsatisfiable contexts of such a contextual configuration is isomorphic to the set of lines that certain classically-embedded hexagon shares with this particular configuration. In particular, for a doily this shared set comprises three pairwise disjoint lines belonging to a grid of the doily, for an elliptic quadric the corresponding set features nine mutually disjoint lines forming a (Desarguesian) spread on the quadric, for a hyperbolic quadric the set entails 21 lines that are in bijection with the edges of the Heawood graph and, finally, for the configuration that consists of all the 315 contexts of the space its 63 unsatisfiable ones cover an entire hexagon. A particular illustration of this encoding is provided by the {\it line-complement} of a skew-embedded hexagon; its 24 unsatisfiable contexts correspond exactly to those 24 lines in which a particular classical copy of the hexagon differs from the considered skew-embedded one. In connection with the last-mentioned case we also conducted some experimental tests on a Noisy Intermediate Scale Quantum (NISQ) computer to validate our theoretical findings.
△ Less
Submitted 12 December, 2023;
originally announced December 2023.
-
New and improved bounds on the contextuality degree of multi-qubit configurations
Authors:
Axel Muller,
Metod Saniga,
Alain Giorgetti,
Henri de Boutray,
Frédéric Holweck
Abstract:
We present algorithms and a C code to reveal quantum contextuality and evaluate the contextuality degree (a way to quantify contextuality) for a variety of point-line geometries located in binary symplectic polar spaces of small rank. With this code we were not only able to recover, in a more efficient way, all the results of a recent paper by de Boutray et al [(2022). Journal of Physics A: Mathem…
▽ More
We present algorithms and a C code to reveal quantum contextuality and evaluate the contextuality degree (a way to quantify contextuality) for a variety of point-line geometries located in binary symplectic polar spaces of small rank. With this code we were not only able to recover, in a more efficient way, all the results of a recent paper by de Boutray et al [(2022). Journal of Physics A: Mathematical and Theoretical 55 475301], but also arrived at a bunch of new noteworthy results. The paper first describes the algorithms and the C code. Then it illustrates its power on a number of subspaces of symplectic polar spaces whose rank ranges from 2 to 7. The most interesting new results include: (i) non-contextuality of configurations whose contexts are subspaces of dimension 2 and higher, (ii) non-existence of negative subspaces of dimension 3 and higher, (iii) considerably improved bounds for the contextuality degree of both elliptic and hyperbolic quadrics for rank 4, as well as for a particular subgeometry of the three-qubit space whose contexts are the lines of this space, (iv) proof for the non-contextuality of perpsets and, last but not least, (v) contextual nature of a distinguished subgeometry of a multi-qubit doily, called a two-spread, and computation of its contextuality degree. Finally, in the three-qubit polar space we correct and improve the contextuality degree of the full configuration and also describe finite geometric configurations formed by unsatisfiable/invalid constraints for both types of quadrics as well as for the geometry whose contexts are all 315 lines of the space.
△ Less
Submitted 31 May, 2024; v1 submitted 17 May, 2023;
originally announced May 2023.
-
Multi-qubit doilies: enumeration for all ranks and classification for ranks four and five
Authors:
Axel Muller,
Metod Saniga,
Alain Giorgetti,
Henri De Boutray,
Frédéric Holweck
Abstract:
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 a…
▽ More
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.
△ Less
Submitted 25 November, 2022; v1 submitted 7 June, 2022;
originally announced June 2022.
-
Three-Qubit-Embedded Split Cayley Hexagon is Contextuality Sensitive
Authors:
Frédéric Holweck,
Henri de Boutray,
Metod Saniga
Abstract:
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 element…
▽ More
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.
△ Less
Submitted 1 February, 2022;
originally announced February 2022.
-
Contextuality degree of quadrics in multi-qubit symplectic polar spaces
Authors:
Henri de Boutray,
Frédéric Holweck,
Alain Giorgetti,
Pierre-Alain Masson,
Metod Saniga
Abstract:
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 contextua…
▽ More
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.
△ Less
Submitted 20 March, 2023; v1 submitted 28 May, 2021;
originally announced May 2021.
-
Taxonomy of Polar Subspaces of Multi-Qubit Symplectic Polar Spaces of Small Rank
Authors:
Metod Saniga,
Henri de Boutray,
Frederic Holweck,
Alain Giorgetti
Abstract:
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…
▽ More
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.
△ Less
Submitted 25 July, 2021; v1 submitted 8 May, 2021;
originally announced May 2021.
-
A Class of Three-Qubit Contextual Configurations Located in Fano Pentads
Authors:
Metod Saniga
Abstract:
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 Mermin pentagram. Here, it is shown that a Fano pentad also hosts another, closely related contextu…
▽ More
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 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, \ldots, 17$) of negative contexts.
△ Less
Submitted 16 April, 2020;
originally announced April 2020.
-
A Finite-Geometric Classification of Three-Qubit Mermin Pentagrams
Authors:
Metod Saniga,
Frederic Holweck,
Hamza Jaffali
Abstract:
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…
▽ More
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.
△ Less
Submitted 26 November, 2019;
originally announced November 2019.
-
Magic Three-Qubit Veldkamp Line and Veldkamp Space of the Doily
Authors:
Metod Saniga,
Zsolt Szabó
Abstract:
A magic three-qubit Veldkamp line of $W(5,2)$, i.\,e. the line comprising a hyperbolic quadric $\mathcal{Q}^+(5,2)$, an elliptic quadric $\mathcal{Q}^-(5,2)$ and a quadratic cone $\widehat{\mathcal{Q}}(4,2)$ that share a parabolic quadric $\mathcal{Q}(4,2)$, the doily, is shown to provide an interesting model for the Veldkamp space of the latter. The model is based on the facts that: a) the 20 off…
▽ More
A magic three-qubit Veldkamp line of $W(5,2)$, i.\,e. the line comprising a hyperbolic quadric $\mathcal{Q}^+(5,2)$, an elliptic quadric $\mathcal{Q}^-(5,2)$ and a quadratic cone $\widehat{\mathcal{Q}}(4,2)$ that share a parabolic quadric $\mathcal{Q}(4,2)$, the doily, is shown to provide an interesting model for the Veldkamp space of the latter. The model is based on the facts that: a) the 20 off-doily points of $\mathcal{Q}^+(5,2)$ form ten complementary pairs, each corresponding to a unique grid of the doily; b) the 12 off-doily points of $\mathcal{Q}^-(5,2)$ form six complementary pairs, each corresponding to a unique ovoid of the doily; and c) the 15 off-doily points of $\widehat{\mathcal{Q}}(4,2)$ -- disregarding the nucleus of $\mathcal{Q}(4,2)$ -- are in bijection with the 15 perp-sets of the doily. These findings lead to a conjecture that also parapolar spaces can be relevant for quantum information.
△ Less
Submitted 20 May, 2019;
originally announced May 2019.
-
Doily as Subgeometry of a Set of Nonunimodular Free Cyclic Submodules
Authors:
Metod Saniga,
Edyta Bartnicka
Abstract:
It is shown that there exists a particular associative ring with unity of order 16 such that the relations between nonunimodular free cyclic submodules of its two-dimensional free left module can be expressed in terms of the structure of the generalized quadrangle of order two. Such a doily-centered geometric structure is surmised to be of relevance for quantum information.
It is shown that there exists a particular associative ring with unity of order 16 such that the relations between nonunimodular free cyclic submodules of its two-dimensional free left module can be expressed in terms of the structure of the generalized quadrangle of order two. Such a doily-centered geometric structure is surmised to be of relevance for quantum information.
△ Less
Submitted 5 December, 2018;
originally announced December 2018.
-
A Combinatorial Grassmannian Representation of the Magic Three-Qubit Veldkamp Line
Authors:
Metod Saniga
Abstract:
It is demonstrated that the magic three-qubit Veldkamp line occurs naturally within the Veldkamp space of combinatorial Grassmannian of type $G_2(7)$, $\mathcal{V}(G_2(7))$. The lines of the ambient symplectic polar space are those lines of $\mathcal{V}(G_2(7))$ whose cores feature an odd number of points of $G_2(7)$. After introducing basic properties of three different types of points and six di…
▽ More
It is demonstrated that the magic three-qubit Veldkamp line occurs naturally within the Veldkamp space of combinatorial Grassmannian of type $G_2(7)$, $\mathcal{V}(G_2(7))$. The lines of the ambient symplectic polar space are those lines of $\mathcal{V}(G_2(7))$ whose cores feature an odd number of points of $G_2(7)$. After introducing basic properties of three different types of points and six distinct types of lines of $\mathcal{V}(G_2(7))$, we explicitly show the combinatorial Grassmannian composition of the magic Veldkamp line; we first give representatives of points and lines of its core generalized quadrangle GQ$(2,2)$, and then additional points and lines of a specific elliptic quadric $\mathcal{Q}^{-}$(5,2), a hyperbolic quadric $\mathcal{Q}^{+}$(5,2) and a quadratic cone $\widehat{\mathcal{Q}}$(4,2) that are centered on the GQ$(2,2)$. In particular, each point of $\mathcal{Q}^{+}$(5,2) is represented by a Pasch configuration and its complementary line, the (Schläfli) double-six of points in $\mathcal{Q}^{-}$(5,2) comprise six Cayley-Salmon configurations and six Desargues configurations with their complementary points, and the remaining Cayley-Salmon configuration stands for the vertex of $\widehat{\mathcal{Q}}$(4,2).
△ Less
Submitted 8 September, 2017;
originally announced September 2017.
-
The magic three-qubit Veldkamp line: A finite geometric underpinning for form theories of gravity and black hole entropy
Authors:
Péter Lévay,
Frédéric Holweck,
Metod Saniga
Abstract:
We investigate the structure of the three-qubit magic Veldkamp line (MVL). This mathematical notion has recently shown up as a tool for understanding the structures of the set of Mermin pentagrams, objects that are used to rule out certain classes of hidden variable theories. Here we show that this object also provides a unifying finite geometric underpinning for understanding the structure of fun…
▽ More
We investigate the structure of the three-qubit magic Veldkamp line (MVL). This mathematical notion has recently shown up as a tool for understanding the structures of the set of Mermin pentagrams, objects that are used to rule out certain classes of hidden variable theories. Here we show that this object also provides a unifying finite geometric underpinning for understanding the structure of functionals used in form theories of gravity and black hole entropy. We clarify the representation theoretic, finite geometric and physical meaning of the different parts of our MVL. The upshot of our considerations is that the basic finite geometric objects enabling such a diversity of physical applications of the MVL are the unique generalized quadrangles with lines of size three, their one point extensions as well as their other extensions isomorphic to affine polar spaces of rank three and order two. In a previous work we have already connected generalized quadrangles to the structure of cubic Jordan algebras related to entropy fomulas of black holes and strings in five dimensions. In some respect the present paper can be regarded as a generalization of that analysis for also providing a finite geometric understanding of four-dimensional black hole entropy formulas. However, we find many more structures whose physical meaning is yet to be explored. As a familiar special case our work provides a finite geometric representation of the algebraic extension from cubic Jordan algebras to Freudenthal systems based on such algebras.
△ Less
Submitted 5 April, 2017;
originally announced April 2017.
-
Contextuality with a Small Number of Observables
Authors:
Frédéric Holweck,
Metod Saniga
Abstract:
We investigate small geometric configurations that furnish observable-based proofs of the Kochen-Specker theorem. Assuming that each context consists of the same number of observables and each observable is shared by two contexts, it is proved that the most economical proofs are the famous Mermin-Peres square and the Mermin pentagram featuring, respectively, $9$ and $10$ observables, there being n…
▽ More
We investigate small geometric configurations that furnish observable-based proofs of the Kochen-Specker theorem. Assuming that each context consists of the same number of observables and each observable is shared by two contexts, it is proved that the most economical proofs are the famous Mermin-Peres square and the Mermin pentagram featuring, respectively, $9$ and $10$ observables, there being no proofs using less than $9$ observables. We also propose a new proof with $14$ observables forming a `magic' heptagram. On the other hand, some other prominent small-size finite geometries, like the Pasch configuration and the prism, are shown not to be contextual.
△ Less
Submitted 26 July, 2016;
originally announced July 2016.
-
Veldkamp Spaces: From (Dynkin) Diagrams to (Pauli) Groups
Authors:
Metod Saniga,
Frederic Holweck,
Petr Pracna
Abstract:
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…
▽ More
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$.
△ Less
Submitted 6 May, 2016;
originally announced May 2016.
-
Veldkamp-Space Aspects of a Sequence of Nested Binary Segre Varieties
Authors:
Metod Saniga,
Hans Havlicek,
Frederic Holweck,
Michel Planat,
Petr Pracna
Abstract:
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 geom…
▽ More
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)$.
△ Less
Submitted 26 March, 2014;
originally announced March 2014.
-
A Notable Relation between $N$-Qubit and $2^{N-1}$-Qubit Pauli Groups via Binary ${\rm LGr}(N,2N)$
Authors:
Frédéric Holweck,
Metod Saniga,
Péter Lévay
Abstract:
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 P…
▽ More
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.
△ Less
Submitted 8 April, 2014; v1 submitted 11 November, 2013;
originally announced November 2013.
-
Quantum contextual finite geometries from dessins d'enfants
Authors:
Michel Planat,
Alain Giorgetti,
Frédéric Holweck,
Metod Saniga
Abstract:
We point out an explicit connection between graphs drawn on compact Riemann surfaces defined over the field $\bar{\mathbb{Q}}$ of algebraic numbers --- so-called Grothendieck's {\it 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' geo…
▽ More
We point out an explicit connection between graphs drawn on compact Riemann surfaces defined over the field $\bar{\mathbb{Q}}$ of algebraic numbers --- so-called Grothendieck's {\it 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 {\it 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.
△ Less
Submitted 4 September, 2015; v1 submitted 16 October, 2013;
originally announced October 2013.
-
Grassmannian Connection Between Three- and Four-Qubit Observables, Mermin's Contextuality and Black Holes
Authors:
Peter Levay,
Michel Planat,
Metod Saniga
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 em…
▽ More
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.
△ Less
Submitted 10 August, 2013; v1 submitted 24 May, 2013;
originally announced May 2013.
-
Distinguished three-qubit 'magicity' via automorphisms of the split Cayley hexagon
Authors:
Michel Planat,
Metod Saniga,
Frederic Holweck
Abstract:
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 t…
▽ More
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.
△ Less
Submitted 12 December, 2012;
originally announced December 2012.
-
'Magic' Configurations of Three-Qubit Observables and Geometric Hyperplanes of the Smallest Split Cayley Hexagon
Authors:
Metod Saniga,
Michel Planat,
Petr Pracna,
Péter Lévay
Abstract:
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 Ca…
▽ More
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.
△ Less
Submitted 6 November, 2012; v1 submitted 15 June, 2012;
originally announced June 2012.
-
Five-Qubit Contextuality, Noise-Like Distribution of Distances Between Maximal Bases and Finite Geometry
Authors:
Michel Planat,
Metod Saniga
Abstract:
Employing five commuting sets of five-qubit observables, we propose specific 160-661 and 160-21 state proofs of the Bell-Kochen-Specker theorem that are also proofs of Bell's theorem. A histogram of the 'Hilbert-Schmidt' distances between the corresponding maximal bases shows in both cases a noise-like behaviour. The five commuting sets are also ascribed a finite-geometrical meaning in terms of th…
▽ More
Employing five commuting sets of five-qubit observables, we propose specific 160-661 and 160-21 state proofs of the Bell-Kochen-Specker theorem that are also proofs of Bell's theorem. A histogram of the 'Hilbert-Schmidt' distances between the corresponding maximal bases shows in both cases a noise-like behaviour. The five commuting sets are also ascribed a finite-geometrical meaning in terms of the structure of symplectic polar space W(9,2).
△ Less
Submitted 1 June, 2012;
originally announced June 2012.
-
Finite Geometry Behind the Harvey-Chryssanthacopoulos Four-Qubit Magic Rectangle
Authors:
Metod Saniga,
Michel Planat
Abstract:
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 repre…
▽ More
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.
△ Less
Submitted 27 June, 2012; v1 submitted 27 April, 2012;
originally announced April 2012.
-
Charting the Real Four-Qubit Pauli Group via Ovoids of a Hyperbolic Quadric of PG(7,2)
Authors:
Metod Saniga,
Peter Levay,
Petr Pracna
Abstract:
The geometry of the real four-qubit Pauli group, being embodied in the structure of the symplectic polar space W(7,2), is analyzed in terms of ovoids of a hyperbolic quadric of PG(7,2), the seven-dimensional projective space of order two. The quadric is selected in such a way that it contains all 135 symmetric elements of the group. Under such circumstances, the third element on the line defined b…
▽ More
The geometry of the real four-qubit Pauli group, being embodied in the structure of the symplectic polar space W(7,2), is analyzed in terms of ovoids of a hyperbolic quadric of PG(7,2), the seven-dimensional projective space of order two. The quadric is selected in such a way that it contains all 135 symmetric elements of the group. Under such circumstances, the third element on the line defined by any two points of an ovoid is skew-symmetric, as is the nucleus of the conic defined by any three points of an ovoid. Each ovoid thus yields 36/84 elements of the former/latter type, accounting for all 120 skew-symmetric elements of the group. There are a number of notable types of ovoid-associated subgeometries of the group, of which we mention the following: a subset of 12 skew-symmetric elements lying on four mutually skew lines that span the whole ambient space, a subset of 15 symmetric elements that corresponds to two ovoids sharing three points, a subset of 19 symmetric elements generated by two ovoids on a common point, a subset of 27 symmetric elements that can be partitioned into three ovoids in two unique ways, a subset of 27 skew-symmetric elements that exhibits a 15 + 2 x 6 split reminding that exhibited by an elliptic quadric of PG(5,2), and a subset of seven skew-symmetric elements formed by the nuclei of seven conics having two points in common, which is an analogue of a Conwell heptad of PG(5,2).
The strategy we employed is completely novel and unique in its nature, as are the results obtained. Such a detailed dissection of the geometry of the group in question may, for example, be crucial in getting further insights into the still-puzzling black-hole-qubit correspondence/analogy.
△ Less
Submitted 26 June, 2012; v1 submitted 14 February, 2012;
originally announced February 2012.
-
Mermin's Pentagram as an Ovoid of PG(3,2)
Authors:
Metod Saniga,
Peter Levay
Abstract:
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-qubi…
▽ More
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).
△ Less
Submitted 25 November, 2011;
originally announced November 2011.
-
A Sequence of Qubit-Qudit Pauli Groups as a Nested Structure of Doilies
Authors:
Metod Saniga,
Michel Planat
Abstract:
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…
▽ More
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.
△ Less
Submitted 12 April, 2011; v1 submitted 16 February, 2011;
originally announced February 2011.
-
Finite Projective Spaces, Geometric Spreads of Lines and Multi-Qubits
Authors:
Metod Saniga
Abstract:
Given a (2N - 1)-dimensional projective space over GF(2), PG(2N - 1, 2), and its geometric spread of lines, there exists a remarkable mapping of this space onto PG(N - 1, 4) where the lines of the spread correspond to the points and subspaces spanned by pairs of lines to the lines of PG(N - 1, 4). Under such mapping, a non-degenerate quadric surface of the former space has for its image a non-sing…
▽ More
Given a (2N - 1)-dimensional projective space over GF(2), PG(2N - 1, 2), and its geometric spread of lines, there exists a remarkable mapping of this space onto PG(N - 1, 4) where the lines of the spread correspond to the points and subspaces spanned by pairs of lines to the lines of PG(N - 1, 4). Under such mapping, a non-degenerate quadric surface of the former space has for its image a non-singular Hermitian variety in the latter space, this quadric being {\it hyperbolic} or {\it elliptic} in dependence on N being {\it even} or {\it odd}, respectively. We employ this property to show that generalized Pauli groups of N-qubits also form two distinct families according to the parity of N and to put the role of symmetric operators into a new perspective. The N=4 case is taken to illustrate the issue.
△ Less
Submitted 6 July, 2012; v1 submitted 28 April, 2010;
originally announced April 2010.
-
On the Veldkamp Space of GQ(4, 2)
Authors:
Metod Saniga
Abstract:
The Veldkamp space, in the sense of Buekenhout and Cohen, of the generalized quadrangle GQ(4, 2) is shown not to be a (partial) linear space by simply giving several examples of Veldkamp lines (V-lines) having two or even three Veldkamp points (V-points) in common. Alongside the ordinary V-lines of size five, one also finds V-lines of cardinality three and two. There, however, exists a subspace…
▽ More
The Veldkamp space, in the sense of Buekenhout and Cohen, of the generalized quadrangle GQ(4, 2) is shown not to be a (partial) linear space by simply giving several examples of Veldkamp lines (V-lines) having two or even three Veldkamp points (V-points) in common. Alongside the ordinary V-lines of size five, one also finds V-lines of cardinality three and two. There, however, exists a subspace of the Veldkamp space isomorphic to PG(3, 4) having 45 perps and 40 plane ovoids as its 85 V-points, with its 357 V-lines being of four distinct types. A V-line of the first type consists of five perps on a common line (altogether 27 of them), the second type features three perps and two ovoids sharing a tricentric triad (240 members), whilst the third and fourth type each comprises a perp and four ovoids in the rosette centered at the (common) center of the perp (90). It is also pointed out that 160 non-plane ovoids (tripods) fall into two distinct orbits -- of sizes 40 and 120 -- with respect to the stabilizer group of a copy of GQ(2, 2); a tripod of the first/second orbit sharing with the GQ(2, 2) a tricentric/unicentric triad, respectively. Finally, three remarkable subconfigurations of V-lines represented by fans of ovoids through a fixed ovoid are examined in some detail.
△ Less
Submitted 16 February, 2010; v1 submitted 5 January, 2010;
originally announced January 2010.
-
Balanced Tripartite Entanglement, the Alternating Group A4 and the Lie Algebra $sl(3,C) \oplus u(1)$
Authors:
Michel Planat,
Peter Levay,
Metod Saniga
Abstract:
We discuss three important classes of three-qubit entangled states and their encoding into quantum gates, finite groups and Lie algebras. States of the GHZ and W-type correspond to pure tripartite and bipartite entanglement, respectively. We introduce another generic class B of three-qubit states, that have balanced entanglement over two and three parties. We show how to realize the largest cris…
▽ More
We discuss three important classes of three-qubit entangled states and their encoding into quantum gates, finite groups and Lie algebras. States of the GHZ and W-type correspond to pure tripartite and bipartite entanglement, respectively. We introduce another generic class B of three-qubit states, that have balanced entanglement over two and three parties. We show how to realize the largest cristallographic group $W(E_8)$ in terms of three-qubit gates (with real entries) encoding states of type GHZ or W [M. Planat, {\it Clifford group dipoles and the enactment of Weyl/Coxeter group $W(E_8)$ by entangling gates}, Preprint 0904.3691 (quant-ph)]. Then, we describe a peculiar "condensation" of $W(E_8)$ into the four-letter alternating group $A_4$, obtained from a chain of maximal subgroups. Group $A_4$ is realized from two B-type generators and found to correspond to the Lie algebra $sl(3,\mathbb{C})\oplus u(1)$. Possible applications of our findings to particle physics and the structure of genetic code are also mentioned.
△ Less
Submitted 1 December, 2009;
originally announced December 2009.
-
Geometric Hyperplanes of the Near Hexagon L_3 times GQ(2, 2)
Authors:
Metod Saniga,
Peter Levay,
Michel Planat,
Petr Pracna
Abstract:
Having in mind their potential quantum physical applications, we classify all geometric hyperplanes of the near hexagon that is a direct product of a line of size three and the generalized quadrangle of order two. There are eight different kinds of them, totalling to 1023 = 2^{10} - 1 = |PG(9, 2)|, and they form two distinct families intricately related with the points and lines of the Veldkamp…
▽ More
Having in mind their potential quantum physical applications, we classify all geometric hyperplanes of the near hexagon that is a direct product of a line of size three and the generalized quadrangle of order two. There are eight different kinds of them, totalling to 1023 = 2^{10} - 1 = |PG(9, 2)|, and they form two distinct families intricately related with the points and lines of the Veldkamp space of the quadrangle in question.
△ Less
Submitted 1 September, 2009; v1 submitted 24 August, 2009;
originally announced August 2009.
-
The Veldkamp Space of the Smallest Slim Dense Near Hexagon
Authors:
Richard M. Green,
Metod Saniga
Abstract:
We give a detailed description of the Veldkamp space of the smallest slim dense near hexagon. This space is isomorphic to PG(7, 2) and its 2^8 - 1 = 255 Veldkamp points (that is, geometric hyperplanes of the near hexagon) fall into five distinct classes, each of which is uniquely characterized by the number of points/lines as well as by a sequence of the cardinalities of points of given orders and…
▽ More
We give a detailed description of the Veldkamp space of the smallest slim dense near hexagon. This space is isomorphic to PG(7, 2) and its 2^8 - 1 = 255 Veldkamp points (that is, geometric hyperplanes of the near hexagon) fall into five distinct classes, each of which is uniquely characterized by the number of points/lines as well as by a sequence of the cardinalities of points of given orders and/or that of (grid-)quads of given types. For each type we also give its weight, stabilizer group within the full automorphism group of the near hexagon and the total number of copies. The totality of (255 choose 2)/3 = 10795 Veldkamp lines split into 41 different types. We give a complete classification of them in terms of the properties of their cores (i. e., subconfigurations of points and lines common to all the three hyperplanes comprising a given Veldkamp line) and the types of the hyperplanes they are composed of. These findings may lend themselves into important physical applications, especially in view of recent emergence of a variety of closely related finite geometrical concepts linking quantum information with black holes.
△ Less
Submitted 6 July, 2012; v1 submitted 7 August, 2009;
originally announced August 2009.
-
Moebius Pairs of Simplices and Commuting Pauli Operators
Authors:
Hans Havlicek,
Boris Odehnal,
Metod Saniga
Abstract:
There exists a large class of groups of operators acting on Hilbert spaces, where commutativity of group elements can be expressed in the geometric language of symplectic polar spaces embedded in the projective spaces PG($n, p$), $n$ being odd and $p$ a prime. Here, we present a result about commuting and non-commuting group elements based on the existence of so-called Moebius pairs of $n$-simpl…
▽ More
There exists a large class of groups of operators acting on Hilbert spaces, where commutativity of group elements can be expressed in the geometric language of symplectic polar spaces embedded in the projective spaces PG($n, p$), $n$ being odd and $p$ a prime. Here, we present a result about commuting and non-commuting group elements based on the existence of so-called Moebius pairs of $n$-simplices, i. e., pairs of $n$-simplices which are \emph{mutually inscribed and circumscribed} to each other. For group elements representing an $n$-simplex there is no element outside the centre which commutes with all of them. This allows to express the dimension $n$ of the associated polar space in group theoretic terms. Any Moebius pair of $n$-simplices according to our construction corresponds to two disjoint families of group elements (operators) with the following properties: (i) Any two distinct elements of the same family do not commute. (ii) Each element of one family commutes with all but one of the elements from the other family. A three-qubit generalised Pauli group serves as a non-trivial example to illustrate the theory for $p=2$ and $n=5$.
△ Less
Submitted 25 August, 2009; v1 submitted 28 May, 2009;
originally announced May 2009.
-
Factor-Group-Generated Polar Spaces and (Multi-)Qudits
Authors:
Hans Havlicek,
Boris Odehnal,
Metod Saniga
Abstract:
Recently, a number of interesting relations have been discovered between generalised Pauli/Dirac groups and certain finite geometries. Here, we succeeded in finding a general unifying framework for all these relations. We introduce gradually necessary and sufficient conditions to be met in order to carry out the following programme: Given a group $\vG$, we first construct vector spaces over…
▽ More
Recently, a number of interesting relations have been discovered between generalised Pauli/Dirac groups and certain finite geometries. Here, we succeeded in finding a general unifying framework for all these relations. We introduce gradually necessary and sufficient conditions to be met in order to carry out the following programme: Given a group $\vG$, we first construct vector spaces over $\GF(p)$, $p$ a prime, by factorising $\vG$ over appropriate normal subgroups. Then, by expressing $\GF(p)$ in terms of the commutator subgroup of $\vG$, we construct alternating bilinear forms, which reflect whether or not two elements of $\vG$ commute. Restricting to $p=2$, we search for ``refinements'' in terms of quadratic forms, which capture the fact whether or not the order of an element of $\vG$ is $\leq 2$. Such factor-group-generated vector spaces admit a natural reinterpretation in the language of symplectic and orthogonal polar spaces, where each point becomes a ``condensation'' of several distinct elements of $\vG$. Finally, several well-known physical examples (single- and two-qubit Pauli groups, both the real and complex case) are worked out in detail to illustrate the fine traits of the formalism.
△ Less
Submitted 13 October, 2009; v1 submitted 31 March, 2009;
originally announced March 2009.
-
The Veldkamp Space of GQ(2,4)
Authors:
Metod Saniga,
Richard M. Green,
Peter Levay,
Petr Pracna,
Peter Vrana
Abstract:
It is shown that the Veldkamp space of the unique generalized quadrangle GQ(2,4) is isomorphic to PG(5,2). Since the GQ(2,4) features only two kinds of geometric hyperplanes, namely point's perp-sets and GQ(2,2)s, the 63 points of PG(5,2) split into two families; 27 being represented by perp-sets and 36 by GQ(2,2)s. The 651 lines of PG(5,2) are found to fall into four distinct classes: in partic…
▽ More
It is shown that the Veldkamp space of the unique generalized quadrangle GQ(2,4) is isomorphic to PG(5,2). Since the GQ(2,4) features only two kinds of geometric hyperplanes, namely point's perp-sets and GQ(2,2)s, the 63 points of PG(5,2) split into two families; 27 being represented by perp-sets and 36 by GQ(2,2)s. The 651 lines of PG(5,2) are found to fall into four distinct classes: in particular, 45 of them feature only perp-sets, 216 comprise two perp-sets and one GQ(2,2), 270 consist of one perp-set and two GQ(2,2)s and the remaining 120 ones are composed solely of GQ(2,2)s, according as the intersection of two distinct hyperplanes determining the (Veldkamp) line is, respectively, a line, an ovoid, a perp-set and a grid (i. e., GQ(2,1)) of a copy of GQ(2,2). A direct "by-hand" derivation of the above-listed properties is followed by their heuristic justification based on the properties of an elliptic quadric of PG(5,2) and complemented by a proof employing combinatorial properties of a 2-(28, 12, 11)-design and associated Steiner complexes. Surmised relevance of these findings for quantum (information) theory and the so-called black hole analogy is also outlined.
△ Less
Submitted 6 July, 2009; v1 submitted 4 March, 2009;
originally announced March 2009.
-
Black Hole Entropy and Finite Geometry
Authors:
Péter Lévay,
Metod Saniga,
Péter Vrana,
Petr Pracna
Abstract:
It is shown that the $E_{6(6)}$ symmetric entropy formula describing black holes and black strings in D=5 is intimately tied to the geometry of the generalized quadrangle GQ$(2,4)$ with automorphism group the Weyl group $W(E_6)$. The 27 charges correspond to the points and the 45 terms in the entropy formula to the lines of GQ$(2,4)$. Different truncations with $15, 11$ and 9 charges are represe…
▽ More
It is shown that the $E_{6(6)}$ symmetric entropy formula describing black holes and black strings in D=5 is intimately tied to the geometry of the generalized quadrangle GQ$(2,4)$ with automorphism group the Weyl group $W(E_6)$. The 27 charges correspond to the points and the 45 terms in the entropy formula to the lines of GQ$(2,4)$. Different truncations with $15, 11$ and 9 charges are represented by three distinguished subconfigurations of GQ$(2,4)$, well-known to finite geometers; these are the "doily" (i. e. GQ$(2,2)$) with 15, the "perp-set" of a point with 11, and the "grid" (i. e. GQ$(2,1)$) with 9 points, respectively. In order to obtain the correct signs for the terms in the entropy formula, we use a non- commutative labelling for the points of GQ$(2,4)$. For the 40 different possible truncations with 9 charges this labelling yields 120 Mermin squares -- objects well-known from studies concerning Bell-Kochen-Specker-like theorems. These results are connected to our previous ones obtained for the $E_{7(7)}$ symmetric entropy formula in D=4 by observing that the structure of GQ$(2,4)$ is linked to a particular kind of geometric hyperplane of the split Cayley hexagon of order two, featuring 27 points located on 9 pairwise disjoint lines (a distance-3-spread). We conjecture that the different possibilities of describing the D=5 entropy formula using Jordan algebras, qubits and/or qutrits correspond to employing different coordinates for an underlying non-commutative geometric structure based on GQ$(2,4)$.
△ Less
Submitted 9 March, 2009; v1 submitted 3 March, 2009;
originally announced March 2009.
-
Three-Qubit Operators, the Split Cayley Hexagon of Order Two and Black Holes
Authors:
Peter Levay,
Metod Saniga,
Peter Vrana
Abstract:
The set of 63 real generalized Pauli matrices of three-qubits can be factored into two subsets of 35 symmetric and 28 antisymmetric elements. This splitting is shown to be completely embodied in the properties of the Fano plane; the elements of the former set being in a bijective correspondence with the 7 points, 7 lines and 21 flags, whereas those of the latter set having their counterparts in…
▽ More
The set of 63 real generalized Pauli matrices of three-qubits can be factored into two subsets of 35 symmetric and 28 antisymmetric elements. This splitting is shown to be completely embodied in the properties of the Fano plane; the elements of the former set being in a bijective correspondence with the 7 points, 7 lines and 21 flags, whereas those of the latter set having their counterparts in 28 anti-flags of the plane. This representation naturally extends to the one in terms of the split Cayley hexagon of order two. 63 points of the hexagon split into 9 orbits of 7 points (operators) each under the action of an automorphism of order 7. 63 lines of the hexagon carry three points each and represent the triples of operators such that the product of any two gives, up to a sign, the third one. Since this hexagon admits a full embedding in a projective 5-space over GF(2), the 35 symmetric operators are also found to answer to the points of a Klein quadric in such space. The 28 antisymmetric matrices can be associated with the 28 vertices of the Coxeter graph, one of two distinguished subgraphs of the hexagon. The PSL_{2}(7) subgroup of the automorphism group of the hexagon is discussed in detail and the Coxeter sub-geometry is found to be intricately related to the E_7-symmetric black-hole entropy formula in string theory. It is also conjectured that the full geometry/symmetry of the hexagon should manifest itself in the corresponding black-hole solutions. Finally, an intriguing analogy with the case of Hopf sphere fibrations and a link with coding theory are briefly mentioned.
△ Less
Submitted 11 September, 2008; v1 submitted 28 August, 2008;
originally announced August 2008.
-
Space versus Time: Unimodular versus Non-Unimodular Projective Ring Geometries?
Authors:
Metod Saniga,
Petr Pracna
Abstract:
Finite projective (lattice) geometries defined over rings instead of fields have recently been recognized to be of great importance for quantum information theory. We believe that there is much more potential hidden in these geometries to be unleashed for physics. There exist specific rings over which the projective spaces feature two principally distinct kinds of basic constituents (points and/…
▽ More
Finite projective (lattice) geometries defined over rings instead of fields have recently been recognized to be of great importance for quantum information theory. We believe that there is much more potential hidden in these geometries to be unleashed for physics. There exist specific rings over which the projective spaces feature two principally distinct kinds of basic constituents (points and/or higher-rank linear subspaces), intricately interwoven with each other -- unimodular and non-unimodular. We conjecture that these two projective "degrees of freedom" can rudimentary be associated with spatial and temporal dimensions of physics, respectively. Our hypothesis is illustrated on the projective line over the smallest ring of ternions. Both the fundamental difference and intricate connection between time and space are demonstrated, and even the ring geometrical germs of the observed macroscopic dimensionality (3+1) of space-time and the arrow of time are outlined. Some other conceptual implications of this speculative model (like a hierarchical structure of physical systems) are also mentioned.
△ Less
Submitted 1 December, 2009; v1 submitted 4 August, 2008;
originally announced August 2008.
-
A Jacobson Radical Decomposition of the Fano-Snowflake Configuration
Authors:
Metod Saniga,
Petr Pracna
Abstract:
The Fano-Snowflake, a specific $non$-unimodular projective lattice configuration associated with the smallest ring of ternions $R_{\diamondsuit}$ (arXiv:0803.4436 and 0806.3153), admits an interesting partitioning with respect to the Jacobson radical of $R_{\diamondsuit}$. The totality of 21 free cyclic submodules generated by non-unimodular vectors of the free left $R_{\diamondsuit}$-module…
▽ More
The Fano-Snowflake, a specific $non$-unimodular projective lattice configuration associated with the smallest ring of ternions $R_{\diamondsuit}$ (arXiv:0803.4436 and 0806.3153), admits an interesting partitioning with respect to the Jacobson radical of $R_{\diamondsuit}$. The totality of 21 free cyclic submodules generated by non-unimodular vectors of the free left $R_{\diamondsuit}$-module $R_{\diamondsuit}^{3}$ are shown to split into three disjoint sets of cardinalities 9, 9 and 3 according as the number of Jacobson radical entries in the generating vector is 2, 1 or 0, respectively. The corresponding "ternion-induced" factorization of the lines of the Fano plane sitting in the middle of the Fano-Snowflake (6 -- 7 -- 3) is found to $differ fundamentally$ from the natural one, i. e., from that with respect to the Jacobson radical of the Galois field of two elements (3 -- 3 -- 1).
△ Less
Submitted 27 October, 2008; v1 submitted 11 July, 2008;
originally announced July 2008.
-
Vectors, Cyclic Submodules and Projective Spaces Linked with Ternions
Authors:
Hans Havlicek,
Metod Saniga
Abstract:
Given a ring of ternions $R$, i. e., a ring isomorphic to that of upper triangular $2\times 2$ matrices with entries from an arbitrary commutative field $F$, a complete classification is performed of the vectors from the free left $R$-module $R^{n+1}$, $n \geq 1$, and of the cyclic submodules generated by these vectors. The vectors fall into $5 + |F|$ and the submodules into 6 distinct orbits un…
▽ More
Given a ring of ternions $R$, i. e., a ring isomorphic to that of upper triangular $2\times 2$ matrices with entries from an arbitrary commutative field $F$, a complete classification is performed of the vectors from the free left $R$-module $R^{n+1}$, $n \geq 1$, and of the cyclic submodules generated by these vectors. The vectors fall into $5 + |F|$ and the submodules into 6 distinct orbits under the action of the general linear group $\GL_{n+1}(R)$.
Particular attention is paid to {\it free} cyclic submodules generated by \emph{non}-unimodular vectors, as these are linked with the lines of $\PG(n,F)$, the $n$-dimensional projective space over $F$. In the finite case, $F$ = $\GF(q)$, explicit formulas are derived for both the total number of non-unimodular free cyclic submodules and the number of such submodules passing through a given vector. These formulas yield a combinatorial approach to the lines and points of $\PG(n,q)$, $n\geq 2$, in terms of vectors and non-unimodular free cyclic submodules of $R^{n+1}$.
△ Less
Submitted 19 June, 2008;
originally announced June 2008.
-
Twin "Fano-Snowflakes" Over the Smallest Ring of Ternions
Authors:
Metod Saniga,
Hans Havlicek,
Michel Planat,
Petr Pracna
Abstract:
Given a finite associative ring with unity, $R$, any free (left) cyclic submodule (FCS) generated by a $uni$modular ($n+1$)-tuple of elements of $R$ represents a point of the $n$-dimensional projective space over $R$. Suppose that $R$ also features FCSs generated by ($n+1$)-tuples that are $not$ unimodular: what kind of geometry can be ascribed to such FCSs? Here, we (partially) answer this ques…
▽ More
Given a finite associative ring with unity, $R$, any free (left) cyclic submodule (FCS) generated by a $uni$modular ($n+1$)-tuple of elements of $R$ represents a point of the $n$-dimensional projective space over $R$. Suppose that $R$ also features FCSs generated by ($n+1$)-tuples that are $not$ unimodular: what kind of geometry can be ascribed to such FCSs? Here, we (partially) answer this question for $n=2$ when $R$ is the (unique) non-commutative ring of order eight. The corresponding geometry is dubbed a "Fano-Snowflake" due to its diagrammatic appearance and the fact that it contains the Fano plane in its center. There exist, in fact, two such configurations -- each being tied to either of the two maximal ideals of the ring -- which have the Fano plane in common and can, therefore, be viewed as twins. Potential relevance of these noteworthy configurations to quantum information theory and stringy black holes is also outlined.
△ Less
Submitted 4 June, 2008; v1 submitted 31 March, 2008;
originally announced March 2008.
-
Projective Ring Line of an Arbitrary Single Qudit
Authors:
Hans Havlicek,
Metod Saniga
Abstract:
As a continuation of our previous work (arXiv:0708.4333) an algebraic geometrical study of a single $d$-dimensional qudit is made, with $d$ being {\it any} positive integer. The study is based on an intricate relation between the symplectic module of the generalized Pauli group of the qudit and the fine structure of the projective line over the (modular) ring $\bZ_{d}$. Explicit formulae are giv…
▽ More
As a continuation of our previous work (arXiv:0708.4333) an algebraic geometrical study of a single $d$-dimensional qudit is made, with $d$ being {\it any} positive integer. The study is based on an intricate relation between the symplectic module of the generalized Pauli group of the qudit and the fine structure of the projective line over the (modular) ring $\bZ_{d}$. Explicit formulae are given for both the number of generalized Pauli operators commuting with a given one and the number of points of the projective line containing the corresponding vector of $\bZ^{2}_{d}$. We find, remarkably, that a perp-set is not a set-theoretic union of the corresponding points of the associated projective line unless $d$ is a product of distinct primes. The operators are also seen to be structured into disjoint `layers' according to the degree of their representing vectors. A brief comparison with some multiple-qudit cases is made.
△ Less
Submitted 27 December, 2007; v1 submitted 4 October, 2007;
originally announced October 2007.
-
Projective Ring Line of a Specific Qudit
Authors:
Hans Havlicek,
Metod Saniga
Abstract:
A very particular connection between the commutation relations of the elements of the generalized Pauli group of a $d$-dimensional qudit, $d$ being a product of distinct primes, and the structure of the projective line over the (modular) ring $\bZ_{d}$ is established, where the integer exponents of the generating shift ($X$) and clock ($Z$) operators are associated with submodules of…
▽ More
A very particular connection between the commutation relations of the elements of the generalized Pauli group of a $d$-dimensional qudit, $d$ being a product of distinct primes, and the structure of the projective line over the (modular) ring $\bZ_{d}$ is established, where the integer exponents of the generating shift ($X$) and clock ($Z$) operators are associated with submodules of $\bZ^{2}_{d}$. Under this correspondence, the set of operators commuting with a given one -- a perp-set -- represents a $\bZ_{d}$-submodule of $\bZ^{2}_{d}$. A crucial novel feature here is that the operators are also represented by {\it non}-admissible pairs of $\bZ^{2}_{d}$. This additional degree of freedom makes it possible to view any perp-set as a {\it set-theoretic} union of the corresponding points of the associated projective line.
△ Less
Submitted 27 December, 2007; v1 submitted 31 August, 2007;
originally announced August 2007.
-
Multi-Line Geometry of Qubit-Qutrit and Higher-Order Pauli Operators
Authors:
Michel R. P. Planat,
Anne-Céline Baboin,
Metod Saniga
Abstract:
The commutation relations of the generalized Pauli operators of a qubit-qutrit system are discussed in the newly established graph-theoretic and finite-geometrical settings. The dual of the Pauli graph of this system is found to be isomorphic to the projective line over the product ring Z2xZ3. A "peculiar" feature in comparison with two-qubits is that two distinct points/operators can be joined…
▽ More
The commutation relations of the generalized Pauli operators of a qubit-qutrit system are discussed in the newly established graph-theoretic and finite-geometrical settings. The dual of the Pauli graph of this system is found to be isomorphic to the projective line over the product ring Z2xZ3. A "peculiar" feature in comparison with two-qubits is that two distinct points/operators can be joined by more than one line. The multi-line property is shown to be also present in the graphs/geometries characterizing two-qutrit and three-qubit Pauli operators' space and surmised to be exhibited by any other higher-level quantum system.
△ Less
Submitted 12 June, 2007; v1 submitted 17 May, 2007;
originally announced May 2007.
-
The Veldkamp Space of Two-Qubits
Authors:
Metod Saniga,
Michel Planat,
Petr Pracna,
Hans Havlicek
Abstract:
Given a remarkable representation of the generalized Pauli operators of two-qubits in terms of the points of the generalized quadrangle of order two, W(2), it is shown that specific subsets of these operators can also be associated with the points and lines of the four-dimensional projective space over the Galois field with two elements - the so-called Veldkamp space of W(2). An intriguing novel…
▽ More
Given a remarkable representation of the generalized Pauli operators of two-qubits in terms of the points of the generalized quadrangle of order two, W(2), it is shown that specific subsets of these operators can also be associated with the points and lines of the four-dimensional projective space over the Galois field with two elements - the so-called Veldkamp space of W(2). An intriguing novelty is the recognition of (uni- and tri-centric) triads and specific pentads of the Pauli operators in addition to the "classical" subsets answering to geometric hyperplanes of W(2).
△ Less
Submitted 2 July, 2007; v1 submitted 4 April, 2007;
originally announced April 2007.
-
Pauli graph and finite projective lines/geometries
Authors:
Michel R. P. Planat,
Metod Saniga
Abstract:
The commutation relations between the generalized Pauli operators of N-qudits (i. e., N p-level quantum systems), and the structure of their maximal sets of commuting bases, follow a nice graph theoretical/geometrical pattern. One may identify vertices/points with the operators so that edges/lines join commuting pairs of them to form the so-called Pauli graph P_{p^N} . As per two-qubits (p = 2,…
▽ More
The commutation relations between the generalized Pauli operators of N-qudits (i. e., N p-level quantum systems), and the structure of their maximal sets of commuting bases, follow a nice graph theoretical/geometrical pattern. One may identify vertices/points with the operators so that edges/lines join commuting pairs of them to form the so-called Pauli graph P_{p^N} . As per two-qubits (p = 2, N = 2) all basic properties and partitionings of this graph are embodied in the geometry of the symplectic generalized quadrangle of order two, W(2). The structure of the two-qutrit (p = 3, N = 2) graph is more involved; 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 geometry of generalized quadrangle Q(4, 3), the dual of W(3). Finally, the generalized adjacency graph for multiple (N > 3) qubits/qutrits is shown to follow from symplectic polar spaces of order two/three. The relevance of these mathematical concepts to mutually unbiased bases and to quantum entanglement is also highlighted in some detail.
△ Less
Submitted 16 March, 2007;
originally announced March 2007.
-
On the Pauli graphs of N-qudits
Authors:
Michel Planat,
Metod Saniga
Abstract:
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 Pauli graph are embodied in the geometry of the generalized qua…
▽ More
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 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 ofW(3).
△ Less
Submitted 11 June, 2007; v1 submitted 29 January, 2007;
originally announced January 2007.
-
Multiple Qubits as Symplectic Polar Spaces of Order Two
Authors:
Metod Saniga,
Michel Planat
Abstract:
It is surmised that the algebra of the Pauli operators on the Hilbert space of N-qubits is embodied in the geometry of the symplectic polar space of rank N and order two, W_{2N - 1}(2). The operators (discarding the identity) answer to the points of W_{2N - 1}(2), their partitionings into maximally commuting subsets correspond to spreads of the space, a maximally commuting subset has its represe…
▽ More
It is surmised that the algebra of the Pauli operators on the Hilbert space of N-qubits is embodied in the geometry of the symplectic polar space of rank N and order two, W_{2N - 1}(2). The operators (discarding the identity) answer to the points of W_{2N - 1}(2), their partitionings into maximally commuting subsets correspond to spreads of the space, a maximally commuting subset has its representative in a maximal totally isotropic subspace of W_{2N - 1}(2) and, finally, "commuting" translates into "collinear" (or "perpendicular").
△ Less
Submitted 21 December, 2006;
originally announced December 2006.
-
Projective Ring Line Encompassing Two-Qubits
Authors:
Metod Saniga,
Michel Planat,
Petr Pracna
Abstract:
The projective line over the (non-commutative) ring of two-by-two matrices with coefficients in GF(2) is found to fully accommodate the algebra of 15 operators - generalized Pauli matrices - characterizing two-qubit systems. The relevant sub-configuration consists of 15 points each of which is either simultaneously distant or simultaneously neighbor to (any) two given distant points of the line.…
▽ More
The projective line over the (non-commutative) ring of two-by-two matrices with coefficients in GF(2) is found to fully accommodate the algebra of 15 operators - generalized Pauli matrices - characterizing two-qubit systems. The relevant sub-configuration consists of 15 points each of which is either simultaneously distant or simultaneously neighbor to (any) two given distant points of the line. The operators can be identified with the points in such a one-to-one manner that their commutation relations are exactly reproduced by the underlying geometry of the points, with the ring geometrical notions of neighbor/distant answering, respectively, to the operational ones of commuting/non-commuting. This remarkable configuration can be viewed in two principally different ways accounting, respectively, for the basic 9+6 and 10+5 factorizations of the algebra of the observables. First, as a disjoint union of the projective line over GF(2) x GF(2) (the "Mermin" part) and two lines over GF(4) passing through the two selected points, the latter omitted. Second, as the generalized quadrangle of order two, with its ovoids and/or spreads standing for (maximum) sets of five mutually non-commuting operators and/or groups of five maximally commuting subsets of three operators each. These findings open up rather unexpected vistas for an algebraic geometrical modelling of finite-dimensional quantum systems and give their numerous applications a wholly new perspective.
△ Less
Submitted 28 December, 2006; v1 submitted 6 November, 2006;
originally announced November 2006.
-
Quantum Entanglement and Projective Ring Geometry
Authors:
Michel R. P. Planat,
Metod Saniga,
Maurice R. Kibler
Abstract:
The paper explores the basic geometrical properties of the observables characterizing two-qubit systems by employing a novel projective ring geometric approach. After introducing the basic facts about quantum complementarity and maximal quantum entanglement in such systems, we demonstrate that the 15$\times$15 multiplication table of the associated four-dimensional matrices exhibits a so-far-unn…
▽ More
The paper explores the basic geometrical properties of the observables characterizing two-qubit systems by employing a novel projective ring geometric approach. After introducing the basic facts about quantum complementarity and maximal quantum entanglement in such systems, we demonstrate that the 15$\times$15 multiplication table of the associated four-dimensional matrices exhibits a so-far-unnoticed geometrical structure that can be regarded as three pencils of lines in the projective plane of order two. In one of the pencils, which we call the kernel, the observables on two lines share a base of Bell states. In the complement of the kernel, the eight vertices/observables are joined by twelve lines which form the edges of a cube. A substantial part of the paper is devoted to showing that the nature of this geometry has much to do with the structure of the projective lines defined over the rings that are the direct product of $n$ copies of the Galois field GF(2), with $n$ = 2, 3 and 4.
△ Less
Submitted 18 August, 2006; v1 submitted 29 May, 2006;
originally announced May 2006.
-
A Classification of the Projective Lines over Small Rings
Authors:
Metod Saniga,
Michel Planat,
Maurice Kibler,
Petr Pracna
Abstract:
A compact classification of the projective lines defined over (commutative) rings (with unity) of all orders up to thirty-one is given. There are altogether sixty-five different types of them. For each type we introduce the total number of points on the line, the number of points represented by coordinates with at least one entry being a unit, the cardinality of the neighbourhood of a generic po…
▽ More
A compact classification of the projective lines defined over (commutative) rings (with unity) of all orders up to thirty-one is given. There are altogether sixty-five different types of them. For each type we introduce the total number of points on the line, the number of points represented by coordinates with at least one entry being a unit, the cardinality of the neighbourhood of a generic point of the line as well as those of the intersections between the neighbourhoods of two and three mutually distant points, the number of `Jacobson' points per a neighbourhood, the maximum number of pairwise distant points and, finally, a list of representative/base rings. The classification is presented in form of a table in order to see readily not only the fine traits of the hierarchy, but also the changes in the structure of the lines as one goes from one type to the other. We hope this study will serve as an impetus to a search for possible applications of these remarkable geometries in physics, chemistry, biology and other natural sciences as well.
△ Less
Submitted 7 August, 2006; v1 submitted 11 May, 2006;
originally announced May 2006.