Next Article in Journal
Nonlinear Multiscale Entropy and Recurrence Quantification Analysis of Foreign Exchange Markets Efficiency
Next Article in Special Issue
Quantifying Tolerance of a Nonlocal Multi-Qudit State to Any Local Noise
Previous Article in Journal
Robust Consensus of Networked Evolutionary Games with Attackers and Forbidden Profiles
Previous Article in Special Issue
Quantum Minimum Distance Classifier
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

The Poincaré Half-Plane for Informationally-Complete POVMs

Institut FEMTO-ST CNRS UMR 6174, Université de Bourgogne/Franche-Comté, 15 B Avenue des Montboucons, F-25044 Besançon, France
Entropy 2018, 20(1), 16; https://doi.org/10.3390/e20010016
Submission received: 12 October 2017 / Revised: 22 November 2017 / Accepted: 28 December 2017 / Published: 31 December 2017
(This article belongs to the Special Issue Quantum Mechanics: From Foundations to Information Technologies)

Abstract

:
It has been shown in previous papers that classes of (minimal asymmetric) informationally-complete positive operator valued measures (IC-POVMs) in dimension d can be built using the multiparticle Pauli group acting on appropriate fiducial states. The latter states may also be derived starting from the Poincaré upper half-plane model H . To do this, one translates the congruence (or non-congruence) subgroups of index d of the modular group into groups of permutation gates, some of the eigenstates of which are the sought fiducials. The structure of some IC-POVMs is found to be intimately related to the Kochen–Specker theorem.
PACS:
03.67.-a; 03.65.Wj; 02.20.-a; 03.65.Fd; 03.65.Aa; 02.10.Ox; 03.65.Ud; 03.67.Lx
MSC:
11F06; 20H05; 81P50; 81P68; 81P13; 81P45; 20B05

1. Introduction

Nulle parole ne trouve une branche où se poser (No words find a branch where to land [1]).
Out of nothing I have created a strange new universe wrote Janos Bolyai to his father in 1823. Additionally, W. K. Clifford wrote, What Vesalius was to Galen, what Copernicus was to Ptolemy, Lobachevsky was to Euclid [2]. Half a century later, Felix Klein published the Erlangen program making explicit the relationship of all geometries to projective geometry via their own groups of symmetries. To illustrate the rise of non-Euclidean ideas in this epoch, let us quote a few words of M. Pasch to F. Klein in 1891 [3]:
I am also late in thanking you for sending your essay on non-Euclidean geometry from last year… I also agree with most of what you say in the last two pages of your essay. The content of the axioms comes from observations (intuition as an internal activity is based on remembering what has been observed); the concepts used in the axioms, however, are inexact, and thus so are the axioms themselves. These latter can, however, only be used purely logically if they are presented as being exact. By further working on the axioms and seeking geometric propositions, we commonly make use of figures, either by drawing them or by ‘imagining’ them… The consideration must be possible even without the figures, in other words: that which is derived from the figures must already be contained in the axioms, for otherwise the axioms are not complete.
Pasch’s axiom (of plane geometry) was used by Hilbert to complete Euclid’s axioms. It is related to Pasch’s configuration of points and lines (in projective geometry). Incidence geometry, born at the time of Pappus of Alexandria, developed with Desargues (1591–1661), Jacob Steiner (1796–1863), Thomas Kirkman (1806–1895), Gino Fano (1871–1952), David Hilbert (1862–1943) and, more recently, with Jacques Tits (1930–) and Francis Buekenhout (1937–).
What kind of relation does quantum mechanics maintain with projective geometry? The superposition of states in Hilbert space H is linear but, due to the probability interpretation of the wave function, a state is not a single vector, but a ray, i.e., a one-dimensional subspace of H . As a result, the space of rays is not a linear, but a projective space. It is known from Wigner’s theorem (1931) that the realization of symmetries for pure states of a quantum mechanical system is (up to a scalar) a unitary or anti-unitary transformation [4,5]; see also [6,7,8] for the relation to positive operator valued measures (POVMs). It is worthwhile to point out that many of the basic configurations of incidence geometry are associated to the commutation relations between Hermitian operators in the (generalized) Pauli group [9]. Some projective configurations also occur in the structure of informationally-complete positive operator valued measures (IC-POVMs) [10,11].
Section 2 is a prolegomenon to the modular group Γ , its finite index subgroups Γ s and the connection to permutation gates considered in previous papers [10,11]. Then, one deals with the concept of IC-POVMs, the relation to the Pauli group and the occurrence of the Kochen–Specker theorem. The main goal of the paper, worked out in Section 3, is the derivation of “modular” ICs that follow from the structure of Γ . In small dimensions d < 10 , triple products of projectors encapsulate recognizable finite geometries (already described in [11]), some of them related to the Kochen–Specker theorem. For 10 d 27 , many ICs may be constructed thanks to appropriate subgroups Γ s . A summary of the results is in Table 1.

2. Prolegomenon about Γ and Its Relation to IC-POVMs

2.1. The Modular Group Γ

