Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:1410.5862

Surveying points in the complex projective plane

Lane P. Hughston, Simon M Salamon

Published Oct 21, 2014• 2 citations
arXivHTMLPDF

Abstract

We classify SIC-POVMs of rank one in CP^2, or equivalently sets of nine equally-spaced points in CP^2, without the assumption of group covariance. If two points are fixed, the remaining seven must lie on a pinched torus that a standard moment mapping projects to a circle in R^3. We use this approach to prove that any SIC set in CP^2 is isometric to a known solution, given by nine points lying in triples on the equators of the three 2-spheres each defined by the vanishing of one homogeneous coordinate. We set up a system of equations to describe hexagons in CP^2 with the property that any two vertices are related by a cross ratio (transition probability) of 1/4. We then symmetrize the equations, factor out by the known solutions, and compute a Groebner basis to show that no SIC sets remain. We do find new configurations of nine points in which 27 of the 36 pairs of vertices of the configuration are equally spaced.

DOI
10.48550/arxiv.1410.5862

Related papers

Some non-standard ways to generate SIC-POVMs in dimensions 2 and 3

Gary McConnell

The notion of Symmetric Informationally Complete Positive Operator-Valued Measures (SIC-POVMs) arose in physics as a kind of optimal measurement basis for quantum systems. However the question of their existence is equivalent to that of the existence of a maximal set of \emph{complex equiangular lines}. That is to say, given a complex Hilbert space of dimension $d$, what is the maximal number of (complex) lines one can find which all make a common (real) angle with one another, in the sense that the inner products between unit vectors spanning those lines all have a common absolute value? A maximal set would consist of $d^2$ lines all with a common angle of $\arccos{\frac{1}{\sqrt{d+1}}}$. The same question has been posed in the real case and some partial answers are known. But at the time of writing no unifying theoretical result has been found in the real or the complex case: some sporadic low-dimensional numerical constructions have been converted into algebraic solutions but beyond this very little is known. It is conjectured that such structures always arise as orbits of certain fiducial vectors under the action of the Weyl (or generalised Pauli) group. In this paper we point out some new construction methods in the lowest dimensions ($d=2$ and $d=3$). We should mention that the SIC-POVMs so constructed are all unitarily equivalent to previously known SIC-POVMs.

arXiv:1402.7330•Feb 28, 2014•1 citation

SIC POVMs and Clifford groups in prime dimensions

Huangjun Zhu

We show that in prime dimensions not equal to 3, each group covariant symmetric informationally complete positive operator valued measure (SIC POVM) is covariant with respect to a unique Heisenberg–Weyl (HW) group. Moreover, the symmetry group of the SIC POVM is a subgroup of the Clifford group. Hence, two SIC POVMs covariant with respect to the HW group are unitarily or antiunitarily equivalent if and only if they are on the same orbit of the extended Clifford group. In dimension 3, each group covariant SIC POVM may be covariant with respect to three or nine HW groups, and the symmetry group of the SIC POVM is a subgroup of at least one of the Clifford groups of these HW groups, respectively. There may exist two or three orbits of equivalent SIC POVMs for each group covariant SIC POVM, depending on the order of its symmetry group. We then establish a complete equivalence relation among group covariant SIC POVMs in dimension 3, and classify inequivalent ones according to the geometric phases associated with fiducial vectors. Finally, we uncover additional SIC POVMs by regrouping of the fiducial vectors from different SIC POVMs which may or may not be on the same orbit of the extended Clifford group.

arXiv:1003.3591•Journal of Physics A Mathematical and Theoretical•Jun 29, 2010•95 citations

Moment maps and Galois orbits for SIC-POVMs

Kael Dixon, Simon M Salamon

The equations that define covariant SIC-POVMs are interpreted in terms of moment maps. Attention is focussed on orbits of a cyclic subgroup of a maximal torus and their images in the moment polytope. In the SIC case, these images lie in an intersection of quadrics, which we describe explicitly. We then develop the conjectural relationships with number field theory by describing the structure of Galois orbits of overlap phases.

•Dec 6, 2019•0 citations

Group theoretical classification of SIC-POVMs

S. B. Samuel, Z. Gedik

