arXiv subjects

Metod Saniga

Publications and source records attributed to Metod Saniga.

At least 55 records · Page 3Linked to original sources

arXiv2011

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

quant-ph↗

arXiv2011

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.

math.CO↗

arXiv2011

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.

quant-ph↗

arXiv2011

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.

math.AG↗

arXiv2011

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.

math.CO↗

arXiv2010

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.

math.AG↗

arXiv2010

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.

math-ph↗

arXiv2009

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.

math-ph↗

arXiv2009

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.

math-ph↗

arXiv2009

Factor-Group-Generated Polar Spaces and (Multi-)Qudits

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.

math-ph↗

arXiv2009

Geometric Hyperplanes of the Near Hexagon L_3 times GQ(2, 2)

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.

math-ph↗

arXiv2009

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

quant-ph↗

arXiv2009

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.

astro-ph.SR↗

arXiv2009

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.

math-ph↗

arXiv2009

Black Hole Entropy and Finite Geometry

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

hep-th↗

arXiv2008

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

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.

math-ph↗

arXiv2008

A Jacobson Radical Decomposition of the Fano-Snowflake Configuration

The Fano-Snowflake, a specific $non$-unimodular projective lattice configuration associated with the smallest ring of ternions $R_{\diamondsuit}$ (arXiv:0803.4436 and 0806.3153), admits an interesting partitioning with respect to the Jacobson radical of $R_{\diamondsuit}$. The totality of 21 free cyclic submodules generated by non-unimodular vectors of the free left $R_{\diamondsuit}$-module $R_{\diamondsuit}^{3}$ are shown to split into three disjoint sets of cardinalities 9, 9 and 3 according as the number of Jacobson radical entries in the generating vector is 2, 1 or 0, respectively. The corresponding "ternion-induced" factorization of the lines of the Fano plane sitting in the middle of the Fano-Snowflake (6 -- 7 -- 3) is found to $differ fundamentally$ from the natural one, i. e., from that with respect to the Jacobson radical of the Galois field of two elements (3 -- 3 -- 1).

math-ph↗

arXiv2008

Three-Qubit Operators, the Split Cayley Hexagon of Order Two and Black Holes

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.

quant-ph↗