The facts of science and, à fortiori, its laws are the artificial work of the scientist; science therefore can teach us nothing of the truth; it can only serve us as rule of action [12].
A standard non-Euclidean geometry consists of the Poincaré hyperbolic plane H = { x , y R | y > 0 } whose symmetry group is the projective (special) linear group L = P S L ( 2 , R ) of real Möbius transformations of H . A discrete subgroup of L is called a Fuchsian group with the modular group Γ = P S L ( 2 , Z ) as the most celebrated example. Important mathematical objects are the moduli space of elliptic curves, which is the quotient space H / Γ , and modular forms that map pairs of points of H up to a weight factor and are also related to elliptic curves (via the 1995 modularity theorem) [13].
The modular group Γ acts discontinuously on the extended upper half-plane H = H Q , i.e., for each z H , there exists a neighborhood of z with no other element in the orbit of z. Thus, Γ tessellates H with infinitely many copies of the fundamental domain F = { z H with | z | > 1 , ( z ) < 1 2 }. The modular group Γ is generated by two transformations S Γ : z 1 z and T Γ : z z + 1 . It can also be represented as the two-generator free group G = e , v | e 2 = v 3 = 1 using the variable change e = S Γ and v = S Γ T Γ .
Some finite index subgroups of Γ , called congruence subgroups, are obtained by fixing congruence relations on the entries of elements of Γ . The principal congruence subgroup of level N of Γ is the normal subgroup Γ ( N ) = a b c d | a , d = ± 1 mod N and b , c = 0 mod N whose index is n 3 Π p | N ( 1 1 p 2 ) , p a prime number. Another important subgroup of Γ is the congruence subgroup Γ 0 ( N ) of level N defined as the subgroup of upper triangular matrices with entries defined modulo N. The index of Γ 0 ( N ) is the Dedekind psi function ψ ( N ) . More generally, a congruence subgroup Γ c contains Γ ( N ) for some N, and the level of Γ c is the smallest positive N such that Γ ( N ) Γ c .
Important geometric invariants of a finite index subgroup Γ s of Γ (either congruence or not) are the genus, the structure of elliptic points and that of cusps (parabolic points) [17]. These concepts are defined below. A fundamental domain F s of Γ s in the upper half-plane H is such that for any z H , there is a unique γ Γ s such that γ ( z ) F s . The subgroup Γ s acts discontinuously on the extended upper half-plane H and tessellates it with infinitely many copies of F s . Fixed points in H are elliptic points. An elliptic point of Γ s is a transformation γ Γ s such that γ ( z ) = z and γ ± I , where I is the identity matrix. Elliptic points of Γ s satisfy | tr ( γ ) | < 2 , and their order can only be two or three. Their numbers are denoted ν 2 and ν 3 , respectively. A cusp of Γ s is a fixed point of the extended upper-half plane H such that | tr ( γ ) | = 2 . It can be shown that the action of Γ s partitions Q into equivalence classes where q 1 q 2 if q 1 = γ q 2 for some γ Γ s . These equivalence classes correspond to the cusps of Γ s , and the widths of the cusps are the ratios between the orders of Stab Γ ( q ) and Stab Γ s ( q ) . The level of { q } is the least common multiple of the cusp widths of Γ . The structure of cusps is denoted [ c i w i ] with c i the number of cusps of width W i . In Table 1, the signature of a non-congruence subgroup Γ s is represented as NC ( g , N , ν 2 , ν 3 , [ c i w i ] ) . If the subgroup of Γ is a congruence subgroup Γ c , the geometric invariants are available in [18]. To conclude this subsection, a Farey symbol for Γ s is a certain finite sequence of rational numbers (they are fractions representing vertices of a fundamental domain of Γ s ) together with pairing information for the edges between the vertices [17]. This concept is needed to construct the fundamental domain of a finite index subgroup of Γ .
Using methods developed in [17,18] and implemented in the Sage software [19], one can represent a subgroup G of Γ either through the permutation representation P of the cosets of G in Γ (by making use of the Coxeter–Todd algorithm) or through the modular representation of P. The permutation representation of a finite index subgroup of the two-generator free group is known as a dessin d’enfant [9,10,11]. The modular picture is possible here since G is a subgroup of Γ . Doing this, one arrives at the unexplored relationship of permutation gates of quantum computing, informationally-complete POVMs [10,11] and the aforementioned modular objects.

2.2. Minimal Informationally-Complete POVMs and the Pauli Group

In QBism , all the personalist Bayesian properties of probability theory carry over to quantum states; that is, quantum states, like probabilities, are valuations of belief for future experiences [20].
The paper is a continuation of [11] while restricting to permutation gates stemming from subgroups of Γ . Our interest is still the search for minimal informationally-complete (IC)-POVMs derived from appropriate fiducial states under the action of the (generalized) Pauli group.
A POVM is a collection of positive semi-definite operators { E 1 , , E m } that sum to the identity. In the measurement of a state ρ , the i-th outcome is obtained with a probability given by the Born rule p ( i ) = tr ( ρ E i ) . For a minimal IC-POVM, one needs d 2 one-dimensional projectors Π i = ψ i ψ i , with Π i = d E i , such that the rank of the Gram matrix with elements tr ( Π i Π j ) is precisely d 2 .
A SIC-POVM (the S means symmetric) obeys the remarkable relation [21]:
ψ i | ψ j 2 = tr ( Π i Π j ) = d δ i j + 1 d + 1 ,
that allows the explicit recovery of the density matrix as in [22] (Equation (29)). The fiducial states for SIC-POVMs are quite complicated to derive (e.g., [23] for an update), and one must work very hard to find anything simple about them [24].
In this paper, we discover minimal IC-POVMs (i.e., whose rank of the Gram matrix is d 2 ) and with Hermitian angles ψ i | ψ j i j A = { a 1 , , a l } , a discrete set of values of small cardinality l. A SIC is equiangular with | A | = 1 and a 1 = 1 d + 1 . The states encountered below are considered to live in a cyclotomic field F = Q [ exp ( 2 i π n ) ] , with n = GCD ( d , r ) , the greatest common divisor of d and r, for some r. The Hermitian angle is defined as ψ i | ψ j i j = ( ψ i , ψ j ) 1 deg , where . means the field norm [25] (pp. 162) of the pair ( ψ i , ψ j ) in F and deg is the degree of the extension F over the rational field Q [11].
We construct the relevant IC-POVMs using the covariance with respect to the generalized Pauli group. Let d be a prime number; the qudit Pauli group is generated by the shift and clock operators as follows:
X j = j + 1 mod d Z j = ω j j
with ω = exp ( 2 i π / d ) a d-th root of unity. In dimension d = 2 , X and Z are the Pauli spin matrices σ x and σ z . For N particles, one takes the Kronecker product of qudit elements q times.
Stabilizer states are defined as eigenstates of the Pauli group.