Abstract The Symmetric Informationally Complete Positive Operator-Valued Measures (SIC-POVMs) are known to exist in all dimensions ⩽ 151 and many larger dimensions as high as 39 604 . All known solutions with the exception of the Hoggar solutions are covariant with respect to the Weyl-Heisenberg group and in the case of dimension 3, it has been proven that all SIC-POVMs are Weyl-Heisenberg group covariant. In this work, we explore this by SIC-POVMs in dimensions 4–7 without the assumption of group covariance. We introduce two functions with which SIC-POVM Gram matrices can be generated without the group covariance constraint, and analytically show that the SIC-POVM Gram matrices exist on critical points of the surfaces defined by the two functions on a subspace of Hermitian matrices. In dimensions 4–7, all known SIC-POVM Gram matrices lie in disjoint continuous sets of solution. Thus, we define an equivalent class that relates Gram matrices based on the trivial symmetries of the two functions. In dimensions 4–7, we generated { 1.7 × 10 6 , 1.1 × 10 5 , 169 , 50 } Gram matrices, respectively. For each of the Gram matrices, we generate the symmetry group of their respective disjoint sets. In all cases, the symmetry group was isomorphic to a subgroup of the Clifford group containing the Weyl-Heisenberg group matrices and the order-3 unitaries. In dimensions 4–6, All constructed solutions belonged to a single equivalence class of Gram matrices whereas in dimension 7, we find two distinct families of SIC-POVMs. In dimensions 4 and 5, the absence of new classes of SIC-POVM strongly suggests that the functions do not have a non-trivial symmetry. Furthermore, in all the dimensions tested, the only equivalence classes found correspond to the distinct stabilizers of fiducial vectors of each dimension.

arXiv:2401.11026•Journal of Physics A Mathematical and Theoretical•Jun 27, 2024•2 citations

Moment Maps and Galois Orbits in Quantum Information Theory

Kael Dixon, Simon M Salamon

SIC-POVMs are configurations of points or rank-one projections arising from the action of a finite Heisenberg group on $\mathbb{C}^d$. The resulting equations are interpreted in terms of moment maps by focusing attention on the orbit of a cyclic subgroup and the maximal torus in $\mathrm{U}(d)$ that contains it. The image of a SIC-POVM under the associated moment map lies in an intersection of real quadrics, which we describe explicitly. We also elaborate the conjectural description of the related number fields and describe the structure of Galois orbits of overlap phases.

arXiv:1912.03209•SIAM Journal on Applied Algebra and Geometry•Jan 1, 2020•1 citation

MUBs and SIC-POVMs of a spin-1 system from the Majorana approach

P. K. Aravind

In the Majorana or stellar representation of quantum states, an arbitrary (pure) state of a spin-1 system is represented by a pair of points on the unit sphere or, equivalently, by a pair of unit vectors. This paper presents an expression for the squared modulus of the inner product of two spin-1 states in terms of their Majorana vectors and uses it to give a geometrical construction of the MUBs and SIC-POVMs of a spin-1 system. The results are not new and duplicate those obtained earlier by other methods, but the Majorana approach nevertheless illuminates them from an unusual point of view. In particular, it reveals the MUBs and SICs as symmetrical collections of vectors in ordinary three-dimensional space, rather than as rays in a projective Hilbert space. While it does not appear feasible to extend this treatment to higher spin systems, the spin-1 case exhibits sufficient subtlety and complexity to be worth spelling out for its pedagogical and historical interest.

