On the ideal of the shortest vectors in the Leech lattice and other lattices

DOI10.1007/S10801-014-0550-5MaRDI QIDQ2346759zbMATH OpenOpenAlexFDO

Authors William J. Martin, Corre L. Steele

Publication date 4 June 2015

Published in Journal of Algebraic Combinatorics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1310.6626

zbMATH Keywords

association schemelatticepolynomial idealspherical codespherical design

Mathematics Subject Classification ID

Other designs, configurations (05B30) Association schemes, strongly regular graphs (05E30) Other types of codes (94B60)

Abstract: Let $Xsubset{mathbbR}^m$ be a spherical code (i.e., a finite subset of the unit sphere) and consider the ideal of all polynomials in $m$ variables which vanish on $X$. Motivated by a study of cometric ($Q$-polynomial) association schemes and spherical designs, we wish to determine certain properties of this ideal. After presenting some background material and preliminary results, we consider the case where $X$ is the set of shortest vectors of one of the exceptional lattices $E_6$, $E_7$, $E_8$, $Lambd{a}_{24}$ (the Leech lattice) and determine for each: (i) the smallest degree of a non-trivial polynomial in the ideal, and (ii) the smallest $k$ for which the ideal admits a generating set of polynomials all of degree $k$ or less. As it turns out, in all four cases mentioned above, these two values coincide, as they also do for the icosahedron, our introductory example. The paper concludes with a discussion of these two parameters, two open problems regarding their equality, and a few remarks concerning connections to cometric association schemes.

Recommendations

• On lattices whose minimal vectors form a 6-design
• Almost impossible \(E_8\) and Leech lattices
• Optimality and uniqueness of the Leech lattice among lattices
• The generating rank of the space of short vectors in the Leech lattice mod 2
• Spherical designs and lattices

Cites work

• A survey on spherical designs and algebraic combinatorics on spheres
• scientific article; zbMATH DE number 428989 (Why is no real title available?)
• scientific article; zbMATH DE number 3884178 (Why is no real title available?)
• scientific article; zbMATH DE number 43547 (Why is no real title available?)
• scientific article; zbMATH DE number 3620108 (Why is no real title available?)
• scientific article; zbMATH DE number 1224949 (Why is no real title available?)
• scientific article; zbMATH DE number 510851 (Why is no real title available?)
• scientific article; zbMATH DE number 1970438 (Why is no real title available?)
• scientific article; zbMATH DE number 194422 (Why is no real title available?)
• scientific article; zbMATH DE number 3999125 (Why is no real title available?)
• scientific article; zbMATH DE number 2232233 (Why is no real title available?)
• Ideals, varieties, and algorithms. An introduction to computational algebraic geometry and commutative algebra
• Notes on Sphere Packings
• On the equivalence between real mutually unbiased bases and a certain class of association schemes
• SINGULAR
• Some Sphere Packings in Higher Space
• Spherical codes and designs
• There are finitely many Q-polynomial association schemes with given first multiplicity at least three

Cited in

(4)

• On the non-existence of short vectors in random module lattices
• The generating rank of the space of short vectors in the Leech lattice mod 2
• Some bounds arising from a polynomial ideal associated to any \(t\)-design
• The contact polytope of the Leech lattice

Describes a project that uses

Uses Software

• SINGULAR

This page was built for publication: On the ideal of the shortest vectors in the Leech lattice and other lattices

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2346759)