2.3. The Single Qubit SIC-POVM

The covariance property under the Pauli group can be illustrated in the two-dimensional case. One can start with the qubit fiducial/magic state T = cos ( β ) 0 + exp ( i π 4 ) sin ( β ) 1 , cos ( 2 β ) = 1 3 , employed for universal quantum computation [14]. It is defined as the ω 3 = exp ( 2 i π 3 ) —eigenstate of the S H matrix (the product of the Hadamard matrix H and the phase gate S = 1 0 0 i ). Taking the action on T of the four Pauli gates I, X, Z and Y, the corresponding (pure) projectors Π i = ψ i ψ i , i = 1 , , 4 , sum to twice the identity matrix, thus building a POVM, and the pairwise distinct products satisfy ψ i ψ j | 2 = 1 3 . The four elements Π i form the well-known two-dimensional SIC-POVM ([21], Section 2).

2.4. The Kochen–Specker Theorem

Humans are rats who themselves construct the labyrinth they propose to escape (Rats qui construisent eux-mêmes le labyrinthe dont ils se proposent de sortir.) [26].
In a nutshell, the measured value of a quantum observable sometimes depends on which other mutually-compatible measurements might be performed. This leads to the concept of quantum contextuality. State-independent contextuality is often formulated in terms of the Kochen–Specker (KS) theorem because this theorem is able to guarantee the non-existence of non-contextual hidden variable theories, at least for dimension d 3 . A non-coloring KS proof consists of a finite set of projectors that cannot be assigned truth values (one for true, zero for false) in such a way that (i) one member of each complete orthonormal basis is true and (ii) no two orthogonal (that is, mutually-compatible) projectors are both true; see [27,28,29] and the references therein. Remarkably, it will be shown that subsets of projectors within the IC-POVMs below may sometimes be used to derive proofs of KS theorem (in Dimensions 4, 8 and 9). Contextuality and negativity of the Wigner function happen to play a fundamental role in universal schemes of quantum computation (e.g., [10,20,30,31]).

3. Permutation Gates from Γ , Fiducial States and Informationally-Complete Measurements

In all of the paper, we restrict to IC-POVMs that are built from subgroups of the modular group Γ (in contrast to [11], where more general subgroups of the two-generator free groups were also considered).
Using the function “G.aspermutation.group()" in Sage [19], the permutation representation of the group G is converted into that of the relevant subgroup Γ s of Γ . If Γ s is congruence, it can be identified in the Cummins–Pauli table [18] from its features, e.g., the genus g, the level N, the number of elliptic points of order two ν 2 , the number of elliptic points of order three ν 3 , the number of cusps c of widths W, as well as the fractions of the Farey symbol.

3.1. The Three-Dimensional Hesse SIC

The only permutation group that can be used to build a three-dimensional IC-POVM (here, an SIC) is the symmetric group S 3 = e , v with generators e = ( 2 , 3 ) 1 0 0 0 0 1 0 1 0 and v = ( 1 , 2 , 3 ) 0 1 0 0 0 1 1 0 0 , made explicit in terms of the (Index 3) permutation representation and the corresponding permutation gate. Using Sage and the table of congruence subgroups [18], it is straightforward to recognize that Γ s = Γ 0 ( 2 ) , whose fundamental domain is pictured in Figure 1b. In this particular case, ν 2 = 1 (the elliptic point at z = 1 2 ( 1 + i ) is denoted by the symbol *), ν 3 = 0 , the cusps are at zero and ∞ and the fractions are at zero and one. The subgroup Γ s = Γ 0 ( 2 ) is generated by two transformations S Γ s : z z 1 2 z 1 and T Γ s : z z + 1 .
The eigenstates of the permutation matrices in S 3 can serve as fiducial states for an IC-POVM as qutrits in the classes ( 0 , 1 , ± 1 ) 1 2 ( 1 ± 2 ) . Taking the action of the the nine qutrit Pauli matrices, one arrives at the well-known Hesse SIC. The Hesse SIC is illustrated in Figure 1c: the lines of the configuration correspond to projectors whose traces of triple products equal ± 1 8 [32], ([11], Figure 1a). Instead of labeling coordinates as projectors, one labels them with the qutrit operators acting on the fiducial state.

3.2. The Two-Qubit IC-POVM

The smaller permutation group that can be used to build a four-dimensional IC-POVM is the alternating group A 4 = e , v with generators e = ( 1 , 2 ) ( 3 , 4 ) 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 and v = ( 2 , 3 , 4 ) 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 , made explicit in terms of the (Index 4) permutation representation and the corresponding permutation gate. Using Sage and the table of congruence subgroups [18] one recognizes that Γ s = Γ 0 ( 3 ) , whose fundamental domain is pictured in Figure 2b. In this particular case, ν 2 = 0 , ν 3 = 1 (the elliptic point at 1 2 ( 1 + i 3 ) is denoted by the symbol *), the cusps are at zero and ∞ and the fractions are at zero and one. The subgroup Γ s = Γ 0 ( 3 ) is generated by two transformations S Γ s : z z 1 3 z 2 and T Γ s : z z + 1 .
The joined eigenstates of the commuting permutation matrices in S 3 that can serve as fiducial states for an IC-POVM are of the form ( 0 , 1 , ω 6 , ω 6 1 ) 1 3 ( 01 ω 6 10 + ( ω 6 1 ) 11 ) , with ω 6 = exp ( 2 i π 6 ) . Taking the action of the two-qubit Pauli group on the latter type of state, the corresponding pure projectors sum to four-times the identity (to form a POVM) and are independent, with the pairwise distinct products satisfying the dichotomic relation tr ( Π i Π j ) i j = ψ i ψ j | i j 2 { 1 3 , 1 3 2 } . Thus, the 16 projectors Π i build an asymmetric informationally-complete POVM (see also [11], Section 2).
The organization of triple products of projectors whose trace is constant (that is, equal to 1 9 or ± 1 27 ) is that of the generalized quadrangle of order two G Q ( 2 , 2 ) (see [33] and the references therein for more on this concept), as shown in Figure 2c. Simultaneously, the two-qubit operators labeling the vertices of G Q ( 2 , 2 ) are such that the product of operators on a line of G Q ( 2 , 2 ) equals the identity matrix or its negative. By restricting to triples of projectors whose trace is ± 1 27 , one identifies the standard Mermin square in Figure 2d that is known to allow an operator proof of the Kochen–Specker theorem (e.g., [28]).
Finally, let us observe that the group S 4 = ( 1 , 2 ) , ( 2 , 3 , 4 ) may also be used to built the two-qubit IC-POVM as above. It corresponds to the congruence subgroup 4 A 0 in the Cummins–Pauli table: it is of Level 4, with ν 2 = 2 , ν 3 = 1 and a single cusp at ∞.

