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

A Constructive Approach to Zauner's Conjecture via the Stark Conjectures

Marcus Appleby, Steven T. Flammia, Gene S. Kopp

Published Jan 7, 2025• 1 citation
arXivHTMLPDF

Abstract

We propose a construction of $d^2$ complex equiangular lines in $\mathbb{C}^d$, also known as SICPOVMs, conjectured by Zauner to exist for all d. The construction gives a putatively complete list of SICs with Weyl-Heisenberg symmetry in all dimensions d > 3. Specifically, we give an explicit expression for an object we call a ghost SIC, which is constructed from the real multiplication values of a special function and which is Galois conjugate to a SIC. The special function, the Shintani-Faddeev modular cocycle, is more precisely a tuple of meromorphic functions indexed by a congruence subgroup of ${\rm SL}_2(\mathbb{Z})$. We prove our construction gives a valid SIC in every case assuming two conjectures: the order 1 abelian Stark conjecture for real quadratic fields and a special value identity for the Shintani-Faddeev modular cocycle. The former allows us to prove that the ghost and the SIC are Galois conjugate over an extension of $\mathbb{Q}(\sqrtΔ)$ where $Δ= (d+1)(d-3)$, while the latter allows us to prove idempotency of the presumptive fiducial projector. We provide computational tests of our SIC construction by cross-validating it with known solutions, particularly the extensive work of Scott and Grassl, and by constructing four numerical examples of nonequivalent SICs in d=100, three of which are new. We further consider rank-r generalizations called r-SICs given by maximal equichordal configurations of r-dimensional complex subspaces. We give similar conditional constructions for r-SICs for all r, d such that r(d-r) divides $(d^2-1)$. Finally, we study the structure of the field extensions conjecturally generated by the r-SICs. If K is any real quadratic field, then either every abelian Galois extension of K, or else every abelian extension for which 2 is unramified, is generated by our construction; the former holds for a positive density of field discriminants.

DOI
10.48550/arxiv.2501.03970

Related papers

SICs: Extending the list of solutions

Scott, A. J.

Zauner's conjecture asserts that $d^2$ equiangular lines exist in all $d$ complex dimensions. In quantum theory, the $d^2$ lines are dubbed a SIC, as they define a favoured standard informationally complete quantum measurement called a SIC-POVM. This note supplements A. J. Scott and M. Grassl [J. Math. Phys. 51 (2010), 042203] by extending the list of published numerical solutions. We provide a putative complete list of Weyl-Heisenberg covariant SICs with the known symmetries in dimensions $d\leq 90$, a single solution with Zauner's symmetry for every $d\leq 121$ and solutions with higher symmetry for $d=124,143,147,168,172,195,199,228,259$ and $323$.

arXiv:1703.03993•Mar 11, 2017•42 citations

The twisted convolution identity and ghost $r$-SICs from finite quantum dilogarithms

Marcus Appleby, Steven T. Flammia, Gene S. Kopp

Radchenko and Wheeler (RW) recently proved a finite pentagon relation for real quadratic special values of the modular quantum dilogarithm and used it to establish the rank-$1$ twisted convolution identity conjectured by the current authors. RW gave an explicit argument in the principal case and remarked that their proof holds for all rank-$1$ admissible tuples. We extend their proof to all rank-$r$ admissible tuples and provide an explicit dictionary between the modular quantum dilogarithm and the Shintani-Faddeev modular cocycle conventions in the respective papers. Thus, we establish that, if $d,r$ are positive integers such that $r<\frac{d-1}{2}$ and $\frac{d^2-1}{r(d-r)} \in \mathbb{Z}$, then there exist ghost $r$-SICs: i.e., configurations of $d^2$ rank-$r$ subspaces in $\mathbb{C}^d$ that satisfy a non-Hermitian equichordal condition. Under the Stark conjecture, these configurations are Galois conjugate to Hermitian equichordal configurations called $r$-SICs (or rank-$r$ SIC-POVMs).

math.NTCross-listedarXiv:2609.39192•Oct 1, 2026

Asymmetric SICs over finite fields

Joseph W. Iverson, Dustin G. Mixon

Zauner's conjecture concerns the existence of $d^2$ equiangular lines in $\mathbb{C}^d$; such a system of lines is known as a SIC. In this paper, we construct infinitely many new SICs over finite fields. While all previously known SICs exhibit Weyl--Heisenberg symmetry, some of our new SICs exhibit trivial automorphism groups. We conjecture that such \textit{totally asymmetric} SICs exist in infinitely many dimensions in the finite field setting.

arXiv:2506.20778•Jun 25, 2025•0 citations

SIC-POVMs and orders of real quadratic fields

Gene S. Kopp, Jeffrey C. Lagarias

This paper concerns SIC-POVMs and their relationship to class field theory. SIC-POVMs are generalized quantum measurements (POVMs) described by d 2 equiangular complex lines through the origin in C d . Weyl–Heisenberg covariant SICs are those SIC-POVMs described by the orbit a single vector under a finite Weyl–Heisenberg group WH ( d ) . We relate known data on the structure and classification of Weyl–Heisenberg covariant SICs in low dimensions to arithmetic data attached to certain orders of real quadratic fields. For 4 ≤ d ≤ 90 , we show the number of known geometric equivalence classes of Weyl–Heisenberg covariant SICs in dimension d equals the cardinality of the ideal class monoid of (not necessarily invertible) ideal classes in the real quadratic order O Δ d of discriminant Δ d = ( d + 1 ) ( d − 3 ) ; we conjecture the equality extends to all d ≥ 4 . We prove that this conjecture implies the existence of more than one geometric equivalence class of Weyl–Heisenberg covariant SICs for every d > 22 . We conjecture that Galois multiplets of SICs may be put in one-to-one correspondence with the over-orders O ′ of O Δ d in such a way that the number of geometric classes in the multiplet equals the ring class number of O ′ . We test that conjecture against known data on exact SICs in low dimensions. We refine the “class field hypothesis” of Appleby, Flammia, McConnell, and Yard [8] to predict the exact class field over Q ( Δ d ) generated by the ratios of vector entries for the equiangular lines defining a Weyl–Heisenberg SIC. The refined conjectures use a recently developed class field theory for orders of number fields [36] . The refined class fields assigned to over-orders O ′ have a natural partial order under inclusion; the inclusions of these class fields fail to be strict in some cases. We characterize such cases and give a table of them for d < 500 .

arXiv:2407.08048•Journal of Number Theory•Jul 17, 2026•0 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

Galois automorphisms of a symmetric measurement

Symmetric Informationally Complete Positive Operator Valued Measures (usually referred to as SIC-POVMs or simply as SICs) have been constructed in every dimension $\le 67$. However, a proof that they exist in every finite dimension has yet to be constructed. In this paper we examine the Galois group of SICs covariant with respect to the Weyl-Heisenberg group (or WH SICs as we refer to them). The great majority (though not all) of the known examples are of this type. Scott and Grassl have noted that every known exact WH SIC is expressible in radicals (except for dimension $3$ which is exceptional in this and several other respects), which means that the corresponding Galois group is solvable. They have also calculated the Galois group for most known exact examples. The purpose of this paper is to take the analysis of Scott and Grassl further. We first prove a number of theorems regarding the structure of the Galois group and the relation between it and the extended Clifford group. We then examine the Galois group for the known exact fiducials and on the basis of this we propose a list of nine conjectures concerning its structure. These conjectures represent a considerable strengthening of the theorems we have actually been able to prove. Finally we generalize the concept of an anti-unitary to the concept of a $g$-unitary, and show that every WH SIC fiducial is an eigenvector of a family of $g$-unitaries (apart from dimension 3).

