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:1402.7330

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

Gary McConnell

Published Feb 28, 2014• 1 citation
arXivHTMLPDF

Abstract

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.

DOI
10.48550/arxiv.1402.7330

Related papers

SIC-POVMs and the Stark Conjectures

Gene S. Kopp

Abstract The existence of $d^2$ pairwise equiangular complex lines [equivalently, a symmetric informationally complete positive operator-valued measure (SIC-POVM)] in $d$-dimensional Hilbert space is known only for finitely many dimensions $d$. We prove that, if there exists a set of real units in a certain ray class field (depending on $d$) satisfying certain algebraic properties, a SIC-POVM exists, when $d$ is an odd prime congruent to 2 modulo 3. We give an explicit analytic formula that we expect to yield such a set of units. Our construction uses values of derivatives of zeta functions at $s=0$ and is closely connected to the Stark conjectures over real quadratic fields. We verify numerically that our construction yields SIC-POVMs in dimensions 5, 11, 17, and 23, and we give the first exact SIC-POVM in dimension 23.

arXiv:1807.05877•International Mathematics Research Notices•Jun 19, 2019•19 citations

SIC-POVMs and the Stark Conjectures

Gene S. Kopp

The existence of pairwise equiangular complex lines [equivalently, a symmetric informationally complete positive operator-valued measure (SIC-POVM)] in -dimensional Hilbert space is known only for finitely many dimensions ⁠. We prove that, if there exists a set of real units in a certain ray class field (depending on ⁠) satisfying certain algebraic properties, a SIC-POVM exists, when is an odd prime congruent to 2 modulo 3. We give an explicit analytic formula that we expect to yield such a set of units. Our construction uses values of derivatives of zeta functions at and is closely connected to the Stark conjectures over real quadratic fields. We verify numerically that our construction yields SIC-POVMs in dimensions 5, 11, 17, and 23, and we give the first exact SIC-POVM in dimension 23.

•Sep 15, 2021•32 citations

SIC-POVMs and the Knaster's Conjecture

S. B. Samuel, Z. Gedik

Symmetric Informationally Complete Positive Operator-Valued Measures (SIC-POVMs) have been constructed in many dimensions using the Weyl-Heisenberg group. In the quantum information community, it is commonly believed that SCI-POVMs exist in all dimensions; however, the general proof of their existence is still an open problem. The Bloch sphere representation of SIC-POVMs allows for a general geometric description of the set of operators, where they form the vertices of a regular simplex oriented based on a continuous function. We use this perspective of the SIC-POVMs to prove the Knaster's conjecture for the geometry of SIC-POVMs and prove the existence of a continuous family of generalized SIC-POVMs where $(n^2-1)$ of the matrices have the same value of $Tr(ρ^k)$. Furthermore, by using numerical methods, we show that a regular simplex can be constructed such that all its vertices map to the same value of $Tr(ρ^3)$ on the Bloch sphere of $3$ and $4$ dimensional Hilbert spaces. In the $3$-dimensional Hilbert space, we generate $10^4$ generalized SIC-POVMs for randomly chosen $Tr(ρ^3)$ values such that all the elements are equivalent up to unitary transformations.

arXiv:2405.16733•May 27, 2024•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

SIC-POVMs from Stark units: Prime dimensions n 2 + 3

Marcus Appleby, Ingemar Bengtsson, Markus Grassl +2 more

We propose a recipe for constructing a fiducial vector for a symmetric informationally complete positive operator valued measure (SIC-POVM) in a complex Hilbert space of dimension of the form d = n2 + 3, focusing on prime dimensions d = p. Such structures are shown to exist in 13 prime dimensions of this kind, the highest being p = 19 603. The real quadratic base field K (in the standard SIC-POVM terminology) attached to such dimensions has fundamental units uK of norm −1. Let ZK denote the ring of integers of K; then, pZK splits into two ideals: p and p′. The initial entry of the fiducial is the square ξ2 of a geometric scaling factor ξ, which lies in one of the fields K(uK). Strikingly, each of the other p − 1 entries of the fiducial vector is a product of ξ and the square root of a Stark unit. These Stark units are obtained via the Stark conjectures from the value at s = 0 of the first derivatives of partial L-functions attached to the characters of the ray class group of ZK with modulus p∞1, where ∞1 is one of the real places of K.

arXiv:2112.05552•Journal of Mathematical Physics•Nov 1, 2022•10 citations

Operational Symmetric Informationally Complete Positive Operator-Valued Measures

Jake Lyons

In this work, we generalise an object that has proved interesting to both the pure and applied mathematician alike. Specifically, symmetric informationally complete positive operator valued measures (SIC-POVMs) were first encountered in the study finite tight frames, where they provide examples of complex equiangular tight frames. Then, the quantum information theory community discovered their own utility for these objects, for they provided a particularly useful example of a generalised measurement of a quantum system, a type of positive operator valued measure. In particular, they have proven useful to quantum state tomography and for probing quantum foundations. SIC-POVMs are collections of rank-one orthogonal projections acting on finite-dimensional Hilbert spaces and operational SIC-POVMs are their arbitrary rank counterparts. In this thesis, we cover necessary background on the standard quantum formalism, define SIC-POVMs and outline how they have been constructed up until this point via the orbit of the Weyl-Heisenberg group, which motivates Zauner’s conjecture. We go on to discuss generalised operational SIC-POVMs and give some new theorems that classify them. We then show that an infinite family of operational SIC-POVMs can be obtained via the representation theory of the symmetric group. Possibly shedding light on the unproven Zauner’s conjecture, we prove that an element of this infinite family cannot be generated via an orbit of the Weyl-Heisenberg group. We finish by describing the relation between these operational SIC-POVMs and Bell inequalities.