arXiv:1707.02601•Jul 9, 2017•3 citations
We classify SIC-POVMs of rank one in CP^2, or equivalently sets of nine equally-spaced points in CP^2, without the assumption of group covariance. If two points are fixed, the remaining seven must lie on a pinched torus that a standard moment mapping projects to a circle in R^3. We use this approach to prove that any SIC set in CP^2 is isometric to a known solution, given by nine points lying in triples on the equators of the three 2-spheres each defined by the vanishing of one homogeneous coordinate. We set up a system of equations to describe hexagons in CP^2 with the property that any two vertices are related by a cross ratio (transition probability) of 1/4. We then symmetrize the equations, factor out by the known solutions, and compute a Groebner basis to show that no SIC sets remain. We do find new configurations of nine points in which 27 of the 36 pairs of vertices of the configuration are equally spaced.
The notion of Symmetric Informationally Complete Positive Operator-Valued Measures (SIC-POVMs) arose in physics as a kind of optimal measurement basis for quantum systems. However the question of their existence is equivalent to that of the existence of a maximal set of \emph{complex equiangular lines}. That is to say, given a complex Hilbert space of dimension ddd, what is the maximal number of (complex) lines one can find which all make a common (real) angle with one another, in the sense that the inner products between unit vectors spanning those lines all have a common absolute value? A maximal set would consist of d2d^2d2 lines all with a common angle of arccos⁡1d+1\arccos{\frac{1}{\sqrt{d+1}}}arccosd+1​1​. The same question has been posed in the real case and some partial answers are known. But at the time of writing no unifying theoretical result has been found in the real or the complex case: some sporadic low-dimensional numerical constructions have been converted into algebraic solutions but beyond this very little is known. It is conjectured that such structures always arise as orbits of certain fiducial vectors under the action of the Weyl (or generalised Pauli) group. In this paper we point out some new construction methods in the lowest dimensions (d=2d=2d=2 and d=3d=3d=3). We should mention that the SIC-POVMs so constructed are all unitarily equivalent to previously known SIC-POVMs.
We show that in prime dimensions not equal to 3, each group covariant symmetric informationally complete positive operator valued measure (SIC POVM) is covariant with respect to a unique Heisenberg–Weyl (HW) group. Moreover, the symmetry group of the SIC POVM is a subgroup of the Clifford group. Hence, two SIC POVMs covariant with respect to the HW group are unitarily or antiunitarily equivalent if and only if they are on the same orbit of the extended Clifford group. In dimension 3, each group covariant SIC POVM may be covariant with respect to three or nine HW groups, and the symmetry group of the SIC POVM is a subgroup of at least one of the Clifford groups of these HW groups, respectively. There may exist two or three orbits of equivalent SIC POVMs for each group covariant SIC POVM, depending on the order of its symmetry group. We then establish a complete equivalence relation among group covariant SIC POVMs in dimension 3, and classify inequivalent ones according to the geometric phases associated with fiducial vectors. Finally, we uncover additional SIC POVMs by regrouping of the fiducial vectors from different SIC POVMs which may or may not be on the same orbit of the extended Clifford group.
Abstract The Symmetric Informationally Complete Positive Operator-Valued Measures (SIC-POVMs) are known to exist in all dimensions ⩽ 151 and many larger dimensions as high as 39 604 . All known solutions with the exception of the Hoggar solutions are covariant with respect to the Weyl-Heisenberg group and in the case of dimension 3, it has been proven that all SIC-POVMs are Weyl-Heisenberg group covariant. In this work, we explore this by SIC-POVMs in dimensions 4–7 without the assumption of group covariance. We introduce two functions with which SIC-POVM Gram matrices can be generated without the group covariance constraint, and analytically show that the SIC-POVM Gram matrices exist on critical points of the surfaces defined by the two functions on a subspace of Hermitian matrices. In dimensions 4–7, all known SIC-POVM Gram matrices lie in disjoint continuous sets of solution. Thus, we define an equivalent class that relates Gram matrices based on the trivial symmetries of the two functions. In dimensions 4–7, we generated { 1.7 × 10 6 , 1.1 × 10 5 , 169 , 50 } Gram matrices, respectively. For each of the Gram matrices, we generate the symmetry group of their respective disjoint sets. In all cases, the symmetry group was isomorphic to a subgroup of the Clifford group containing the Weyl-Heisenberg group matrices and the order-3 unitaries. In dimensions 4–6, All constructed solutions belonged to a single equivalence class of Gram matrices whereas in dimension 7, we find two distinct families of SIC-POVMs. In dimensions 4 and 5, the absence of new classes of SIC-POVM strongly suggests that the functions do not have a non-trivial symmetry. Furthermore, in all the dimensions tested, the only equivalence classes found correspond to the distinct stabilizers of fiducial vectors of each dimension.
SIC-POVMs are configurations of points or rank-one projections arising from the action of a finite Heisenberg group on Cd\mathbb{C}^dCd. The resulting equations are interpreted in terms of moment maps by focusing attention on the orbit of a cyclic subgroup and the maximal torus in U(d)\mathrm{U}(d)U(d) that contains it. The image of a SIC-POVM under the associated moment map lies in an intersection of real quadrics, which we describe explicitly. We also elaborate the conjectural description of the related number fields and describe the structure of Galois orbits of overlap phases.
In the Majorana or stellar representation of quantum states, an arbitrary (pure) state of a spin-1 system is represented by a pair of points on the unit sphere or, equivalently, by a pair of unit vectors. This paper presents an expression for the squared modulus of the inner product of two spin-1 states in terms of their Majorana vectors and uses it to give a geometrical construction of the MUBs and SIC-POVMs of a spin-1 system. The results are not new and duplicate those obtained earlier by other methods, but the Majorana approach nevertheless illuminates them from an unusual point of view. In particular, it reveals the MUBs and SICs as symmetrical collections of vectors in ordinary three-dimensional space, rather than as rays in a projective Hilbert space. While it does not appear feasible to extend this treatment to higher spin systems, the spin-1 case exhibits sufficient subtlety and complexity to be worth spelling out for its pedagogical and historical interest.