Universal minima of discrete potentials for sharp spherical codes

• Peter Boyvalenkov ^[1] ; Peter Dragnev ^[2] ; Douglas Hardin ^[3] ; Edward Saff ^[3] ; Maya Stoyanova ^[4]
  1. [1] Bulgarian Academy of Sciences

     Bulgarian Academy of Sciences

     Bulgaria

     
  2. [2] Purdue University

     Purdue University

     Township of Wabash, Estados Unidos

     
  3. [3] Vanderbilt University

     Vanderbilt University

     Estados Unidos

     
  4. [4] Sofia University

     Sofia University

     Bulgaria

     

  Mostrar afiliaciones +
• Localización: Revista matemática iberoamericana, ISSN 0213-2230, Vol. 41, Nº 2, 2025, págs. 603-650
• Idioma: inglés
• DOI: 10.4171/RMI/1509
• Enlaces
  • Texto completo
• Resumen

  • This article is devoted to the study of discrete potentials on the sphere in Rn for sharp codes. We show that the potentials of most of the known sharp codes attain the universal lower bounds for polarization for spherical τ-designs previously derived by the authors, where “universal” is meant in the sense of applying to a large class of potentials that includes absolutely monotone functions of inner products. We also extend our universal bounds to T-designs and the associated polynomial subspaces determined by the vanishing moments of spherical configurations, and thus obtain the minima for the icosahedron, the dodecahedron, and sharp codes coming from E8 and the Leech lattice. For this purpose, we investigate quadrature formulas for certain subspaces of Gegenbauer polynomials Pj(n) which we call PULB subspaces, particularly those having basis {Pj(n)} j=0 2k+2∖{P2k(n)}. Furthermore, for potentials with h(τ+1)<0, we prove that the strong sharp codes and the antipodal sharp codes attain the universal bounds and their minima occur at points of the codes. The same phenomenon is established for the 600-cell when the potential h satisfies h(i)≥0, i=1,…,15, and h (16)≤0.