3.3. The Five-Dimensional Equiangular IC-POVM

There is just one subgroup of Index 5 (up to conjugation) of the two-generator free group isomorphic to Γ . The organization of cosets defines the alternating group A 5 = e , v with generators e = ( 1 , 2 ) ( 4 , 5 ) and v = ( 2 , 3 , 4 ) . Using Sage and the table of congruence subgroups [18], one recognizes that Γ s is the congruence subgroup 5 A 0 of Level 5 whose fundamental domain is pictured in Figure 3b.
There is one single elliptic point of order two, two elliptic points of order three denoted by the symbol *, one cusp at ∞ and two fractions at 1 and zero. The subgroup Γ s = 5 A 0 is generated by three transformations z z + 2 z + 1 , z 2 z + 1 3 z + 1 and z 1 1 z . Fixed points of such transformations correspond to elliptic points of order two at z = 1 + i and order three at z = 1 + i 3 2 and z = 1 2 + i 2 3 .
The joined eigenstates of the commuting permutation matrices in A 5 that can serve as fiducial states for an IC-POVM are of type ( 0 , 1 , 1 , 1 , 1 ) and ( 0 , 1 , 1 , 1 , 1 ) . The latter type allows one to construct IC-POVM’s such that the pairwise distinct products satisfy ψ i ψ j | 2 = 1 4 2 , that is the POVM is equiangular with respect to the field norm defined in the Introduction. The first type of magic state is dichotomic with values of the products 1 4 2 and ( 3 4 ) 2 . The trace of pairwise products of (distinct) projectors is not constant. For example, with the state ( 0 , 1 , 1 , 1 , 1 ) , one gets a field norm equiangular IC-POVM in which the trace is trivalued: it is either 1 / 16 or ( 7 ± 3 5 ) / 32 .
Let us concentrate on the equiangular POVM. Traces of triple products with constant value 1 4 3 define lines organized into a geometric configuration of type ( 25 12 , 100 3 ) . Lines of the configuration have one or two points in common. The two-point intersection graph consists of 10 disjoint copies of the Petersen graph. One such Petersen graph is shown in Figure 3c; the vertices of the graph correspond to the lines, and the edges correspond to the one-point intersection of two lines. As before, the labeling is in terms of the operators acting on the magic state.

3.4. The Six-Dimensional IC-POVM

One finds five distinct permutation groups of Index 6 corresponding to subgroups of Γ that lead to a six-dimensional IC-POVM. Fiducial states are of type ( 0 , 1 , ω 6 1 , 0 , ω 6 , 0 ) already found in [11] with tr ( Π i Π j ) i j = ψ i ψ j | i j 2 = 1 3 or 1 3 2 .
The five permutation groups under question are the cyclic group Z 6 leading to congruence subgroups Γ and Γ ( 2 ) , the alternating group A 4 leading to the congruence subgroup 3 C 0 [18] and the symmetric group S 4 leading to the congruence subgroups Γ 0 ( 4 ) and Γ 0 ( 5 ) . Fundamental domains for Γ and 3 C 0 are shown in Figure 4a,b, respectively.
For a six-dimensional IC-POVM, one discovers a quite simple geometry sustaining the four-tuple products of projectors having constant trace 1 9 and simultaneously having products of corresponding operators on a line equal to ± I . It consists of two disjoint copies (corresponding to lines whose product of projectors equal I and I, respectively) looking like Borromean rings, as shown in Figure 4.

3.5. Seven-Dimensional IC-POVMs

Seven-dimensional IC-POVMs with bivalued pairwise products ψ i ψ j | i j 2 are found starting from permutation groups isomorphic to Z 7 Z 6 or P S L ( 2 , 7 ) , respectively. The first permutation group corresponds to a non-congruence subgroup. The fiducials of the IC are of type ( 0 , 1 , 1 , 1 , ± 1 , ± 1 , ± 1 ) or ( 0 , 1 , ω 3 1 , ω 3 , 1 , ω 3 1 , ω 3 ) . The second permutation group corresponds to the congruence subgroup 7 A 0 [18]. The fiducials of the IC are of type ( 1 , 0 , 0 , 0 , 1 , ± 1 , ± 1 ) or ( 1 , 0 , 0 , 0 , i , i , 1 ) .
The fundamental domain for the group 7 A 0 is shown in Figure 5a. The geometry of IC triple products is quite complex, but one building block may be identified as shown in Figure 5b (only for ICs with non-complex entries in their fiducial).
It may be reminded that an equiangular (with respect to the cyclotomic field norm) seven-dimensional IC-POVM exists. It is obtained thanks to the group Z 7 Z 6 (in a non-modular representation) using magic permutations [11]. A fiducial such as ( 1 , ω 3 1 , ω 3 , ω 3 , ω 3 + 1 , 1 , 0 ) does the job with ψ i ψ j | i j 2 = 1 6 2 .

