-
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.
-
Cayley-Dickson Algebras and Finite Geometry
Authors:
Metod Saniga,
Frederic Holweck,
Petr Pracna
Abstract:
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 l…
▽ More
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)$.
△ Less
Submitted 2 June, 2014; v1 submitted 27 May, 2014;
originally announced May 2014.
-
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.
-
'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.
-
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.
-
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 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.
-
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.
-
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.
-
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.
-
A Classification of the Projective Lines over Small Rings II. Non-Commutative Case
Authors:
Metod Saniga,
Michel Planat,
Petr Pracna
Abstract:
A list of different types of a projective line over non-commutative rings with unity of order up to thirty-one inclusive is given. Eight different types of such a line are found. With a single exception, the basic characteristics of the lines are identical to those of their commutative counterparts. The exceptional projective line is that defined over the non-commutative ring of order sixteen th…
▽ More
A list of different types of a projective line over non-commutative rings with unity of order up to thirty-one inclusive is given. Eight different types of such a line are found. With a single exception, the basic characteristics of the lines are identical to those of their commutative counterparts. The exceptional projective line is that defined over the non-commutative ring of order sixteen that features ten zero-divisors and it most pronouncedly differs from its commutative sibling in the number of shared points by the neighbourhoods of three pairwise distant points (three versus zero), that of "Jacobson" points (zero versus five) and in the maximum number of mutually distant points (five versus three).
△ Less
Submitted 20 June, 2006;
originally announced June 2006.
