BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Michel Planat

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

ResearcherUnclaimed source record
quant-phmath-phmath.MPmath.GRmath.NTmath.COmath.AGmath.GTmath.RThep-phhep-thmath.GMmath.GNmath.QA

Catalog footprint

What is connected

38works
14topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

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

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

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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'.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Geometric contextuality from the Maclachlan-Martin Kleinian groups

There are contextual sets of multiple qubits whose commutation is parametrized thanks to the coset geometry $\mathcal{G}$ of a subgroup $H$ of the two-generator free group $G=\left\langle x,y\right\rangle$. One defines geometric contextuality from the discrepancy between the commutativity of cosets on $\mathcal{G}$ and that of quantum observables.It is shown in this paper that Kleinian subgroups $K=\left\langle f,g\right\rangle$ that are non-compact, arithmetic, and generated by two elliptic isometries $f$ and $g$ (the Martin-Maclachlan classification), are appropriate contextuality filters. Standard contextual geometries such as some thin generalized polygons (starting with Mermin's $3 \times 3$ grid) belong to this frame. The Bianchi groups $PSL(2,O\_d)$, $d \in \{1,3\}$ defined over the imaginary quadratic field $O\_d=\mathbb{Q}(\sqrt{-d})$ play a special role.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Two-letter words and a fundamental homomorphism ruling geometric contextuality

It has recently been recognized by the author that the quantum contextuality paradigm may be formulated in terms of the properties of some subgroups of the two-letter free group $G$ and their corresponding point-line incidence geometry $\mathcal{G}$. I introduce a fundamental homomorphism $f$ mapping the (infinitely many) words of G to the permutations ruling the symmetries of $\mathcal{G}$. The substructure of $f$ is revealing the essence of geometric contextuality in a straightforward way.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Geometry of contextuality from Grothendieck's coset space

The geometry of cosets in the subgroups H of the two-generator free group G =\textless{} a, b \textgreater{} nicely fits, via Grothendieck's dessins d'enfants, the geometry of commutation for quantum observables. Dessins stabilize point-line incidence geometries that reflect the commutation of (generalized) Pauli operators [Information 5, 209 (2014); 1310.4267 and 1404.6986 (quant-ph)]. Now we find that the non-existence of a dessin for which the commutator (a, b) = a^ (--1) b^( --1) ab precisely corresponds to the commutator of quantum observables [A, B] = AB -- BA on all lines of the geometry is a signature of quantum contextuality. This occurs first at index |G : H| = 9 in Mermin's square and at index 10 in Mermin's pentagram, as expected. Commuting sets of n-qubit observables with n \textgreater{} 3 are found to be contextual as well as most generalized polygons. A geometrical contextuality measure is introduced.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Drawing quantum contextuality with 'dessins d'enfants'

In the standard formulation of quantum mechanics, there exists an inherent feedback of the measurement setting on the elementary object under scrutiny. Thus one cannot assume that an 'element of reality' prexists to the measurement and, it is even more intriguing that unperformed/counterfactual observables enter the game. This is called quantum contextuality. Simple finite projective geometries are a good way to picture the commutation relations of quantum observables entering the context, at least for systems with two or three parties. In the essay, it is further discovered a mathematical mechanism for 'drawing' the contexts. The so-called 'dessins d'enfants' of the celebrated mathematician Alexandre Grothendieck feature group, graph, topological, geometric and algebraic properties of the quantum contexts that would otherwise have been 'hidden' in the apparent randomness of measurement outcomes.

0 citations0 reviewsNo code linkedOpen access
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)$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Singularity of type $D_4$ arising from four qubit systems

An intriguing correspondence between four-qubit systems and simple singularity of type $D_4$ is established. We first consider an algebraic variety $X$ of separable states within the projective Hilbert space $\mathbb{P}(\mathcal{H})=\mathbb{P}^{15}$. Then, cutting $X$ with a specific hyperplane $H$, we prove that the $X$-hypersurface, defined from the section $X\cap H\subset X$, has an isolated singularity of type $D_4$; it is also shown that this is the "worst-possible" isolated singularity one can obtain by this construction. Moreover, it is demonstrated that this correspondence admits a dual version by proving that the equation of the dual variety of $X$, which is nothing but the Cayley hyperdeterminant of type $2\times 2\times 2\times 2$, can be expressed in terms of the SLOCC invariant polynomials as the discriminant of the miniversal deformation of the $D_4$-singularity.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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).

0 citations0 reviewsNo code linkedOpen access
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'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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Chebyshev's bias and generalized Riemann hypothesis

It is well known that $li(x)>π(x)$ (i) up to the (very large) Skewes' number $x_1 \sim 1.40 \times 10^{316}$ \cite{Bays00}. But, according to a Littlewood'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'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'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'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$.