3.6. The Three-Qubit Hoggar SIC

The approach based on permutation groups fails to identify any IC-POVM; see [16] for details about the geometry of the Hoggar SIC in relation to its covariance under the three-qubit Pauli group. A noticeable result is that the three-qubit SIC embeds the dual of the generalized hexagon G H ( 2 , 2 ) [11,16] (Figure 3). The latter geometry is connected to the eight-dimensional Kochen–Specker theorem.

3.7. Nine-Dimensional IC-POVMs

The smallest permutation group isomorphic to a subgroup of Γ and useful to build a nine-dimensional IC-POVM is P = ( 1 , 2 , 3 ) ( 4 , 5 , 6 ) ( 7 , 8 , 9 ) , ( 3 , 4 ) ( 5 , 7 ) ( 8 , 9 ) Z 3 2 ( Z 2 S 4 ) . The corresponding fundamental domain is shown in Figure 6a, the subgroup is non-congruence and contains three elliptic points of order two at i, 2 + i and ( 1 + i ) / 2 and two cusps at 3 2 and ∞. The related IC-POVM has bi- or three-valued distinct pairwise products. Let us choose the fiducial state for the bivalued case as ( 1 , 0 , 0 , 0 , ± 1 , 0 , 0 , ± 1 , 1 , 0 ) . For the state with positive entries and traces of triple products equal to 1 8 , the geometry consists of six copies of a 3 × 3 grid, as shown on Figure 6b. The products of the observables on a row or a column of the grid equal one, ω 3 or ω 3 2 . For the state with positive and negative entries and traces of triple products equal to 1 8 , the geometry consists of nine copies of the Pappus configuration, as shown in Figure 6c. It allows the proof of the 2-qutrit Kochen–Specker theorem [11] (Section 2.7 and Figure 5).
A trivalued IC-POVM follows from the permutation group of order 504 that is also non-congruence. The fiducial is of type ( 0 , 1 , 1 , 1 , 1 , 1 , 1 , 1 , 1 ) .
It is useful to remind that a group generated by two magic permutations and isomorphic to Z 3 2 Z 4 has been used to construct a bivalued IC-POVM starting from a fiducial of type ( 1 , 1 , 0 , 0 , 0 , 0 , 1 , 0 , 1 ) [11]. Noticeably, It contains the Pappus configuration in the organization of its triple products.

3.8. Higher Dimensional IC-POVMs

IC-POVMs found in dimension d higher than nine are summarized in the second half of Table 1. The minimal number of pairwise products needed increases with d (as in Column 3), and the subgroup Γ s occurring in the construction is quite often non-congruence (as expressed in Column 2). The symmetry underlying triple products of projectors is not simple and not easily recognizable. We could not find (modular group based) IC-POVMs in dimensions d = 8 , 16 , 17 , 22 , 23 . In Dimension 24, the found ICs are covariant under the 24-dit Pauli group, not under the 3 Q B - Q T group. Finally, in Dimension 27, one finds a four-valued IC-POVM, covariant under the 3QT Pauli group, whose structure of the triple products consists of 81 copies of the Pappus configuration.
Table 1 summarizes the results obtained so far.

4. Conclusions

It would be nice if we could design a virtual reality in Hyperbolic Space, and meet each other there [34].
The continuing search of mathematical structures governing the weirdness of quantum theory is catalyzed by applications. A universal quantum computer needs non-stabilizer states, i.e., states that are not eigenstates of a Pauli group. The finding of distillable qubit magic states in [14] prompted us to pass to higher dimensions with the methods of permutation theory [10]. It was soon observed that an interesting subset of magic states could be seen as fiducials for minimal IC-POVMs of the corresponding dimension [11]. Now, the present work connects universal quantum computing, IC-POVMs, quantum contextuality and the subgroups of finite index Γ s of the modular group Γ . This allows one to see the magic/fiducial states arising from appropriate permutation gates in the new language of fundamental domains and their copies under the discontinuous action of Γ s . Thus and unexpectedly, a short circuit occurs between Γ and quantum theory that has not been investigated so far. The group Γ is the starting point of the modularity theorem that connects elliptic curves over the rationals and modular forms. A jewel of mathematics is tethered to our best physical theory.

Acknowledgments

This work was supported by the French “Investissements d’Avenir” program, Project ISITE-BFC (Contract ANR-15-IDEX-03). The author acknowledges his student Etienne Donier-Meroz for help in identifying the elliptic points and cusps of subgroups of the modular group in the Sage software. He also thanks Alain Giorgetti for his check of the Magma calculations.

Conflicts of Interest

The author declares no conflict of interest.

