Source author record

Metod Saniga

Metod Saniga appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

43works
13topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

43 published item(s)

preprint2022arXiv

Three-Qubit-Embedded Split Cayley Hexagon is Contextuality Sensitive

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.

preprint2020arXiv

$X$-States From a Finite Geometric Perspective

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.

preprint2019arXiv

A Finite-Geometric Classification of Three-Qubit Mermin Pentagrams

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.

preprint2019arXiv

Magic Three-Qubit Veldkamp Line and Veldkamp Space of the Doily

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.

preprint2015arXiv

Combinatorial Intricacies of Labeled Fano Planes

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.

preprint2015arXiv

Quantum contextual finite geometries from dessins d'enfants

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.

preprint2014arXiv

A Notable Relation between $N$-Qubit and $2^{N-1}$-Qubit Pauli Groups via Binary ${\rm LGr}(N,2N)$

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.

preprint2014arXiv

Cayley-Dickson Algebras and Finite Geometry

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

preprint2014arXiv

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

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.

preprint2014arXiv

The Complement of Binary Klein Quadric as a Combinatorial Grassmannian

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

preprint2014arXiv

Veldkamp-Space Aspects of a Sequence of Nested Binary Segre Varieties

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

preprint2013arXiv

Grassmannian Connection Between Three- and Four-Qubit Observables, Mermin's Contextuality and Black Holes

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.

preprint2012arXiv

'Magic' Configurations of Three-Qubit Observables and Geometric Hyperplanes of the Smallest Split Cayley Hexagon

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.

preprint2012arXiv

Charting the Real Four-Qubit Pauli Group via Ovoids of a Hyperbolic Quadric of PG(7,2)

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.

preprint2012arXiv

Distinguished three-qubit 'magicity' via automorphisms of the split Cayley hexagon

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.

preprint2012arXiv

Finite Geometry Behind the Harvey-Chryssanthacopoulos Four-Qubit Magic Rectangle

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.

preprint2012arXiv

Finite Projective Spaces, Geometric Spreads of Lines and Multi-Qubits

Given a (2N - 1)-dimensional projective space over GF(2), PG(2N - 1, 2), and its geometric spread of lines, there exists a remarkable mapping of this space onto PG(N - 1, 4) where the lines of the spread correspond to the points and subspaces spanned by pairs of lines to the lines of PG(N - 1, 4). Under such mapping, a non-degenerate quadric surface of the former space has for its image a non-singular Hermitian variety in the latter space, this quadric being {\it hyperbolic} or {\it elliptic} in dependence on N being {\it even} or {\it odd}, respectively. We employ this property to show that generalized Pauli groups of N-qubits also form two distinct families according to the parity of N and to put the role of symmetric operators into a new perspective. The N=4 case is taken to illustrate the issue.

preprint2012arXiv

Five-Qubit Contextuality, Noise-Like Distribution of Distances Between Maximal Bases and Finite Geometry

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

preprint2012arXiv

The Veldkamp Space of the Smallest Slim Dense Near Hexagon

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.

preprint2011arXiv

A Sequence of Qubit-Qudit Pauli Groups as a Nested Structure of Doilies

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.

preprint2011arXiv

Free Cyclic Submodules and Non-Unimodular Vectors

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.

preprint2011arXiv

Geometric Hyperplanes: Desargues Encodes Doily

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.

preprint2011arXiv

Mermin's Pentagram as an Ovoid of PG(3,2)

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

preprint2011arXiv

On Invariant Notions of Segre Varieties in Binary Projective Spaces

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.

preprint2010arXiv

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

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.

preprint2010arXiv

On the Veldkamp Space of GQ(4, 2)

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.

preprint2009arXiv

Balanced Tripartite Entanglement, the Alternating Group A4 and the Lie Algebra $sl(3,C) \oplus u(1)$

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.

preprint2009arXiv

Moebius Pairs of Simplices and Commuting Pauli Operators

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

preprint2009arXiv

Space versus Time: Unimodular versus Non-Unimodular Projective Ring Geometries?

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.

preprint2009arXiv

The 2008 August 1 Eclipse Solar-Minimum Corona Unraveled

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

preprint2009arXiv

The Veldkamp Space of GQ(2,4)

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.

preprint2007arXiv

Pauli graph and finite projective lines/geometries

The commutation relations between the generalized Pauli operators of N-qudits (i. e., N p-level quantum systems), and the structure of their maximal sets of commuting bases, follow a nice graph theoretical/geometrical pattern. One may identify vertices/points with the operators so that edges/lines join commuting pairs of them to form the so-called Pauli graph P_{p^N} . As per two-qubits (p = 2, N = 2) all basic properties and partitionings of this graph are embodied in the geometry of the symplectic generalized quadrangle of order two, W(2). The structure of the two-qutrit (p = 3, N = 2) graph is more involved; here it turns out more convenient to deal with its dual in order to see all the parallels with the two-qubit case and its surmised relation with the geometry of generalized quadrangle Q(4, 3), the dual of W(3). Finally, the generalized adjacency graph for multiple (N > 3) qubits/qutrits is shown to follow from symplectic polar spaces of order two/three. The relevance of these mathematical concepts to mutually unbiased bases and to quantum entanglement is also highlighted in some detail.

