How Stark units enter SIC overlaps

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.

Source: arXiv:2606.23535v1 - http://arxiv.org/abs/2606.23535v1 PDF: https://arxiv.org/pdf/2606.23535v1 Original Link: http://arxiv.org/abs/2606.23535v1