References

  1. Ghesquier, M.-F. A Hauteur d’Ombre; Cardère: Avignon, France, 2014; p. 57. [Google Scholar]
  2. Lobachevsky, N.I. Pangeometry; European Mathematical Society: Zurich, Switzerland, 2010; ISBN 9783037190876. [Google Scholar]
  3. Schlimm, D. The correspondence between Moritz Pasch and Felix Klein. Hist. Math. 2013, 40, 183–202. [Google Scholar] [CrossRef]
  4. Keller, K.J.; Papadopoulos, N.A.; Reyes-Lega, A.F. On the realizations of symmetries in quantum mechanics. arXiv, 2008; arXiv:0712.0997. [Google Scholar]
  5. Freed, D.S. On Wigner’s theorem. Geom. Topol. Monogr. 2012, 18, 83–89. [Google Scholar]
  6. Słomczyński, W.; Szymusiak, A. Highly symmetric POVMs and their informational power. Quant. Inf. Process. 2016, 15, 565–606. [Google Scholar] [CrossRef]
  7. Dang, H.B. Studies of Symmetries That Give Special Quantum States the “Right to Exist”. Ph.D. Thesis, University of Waterloo, Waterloo, ON, Canada, 11 August 2015. [Google Scholar]
  8. Chien, T.Y.; Waldron, S. Nice error frames, canonical abstract error groups and the construction of SICs. Linear Algebra Appl. 2017, 516, 93–117. [Google Scholar] [CrossRef]
  9. Planat, M.; Zainuddin, H. Zoology of Atlas-Groups: Dessins D’enfants, Finite Geometries and Quantum Commutation. Mathematics 2017, 5, 6. [Google Scholar] [CrossRef]
  10. Planat, M.; Ul Haq, R. The magic of universal quantum computing with permutations. Adv. Math. Phys. 2017, 217, 5287862. [Google Scholar] [CrossRef]
  11. Planat, M.; Gedik, Z. Magic informationally complete POVMs with permutations. R. Soc. Open Sci. 2017, 4, 170387. [Google Scholar] [CrossRef] [PubMed]
  12. Poincaré, H. La Valeur de la Science (The Value of Science); Flammarion: Paris, France, 1905; p. 214. (In French) [Google Scholar]
  13. Diamond, F.; Shurman, J. A First Course in Modular Forms; Springer: New York, NY, USA, 2005. [Google Scholar]
  14. Bravyi, S.; Kitaev, A. Universal quantum computation with ideal Clifford gates and noisy ancillas. Phys. Rev. A 2005, 71, 022316. [Google Scholar] [CrossRef]
  15. Bengtsson, I. From SIC’s and MUBs to Eddington. J. Phys. Conf. Ser. 2010, 254, 012007. [Google Scholar] [CrossRef]
  16. Stacey, B.C. Geometric and information-theoretic properties of the Hoggar lines. arxiv, 2016; arXiv:1609.03075. [Google Scholar]
  17. Kurth, C.A.; Long, L. Computations with finite index subgroups of PSL(2, ℤ) using Farey symbols. In Advances in Algebra and Combinatorics; Shum, K.P., Zelmanov, E., Zhang, J., Li, S., Eds.; World Scientific: Singapore, 2008; pp. 225–242. [Google Scholar]
  18. Cummins, C.J.; Pauli, S. Congruence Subgroups of PSL(2,Z) of Genus Less than or Equal to 24. Exp. Math. 2003, 12, 243–255. [Google Scholar] [CrossRef]
  19. Stein, W.A.; Abbott, T.; Abshoff, M.; Ajanki, A.; Albrecht, M.; Alexander, N.; Allombert, B.; Van Andel, E.; Andrus, I.; Angulo, P.; et al. Sage Mathematics Software; Version 6.4.1; The Sage Development Team: Washington, WA, USA, 2014; Available online: http://www.sagemath.org (accessed on 1 January 2017).
  20. DeBrota, J.B.; Fuchs, C.A. Negativity bounds for Weyl-Heisenberg quasiprobability representations. Found. Phys. 2017, 47, 1009–1030. [Google Scholar] [CrossRef]
  21. Renes, J.M.; Blume-Kohout, R.; Scott, A.J.; Caves, C.M. Symmetric informationally complete quantum measurements. J. Math. Phys. 2004, 45, 2171–2180. [Google Scholar] [CrossRef]
  22. Fuchs, C.A. On the quantumness of a Hibert space. Quant. Inf. Comput. 2004, 4, 467–478. [Google Scholar]
  23. Appleby, M.; Chien, T.Y.; Fammia, S.; Waldron, S. Constructing exact symmetric informationally complete measurements from numerical solutions. arxiv, 2017; arXiv:1703.05981. [Google Scholar]
  24. Bengtsson, I. The number behind the simplest SIC-POVM. Found Phys. 2017, 47, 1031–1041. [Google Scholar] [CrossRef]
  25. Cohen, H. A Course in Computational Algebraic Number Theory; Springer: New York, NY, USA, 1996. [Google Scholar]
  26. Queneau, R.; Le Lionnais, F. Wikimedia. Available online: https://en.wikipedia.org/wiki/oulipo (accessed on 1 January 2017).
  27. Cabello, A. A proof with 18 vectors of the Bell–Kochen–Specker theorem. In New Developments on Fundamental Problems in Quantum Physics; Ferrero, M., van der Merwe, A., Eds.; Kluwer Academic: Dordrecht, The Netherlands, 1997; pp. 59–62. [Google Scholar]
  28. Planat, M. On small proofs of Bell-Kochen–Specker theorem for two, three and four qubits. Eur. Phys. J. Plus 2012, 127, 86. [Google Scholar] [CrossRef]
  29. Pavic˘ić, M. Arbitrarily exhaustive hypergraph generation of 4-, 6-, 8-, 16-, and 32-dimensional quantum contextual sets. Phys. Rev. A 2017, 95, 062121. [Google Scholar] [CrossRef]
  30. Delfosse, N.; Guerin, P.A.; Bian, J.; Raussendorf, R. Wigner function negativity and contextuality in quantum computation on rebits. Phys. Rev. X 2015, 5, 021003. [Google Scholar] [CrossRef]
  31. De Silva, N. Logical paradoxes in quantum computation. arxiv, 2017; arXiv:1709.00013. [Google Scholar]
  32. Tabia, G.N.M.; Appleby, D.M. Exploring the geometry of qutrit space using symmetric informationally complete probabilities. Phys. Rev. A 2013, 88, 012131. [Google Scholar] [CrossRef]
  33. Planat, M. Pauli graphs when the Hilbert space dimension contains a square: Why the Dedekind psi function? J. Phys. A Math. Theor. 2011, 44, 045301. [Google Scholar] [CrossRef]
  34. Knuth, D. Π M & Epsilon J. S. Frame Talk, MathFest. Available online: http://sites.math.rutgers.edu/~zeilberg/quotes.html (accessed on 1 January 2017).
