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

At least 15 years old · documented by

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 b2−4ac=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 b2−4ac=−3b^2-4ac=-3, so LL is an A2A_2-lattice.
  2. If b2−4ac=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 b2−4ac=−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.

References

Primary source

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

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.