REVIEW 5 cited by
SIC-POVMs from Stark Units: Dimensions n^2+3=4p, p prime
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
Signed reviews
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 (arXiv:2112.05552) we gave a conjectural algorithm for how to construct a SIC if $d = n^2+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 = n^2+3$. Here we focus on the case when $d= n^2+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 seventeen different dimensions of this form, reaching $d = 39604$. 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.
Forward citations
Cited by 5 Pith papers
-
Two-point measurement correlations beyond the quantum regression theorem
A generalized quantum regression formula holds exactly for processes with classical memory, and its violation is a detectable witness of quantum memory, with applications to the spin-boson model.
-
Nearly tight weighted 2-designs in complex projective spaces of every dimension
Sidon sets yield weighted 2-designs of size d^2 + O(d^{1.525}) in every dimension, the first general bound matching the lower bound up to lower-order terms.
-
A Constructive Approach to Zauner's Conjecture via the Stark Conjectures
A conditional proof that Zauner's SIC conjecture follows from the Stark conjectures plus a new 'Twisted Convolution' identity.
-
Quantum States with Maximal Magic
For every stabilizer entropy of order α ≥ 2, a state attains the maximum if and only if it is a fiducial state of a Weyl-Heisenberg covariant SIC.
-
Quantum Pushforward Designs
The authors define channel [t,k]-designs and estimate the effective environment dimension of IBM Kyoto idle noise to lie near 2 to 2.2.
Discussion (0). Continue with ORCID to comment.