Lehmer-type shell design conjecture for two-dimensional Euclidean lattices

From papers

Let LL be a two-dimensional Euclidean lattice whose quadratic form is ax2+bxy+cy2ax^2+bxy+cy^2. A nonempty shell of LL is the set of lattice vectors having a fixed nonzero norm, viewed on the corresponding sphere.

Shell design conjecture. The following assertions hold:

  1. If b24ac=m2(3)b^2-4ac=m^2(-3) for an integer mm, then no nonempty shell of LL is a spherical 66-design, and some nonempty shell is a spherical 44-design. Moreover, if every nonempty shell of LL is a spherical 44-design, then b24ac=3b^2-4ac=-3, so LL is an A2A_2-lattice.
  2. If b24ac=m2(4)b^2-4ac=m^2(-4) for an integer mm, then no nonempty shell of LL is a spherical 44-design, and some nonempty shell is a spherical 22-design. Moreover, if every nonempty shell of LL is a spherical 22-design, then b24ac=4b^2-4ac=-4, so LL is a Z2\mathbb{Z}^2-lattice.
  3. Otherwise, no nonempty shell of LL is a spherical 22-design.

The conjecture seeks a complete classification of spherical designs arising from shells of two-dimensional Euclidean lattices. The paper presents it as a conjecture following computational observations; its resolution is not established in the supplied text.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Eiichi Bannai and Tsuyoshi Miezaki, “Toy models for D. H. Lehmer's conjecture II”, arXiv:1004.1520 (2010).

Solutions 0

No solutions have been posted yet.