Researcher profile

Michel Planat

Michel Planat contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
25works
0followers
14topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

25 published item(s)

preprint2022arXiv

Character varieties and algebraic surfaces for the topology of quantum computing

It is shown that the representation theory of some finitely presented groups thanks to their $SL_2(\mathbb{C})$ character variety is related to algebraic surfaces. We make use of the Enriques-Kodaira classification of algebraic surfaces and the related topological tools to make such surfaces explicit. We study the connection of $SL_2(\mathbb{C})$ character varieties to topological quantum computing (TQC) as an alternative to the concept of anyons. The Hopf link $H$, whose character variety is a Del Pezzo surface $f_H$ (the trace of the commutator), is the kernel of our view of TQC. Qutrit and two-qubit magic state computing, derived from the trefoil knot in our previous work, may be seen as TQC from the Hopf link. The character variety of some two-generator Bianchi groups as well as that of the fundamental group for the singular fibers $\tilde{E}_6$ and $\tilde{D}_4$ contain $f_H$. A surface birationally equivalent to a $K_3$ surface is another compound of their character varieties.

preprint2020arXiv

Informationally complete characters for quark and lepton mixings

A popular account of the mixing patterns for the three generations of quarks and leptons is through the characters $κ$ of a finite group $G$. Here we introduce a $d$-dimensional Hilbert space with $d=cc(G)$, the number of conjugacy classes of $G$. Groups under consideration should follow two rules, (a) the character table contains both two- and three-dimensional representations with at least one of them faithful and (b) there are minimal informationally complete measurements under the action of a $d$-dimensional Pauli group over the characters of these representations. Groups with small $d$ that satisfy these rules coincide in a large part with viable ones derived so far for reproducing simultaneously the CKM (quark) and PNMS (lepton) mixing matrices. Groups leading to physical $CP$ violation are singled out.

preprint2020arXiv

Quantum computation and measurements from an exotic space-time R4

The authors previously found a model of universal quantum computation by making use of the coset structure of subgroups of a free group $G$ with relations. A valid subgroup $H$ of index $d$ in $G$ leads to a 'magic' state $\left|ψ\right\rangle$ in $d$-dimensional Hilbert space that encodes a minimal informationally complete quantum measurement (or MIC), possibly carrying a finite 'contextual' geometry. In the present work, we choose $G$ as the fundamental group $π_1(V)$ of an exotic $4$-manifold $V$, more precisely a 'small exotic' (space-time) $R^4$ (that is homeomorphic and isometric, but not diffeomorphic to the Euclidean $\mathbb{R}^4$). Our selected example, due to to S. Akbulut and R.~E. Gompf, has two remarkable properties: (i) it shows the occurence of standard contextual geometries such as the Fano plane (at index $7$), Mermin's pentagram (at index $10$), the two-qubit commutation picture $GQ(2,2)$ (at index $15$) as well as the combinatorial Grassmannian Gr$(2,8)$ (at index $28$) , (ii) it allows the interpretation of MICs measurements as arising from such exotic (space-time) $R^4$'s. Our new picture relating a topological quantum computing and exotic space-time is also intended to become an approach of 'quantum gravity'.

preprint2019arXiv

Quantum computing, Seifert surfaces and singular fibers

The fundamental group $π_1(L)$ of a knot or link $L$ may be used to generate magic states appropriate for performing universal quantum computation and simultaneously for retrieving complete information about the processed quantum states. In this paper, one defines braids whose closure is the $L$ of such a quantum computer model and computes their Seifert surfaces and the corresponding Alexander polynomial. In particular, some $d$-fold coverings of the trefoil knot, with $d=3$, $4$, $6$ or $12$, define appropriate links $L$ and the latter two cases connect to the Dynkin diagrams of $E_6$ and $D_4$, respectively. In this new context, one finds that this correspondence continues with the Kodaira's classification of elliptic singular fibers. The Seifert fibered toroidal manifold $Σ'$, at the boundary of the singular fiber $\tilde {E_8}$, allows possible models of quantum computing.

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

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

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

On small proofs of Bell-Kochen-Specker theorem for two, three and four qubits

The Bell-Kochen-Specker theorem (BKS) theorem rules out realistic {\it non-contextual} theories by resorting to impossible assignments of rays among a selected set of maximal orthogonal bases. We investigate the geometrical structure of small $v-l$ BKS-proofs involving $v$ real rays and $l$ $2n$-dimensional bases of $n$-qubits ($1< n < 5$). Specifically, we look at the parity proof 18-9 with two qubits (A. Cabello, 1996), the parity proof 36-11 with three qubits (M. Kernaghan & A. Peres, 1995 \cite{Kernaghan1965}) and a newly discovered non-parity proof 80-21 with four qubits (that improves work of P. K Aravind&#39;s group in 2008). The rays in question arise as real eigenstates shared by some maximal commuting sets (bases) of operators in the $n$-qubit Pauli group. One finds characteristic signatures of the distances between the bases, which carry various symmetries in their graphs.

preprint2012arXiv

Twelve-dimensional Pauli group contextuality

The goal of the paper is to check whether the real eigenstates of the observables in the single qudit Pauli group may lead to quantum contextuality, the property that mutually compatible and independent experiments depend on each other. We find that quantum contextuality crops up at dimension twelve in various configurations with a few rays. We use the Shannon capacity for characterizing the corresponding orthogonality graphs. Some arithmetical properties underlying the qudit contextuality are outlined.

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 (&#34;the doily&#34;) 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

Chebyshev&#39;s bias and generalized Riemann hypothesis

It is well known that $li(x)>π(x)$ (i) up to the (very large) Skewes&#39; number $x_1 \sim 1.40 \times 10^{316}$ \cite{Bays00}. But, according to a Littlewood&#39;s theorem, there exist infinitely many $x$ that violate the inequality, due to the specific distribution of non-trivial zeros $γ$ of the Riemann zeta function $ζ(s)$, encoded by the equation $li(x)-π(x)\approx \frac{\sqrt{x}}{\log x}[1+2 \sum_γ\frac{\sin (γ\log x)}γ]$ (1). If Riemann hypothesis (RH) holds, (i) may be replaced by the equivalent statement $li[ψ(x)]>π(x)$ (ii) due to Robin \cite{Robin84}. A statement similar to (i) was found by Chebyshev that $π(x;4,3)-π(x;4,1)>0$ (iii) holds for any $x<26861$ \cite{Rubin94} (the notation $π(x;k,l)$ means the number of primes up to $x$ and congruent to $l\mod k$). The {\it Chebyshev&#39;s bias}(iii) is related to the generalized Riemann hypothesis (GRH) and occurs with a logarithmic density $\approx 0.9959$ \cite{Rubin94}. In this paper, we reformulate the Chebyshev&#39;s bias for a general modulus $q$ as the inequality $B(x;q,R)-B(x;q,N)>0$ (iv), where $B(x;k,l)=li[ϕ(k)*ψ(x;k,l)]-ϕ(k)*π(x;k,l)$ is a counting function introduced in Robin&#39;s paper \cite{Robin84} and $R$ resp. $N$) is a quadratic residue modulo $q$ (resp. a non-quadratic residue). We investigate numerically the case $q=4$ and a few prime moduli $p$. Then, we proove that (iv) is equivalent to GRH for the modulus $q$.

preprint2011arXiv

Efficient prime counting and the Chebyshev primes

The function $ε(x)=\mbox{li}(x)-π(x)$ is known to be positive up to the (very large) Skewes&#39; number. Besides, according to Robin&#39;s work, the functions $ε_θ(x)=\mbox{li}[θ(x)]-π(x)$ and $ε_ψ(x)=\mbox{li}[ψ(x)]-π(x)$ are positive if and only if Riemann hypothesis (RH) holds (the first and the second Chebyshev function are $θ(x)=\sum_{p \le x} \log p$ and $ψ(x)=\sum_{n=1}^x Λ(n)$, respectively, $\mbox{li}(x)$ is the logarithmic integral, $μ(n)$ and $Λ(n)$ are the Möbius and the Von Mangoldt functions). Negative jumps in the above functions $ε$, $ε_θ$ and $ε_ψ$ may potentially occur only at $x+1 \in \mathcal{P}$ (the set of primes). One denotes $j_p=\mbox{li}(p)-\mbox{li}(p-1)$ and one investigates the jumps $j_p$, $j_{θ(p)}$ and $j_{ψ(p)}$. In particular, $j_p<1$, and $j_{θ(p)}>1$ for $p<10^{11}$. Besides, $j_{ψ(p)}<1$ for any odd $p \in \mathcal{\mbox{Ch}}$, an infinite set of so-called {\it Chebyshev primes } with partial list $\{109, 113, 139, 181, 197, 199, 241, 271, 281, 283, 293, 313, 317, 443, 449, 461, 463, \ldots\}$. We establish a few properties of the set $\mathcal{\mbox{Ch}}$, give accurate approximations of the jump $j_{ψ(p)}$ and relate the derivation of $\mbox{Ch}$ to the explicit Mangoldt formula for $ψ(x)$. In the context of RH, we introduce the so-called {\it Riemann primes} as champions of the function $ψ(p_n^l)-p_n^l$ (or of the function $θ(p_n^l)-p_n^l$ ). Finally, we find a {\it good} prime counting function $S_N(x)=\sum_{n=1}^N \frac{μ(n)}{n}\mbox{li}[ψ(x)^{1/n}]$, that is found to be much better than the standard Riemann prime counting function.

preprint2011arXiv

Entangling gates in even Euclidean lattices such as the Leech lattice

The group of automorphisms of Euclidean (embedded in $\mathbb{R}^n$) dense lattices such as the root lattices $D_4$ and $E_8$, the Barnes-Wall lattice $BW_{16}$, the unimodular lattice $D_{12}^+$ and the Leech lattice $Λ_{24}$ may be generated by entangled quantum gates of the corresponding dimension. These (real) gates/lattices are useful for quantum error correction: for instance, the two and four-qubit real Clifford groups are the automorphism groups of the lattices $D_4$ and $BW_{16}$, respectively, and the three-qubit real Clifford group is maximal in the Weyl group $W(E_8)$. Technically, the automorphism group $Aut(Λ)$ of the lattice $Λ$ is the set of orthogonal matrices $B$ such that, following the conjugation action by the generating matrix of the lattice, the output matrix is unimodular (of determinant $\pm 1$, with integer entries). When the degree $n$ is equal to the number of basis elements of $Λ$, then $Aut(Λ)$ also acts on basis vectors and is generated with matrices $B$ such that the sum of squared entries in a row is one, i.e. $B$ may be seen as a quantum gate. For the dense lattices listed above, maximal multipartite entanglement arises. In particular, one finds a balanced tripartite entanglement in $E_8$ (the two- and three- tangles have equal magnitude 1/4) and a GHZ type entanglement in BW$_{16}$. In this paper, we also investigate the entangled gates from $D_{12}^+$ and $Λ_{24}$, by seeing them as systems coupling a qutrit to two- and three-qubits, respectively. Apart from quantum computing, the work may be related to particle physics in the spirit of \cite{PLS2010}.

preprint2011arXiv

Riemann hypothesis and Quantum Mechanics

In their 1995 paper, Jean-Benoît Bost and Alain Connes (BC) constructed a quantum dynamical system whose partition function is the Riemann zeta function $ζ(β)$, where $β$ is an inverse temperature. We formulate Riemann hypothesis (RH) as a property of the low temperature Kubo-Martin-Schwinger (KMS) states of this theory. More precisely, the expectation value of the BC phase operator can be written as $$ϕ_β(q)=N_{q-1}^{β-1} ψ_{β-1}(N_q), $$ where $N_q=\prod_{k=1}^qp_k$ is the primorial number of order $q$ and $ ψ_b $ a generalized Dedekind $ψ$ function depending on one real parameter $b$ as $$ ψ_b (q)=q \prod_{p \in \mathcal{P,}p \vert q}\frac{1-1/p^b}{1-1/p}.$$ Fix a large inverse temperature $β>2.$ The Riemann hypothesis is then shown to be equivalent to the inequality $$ N_q |ϕ_β(N_q)|ζ(β-1) >e^γ\log \log N_q, $$ for $q$ large enough. Under RH, extra formulas for high temperatures KMS states ($1.5< β<2$) are derived.

preprint2010arXiv

On Nicolas criterion for the Riemann Hypothesis

Nicolas criterion for the Riemann Hypothesis is based on an inequality that Euler totient function must satisfy at primorial numbers. A natural approach to derive this inequality would be to prove that a specific sequence related to that bound is strictly decreasing. We show that, unfortunately, this latter fact would contradict Cramér conjecture on gaps between consecutive primes. An analogous situation holds when replacing Euler totient by Dedekind $Ψ$ function.

preprint2010arXiv

Riemann hypothesis from the Dedekind psi function

Let $\mathcal{P}$ be the set of all primes and $ψ(n)=n\prod_{n\in \mathcal{P},p|n}(1+1/p)$ be the Dedekind psi function. We show that the Riemann hypothesis is satisfied if and only if $f(n)=ψ(n)/n-e^γ \log \log n <0$ for all integers $n>n_0=30$ (D), where $γ\approx 0.577$ is Euler&#39;s constant. This inequality is equivalent to Robin&#39;s inequality that is recovered from (D) by replacing $ψ(n)$ with the sum of divisor function $σ(n)\ge ψ(n)$ and the lower bound by $n_0=5040$. For a square free number, both arithmetical functions $σ$ and $ψ$ are the same. We also prove that any exception to (D) may only occur at a positive integer $n$ satisfying $ψ(m)/m<ψ(n)/n$, for any $m

preprint2010arXiv

Robin inequality for $7-$free integers

Recall that an integer is $t-$free iff it is not divisible by $p^t$ for some prime $p.$ We give a method to check Robin inequality $σ(n) < e^γn\log\log n,$ for $t-$free integers $n$ and apply it for $t=6,7.$ We introduce $Ψ_t,$ a generalization of Dedekind $Ψ$ function defined for any integer $t\ge 2$ by $$Ψ_t(n):=n\prod_{p | n}(1+1/p+...+1/p^{t-1}).$$ If $n$ is $t-$free then the sum of divisor function $σ(n)$ is $ \le Ψ_t(n).$ We characterize the champions for $x \mapsto Ψ_t(x)/x,$ as primorial numbers. Define the ratio $R_t(n):=\frac{Ψ_t(n)}{n\log\log n}.$ We prove that, for all $t$, there exists an integer $n_1(t),$ such that we have $R_t(N_n)< e^γ$ for $n\ge n_1,$ where $N_n=\prod_{k=1}^np_k.$ Further, by combinatorial arguments, this can be extended to $R_t(N)\le e^γ$ for all $N\ge N_n,$ such that $n\ge n_1(t).$ This yields Robin inequality for $t=6,\,7.$ For $t$ varying slowly with $N$, we also derive $R_t(N)< e^γ.$

preprint2009arXiv

Clifford group dipoles and the enactment of Weyl/Coxeter group W(E8) by entangling gates

Peres/Mermin arguments about no-hidden variables in quantum mechanics are used for displaying a pair (R, S) of entangling Clifford quantum gates, acting on two qubits. From them, a natural unitary representation of Coxeter/Weyl groups W(D5) and W(F4) emerges, which is also reflected into the splitting of the n-qubit Clifford group Cn into dipoles C$\pm$n . The union of the three-qubit real Clifford group C+ 3 and the Toffoli gate ensures a orthogonal representation of the Weyl/Coxeter group W(E8), and of its relatives. Other concepts involved are complex reflection groups, BN pairs, unitary group designs and entangled states of the GHZ family.

preprint2009arXiv

Clifford quantum computer and the Mathieu groups

One learned from Gottesman-Knill theorem that the Clifford model of quantum computing \cite{Clark07} may be generated from a few quantum gates, the Hadamard, Phase and Controlled-Z gates, and efficiently simulated on a classical computer. We employ the group theoretical package GAP\cite{GAP} for simulating the two qubit Clifford group $\mathcal{C}_2$. We already found that the symmetric group S(6), aka the automorphism group of the generalized quadrangle W(2), controls the geometry of the two-qubit Pauli graph \cite{Pauligraphs}. Now we find that the {\it inner} group ${Inn}(\mathcal{C}_2)=\mathcal{C}_2/{Center}(\mathcal{C}_2)$ exactly contains two normal subgroups, one isomorphic to $\mathcal{Z}_2^{\times 4}$ (of order 16), and the second isomorphic to the parent $A&#39;(6)$ (of order 5760) of the alternating group A(6). The group $A&#39;(6)$ stabilizes an {\it hexad} in the Steiner system $S(3,6,22)$ attached to the Mathieu group M(22). Both groups A(6) and $A&#39;(6)$ have an {\it outer} automorphism group $\mathcal{Z}_2\times \mathcal{Z}_2$, a feature we associate to two-qubit quantum entanglement.

preprint2009arXiv

Three-qubit entangled embeddings of CPT and Dirac groups within E8 Weyl group

In quantum information context, the groups generated by Pauli spin matrices, and Dirac gamma matrices, are known as the single qubit Pauli group P, and two-qubit Pauli group P2, respectively. It has been found [M. Socolovsky, Int. J. Theor. Phys. 43, 1941 (2004)] that the CPT group of the Dirac equation is isomorphic to P. One introduces a two-qubit entangling orthogonal matrix S basically related to the CPT symmetry. With the aid of the two-qubit swap gate, the S matrix allows the generation of the three-qubit real Clifford group and, with the aid of the Toffoli gate, the Weyl group W(E8) is generated (M. Planat, Preprint 0904.3691). In this paper, one derives three-qubit entangling groups ? P and ? P2, isomorphic to the CPT group P and to the Dirac group P2, that are embedded into W(E8). One discovers a new class of pure theequbit quantum states with no-vanishing concurrence and three-tangle that we name CPT states. States of the GHZ and CPT families, and also chain-type states, encode the new representation of the Dirac group and its CPT subgroup.

preprint2009arXiv

Unitary reflection groups for quantum fault tolerance

This paper explores the representation of quantum computing in terms of unitary reflections (unitary transformations that leave invariant a hyperplane of a vector space). The symmetries of qubit systems are found to be supported by Euclidean real reflections (i.e., Coxeter groups) or by specific imprimitive reflection groups, introduced (but not named) in a recent paper [Planat M and Jorrand Ph 2008, {\it J Phys A: Math Theor} {\bf 41}, 182001]. The automorphisms of multiple qubit systems are found to relate to some Clifford operations once the corresponding group of reflections is identified. For a short list, one may point out the Coxeter systems of type $B_3$ and $G_2$ (for single qubits), $D_5$ and $A_4$ (for two qubits), $E_7$ and $E_6$ (for three qubits), the complex reflection groups $G(2^l,2,5)$ and groups No 9 and 31 in the Shephard-Todd list. The relevant fault tolerant subsets of the Clifford groups (the Bell groups) are generated by the Hadamard gate, the $π/4$ phase gate and an entangling (braid) gate [Kauffman L H and Lomonaco S J 2004 {\it New J. of Phys.} {\bf 6}, 134]. Links to the topological view of quantum computing, the lattice approach and the geometry of smooth cubic surfaces are discussed.

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&#39; 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.