Pith. sign in

REVIEW 6 cited by

Optimality of spherical codes via exact semidefinite programming bounds

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

arxiv 2403.16874 v1 pith:VO6NAKLO submitted 2024-03-25 math.MG cs.ITmath.ITmath.OC

classification math.MGcs.ITmath.ITmath.OC
keywords dimensionspointscodesoptimalitysemidefiniteblockboundscases
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
abstract

We show that the spectral embeddings of all known triangle-free strongly regular graphs are optimal spherical codes (the new cases are $56$ points in $20$ dimensions, $50$ points in $21$ dimensions, and $77$ points in $21$ dimensions), as are certain mutually unbiased basis arrangements constructed using Kerdock codes in up to $1024$ dimensions (namely, $2^{4k} + 2^{2k+1}$ points in $2^{2k}$ dimensions for $2 \le k \le 5$). As a consequence of the latter, we obtain optimality of the Kerdock binary codes of block length $64$, $256$, and $1024$, as well as uniqueness for block length $64$. We also prove universal optimality for $288$ points on a sphere in $16$ dimensions. To prove these results, we use three-point semidefinite programming bounds, for which only a few sharp cases were known previously. To obtain rigorous results, we develop improved techniques for rounding approximate solutions of semidefinite programs to produce exact optimal solutions.

Discussion (0). Sign in to comment.

Forward citations

Cited by 6 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Robust self-testing with CHSH mod 3

    math.OC 2026-04 unverdicted novelty 8.0 of 10

    CHSH mod 3 reaches its exact maximal quantum value only with maximally entangled qutrit pairs (unique up to symmetry) and any strategy within ε of the optimum is O(√ε)-close to a direct sum of those optimal strategies.

  2. Bounding the density of spherical polygon packings

    math.MG 2026-04 unverdicted novelty 7.0 of 10

    Putative optimal densities for regular spherical polygon packings are computed via manifold optimization, with maximality established for several instances through an SDP formulation of an extended Lovász theta number...

  3. Universal optimality of $T$-avoiding spherical codes and designs

    math.CO 2025-01 unverdicted novelty 7.0 of 10

    Certain lattice-derived spherical codes are shown to be universally optimal among all T-avoiding codes for suitable forbidden sets T.

  4. Pauli Encodings & Unclonable Encryption

    quant-ph 2026-07 conditional novelty 6.0 of 10

    Every Pauli Encoding with K keys has MoE winning probability at least 1/2 + 1/(2√K), BB84-style X/Z encodings are insecure, pairwise arguments cannot beat 3/4, and several Pauli families have partial unclonable security.

  5. Pauli Encodings & Unclonable Encryption

    quant-ph 2026-07 conditional novelty 6.0 of 10

    Introduces Pauli Encodings, proves a universal cloning lower bound 1/2+1/(2*sqrt(K)), a 3/4 obstruction against pairwise-marginal arguments, and a level-3 NPA upper bound approximately 0.5556 for anticommuting keys.

  6. Reachability and optimal-time certificates for quantum control

    quant-ph 2026-06 unverdicted novelty 6.0 of 10

    Moment relaxations with time-dependent differential constraints yield upper bounds on fidelities and lower bounds on optimal times for quantum control tasks including qubit gates and excitation transfer.

Pith tools