Showing 1–50 of 88 results for author: Saniga, M

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.

Comments: 35 pages, 14 figures

MSC Class: 81P13 ACM Class: J.2

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.

Comments: 25 pages, 14 figures

MSC Class: 81P13; 51E12

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.

Comments: 22 pages, 5 figures, 2 tables, published by Cambridge University Press in Mathematical Structures in Computer Science

Journal ref: Mathematical Structures in Computer Science. Published online 2024:1-22

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.

Comments: Minor revisions and corrections. Published in Journal of Computational Science, Volume 64, 2022, 101853, ISSN 1877-7503, https://doi.org/10.1016/j.jocs.2022.101853

Journal ref: Journal of Computational Science 64 (2022) 101853

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.

Comments: 12 pages, 7 figures

Journal ref: Scientific Reports 12 (2022) 8915

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.

Comments: 18 pages, 4 figures, 4 tables. Mistake in first line of Table 2 corrected

Journal ref: Journal of Physics A: Mathematical and Theoretical 55 (2022) 475301

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.

Comments: 20 pages, 5 figures and 5 tables; Version 2 - a new paragraph, new section (Sec. 5), four more figures and five more references

Journal ref: Mathematics 9 (2021) 2272

$X$-States From a Finite Geometric Perspective

Authors: Colm Kelleher, Frédéric Holweck, Péter Lévay, Metod Saniga

Abstract: It is found that $15$ different types of two-qubit $X$-states split naturally into two sets (of cardinality $9$ and $6$) once their entanglement properties are taken into account. We {characterize both the validity and entangled nature of the $X$-states with maximally-mixed subsystems in terms of certain parameters} and show that their properties are related to a special class of geometric hyperpl… ▽ More It is found that $15$ different types of two-qubit $X$-states split naturally into two sets (of cardinality $9$ and $6$) once their entanglement properties are taken into account. We {characterize both the validity and entangled nature of the $X$-states with maximally-mixed subsystems in terms of certain parameters} and show that their properties are related to a special class of geometric hyperplanes of the symplectic polar space of order two and rank two. Finally, we introduce the concept of hyperplane-states and briefly address their non-local properties. △ Less

Submitted 7 August, 2020; originally announced August 2020.

Comments: 16 pages, 11 figures

Journal ref: Results in Physics 22 (2021) 103859

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.

Comments: 6 pages, one figure

Journal ref: Mathematics 9 (2021) 1524

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.

Comments: 6 pages, 2 figures

Journal ref: Symmetry 12 (2020) 534

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.

Comments: 7 pages, 3 figures

Journal ref: Symmetry 12 (2020) 963

Affine and Projective Planes Linked with Projective Lines over Certain Rings of Lower Triangular Matrices

Authors: Edyta Bartnicka, Metod Saniga

