Optimal simplices and codes in projective spaces

Abstract

We find many tight codes in compact spaces, i.e., optimal codes whose optimality follows from linear programming bounds. In particular, we show the existence (and abundance) of several hitherto unknown families of simplices in quaternionic projective spaces and the octonionic projective plane. The most noteworthy cases are 15-point simplices in HP^2 and 27-point simplices in OP^2, both of which are the largest simplices and the smallest 2-designs possible in their respective spaces. These codes are all universally optimal, by a theorem of Cohn and Kumar. We also show the existence of several positive-dimensional families of simplices in the Grassmannians of subspaces of R^n with n <= 8; close numerical approximations to these families had been found by Conway, Hardin, and Sloane, but no proof of existence was known. Our existence proofs are computer-assisted, and the main tool is a variant of the Newton-Kantorovich theorem. This effective implicit function theorem shows, in favorable conditions, that every approximate solution to a set of polynomial equations has a nearby exact solution. Finally, we also exhibit a few explicit codes, including a configuration of 39 points in OP^2 that form a maximal system of mutually unbiased bases. This is the last tight code in OP^2 whose existence had been previously conjectured but not resolved.

53 pages

References in corpus (10)

• Two-Dimensional Matter: Order, Curvature and Defects
• SIC-POVMs: A new computer study
• Universally optimal distribution of points on spheres
• New upper bounds for kissing numbers from semidefinite programming
• Linear programming bounds for codes in Grassmannian spaces
• Equiangular Spherical Codes in Quantum Cryptography
• Lower bounds for measurable chromatic numbers
• Order and disorder in energy minimization
• Energy-minimizing error-correcting codes
• Constructions of Grassmannian Simplices

Cited by in corpus (15)

• The SIC Question: History and State of Play
• Stolarsky's invariance principle for projective spaces
• Quantum Theory as Symmetry Broken by Vitality
• Admissibility and Frame Homotopy for Quaternionic Frames
• New Constructions and Characterizations of Flat and Almost Flat Grassmannian Fusion Frames
• Moments of isotropic measures and optimal projective codes
• Repeated minimizers of $p$-frame energies
• New dense superball packings in three dimensions
• Point distribution in compact metric spaces, III. Two-point homogeneous spaces
• Certifying the novelty of equichordal tight fusion frames
• p-adic Welch Bounds and p-adic Zauner Conjecture
• Effective bounds for monochromatic connectivity measures in two dimensions
• Designs related through projective and Hopf maps
• Energy Minimization in $C{P}^n$: Some Numerical and Analytical Results
• Octonions and the two strictly projective tight 5-designs