Abstract:We consider the problem of counting and classifying symmetric informationally complete positive operator-valued measures (SICs or SIC-POVMs), that is, sets of $d^2$ equiangular lines in $\mathbb{C}^d$. For $4 \leq d \leq 90$, we show the number of known 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 of discriminant $(d+1)(d-3)$. Equivalently, this is the number of $\mathbf{GL}_2(\mathbb{Z})$ conjugacy classes in $\mathbf{SL}_2(\mathbb{Z})$ of trace $d-1$. We conjecture the equality extends to all $d \geq 4$. We prove that this conjecture implies more that one equivalence class of Weyl--Heisenberg covariant SICs for every $d > 22$. We refine the "class field hypothesis" of Appleby, Flammia, McConnell, and Yard (<a class="link-https" data-arxiv-id="1604.06098" href="https://arxiv.org/abs/1604.06098">arXiv:1604.06098</a>) to predict the exact class field generated by the ratios of vector entries for the equiangular lines defining a Weyl--Heisenberg covariant SIC. The class fields conjecturally associated to SICs in dimension $d$ have a natural partial order under inclusion; we show the natural inclusions of these fields in the partial order are strict, except in a small family of cases.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is about the counting and classification of symmetric information - complete positive operator - valued measurements (SIC - POVMs). Specifically, the paper focuses on finding sets of $d^2$ equiangular lines in the complex vector space $\mathbb{C}^d$ that form a SIC - POVM. For dimensions $4\leq d\leq90$, the author shows that the number of known Weyl - Heisenberg covariant SIC equivalence classes is equal to the cardinality of the ideal class monoid in the real quadratic field $\mathbb{Q}(\sqrt{(d + 1)(d - 3)})$. Equivalently, this number is also equal to the number of $\text{GL}_2(\mathbb{Z})$ conjugate classes in $\text{SL}_2(\mathbb{Z})$ with trace $-1$. The author further conjectures that this equality can be extended to all cases where $d\geq4$, and proves that if this conjecture holds, then for each $d > 22$, there exist multiple Weyl - Heisenberg covariant SIC equivalence classes. In addition, the paper improves the "class field hypothesis" proposed by Appleby et al., predicting the exact class field generated by the vector ratios of the equiangular lines defined by Weyl - Heisenberg covariant SICs. The paper also discusses the natural inclusion relationships between the class fields associated with these SICs and proves that these inclusion relationships are strict in most cases. ### Main contributions 1. **Counting and classification**: The paper shows that in the range of $4\leq d\leq90$, the number of known Weyl - Heisenberg covariant SIC equivalence classes is equal to the cardinality of the ideal class monoid in the real quadratic field. 2. **Conjecture extension**: A conjecture is proposed, that is, the above equality can be extended to all cases where $d\geq4$. 3. **Improvement of the class field hypothesis**: The "class field hypothesis" proposed by Appleby et al. is improved, and the exact class field generated by the vector ratios of the equiangular lines defined by Weyl - Heisenberg covariant SICs is predicted. 4. **Relationships between class fields**: The natural inclusion relationships between the class fields associated with these SICs are discussed, and it is proved that these inclusion relationships are strict in most cases. ### Mathematical background - **SIC - POVMs**: SIC - POVMs are a class of generalized measurements in quantum mechanics, consisting of $d^2$ equiangular lines that satisfy specific inner product conditions in $\mathbb{C}^d$. - **Weyl - Heisenberg covariant SICs**: These SICs are orbits generated by the Weyl - Heisenberg group acting on a single vector. - **Class field theory**: Class field theory is a branch of algebraic number theory, used to classify abelian extensions of a given number field. ### Conclusion Through the study of SIC - POVMs, the paper establishes the connection between them and the ideal class monoid in the real quadratic field, and proposes new conjectures and theoretical results, providing an important theoretical basis for further understanding the structure and properties of SIC - POVMs.

SIC-POVMs and orders of real quadratic fields

SIC~POVMs and Clifford groups in prime dimensions

SIC-POVMs and the Knaster's Conjecture

Two-Qubit Symmetric Informationally Complete Positive-Operator-Valued Measures

SICs and the Triangle Group $(3,3,3)$

Tight Frames, Hadamard Matrices and Zauner's Conjecture

Group Theoretical Classification of SIC-POVMs

Structure of Two-qubit Symmetric Informationally Complete POVMs

SICs and the Triangle Group

Simplified exact SICs

Symmetric Informationally Complete Measurements of Arbitrary Rank

SIC-POVMs from Stark Units: Dimensions n^2+3=4p, p prime

Group Theoretic, Lie Algebraic and Jordan Algebraic Formulations of the SIC Existence Problem

Dimension towers of SICs. I. Aligned SICs and embedded tight frames

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

Two New Constructions of Approximately Symmetric Informationally Complete Positive Operator-Valued Measures

Super-symmetric informationally complete measurements

Equations for the overlaps of a SIC

Operator system characterizations of SIC-POVMs and mutually unbiased bases

Notes on general SIC-POVMs

Construction of $\varepsilon_{d}$-ASIC-POVMs via $2$-to-$1$ PN functions and the Li bound