Abstract: Let $T_n(q)$ be the ring of lower triangular matrices of order $n \geq 2$ with entries from the finite field $F(q)$ of order $q \geq 2$ and let ${^2T_n(q)}$ denote its free left module. For $n=2,3$ it is shown that the projective line over $T_n(q)$ gives rise to a set of $(q+1)^{(n-1)}q^{\frac{3(n-1)(n-2)}{2}}$ affine planes of order $q$. The points of such an affine plane are non-free cyclic subm… ▽ More Let $T_n(q)$ be the ring of lower triangular matrices of order $n \geq 2$ with entries from the finite field $F(q)$ of order $q \geq 2$ and let ${^2T_n(q)}$ denote its free left module. For $n=2,3$ it is shown that the projective line over $T_n(q)$ gives rise to a set of $(q+1)^{(n-1)}q^{\frac{3(n-1)(n-2)}{2}}$ affine planes of order $q$. The points of such an affine plane are non-free cyclic submodules of ${^2T_n(q)}$ not contained in any non-unimodular free cyclic submodule of ${^2T_n(q)}$ and its lines are points of the projective line. Furthermore, it is demonstrated that each affine plane can be extended to the projective plane of order $q$, with the `line at infinity' being represented by those free cyclic submodules of ${^2T_n(q)}$ that are generated by non-unimodular pairs. Our approach can straightforwardly be adjusted to address the case of arbitrary $n$. △ Less

Submitted 13 March, 2019; v1 submitted 11 March, 2019; originally announced March 2019.

Journal ref: Linear Algebra and its Applications 586 (2020) 377

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.

Comments: 5 pages, 3 figures

Journal ref: Axioms 8 (2019) 28

Veldkamp Spaces of Low-Dimensional Ternary Segre Varieties

Authors: Metod Saniga, Jérôme Boulmier, Maxime Pinard, Frédéric Holweck

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

Submitted 23 June, 2018; originally announced June 2018.

Comments: 20 pages, 4 figures, 12 tables

MSC Class: 51E20; 15A69

Journal ref: Results in Mathematics 74 (2019) 54

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.

Comments: 6 pages, 2 figures

Journal ref: Entropy 19/10 (2017) Art. No. 556

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.

Comments: 52 pages, 15 figures

Journal ref: Phys. Rev. D 96, 026018 (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.

Comments: 12 pages, 9 figures

Journal ref: Int. J. Quantum Inform. 15 (2017) 1750026

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.

Comments: 19 pages, 17 figures

Journal ref: International Journal of Geometric Methods in Modern Physics 14 (2017) 1750080

Combinatorial Intricacies of Labeled Fano Planes

Authors: Metod Saniga

Abstract: Given a seven-element set $X = \{1,2,3,4,5,6,7\}$, there are 30 ways to define a Fano plane on it. Let us call a line of such Fano plane, that is to say an unordered triple from $X$, ordinary or defective according as the sum of two smaller integers from the triple is or is not equal to the remaining one, respectively. A point of the labeled Fano plane is said to be of order $s$,… ▽ More Given a seven-element set $X = \{1,2,3,4,5,6,7\}$, there are 30 ways to define a Fano plane on it. Let us call a line of such Fano plane, that is to say an unordered triple from $X$, ordinary or defective according as the sum of two smaller integers from the triple is or is not equal to the remaining one, respectively. A point of the labeled Fano plane is said to be of order $s$, $0 \leq s \leq 3$, if there are $s$ {\it defective} lines passing through it. With such structural refinement in mind, the 30 Fano planes are shown to fall into eight distinct types. Out of the total of 35 lines, nine ordinary lines are of five different kinds, whereas the remaining 26 defective lines yield as many as ten distinct types. It is shown, in particular, that no labeled Fano plane can have all points of zeroth order, or feature just one point of order two. A connection with prominent configurations in Steiner triple systems is also pointed out. △ Less

Submitted 20 September, 2015; originally announced September 2015.

Comments: 5 pages, 2 figures

Journal ref: Entropy 18/9 (2016) Art. No. 312

Structure and Dynamics of the 13/14 November 2012 Eclipse White-Light Corona

Authors: Jay M. Pasachoff, Vojtech Rusin, Metod Saniga, Bryce A. Babcock, Muzhou Lu, Allen B. Davis, Ronald F. Dantowitz, Pavlos Gaintatzis, John H. Seiradakis, Aristeidis Voulgaris, Daniel B. Seaton, Kazuo Shiota

Abstract: Continuing our series of observations of the motion and dynamics of the solar corona over the solar-activity cycle, we observed the corona from sites in Queensland, Australia, during the 13 (UT)/14 (local time) November 2012 total solar eclipse. The corona took the low-ellipticity shape typical of solar maximum (flattening index ε = 0.01), showing a change from the composite coronal images that we… ▽ More Continuing our series of observations of the motion and dynamics of the solar corona over the solar-activity cycle, we observed the corona from sites in Queensland, Australia, during the 13 (UT)/14 (local time) November 2012 total solar eclipse. The corona took the low-ellipticity shape typical of solar maximum (flattening index ε = 0.01), showing a change from the composite coronal images that we had observed and analyzed in this journal and elsewhere for the 2006, 2008, 2009, and 2010 eclipses. After crossing the northeast Australian coast, the rest of the path of totality was over the ocean, so further totality was seen only by shipborne observers. Our results include measurements of velocities of a coronal mass ejection; during the 36 minutes of passage from the Queensland coast to a ship north of New Zealand, we find a speed of 413 km/s, and we analyze its dynamics. We discuss the shapes and positions of several types of coronal features seen on our higher-resolution composite Queensland images of the solar corona, including, many helmet streamers, very faint bright and dark loops at the base of helmet streamers, voids and radially oriented thin streamers. We compare our eclipse observations with a hairy-ball model of the magnetic field, confirming the validity of the prediction, and we relate the eclipse phenomenology seen with the near-simultaneous images from the Atmospheric Imaging Assembly on the NASA's Solar Dynamics Observatory (SDO/AIA), the Extreme Ultraviolet Imager on NASA's Solar Terrestrial Relations Observatory (STEREO/EUVI), ESA/ROB's PROBA2/SWAP, and NRL's LASCO on ESA's SOHO. For example, the southeastern CME is related to the solar flare whose origin we trace with a SWAP series of images. △ Less

Submitted 2 December, 2014; originally announced December 2014.

Comments: 33 pages, 21 figures in 32 parts

Journal ref: Astrophysical Journal 800 (2015) 90, 19 pages

The Complement of Binary Klein Quadric as a Combinatorial Grassmannian

Authors: Metod Saniga

Abstract: Given a hyperbolic quadric of PG(5,2), there are 28 points off this quadric and 56 lines skew to it. It is shown that the $(28_6, 56_3)$-configuration formed by these points and lines is isomorphic to the combinatorial Grassmannian of type $G_2(8)$. It is also pointed out that a set of seven points of $G_2(8)$ whose labels share a mark corresponds to a Conwell heptad of PG(5,2). Gradual removal of… ▽ More Given a hyperbolic quadric of PG(5,2), there are 28 points off this quadric and 56 lines skew to it. It is shown that the $(28_6, 56_3)$-configuration formed by these points and lines is isomorphic to the combinatorial Grassmannian of type $G_2(8)$. It is also pointed out that a set of seven points of $G_2(8)$ whose labels share a mark corresponds to a Conwell heptad of PG(5,2). Gradual removal of Conwell heptads from the $(28_6, 56_3)$-configuration yields a nested sequence of binomial configurations identical with part of that found to be associated with Cayley-Dickson algebras (arXiv:1405.6888). △ Less

Submitted 17 September, 2014; originally announced September 2014.

Comments: 4 pages, 4 tables

Journal ref: Mathematics 3 (2015) 481-486

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.

Comments: 26 pages, 20 figures; V2 - the basis made explicit, a footnote and a couple of references added

Journal ref: Mathematics 3 (2015) 1192-1221

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.

Comments: 16 pages, 8 figures and 7 tables

Journal ref: Ann. Inst. Henri Poincare Comb. Phys. Interact. 2 (2015) 309-333

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.

Journal ref: SIGMA 10 (2014), 041, 16 pages

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.

Comments: 18 pages

Journal ref: International Journal of Geometric Methods in Modern Physics, World Scientific Publishing, 2015, 12, pp.1550067

A Classification of the Veldkamp Lines of the Near Hexagon L_3 times GQ(2, 2)

Authors: R. M. Green, Metod Saniga

Abstract: Using a standard technique sometimes (inaccurately) known as Burnside's Lemma, it is shown that the Veldkamp space of the near hexagon L_3 times GQ(2, 2) features 156 different types of lines. We also give an explicit description of each type of a line by listing the types of the three geometric hyperplanes it consists of and describing the properties of its core set, that is the subset of points… ▽ More Using a standard technique sometimes (inaccurately) known as Burnside's Lemma, it is shown that the Veldkamp space of the near hexagon L_3 times GQ(2, 2) features 156 different types of lines. We also give an explicit description of each type of a line by listing the types of the three geometric hyperplanes it consists of and describing the properties of its core set, that is the subset of points of L_3 times GQ(2, 2) shared by the three geometric hyperplanes in question. △ Less

Submitted 6 October, 2015; v1 submitted 10 October, 2013; originally announced October 2013.

Comments: 13 pages, 3 tables. arXiv admin note: text overlap with arXiv:0908.0989; V2 - corrected and slightly expanded version following reviewers' comments/suggestions

Journal ref: Ars Mathematica Contemporanea 12 (2017) 287-299

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.

Comments: 25 pages, one figure, published in the Oberwolfach Preprint Series (OWP-2013-17); a slightly extended version to appear in JHEP

Journal ref: JHEP 09 (2013) 037

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.

Comments: 15 pages, 4 figures, 5 tables

Journal ref: Quantum Information Processing 12 (2013) 2535-2549

'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.

Journal ref: SIGMA 8 (2012), 083, 9 pages

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.

Comments: 10 pages, 2 figures

Journal ref: Physics Letters A 376 (2012) 3485-3490

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.

Comments: 5 pages, 1 figure; Version 2 - slightly expanded, accepted in Quantum Information & Computation

Journal ref: Quantum Information and Computation 11 (2012) 1011-1016

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.

Comments: 18 pages, 13 figures; Version 2 - version accepted in J. Phys A: Math. Theor

Journal ref: J. Phys. A: Math. Theor. 45 (2012) 295304

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.

Comments: 5 pages, 4 figures

Journal ref: EPL / Europhysics Letters 97 (2012) 50006

Free Cyclic Submodules and Non-Unimodular Vectors

Authors: Joanne L. Hall, Metod Saniga

Abstract: Given a finite associative ring with unity, $R$, and its two-dimensional left module, $^{2}R$, the following two problems are addressed: 1) the existence of vectors of $^{2}R$ that do not belong to any free cyclic submodule (FCS) generated by a unimodular vector and 2) conditions under which such (non-unimodular) vectors generate FCSs. The main result is that for a non-unimodular vector to generat… ▽ More Given a finite associative ring with unity, $R$, and its two-dimensional left module, $^{2}R$, the following two problems are addressed: 1) the existence of vectors of $^{2}R$ that do not belong to any free cyclic submodule (FCS) generated by a unimodular vector and 2) conditions under which such (non-unimodular) vectors generate FCSs. The main result is that for a non-unimodular vector to generate an FCS of $^{2}R$, $R$ must have at least two maximal right ideals of which at least one is non-principal. △ Less

Submitted 11 August, 2011; v1 submitted 15 July, 2011; originally announced July 2011.

Comments: 8 pages, no figures; V2 - some theorems slightly reworked, text polished and a reference added

MSC Class: 16D40; 51C99

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.

Comments: 12 pages, 4 figures; v2 - version accepted in J. Phys. A

Journal ref: J. Phys. A: Math. Theor. 44 (2011) 225305

Geometric Hyperplanes: Desargues Encodes Doily

Authors: Metod Saniga

Abstract: It is shown that the structure of the generalized quadrangle of order two is fully encoded in the properties of the Desargues configuration. A point of the quadrangle is represented by a geometric hyperplane of the Desargues configuration and its line by a set of three hyperplanes such that one of them is the complement of the symmetric difference of the remaining two and they all share a pair of… ▽ More It is shown that the structure of the generalized quadrangle of order two is fully encoded in the properties of the Desargues configuration. A point of the quadrangle is represented by a geometric hyperplane of the Desargues configuration and its line by a set of three hyperplanes such that one of them is the complement of the symmetric difference of the remaining two and they all share a pair of non-collinear points. △ Less

Submitted 3 January, 2011; originally announced January 2011.

Comments: 4 pages, 3 figures

Invertible Symmetric 3 x 3 Binary Matrices and GQ(2,4)

Authors: Andrea Blunck, Peter Levay, Metod Saniga, Peter Vrana

Abstract: We reveal an intriguing connection between the set of 27 (disregarding the identity) invertible symmetric 3 x 3 matrices over GF(2) and the points of the generalized quadrangle GQ(2,4). The 15 matrices with eigenvalue one correspond to a copy of the subquadrangle GQ(2,2), whereas the 12 matrices without eigenvalues have their geometric counterpart in the associated double-six. The fine details of… ▽ More We reveal an intriguing connection between the set of 27 (disregarding the identity) invertible symmetric 3 x 3 matrices over GF(2) and the points of the generalized quadrangle GQ(2,4). The 15 matrices with eigenvalue one correspond to a copy of the subquadrangle GQ(2,2), whereas the 12 matrices without eigenvalues have their geometric counterpart in the associated double-six. The fine details of this correspondence, including the precise algebraic meaning/analogue of collinearity, are furnished by employing the representation of GQ(2,4) as a quadric in PG(5,2) of projective index one. An interesting physical application of our findings is also mentioned. △ Less

Submitted 9 September, 2010; originally announced September 2010.

Comments: 10 pages, 1 figure

Journal ref: Linear and Multilinear Algebra 60 (2012) 1143-1154

On Invariant Notions of Segre Varieties in Binary Projective Spaces

Authors: Hans Havlicek, Boris Odehnal, Metod Saniga

Abstract: Invariant notions of a class of Segre varieties $\Segrem(2)$ of PG(2^m - 1, 2) that are direct products of $m$ copies of PG(1, 2), $m$ being any positive integer, are established and studied. We first demonstrate that there exists a hyperbolic quadric that contains $\Segrem(2)$ and is invariant under its projective stabiliser group $\Stab{m}{2}$. By embedding PG(2^m - 1, 2) into \PG(2^m - 1, 4), a… ▽ More Invariant notions of a class of Segre varieties $\Segrem(2)$ of PG(2^m - 1, 2) that are direct products of $m$ copies of PG(1, 2), $m$ being any positive integer, are established and studied. We first demonstrate that there exists a hyperbolic quadric that contains $\Segrem(2)$ and is invariant under its projective stabiliser group $\Stab{m}{2}$. By embedding PG(2^m - 1, 2) into \PG(2^m - 1, 4), a basis of the latter space is constructed that is invariant under $\Stab{m}{2}$ as well. Such a basis can be split into two subsets whose spans are either real or complex-conjugate subspaces according as $m$ is even or odd. In the latter case, these spans can, in addition, be viewed as indicator sets of a $\Stab{m}{2}$-invariant geometric spread of lines of PG(2^m - 1, 2). This spread is also related with a $\Stab{m}{2}$-invariant non-singular Hermitian variety. The case $m=3$ is examined in detail to illustrate the theory. Here, the lines of the invariant spread are found to fall into four distinct orbits under $\Stab{3}{2}$, while the points of PG(7, 2) form five orbits. △ Less

Submitted 31 March, 2011; v1 submitted 23 June, 2010; originally announced June 2010.

Comments: 18 pages, 1 figure; v2 - version accepted in Designs, Codes and Cryptography

Journal ref: Designs, Codes and Cryptography 62 (2012) 343-356

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 map** 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 map**, 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 map** 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 map**, 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.

Comments: 3 pages, no figures/tables; V2 - short introductory paragraph added; V3 - to appear in Int. J. Mod. Phys. B

Journal ref: Int. J. Mod. Phys. B, 26 (2012) 1243013

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.

Comments: 6 pages, 7 figures; v2 - slightly polished, subsection on fans of ovoids and three figures added

Journal ref: International Journal of Geometric Methods in Modern Physics 8 s (2011) 39-47

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.

Comments: 14 pages

Journal ref: Reports on Mathematical Physics 67, 1 (2010) 39-51

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.

Comments: 10 pages, 5 figures and 2 tables; Version 2 - more detailed discussion of the properties of hyperplanes

Journal ref: Letters in Mathematical Physics 91 (2010) 93-104

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.

Comments: 12 pages, 2 figures, 4 tables; Version 2 - slightly polished; Version 3 - to appear in Int. J. Geom. Methods Mod. Physics

Journal ref: Int. J. Geom. Methods Mod. Physics 10 (2013) 1250082

The 2008 August 1 Eclipse Solar-Minimum Corona Unraveled

Authors: Jay M. Pasachoff, Vojtech Rusin, Miloslav Druckmuller, Peter Aniol, Metod Saniga, Milan Minarovjech

Abstract: We discuss results stemming from observations of the white-light and [Fe XIV] emission corona during the total eclipse of the Sun of 2008 August 1, in Mongolia (Altaj region) and in Russia (Akademgorodok, Novosibirsk, Siberia). Corresponding to the current extreme solar minimum, the white-light corona, visible up to 20 solar radii, was of a transient type with well-pronounced helmet streamers si… ▽ More We discuss results stemming from observations of the white-light and [Fe XIV] emission corona during the total eclipse of the Sun of 2008 August 1, in Mongolia (Altaj region) and in Russia (Akademgorodok, Novosibirsk, Siberia). Corresponding to the current extreme solar minimum, the white-light corona, visible up to 20 solar radii, was of a transient type with well-pronounced helmet streamers situated above a chain of prominences at position angles 48, 130, 241 and 322 degrees. A variety of coronal holes, filled with a number of thin polar plumes, were seen around the poles. Furthering an original method of image processing, stars up to 12 magnitude, a Kreutz-group comet (C/2008 O1), and a coronal mass ejection (CME) were also detected, with the smallest resolvable structures being of, and at some places even less than, 1 arcsec. Differences, presumably motions, in the corona and prominences are seen even with the 19-min time difference between our sites. In addition to the high-resolution coronal images, which show the continuum corona (K-corona) that results from electron scattering of photospheric light, images of the overlap** green-emission-line (530.3 nm, [Fe XIV]) corona were obtained with the help of two narrow-passband filters (centered on the line itself and for the continuum in the vicinity of 529.1 nm, respectively), each with FWHM of 0.15 nm. Through solar observations, on whose scheduling and details we consulted, with the Solar and Heliospheric Observatory, Hinode's XRT and SOT, TRACE, and STEREO, as well as Wilcox Solar Observatory and SOHO/MDI magnetograms, we set our eclipse observations in the context of the current unusually low and prolonged solar minimum. △ Less

Submitted 9 July, 2009; originally announced July 2009.

Comments: Accepted in The Astrophysical Journal, 6 July 2009

Journal ref: Astrophys.J.702:1297-1308,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.

Comments: 13 pages, 1 example; Version 2 - slightly polished and updated

Journal ref: Mathematica Pannonica 21 (2010) 115-128

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.

Comments: 20 pages, 6 figures, 1 table; Version 2 - slightly polished, updated references; Version 3 - published version in SIGMA

Journal ref: Symmetry, Integrability and Geometry: Methods and Applications 5 (2009) 096 (15 pages)

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.

Comments: 6 pages, 2 figures, 1 table; v2 - substantially extended, another proof of the isomorphism furnished, a coauthor and 11 references added

Journal ref: International Journal of Geometric Methods in Modern Physics 7 (2010) 1133-1145

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.

Comments: 17 pages, 3 figures, v2 a new paragraph added, typos corrected

Journal ref: Phys.Rev.D79:084036,2009

Ramanujan sums analysis of long-period sequences and 1/f noise

Authors: Michel Planat, Milan Minarovjech, Metod Saniga

Abstract: Ramanujan sums are exponential sums with exponent defined over the irreducible fractions. Until now, they have been used to provide converging expansions to some arithmetical functions appearing in the context of number theory. In this paper, we provide an application of Ramanujan sum expansions to periodic, quasiperiodic and complex time series, as a vital alternative to the Fourier transform.… ▽ More Ramanujan sums are exponential sums with exponent defined over the irreducible fractions. Until now, they have been used to provide converging expansions to some arithmetical functions appearing in the context of number theory. In this paper, we provide an application of Ramanujan sum expansions to periodic, quasiperiodic and complex time series, as a vital alternative to the Fourier transform. The Ramanujan-Fourier spectrum of the Dow Jones index over 13 years and of the coronal index of solar activity over 69 years are taken as illustrative examples. Distinct long periods may be discriminated in place of the 1/f^α spectra of the Fourier transform. △ Less

Submitted 11 December, 2008; originally announced December 2008.

Comments: 10 pages

Journal ref: EPL 85 (2009) 40005

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.

Comments: 21 pages, 5 figures, 2 tables; Version 2: an equation and a short paragraph added (Sec. 6), notation and nomenclature slightly polished

Journal ref: Phys.Rev.D78:124022,2008