SIC-POVMs from Stark units: Dimensions n2 + 3 = 4p, p prime
- 1 August 2025
- journal article
- Published by AIP Publishing in Journal of Mathematical Physics
- Vol. 66 (8)
Abstract
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.Keywords
Funding Information
- Fundacja na rzecz Nauki Polskiej (2018/MAB/5, 2018/MAB/5/AS-1)
- HORIZON EUROPE Digital, Industry and Space (101070558)
This publication has 29 references indexed in Scilit:
- Symmetric informationally complete positive-operator-valued measures: A new computer studyJournal of Mathematical Physics, 2010
- Algorithmic Number Theory2008
- On Weyl-Heisenberg orbits of equiangular linesJournal of Algebraic Combinatorics, 2007
- A database of local fieldsJournal of Symbolic Computation, 2006
- Symmetric informationally complete–positive operator valued measures and the extended Clifford groupJournal of Mathematical Physics, 2005
- Symmetric informationally complete quantum measurementsJournal of Mathematical Physics, 2004
- The Magma Algebra System I: The User LanguageJournal of Symbolic Computation, 1997
- L-functions at s = 1. IV. First derivatives at s = 0Advances in Mathematics, 1980
- L-functions at s = 1. III. Totally real fields and Hilbert's twelfth problemAdvances in Mathematics, 1976
- Normal Form of Antiunitary OperatorsJournal of Mathematical Physics, 1960