Figure 1. Representation of S 3 Γ 0 ( 2 ) as a dessin d’enfant (a) and as the tiling of the fundamental domain (the two thick vertical lines have to be identified) (b). The character * denotes the unique elliptic point (of order two). The resulting Hesse SIC-POVM (symmetric informationally-complete positive operator valued measure) is in (c).
Figure 1. Representation of S 3 Γ 0 ( 2 ) as a dessin d’enfant (a) and as the tiling of the fundamental domain (the two thick vertical lines have to be identified) (b). The character * denotes the unique elliptic point (of order two). The resulting Hesse SIC-POVM (symmetric informationally-complete positive operator valued measure) is in (c).
Entropy 20 00016 g001
Figure 2. Representation of A 4 Γ 0 ( 3 ) as a dessin d’enfant (a) and as the tiling of the fundamental domain (the two thick vertical lines have to identified) (b). The character * denotes the unique elliptic point (of order three). The organization of triple products of projectors leads to the generalized quadrangle G Q ( 2 , 2 ) pictured in (c) whose subset is the Mermin square (d). Traces of triple products for rows (respectively columns) of the Mermin square equal 1 27 (respectively 1 27 ).
Figure 2. Representation of A 4 Γ 0 ( 3 ) as a dessin d’enfant (a) and as the tiling of the fundamental domain (the two thick vertical lines have to identified) (b). The character * denotes the unique elliptic point (of order three). The organization of triple products of projectors leads to the generalized quadrangle G Q ( 2 , 2 ) pictured in (c) whose subset is the Mermin square (d). Traces of triple products for rows (respectively columns) of the Mermin square equal 1 27 (respectively 1 27 ).
Entropy 20 00016 g002
Figure 3. Representation of A 5 5 A 0 as a dessin d’enfant (a) and as the tiling of the fundamental domain (b). The character * denotes the two elliptic points of order three. (c) A one-point intersection graph organizing the lines of the five-dit equiangular informationally-complete positive operator valued measure (IC-POVM) defined from the triple products of constant trace 1 4 3 .
Figure 3. Representation of A 5 5 A 0 as a dessin d’enfant (a) and as the tiling of the fundamental domain (b). The character * denotes the two elliptic points of order three. (c) A one-point intersection graph organizing the lines of the five-dit equiangular informationally-complete positive operator valued measure (IC-POVM) defined from the triple products of constant trace 1 4 3 .
Entropy 20 00016 g003
Figure 4. (a) Fundamental domain for the genus 1 group Γ ; (b) fundamental domain for the genus 0 group 6 A 1 ; the symbol * points out the two elliptic points of order two; (c) a basic piece of the six-dit IC-POVM with fiducial state of type ( 0 , 1 , ω 6 1 , 0 , ω 6 , 0 ) obtained through the action of Pauli operators 1–6: the lines correspond to four-tuple products of projectors with constant trace 1 9 and simultaneously of products equal to ± I . There are two disjoint copies looking like Borromean rings with points as [ 1 6 ] = [ I , Z X 3 , Z 2 , Z 3 X 3 , Z 4 , Z 5 X 3 ] (for lines with projector products I ) and [ 1 6 ] = [ X 4 , Z , Z 2 X 3 , Z 3 , Z 4 X 3 , Z 5 ] (for lines with projector products I).
Figure 4. (a) Fundamental domain for the genus 1 group Γ ; (b) fundamental domain for the genus 0 group 6 A 1 ; the symbol * points out the two elliptic points of order two; (c) a basic piece of the six-dit IC-POVM with fiducial state of type ( 0 , 1 , ω 6 1 , 0 , ω 6 , 0 ) obtained through the action of Pauli operators 1–6: the lines correspond to four-tuple products of projectors with constant trace 1 9 and simultaneously of products equal to ± I . There are two disjoint copies looking like Borromean rings with points as [ 1 6 ] = [ I , Z X 3 , Z 2 , Z 3 X 3 , Z 4 , Z 5 X 3 ] (for lines with projector products I ) and [ 1 6 ] = [ X 4 , Z , Z 2 X 3 , Z 3 , Z 4 X 3 , Z 5 ] (for lines with projector products I).
Entropy 20 00016 g004
Figure 5. (a) Fundamental domain for the group 7 A 0 ; (b) a basic component associated with a bivalued seven-dimensional IC-POVM.
Figure 5. (a) Fundamental domain for the group 7 A 0 ; (b) a basic component associated with a bivalued seven-dimensional IC-POVM.
Entropy 20 00016 g005
Figure 6. (a) Fundamental domain for the non congruence subgroup of Γ associated with the group Z 3 2 ( Z 2 S 4 ) . (b) A basic component (a ( 3 × 3 ) -grid) in the geometry of the bivalued nine-dimensional IC-POVM with fiducial ( 1 , 0 , 0 , 0 , 1 , 0 , 1 , 1 , 0 ) . Vertices of the grid for observables are the two-qutrit observables [ 1 , , 9 ] = [ I X , I X Z , I X Z 2 , Z X , Z X Z , Z X Z 2 , Z 2 X , Z 2 X Z , Z 2 X Z 2 ] . (c) A basic component (a Pappus configuration) in the geometry of the bivalued nine-dimensional IC-POVM with fiducial ( 1 , 0 , 0 , 0 , 1 , 0 , 1 , 1 , 0 ) . The points are [ 1 , , 9 ] = [ I Z , I X Z , I ( X Z 2 ) 2 , Z I , Z X , Z X 2 , Z 2 Z 2 , Z 2 ( X Z ) 2 , Z 2 X Z 2 ] .
Figure 6. (a) Fundamental domain for the non congruence subgroup of Γ associated with the group Z 3 2 ( Z 2 S 4 ) . (b) A basic component (a ( 3 × 3 ) -grid) in the geometry of the bivalued nine-dimensional IC-POVM with fiducial ( 1 , 0 , 0 , 0 , 1 , 0 , 1 , 1 , 0 ) . Vertices of the grid for observables are the two-qutrit observables [ 1 , , 9 ] = [ I X , I X Z , I X Z 2 , Z X , Z X Z , Z X Z 2 , Z 2 X , Z 2 X Z , Z 2 X Z 2 ] . (c) A basic component (a Pappus configuration) in the geometry of the bivalued nine-dimensional IC-POVM with fiducial ( 1 , 0 , 0 , 0 , 1 , 0 , 1 , 1 , 0 ) . The points are [ 1 , , 9 ] = [ I Z , I X Z , I ( X Z 2 ) 2 , Z I , Z X , Z X 2 , Z 2 Z 2 , Z 2 ( X Z ) 2 , Z 2 X Z 2 ] .
Entropy 20 00016 g006
Table 1. A summary of the subgroups of the modular group Γ (Column 2) allowing the construction of informationally-complete positive operator valued measures (IC-POVMs) in the corresponding dimension (Column 1). When non-congruence (denoted NC), the signature NC ( g , N , ν 2 , ν 3 , [ c i W i ] ) is made explicit. Column 3 shows the minimal number of pairwise distinct products needed (denoted PP).
Table 1. A summary of the subgroups of the modular group Γ (Column 2) allowing the construction of informationally-complete positive operator valued measures (IC-POVMs) in the corresponding dimension (Column 1). When non-congruence (denoted NC), the signature NC ( g , N , ν 2 , ν 3 , [ c i W i ] ) is made explicit. Column 3 shows the minimal number of pairwise distinct products needed (denoted PP).
DimSubgroups of Γ Leading to an IC-POVMPPGeometry
2none1tetrahedron [14]
3 Γ 0 ( 2 ) 1Hesse SIC [15]
4under 2QB Pauli group
Γ 0 ( 3 ) , 4 A 0 2 G Q ( 2 , 2 )
5 5 A 0 1Petersen graph
6 Γ , Γ ( 2 ) , 3 C 0 , Γ 0 ( 4 ) , Γ 0 ( 5 ) 2Borromean ring
7 7 A 0 2Figure 5b
NC ( 0 , 6 , 1 , 1 , [ 1 1 6 1 ] ) 2
none1[11]
8none under 3QB, 8-dit, 4-dit-QB Pauli group1Hoggar SIC [11,16]
9under 2QT Pauli group
NC ( 0 , 8 , 3 , 0 , [ 1 1 8 1 ] ) 2 ( 3 × 3 ) -grid, Pappus
NC ( 0 , 9 , 1 , 3 , [ 9 1 ] ) 3 [ 81 8 , 216 3 ]
10 5 C 0 5
11 11 A 0 3 [ 11 3 ]
12under 2QB-QT Pauli group
10 A 1 5 K ( 3 , 3 , 3 , 3 )
NC ( 0 , 8 , 4 , 0 , [ 4 1 8 1 ] ) 5Hesse ( × 16 )
NC ( 0 , 8 , 4 , 0 , [ 4 1 8 1 ] ) 6 [ 48 7 , 112 3 ]
12under 12-dit Pauli group
8 A 1 , NC ( 0 , 8 , 4 , 0 , [ 4 1 8 1 ] ) 11,7
13NC ( 0 , 6 , 1 , 1 , [ 1 1 6 2 ] ) 4
14 7 C 0 , NC ( 0 , 6 , 0 , 2 , [ 1 1 6 2 ] ) , 14 A 1 12,5,6
15 5 E 0 , NC ( 0 , 6 , 3 , 0 , [ 3 1 6 2 ] ) , 15 A 1 , 10 B 1 5,4,10,3
16none under 4QB and 2 4-dit Pauli group
18under 18-dit or 2QT-QB Pauli group
Γ 0 ( 10 ) , NC ( 1 , 8 , 0 , 0 , [ 2 1 8 2 ] ) 7,5
19NC ( 0 , 6 , 1 , 1 , [ 1 1 6 3 ] ) 3
21NC ( 0 , 6 , 3 , 0 , [ 3 1 6 3 ] ) , NC ( 0 , 6 , 1 , 0 , [ 1 1 2 1 6 3 ] ) 4
NC ( 0 , 14 , 7 , 0 , [ 7 1 14 1 ] ) , NC ( 0 , 8 , 3 , 0 , [ 1 1 4 1 8 2 ] ) 59,4
24none under 3QB-QT Pauli group
24under 24-dit Pauli group
24 A 1 , NC ( 2 , 12 , 0 , 0 , [ 12 2 ] ) , 20 B 1 , 12 F 1 40,56,40,30
NC ( 0 , 6 , 2 , 0 , [ 3 2 6 3 ] ) , NC ( 1 , 8 , 0 , 0 , [ 4 2 8 2 ] ) 8,7
21 A 2 , 24 A 1 23,60
25under 25-dit Pauli group
NC ( 0 , 10 , 5 , 1 , [ 5 1 10 2 ] ) 15
27under 3QT Pauli group
NC ( 0 , 6 , 1 , 0 , [ 1 1 2 1 6 4 ] ) , NC ( 0 , 8 , 3 , 0 , [ 1 1 2 1 8 3 ] ) 4Pappus

Share and Cite

MDPI and ACS Style

Planat, M. The Poincaré Half-Plane for Informationally-Complete POVMs. Entropy 2018, 20, 16. https://doi.org/10.3390/e20010016

AMA Style

Planat M. The Poincaré Half-Plane for Informationally-Complete POVMs. Entropy. 2018; 20(1):16. https://doi.org/10.3390/e20010016

Chicago/Turabian Style

Planat, Michel. 2018. "The Poincaré Half-Plane for Informationally-Complete POVMs" Entropy 20, no. 1: 16. https://doi.org/10.3390/e20010016

APA Style

Planat, M. (2018). The Poincaré Half-Plane for Informationally-Complete POVMs. Entropy, 20(1), 16. https://doi.org/10.3390/e20010016

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop