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:2112.05552 · Journal of Mathematical Physics

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

Marcus Appleby, Ingemar Bengtsson, Markus Grassl, Michael Harrison, Gary McConnell

Published Nov 1, 2022• 10 citations
arXivHTMLPDF

Abstract

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.

DOI
10.1063/5.0083520

Related papers

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 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 from Stark units: Dimensions n2 + 3 = 4p, p prime

Ingemar Bengtsson, Markus Grassl, Gary McConnell

The existence problem for maximal sets of equiangular lines (or SICs) in complex Hilbert space of dimension d remains largely open. In a previous publication we gave a conjectural algorithm for how to construct a SIC if d = n2 + 3 = p, a prime number. Perhaps the most surprising number-theoretical aspect of that algorithm is the appearance of Stark units in a key role: a single Stark unit from a ray class field extension of a real quadratic field serves as a seed from which the SIC is constructed. The algorithm can be modified to apply to all dimensions d = n2 + 3. Here we focus on the case when d = n2 + 3 = 4p, p prime, for two reasons. First, special measures have to be taken on the Hilbert space side of the problem when the dimension is even. Second, the degrees of the relevant ray class fields are “smooth” in a sense that facilitates exact calculations. As a result the algorithm becomes easier to explain. We give solutions for 17 different dimensions of this form, reaching d = 39 604. Several improvements relative to our previous publication are reported, but we cannot offer a proof that the algorithm works for any dimensions where it has not been tested.

arXiv:2403.02872•Journal of Mathematical Physics•Aug 1, 2025•4 citations

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

How Stark units enter SIC overlaps

Ingemar Bengtsson, Gary McConnell

It has been observed that the mutual scalar products of the vectors in a SIC-POVM are given by algebraic units, and at least in some cases by square roots of Stark units. The full picture is somewhat more complicated, especially if non-minimal SIC-POVMs are considered. We present a mixture of exact and numerical evidence suggesting that the overlap units are always products of integral powers of square roots of Stark units from ray class fields all of which are attached to the maximal ring of integers in the base field. In the non-minimal case a lattice of such ray class fields is involved. In every second dimension (counted in a certain way) some of the overlap units equal $\pm 1$, and we show that this follows from a special property of the ray class fields. Our observations are complementary to but consistent with the claim that the overlap units can be calculated directly from the Shintani--Faddeev modular cocycle.

quant-pharXiv:2606.23535•Jun 23, 2026

On SIC-POVMs in Prime Dimensions

Steven T. Flammia

The generalized Pauli group and its normalizer, the Clifford group, have a rich mathematical structure which is relevant to the problem of constructing symmetric informationally complete POVMs (SIC-POVMs). To date, every known SIC-POVM fiducial vector is an eigenstate of an order 3 unitary in the Clifford group. I show that every order 3 unitary in prime dimensions p > 3 lies in the same conjugacy class of the Clifford group and construct a class representative for all such dimensions. It follows that if even one such SIC-POVM fiducial vector is an eigenvector of such a unitary, then all of them are (for a given such dimension). I also conjecture that in all dimensions d, the number of conjugacy classes is bounded above by 3 and depends only on d mod 9, and I support this claim with numerical evidence.

•May 4, 2006•45 citations
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.
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.
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 problem for maximal sets of equiangular lines (or SICs) in complex Hilbert space of dimension d remains largely open. In a previous publication we gave a conjectural algorithm for how to construct a SIC if d = n2 + 3 = p, a prime number. Perhaps the most surprising number-theoretical aspect of that algorithm is the appearance of Stark units in a key role: a single Stark unit from a ray class field extension of a real quadratic field serves as a seed from which the SIC is constructed. The algorithm can be modified to apply to all dimensions d = n2 + 3. Here we focus on the case when d = n2 + 3 = 4p, p prime, for two reasons. First, special measures have to be taken on the Hilbert space side of the problem when the dimension is even. Second, the degrees of the relevant ray class fields are “smooth” in a sense that facilitates exact calculations. As a result the algorithm becomes easier to explain. We give solutions for 17 different dimensions of this form, reaching d = 39 604. Several improvements relative to our previous publication are reported, but we cannot offer a proof that the algorithm works for any dimensions where it has not been tested.
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.
It has been observed that the mutual scalar products of the vectors in a SIC-POVM are given by algebraic units, and at least in some cases by square roots of Stark units. The full picture is somewhat more complicated, especially if non-minimal SIC-POVMs are considered. We present a mixture of exact and numerical evidence suggesting that the overlap units are always products of integral powers of square roots of Stark units from ray class fields all of which are attached to the maximal ring of integers in the base field. In the non-minimal case a lattice of such ray class fields is involved. In every second dimension (counted in a certain way) some of the overlap units equal ±1\pm 1±1, and we show that this follows from a special property of the ray class fields. Our observations are complementary to but consistent with the claim that the overlap units can be calculated directly from the Shintani--Faddeev modular cocycle.
The generalized Pauli group and its normalizer, the Clifford group, have a rich mathematical structure which is relevant to the problem of constructing symmetric informationally complete POVMs (SIC-POVMs). To date, every known SIC-POVM fiducial vector is an eigenstate of an order 3 unitary in the Clifford group. I show that every order 3 unitary in prime dimensions p > 3 lies in the same conjugacy class of the Clifford group and construct a class representative for all such dimensions. It follows that if even one such SIC-POVM fiducial vector is an eigenvector of such a unitary, then all of them are (for a given such dimension). I also conjecture that in all dimensions d, the number of conjugacy classes is bounded above by 3 and depends only on d mod 9, and I support this claim with numerical evidence.