•Jul 14, 2026•0 citations
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.
Abstract The existence of d2d^2d2 pairwise equiangular complex lines [equivalently, a symmetric informationally complete positive operator-valued measure (SIC-POVM)] in ddd-dimensional Hilbert space is known only for finitely many dimensions ddd. We prove that, if there exists a set of real units in a certain ray class field (depending on ddd) satisfying certain algebraic properties, a SIC-POVM exists, when ddd is an odd prime congruent to 2 modulo 3. We give an explicit analytic formula that we expect to yield such a set of units. Our construction uses values of derivatives of zeta functions at s=0s=0s=0 and is closely connected to the Stark conjectures over real quadratic fields. We verify numerically that our construction yields SIC-POVMs in dimensions 5, 11, 17, and 23, and we give the first exact SIC-POVM in dimension 23.
The existence of pairwise equiangular complex lines [equivalently, a symmetric informationally complete positive operator-valued measure (SIC-POVM)] in -dimensional Hilbert space is known only for finitely many dimensions ⁠. We prove that, if there exists a set of real units in a certain ray class field (depending on ⁠) satisfying certain algebraic properties, a SIC-POVM exists, when is an odd prime congruent to 2 modulo 3. We give an explicit analytic formula that we expect to yield such a set of units. Our construction uses values of derivatives of zeta functions at and is closely connected to the Stark conjectures over real quadratic fields. We verify numerically that our construction yields SIC-POVMs in dimensions 5, 11, 17, and 23, and we give the first exact SIC-POVM in dimension 23.
Symmetric Informationally Complete Positive Operator-Valued Measures (SIC-POVMs) have been constructed in many dimensions using the Weyl-Heisenberg group. In the quantum information community, it is commonly believed that SCI-POVMs exist in all dimensions; however, the general proof of their existence is still an open problem. The Bloch sphere representation of SIC-POVMs allows for a general geometric description of the set of operators, where they form the vertices of a regular simplex oriented based on a continuous function. We use this perspective of the SIC-POVMs to prove the Knaster's conjecture for the geometry of SIC-POVMs and prove the existence of a continuous family of generalized SIC-POVMs where (n2−1)(n^2-1)(n2−1) of the matrices have the same value of Tr(ρk)Tr(ρ^k)Tr(ρk). Furthermore, by using numerical methods, we show that a regular simplex can be constructed such that all its vertices map to the same value of Tr(ρ3)Tr(ρ^3)Tr(ρ3) on the Bloch sphere of 333 and 444 dimensional Hilbert spaces. In the 333-dimensional Hilbert space, we generate 10410^4104 generalized SIC-POVMs for randomly chosen Tr(ρ3)Tr(ρ^3)Tr(ρ3) values such that all the elements are equivalent up to unitary transformations.
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.
We propose a recipe for constructing a fiducial vector for a symmetric informationally complete positive operator valued measure (SIC-POVM) in a complex Hilbert space of dimension of the form d = n2 + 3, focusing on prime dimensions d = p. Such structures are shown to exist in 13 prime dimensions of this kind, the highest being p = 19 603. The real quadratic base field K (in the standard SIC-POVM terminology) attached to such dimensions has fundamental units uK of norm −1. Let ZK denote the ring of integers of K; then, pZK splits into two ideals: p and p′. The initial entry of the fiducial is the square ξ2 of a geometric scaling factor ξ, which lies in one of the fields K(uK). Strikingly, each of the other p − 1 entries of the fiducial vector is a product of ξ and the square root of a Stark unit. These Stark units are obtained via the Stark conjectures from the value at s = 0 of the first derivatives of partial L-functions attached to the characters of the ray class group of ZK with modulus p∞1, where ∞1 is one of the real places of K.
In this work, we generalise an object that has proved interesting to both the pure and applied mathematician alike. Specifically, symmetric informationally complete positive operator valued measures (SIC-POVMs) were first encountered in the study finite tight frames, where they provide examples of complex equiangular tight frames. Then, the quantum information theory community discovered their own utility for these objects, for they provided a particularly useful example of a generalised measurement of a quantum system, a type of positive operator valued measure. In particular, they have proven useful to quantum state tomography and for probing quantum foundations. SIC-POVMs are collections of rank-one orthogonal projections acting on finite-dimensional Hilbert spaces and operational SIC-POVMs are their arbitrary rank counterparts. In this thesis, we cover necessary background on the standard quantum formalism, define SIC-POVMs and outline how they have been constructed up until this point via the orbit of the Weyl-Heisenberg group, which motivates Zauner’s conjecture. We go on to discuss generalised operational SIC-POVMs and give some new theorems that classify them. We then show that an infinite family of operational SIC-POVMs can be obtained via the representation theory of the symmetric group. Possibly shedding light on the unproven Zauner’s conjecture, we prove that an element of this infinite family cannot be generated via an orbit of the Weyl-Heisenberg group. We finish by describing the relation between these operational SIC-POVMs and Bell inequalities.