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

Abstract

We propose a recipe for constructing a SIC fiducial vector in complex Hilbert space of dimension of the form $d=n^2+3$, focussing on prime dimensions $d=p$. Such structures are shown to exist in thirteen prime dimensions of this kind, the highest being $p=19603$. The real quadratic base field $K$ (in the standard SIC terminology) attached to such dimensions has fundamental units $u_K$ of norm $-1$. Let ${\mathbb{Z}}_K$ denote the ring of integers of $K$, then $p{\mathbb{Z}}_K$ splits into two ideals $\mathfrak{p}$ and ${\mathfrak{p}}^{\prime }$. The initial entry of the fiducial is the square ${\xi }^2$ of a geometric scaling factor $\xi$, which lies in one of the fields $K(\sqrt{u_K})$. Strikingly, the other $p-1$ entries of the fiducial vector are each the product of $\xi$ 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 ${\mathbb{Z}}_K$ with modulus $\mathfrak{p}{\infty }_1$, where ${\infty }_1$ is one of the real places of $K$.

arXiv comment54 pages, 3 tables; subtitle added, some parts restructured/rewritten, additional solution for dimension 2503

References in corpus (13)

• Symmetric Informationally Complete Quantum Measurements
• Quantum-Bayesian Coherence: The No-Nonsense Version
• SIC-POVMs and the Extended Clifford Group
• SIC-POVMs: A new computer study
• The SIC Question: History and State of Play
• Constructing exact symmetric informationally complete measurements from numerical solutions
• The Numerics of Phase Retrieval
• Symmetric Informationally Complete Measurements Identify the Irreducible Difference between Classical and Quantum Systems
• Fibonacci-Lucas SIC-POVMs
• SICs and Algebraic Number Theory
• Generating Ray Class Fields of Real Quadratic Fields via Complex Equiangular Lines
• Implementation of quantum measurements using classical resources and only a single ancillary qubit
• A Constructive Approach to Zauner's Conjecture via the Stark Conjectures

Cited by in corpus (2)

• SIC-POVMs from Stark Units: Dimensions n^2+3=4p, p prime
• SICs and the Triangle Group $(3,3,3)$