Quantum Information and Computation•May 1, 2013•17 citations
We propose a construction of d2d^2d2 complex equiangular lines in Cd\mathbb{C}^dCd, also known as SICPOVMs, conjectured by Zauner to exist for all d. The construction gives a putatively complete list of SICs with Weyl-Heisenberg symmetry in all dimensions d > 3. Specifically, we give an explicit expression for an object we call a ghost SIC, which is constructed from the real multiplication values of a special function and which is Galois conjugate to a SIC. The special function, the Shintani-Faddeev modular cocycle, is more precisely a tuple of meromorphic functions indexed by a congruence subgroup of SL2(Z){\rm SL}_2(\mathbb{Z})SL2​(Z). We prove our construction gives a valid SIC in every case assuming two conjectures: the order 1 abelian Stark conjecture for real quadratic fields and a special value identity for the Shintani-Faddeev modular cocycle. The former allows us to prove that the ghost and the SIC are Galois conjugate over an extension of Q(Δ)\mathbb{Q}(\sqrtΔ)Q(Δ​) where Δ=(d+1)(d−3)Δ= (d+1)(d-3)Δ=(d+1)(d−3), while the latter allows us to prove idempotency of the presumptive fiducial projector. We provide computational tests of our SIC construction by cross-validating it with known solutions, particularly the extensive work of Scott and Grassl, and by constructing four numerical examples of nonequivalent SICs in d=100, three of which are new. We further consider rank-r generalizations called r-SICs given by maximal equichordal configurations of r-dimensional complex subspaces. We give similar conditional constructions for r-SICs for all r, d such that r(d-r) divides (d2−1)(d^2-1)(d2−1). Finally, we study the structure of the field extensions conjecturally generated by the r-SICs. If K is any real quadratic field, then either every abelian Galois extension of K, or else every abelian extension for which 2 is unramified, is generated by our construction; the former holds for a positive density of field discriminants.
Zauner's conjecture asserts that d2d^2d2 equiangular lines exist in all ddd complex dimensions. In quantum theory, the d2d^2d2 lines are dubbed a SIC, as they define a favoured standard informationally complete quantum measurement called a SIC-POVM. This note supplements A. J. Scott and M. Grassl [J. Math. Phys. 51 (2010), 042203] by extending the list of published numerical solutions. We provide a putative complete list of Weyl-Heisenberg covariant SICs with the known symmetries in dimensions d≤90d\leq 90d≤90, a single solution with Zauner's symmetry for every d≤121d\leq 121d≤121 and solutions with higher symmetry for d=124,143,147,168,172,195,199,228,259d=124,143,147,168,172,195,199,228,259d=124,143,147,168,172,195,199,228,259 and 323323323.
The twisted convolution identity and ghost rrr-SICs from finite quantum dilogarithms
Radchenko and Wheeler (RW) recently proved a finite pentagon relation for real quadratic special values of the modular quantum dilogarithm and used it to establish the rank-111 twisted convolution identity conjectured by the current authors. RW gave an explicit argument in the principal case and remarked that their proof holds for all rank-111 admissible tuples. We extend their proof to all rank-rrr admissible tuples and provide an explicit dictionary between the modular quantum dilogarithm and the Shintani-Faddeev modular cocycle conventions in the respective papers. Thus, we establish that, if d,rd,rd,r are positive integers such that r<d−12r<\frac{d-1}{2}r<2d−1​ and d2−1r(d−r)∈Z\frac{d^2-1}{r(d-r)} \in \mathbb{Z}r(d−r)d2−1​∈Z, then there exist ghost rrr-SICs: i.e., configurations of d2d^2d2 rank-rrr subspaces in Cd\mathbb{C}^dCd that satisfy a non-Hermitian equichordal condition. Under the Stark conjecture, these configurations are Galois conjugate to Hermitian equichordal configurations called rrr-SICs (or rank-rrr SIC-POVMs).
Zauner's conjecture concerns the existence of d2d^2d2 equiangular lines in Cd\mathbb{C}^dCd; such a system of lines is known as a SIC. In this paper, we construct infinitely many new SICs over finite fields. While all previously known SICs exhibit Weyl--Heisenberg symmetry, some of our new SICs exhibit trivial automorphism groups. We conjecture that such \textit{totally asymmetric} SICs exist in infinitely many dimensions in the finite field setting.
This paper concerns SIC-POVMs and their relationship to class field theory. SIC-POVMs are generalized quantum measurements (POVMs) described by d 2 equiangular complex lines through the origin in C d . Weyl–Heisenberg covariant SICs are those SIC-POVMs described by the orbit a single vector under a finite Weyl–Heisenberg group WH ( d ) . We relate known data on the structure and classification of Weyl–Heisenberg covariant SICs in low dimensions to arithmetic data attached to certain orders of real quadratic fields. For 4 ≤ d ≤ 90 , we show the number of known geometric equivalence classes of Weyl–Heisenberg covariant SICs in dimension d equals the cardinality of the ideal class monoid of (not necessarily invertible) ideal classes in the real quadratic order O Δ d of discriminant Δ d = ( d + 1 ) ( d − 3 ) ; we conjecture the equality extends to all d ≥ 4 . We prove that this conjecture implies the existence of more than one geometric equivalence class of Weyl–Heisenberg covariant SICs for every d > 22 . We conjecture that Galois multiplets of SICs may be put in one-to-one correspondence with the over-orders O ′ of O Δ d in such a way that the number of geometric classes in the multiplet equals the ring class number of O ′ . We test that conjecture against known data on exact SICs in low dimensions. We refine the “class field hypothesis” of Appleby, Flammia, McConnell, and Yard [8] to predict the exact class field over Q ( Δ d ) generated by the ratios of vector entries for the equiangular lines defining a Weyl–Heisenberg SIC. The refined conjectures use a recently developed class field theory for orders of number fields [36] . The refined class fields assigned to over-orders O ′ have a natural partial order under inclusion; the inclusions of these class fields fail to be strict in some cases. We characterize such cases and give a table of them for d < 500 .
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.
Symmetric Informationally Complete Positive Operator Valued Measures (usually referred to as SIC-POVMs or simply as SICs) have been constructed in every dimension ≤67\le 67≤67. However, a proof that they exist in every finite dimension has yet to be constructed. In this paper we examine the Galois group of SICs covariant with respect to the Weyl-Heisenberg group (or WH SICs as we refer to them). The great majority (though not all) of the known examples are of this type. Scott and Grassl have noted that every known exact WH SIC is expressible in radicals (except for dimension 333 which is exceptional in this and several other respects), which means that the corresponding Galois group is solvable. They have also calculated the Galois group for most known exact examples. The purpose of this paper is to take the analysis of Scott and Grassl further. We first prove a number of theorems regarding the structure of the Galois group and the relation between it and the extended Clifford group. We then examine the Galois group for the known exact fiducials and on the basis of this we propose a list of nine conjectures concerning its structure. These conjectures represent a considerable strengthening of the theorems we have actually been able to prove. Finally we generalize the concept of an anti-unitary to the concept of a ggg-unitary, and show that every WH SIC fiducial is an eigenvector of a family of ggg-unitaries (apart from dimension 3).