preprint2006arXiv

A Classification of the Projective Lines over Small Rings

A compact classification of the projective lines defined over (commutative) rings (with unity) of all orders up to thirty-one is given. There are altogether sixty-five different types of them. For each type we introduce the total number of points on the line, the number of points represented by coordinates with at least one entry being a unit, the cardinality of the neighbourhood of a generic point of the line as well as those of the intersections between the neighbourhoods of two and three mutually distant points, the number of `Jacobson' points per a neighbourhood, the maximum number of pairwise distant points and, finally, a list of representative/base rings. The classification is presented in form of a table in order to see readily not only the fine traits of the hierarchy, but also the changes in the structure of the lines as one goes from one type to the other. We hope this study will serve as an impetus to a search for possible applications of these remarkable geometries in physics, chemistry, biology and other natural sciences as well.

preprint2006arXiv

The Projective Line Over the Finite Quotient Ring GF(2)[$x$]/$< x^{3} - x>$ and Quantum Entanglement I. Theoretical Background

The paper deals with the projective line over the finite factor ring $R\_{\clubsuit} \equiv$ GF(2)[$x$]/$<x^{3} - x>$. The line is endowed with 18 points, spanning the neighbourhoods of three pairwise distant points. As $R\_{\clubsuit}$ is not a local ring, the neighbour (or parallel) relation is not an equivalence relation so that the sets of neighbour points to two distant points overlap. There are nine neighbour points to any point of the line, forming three disjoint families under the reduction modulo either of two maximal ideals of the ring. Two of the families contain four points each and they swap their roles when switching from one ideal to the other; the points of the one family merge with (the image of) the point in question, while the points of the other family go in pairs into the remaining two points of the associated ordinary projective line of order two. The single point of the remaining family is sent to the reference point under both the mappings and its existence stems from a non-trivial character of the Jacobson radical, ${\cal J}\_{\clubsuit}$, of the ring. The factor ring $\widetilde{R}\_{\clubsuit} \equiv R\_{\clubsuit}/ {\cal J}\_{\clubsuit}$ is isomorphic to GF(2) $\otimes$ GF(2). The projective line over $\widetilde{R}\_{\clubsuit}$ features nine points, each of them being surrounded by four neighbour and the same number of distant points, and any two distant points share two neighbours. These remarkable ring geometries are surmised to be of relevance for modelling entangled qubit states, to be discussed in detail in Part II of the paper.

preprint2004arXiv

Cremonian Space-Time(s) as an Emergent Phenomenon

It is shown that the notion of fundamental elements can be extended to_any_, i.e. not necessarily homaloidal, web of rational surfaces in a three-dimensional projective space. A Cremonian space-time can then be viewed as an_emergent_ phenomenon when the condition of "homaloidity" of the corresponding web is satisfied. The point is illustrated by a couple of particular types of "almost-homaloidal" webs of quadratic surfaces. In the first case, the quadrics have a line and two distinct points in common and the corresponding pseudo-Cremonian manifold is endowed with just two spatial dimensions. In the second case, the quadrics share six distinct points, no three of them collinear, that lie in quadruples in three different planes, and the corresponding pseudo-Cremonian configuration features three time dimensions. In both the cases, the limiting process of the emergence of generic Cremonian space-times is explicitly demonstrated.

preprint2004arXiv

On an Observer-Related Unequivalence Between Spatial Dimensions of a Generic Cremonian Universe

Given a generic Cremonian space-time, its three spatial dimensions are shown to exhibit an intriguing, "two-plus-one" partition with respect to standard observers. Such observers are found to form three distinct, disjoint groups based on which one out of the three dimensions stands away from the other two. These two subject-related properties have, to our knowledge, no analogue in any of the existing physical theories of space-time.

preprint2004arXiv

On Cremonian Dimensions Qualitatively Different from Time and Space

We examine a particular kind of six-dimensional Cremonian universe featuring one dimension of space, three dimensions of time and other two dimensions that can*not* be ranked as either time or space. One of these two, generated by a one-parametric aggregate of (straight-)lines lying on a quadratic cone, is more similar to the spatial dimension. The other, represented by a singly-parametrical set of singular space quartic curves situated on a proper ruled quadric surface, bears more resemblance to time. Yet, the two dimensions differ profoundly from both time and space because, although being macroscopic, they are not accessible to (detectable by) every Cremonian observer. This toy-model thus demonstrates that there might exist extra-dimensions that need not necessarily be compactified to remain unobservable.

preprint2004arXiv

Sets of Mutually Unbiased Bases as Arcs in Finite Projective Planes?

This note is a short elaboration of the conjecture of Saniga et al (J. Opt. B: Quantum Semiclass. 6 (2004) L19-L20) by regarding a set of mutually unbiased bases (MUBs) in a d-dimensional Hilbert space, d being a power of a prime, as an analogue of an arc in a (Desarguesian) projective plane of order d. Complete sets of MUBs thus correspond to (d+1)-arcs, i.e., ovals. The existence of two principally distinct kinds of ovals for d even and greater than four, viz. conics and non-conics, implies the existence of two qualitatively different groups of the complete sets of MUBs for the Hilbert spaces of corresponding dimensions.