0 citations0 reviewsNo code linkedOpen access
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' number. Besides, according to Robin'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.

0 citations0 reviewsNo code linkedOpen access
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}.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Pauli graphs, Riemann hypothesis, Goldbach pairs

Let consider the Pauli group $\mathcal{P}_q=<X,Z>$ with unitary quantum generators $X$ (shift) and $Z$ (clock) acting on the vectors of the $q$-dimensional Hilbert space via $X|s> =|s+1>$ and $Z|s> =ω^s |s>$, with $ω=\exp(2iπ/q)$. It has been found that the number of maximal mutually commuting sets within $\mathcal{P}_q$ is controlled by the Dedekind psi function $ψ(q)=q \prod_{p|q}(1+\frac{1}{p})$ (with $p$ a prime) \cite{Planat2011} and that there exists a specific inequality $\frac{ψ(q)}{q}>e^γ\log \log q$, involving the Euler constant $γ\sim 0.577$, that is only satisfied at specific low dimensions $q \in \mathcal {A}=\{2,3,4,5,6,8,10,12,18,30\}$. The set $\mathcal{A}$ is closely related to the set $\mathcal{A} \cup \{1,24\}$ of integers that are totally Goldbach, i.e. that consist of all primes $p2$) is equivalent to Riemann hypothesis. Introducing the Hardy-Littlewood function $R(q)=2 C_2 \prod_{p|n}\frac{p-1}{p-2}$ (with $C_2 \sim 0.660$ the twin prime constant), that is used for estimating the number $g(q) \sim R(q) \frac{q}{\ln^2 q}$ of Goldbach pairs, one shows that the new inequality $\frac{R(N_r)}{\log \log N_r} \gtrapprox e^γ$ is also equivalent to Riemann hypothesis. In this paper, these number theoretical properties are discusssed in the context of the qudit commutation structure.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

On the geometry and invariants of qubits, quartits and octits

Four level quantum systems, known as quartits, and their relation to two- qubit systems are investigated group theoretically. Following the spirit of Klein's lectures on the icosahedron and their relation to Hopf sphere bra- tions, invariants of complex re ection groups occuring in the theory of qubits and quartits are displayed. Then, real gates over octits leading to the Weyl group of E8 and its invariants are derived. Even multilevel systems are of interest in the context of solid state nuclear magnetic resonance.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Pauli graphs when the Hilbert space dimension contains a square: why the Dedekind psi function ?

We study the commutation relations within the Pauli groups built on all decompositions of a given Hilbert space dimension $q$, containing a square, into its factors. Illustrative low dimensional examples are the quartit ($q=4$) and two-qubit ($q=2^2$) systems, the octit ($q=8$), qubit/quartit ($q=2\times 4$) and three-qubit ($q=2^3$) systems, and so on. In the single qudit case, e.g. $q=4,8,12,...$, one defines a bijection between the $σ(q)$ maximal commuting sets [with $σ[q)$ the sum of divisors of $q$] of Pauli observables and the maximal submodules of the modular ring $\mathbb{Z}_q^2$, that arrange into the projective line $P_1(\mathbb{Z}_q)$ and a independent set of size $σ(q)-ψ(q)$ [with $ψ(q)$ the Dedekind psi function]. In the multiple qudit case, e.g. $q=2^2, 2^3, 3^2,...$, the Pauli graphs rely on symplectic polar spaces such as the generalized quadrangles GQ(2,2) (if $q=2^2$) and GQ(3,3) (if $q=3^2$). More precisely, in dimension $p^n$ ($p$ a prime) of the Hilbert space, the observables of the Pauli group (modulo the center) are seen as the elements of the $2n$-dimensional vector space over the field $\mathbb{F}_p$. In this space, one makes use of the commutator to define a symplectic polar space $W_{2n-1}(p)$ of cardinality $σ(p^{2n-1})$, that encodes the maximal commuting sets of the Pauli group by its totally isotropic subspaces. Building blocks of $W_{2n-1}(p)$ are punctured polar spaces (i.e. a observable and all maximum cliques passing to it are removed) of size given by the Dedekind psi function $ψ(p^{2n-1})$. For multiple qudit mixtures (e.g. qubit/quartit, qubit/octit and so on), one finds multiple copies of polar spaces, ponctured polar spaces, hypercube geometries and other intricate structures. Such structures play a role in the science of quantum information.

0 citations0 reviewsNo code linkedOpen access
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's constant. This inequality is equivalent to Robin'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

0 citations0 reviewsNo code linkedOpen access
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^γ.$

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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'(6)$ (of order 5760) of the alternating group A(6). The group $A'(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'(6)$ have an {\it outer} automorphism group $\mathcal{Z}_2\times \mathcal{Z}_2$, a feature we associate to two-qubit quantum entanglement.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access