HEXAGONbeta

GRAM OBSERVATIONS AND THETA-SERIES RECONSTRUCTION OF EUCLIDEAN LATTICES

Primarily human-written textHuman understanding: all partsmath.NT — Number Theorymath.AG — Algebraic Geometry

Contributed by Changxia Lin ↗

Version 1 / Nov 04, 2026 / CC BY 4.0

Abstract

A finite collection of lattice-vector lengths probes a positive-definite Gram matrix through rank-one linear functionals. We use this observation map to give a local criterion for non-identifiability and to construct an exact three-dimensional collision at a closed squared-length cutoff of one: two non-isometric lattices have identical complete truncated vector-length data, although their Gram determinants are different. A signed-cycle construction gives a higherdimensional family whose complete rank-one length multisets agree at every cutoff below an explicit threshold, with an exact first-shell discrepancy. We then turn to multi-vector data. The full degree-n Gram theta data determines every rank-n Euclidean lattice, by a basis-witness and covolume-index argument. On each compact subset of lattice moduli space, the same argument yields a finite cutoff; a determinant-one cusp family shows that the basis-witness cutoff supplied by this method cannot be uniform on the full moduli space. Finally, a published rank-32 theta-series coincidence, together with a minimum-shell spanning identity, is stabilized by orthogonal direct sums to every rank n ≥ 32. If k(n) denotes the least degree of full Gram theta data that universally determines rank-n Euclidean lattices, we obtain 4 ≤ k(n) ≤ n for n ≥ 32. The paper separates proved statements, cited lattice-theoretic input, and computational checks; it does not claim a solution of the exact minimum-degree problem.

References

  1. V. A. Erokhin, Theta-series of even unimodular lattices , Journal of Soviet Mathematics 25 (1984), no. 2, 1012--1020.
  2. O. D. King, A mass formula for unimodular lattices with no roots , Mathematics of Computation 72 (2003), no. 242, 839--863. doi:10.1090/S0025-5718-02-01455-2 (https://doi.org/10.1090/S0025-5718-02-01455-2).DOI
  3. S. Akbari, F. Belardo, E. Dodongeh, and M. A. Nematollahi, Spectral characterizations of signed cycles , Linear Algebra and its Applications 553 (2018), 307--327. doi:10.1016/j.laa.2018.05.012 (https://doi.org/10.1016/j.laa.2018.05.012).DOI
  4. M. Oura and M. Ozeki, A numerical study of Siegel theta series of various degrees for the 32-dimensional even unimodular extremal lattices , Kyushu Journal of Mathematics 70 (2016), no. 2, 281--314. doi:10.2206/kyushujm.70.281 (https://doi.org/10.2206/kyushujm.70.281).DOI
  5. M. Oura and M. Ozeki, Distinguishing Siegel theta series of degree 4 for the 32-dimensional even unimodular extremal lattices , Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg 86 (2016), 19--53. doi:10.1007/s12188-016-0120-y (https://doi.org/10.1007/s12188-016-0120-y).DOI
  6. A. Schiemann, Ternary positive definite quadratic forms are determined by their theta series , Mathematische Annalen 308 (1997), no. 3, 507--517. doi:10.1007/s002080050086 (https://doi.org/10.1007/s002080050086).DOI

Version history

  1. v1Submitted by Changxia LinInitial depositCurrentNov 03, 2026