arXiv subjects

Hans Havlicek

Publications and source records attributed to Hans Havlicek.

79 records · Page 5Linked to original sources

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↗

arXiv2008

Vectors, Cyclic Submodules and Projective Spaces Linked with Ternions

Given a ring of ternions $R$, i. e., a ring isomorphic to that of upper triangular $2\times 2$ matrices with entries from an arbitrary commutative field $F$, a complete classification is performed of the vectors from the free left $R$-module $R^{n+1}$, $n \geq 1$, and of the cyclic submodules generated by these vectors. The vectors fall into $5 + |F|$ and the submodules into 6 distinct orbits under the action of the general linear group $\GL_{n+1}(R)$. Particular attention is paid to {\it free} cyclic submodules generated by \emph{non}-unimodular vectors, as these are linked with the lines of $\PG(n,F)$, the $n$-dimensional projective space over $F$. In the finite case, $F$ = $\GF(q)$, explicit formulas are derived for both the total number of non-unimodular free cyclic submodules and the number of such submodules passing through a given vector. These formulas yield a combinatorial approach to the lines and points of $\PG(n,q)$, $n\geq 2$, in terms of vectors and non-unimodular free cyclic submodules of $R^{n+1}$.

math-ph↗

arXiv2008

Twin "Fano-Snowflakes" Over the Smallest Ring of Ternions

Given a finite associative ring with unity, $R$, any free (left) cyclic submodule (FCS) generated by a $uni$modular ($n+1$)-tuple of elements of $R$ represents a point of the $n$-dimensional projective space over $R$. Suppose that $R$ also features FCSs generated by ($n+1$)-tuples that are $not$ unimodular: what kind of geometry can be ascribed to such FCSs? Here, we (partially) answer this question for $n=2$ when $R$ is the (unique) non-commutative ring of order eight. The corresponding geometry is dubbed a "Fano-Snowflake" due to its diagrammatic appearance and the fact that it contains the Fano plane in its center. There exist, in fact, two such configurations -- each being tied to either of the two maximal ideals of the ring -- which have the Fano plane in common and can, therefore, be viewed as twins. Potential relevance of these noteworthy configurations to quantum information theory and stringy black holes is also outlined.

math-ph↗

arXiv2007

Projective Ring Line of a Specific Qudit

A very particular connection between the commutation relations of the elements of the generalized Pauli group of a $d$-dimensional qudit, $d$ being a product of distinct primes, and the structure of the projective line over the (modular) ring $\bZ_{d}$ is established, where the integer exponents of the generating shift ($X$) and clock ($Z$) operators are associated with submodules of $\bZ^{2}_{d}$. Under this correspondence, the set of operators commuting with a given one -- a perp-set -- represents a $\bZ_{d}$-submodule of $\bZ^{2}_{d}$. A crucial novel feature here is that the operators are also represented by {\it non}-admissible pairs of $\bZ^{2}_{d}$. This additional degree of freedom makes it possible to view any perp-set as a {\it set-theoretic} union of the corresponding points of the associated projective line.

quant-ph↗

arXiv2007

Projective Ring Line of an Arbitrary Single Qudit

As a continuation of our previous work (arXiv:0708.4333) an algebraic geometrical study of a single $d$-dimensional qudit is made, with $d$ being {\it any} positive integer. The study is based on an intricate relation between the symplectic module of the generalized Pauli group of the qudit and the fine structure of the projective line over the (modular) ring $\bZ_{d}$. Explicit formulae are given for both the number of generalized Pauli operators commuting with a given one and the number of points of the projective line containing the corresponding vector of $\bZ^{2}_{d}$. We find, remarkably, that a perp-set is not a set-theoretic union of the corresponding points of the associated projective line unless $d$ is a product of distinct primes. The operators are also seen to be structured into disjoint `layers' according to the degree of their representing vectors. A brief comparison with some multiple-qudit cases is made.

quant-ph↗

arXiv2007

The Veldkamp Space of Two-Qubits

Given a remarkable representation of the generalized Pauli operators of two-qubits in terms of the points of the generalized quadrangle of order two, W(2), it is shown that specific subsets of these operators can also be associated with the points and lines of the four-dimensional projective space over the Galois field with two elements - the so-called Veldkamp space of W(2). An intriguing novelty is the recognition of (uni- and tri-centric) triads and specific pentads of the Pauli operators in addition to the "classical" subsets answering to geometric hyperplanes of W(2).

quant-ph↗

arXiv2001

Coloring the rational quantum sphere and the Kochen-Specker theorem

We review and extend recent findings of Godsil and Zaks, who published a constructive coloring of the rational unit sphere with the property that for any orthogonal tripod formed by rays extending from the origin of the points of the sphere, exactly one ray is red, white and black. They also showed that any consistent coloring of the real sphere requires an additional color. We discuss some of the consequences for the Kochen-Specker theorem.

quant-ph↗