Universally Optimal Periodic Configurations in the Plane

Basic Information

• Paper ID: 2307.15822
• Title: Universally Optimal Periodic Configurations in the Plane
• Authors: Douglas P. Hardin, Nathaniel J. Tenpas
• Classification: math.CA (Classical Analysis), math-ph (Mathematical Physics), math.MP (Mathematical Physics)
• Published Journal: Discrete Analysis, 2025:26, 63 pp.
• Publication Date: Received 4 April 2023; Published 10 October 2025
• Paper Link: https://arxiv.org/abs/2307.15822

Abstract

This paper develops linear programming lower bound theory for energy problems of point configurations periodic with respect to lattices in $\mathbb{R}^d$. In certain cases, the problem of constructing sharp bounds can be formulated as a finite-dimensional multivariate polynomial interpolation problem. Using this framework, the authors prove that a certain scaling of the equilateral triangular lattice $A_2$ is universally optimal among all configurations of the form $\omega_4 + A_2$, where $\omega_4$ is a 4-point configuration in $\mathbb{R}^2$. Similarly, they prove that a certain scaling and rotation of $A_2$ is universally optimal among all configurations of the form $\omega_6 + L$, where $\omega_6$ is a 6-point configuration in $\mathbb{R}^2$ and $L = \mathbb{Z} \times \sqrt{3}\mathbb{Z}$.

Research Background and Motivation

Core Problem

The core problem studied in this paper is energy minimization of periodic point configurations. Given a lower semicontinuous potential function $F: \mathbb{R}^d \to (-\infty,\infty]$, for a finite multiset $\omega_n = \{x_1, ..., x_n\} \subseteq \mathbb{R}^d$, the $F$-energy is defined as: $E_F(\omega_n) := \sum_{i=1}^n \sum_{j=1, j \neq i}^n F(x_i - x_j)$

Research Significance

1. Theoretical Importance: Energy minimization problems have important applications in harmonic analysis, number theory, coding theory, and other mathematical branches
2. Practical Applications: Relevant to sphere packing, crystal structure optimization, communication system design, and other fields
3. Open Conjectures: The universal optimality of the hexagonal lattice $A_2$ is an important open problem in this field

Limitations of Existing Methods

• Only three universally optimal configurations are currently known: $\mathbb{Z}$ (1-dimensional), $E_8$ (8-dimensional), and the Leech lattice (24-dimensional)
• For the 2-dimensional case, although $A_2$ is known to be optimal for circle packing, its universal optimality remains conjectural
• Lack of systematic methods for verifying optimality in small cardinality cases

Core Contributions

1. Developed linear programming bound theory for periodic configurations: Extended the Cohn-Kumar linear programming method to lattice-periodic configurations
2. Established a polynomial interpolation framework: Under specific conditions, transformed the construction of sharp bounds into a finite-dimensional multivariate polynomial interpolation problem
3. Proved two concrete universal optimality results:
   • $\omega_4^*$ is $A_2$-universally optimal
   • $\omega_6^*$ is $L$-universally optimal
4. Provided significant progress toward the $A_2$ universal optimality conjecture: Offered a new proof pathway for this conjecture through periodic methods

Methodology Details

Task Definition

Input: Lattice $\Lambda \subseteq \mathbb{R}^d$, potential function generating function $f: [0,\infty) \to [0,\infty]$Output: Determine the $F_{f,Φ}$-optimality of configuration $\omega(Φ,Λ) := Λ/Φ$Constraints: $f$ has $d$-fast decay, $Φ \subseteq Λ$ is a sublattice

Core Theoretical Framework

1. Lattice Theta Functions

For $a > 0$, the classical Jacobi theta function is defined as: $θ(c;x) := \sum_{k=-\infty}^{\infty} e^{-πk^2c}e^{2πikx}$

By the Poisson summation formula: $θ(c;x) = c^{-1/2} \sum_{k=-\infty}^{\infty} e^{-π(k+x)^2/c}$

2. Linear Programming Bounds

Theorem (Linear Programming Bound): Let $F: \mathbb{R}^d \to [0,\infty]$ be $Λ$-periodic, and $g \in L^2(Ω_Λ)$ be conditionally positive semidefinite with $g ≤ F$. Then for any $n$-point configuration $\omega_n$: $E_F(\omega_n) ≥ E_g(\omega_n) ≥ n^2\hat{g}_0 - ng(0)$

Equality holds if and only if:

1. $g(x-y) = F(x-y)$ for all $x \neq y \in \omega_n$
2. $\hat{g}_v M_v(\omega_n) = 0$ for all $v \in Λ^* \setminus \{0\}$

3. Polynomial Structure

When the lattice $Λ$ contains a rectangular sublattice, through variable substitution: $t_i := \cos(2πx_i/a_i), \quad i = 1,...,d$

the problem can be transformed into a polynomial interpolation problem.

Technical Innovations

1. Periodization Method: Transformed the universal optimality problem for infinite configurations into a periodicity problem for finite configurations
2. Polynomial Interpolation Technique: Utilized Chebyshev polynomials and Hermite interpolation to construct magic interpolation functions
3. Case-by-Case Analysis: Employed different proof strategies for different parameter ranges (small and large $a$ cases)

Experimental Setup

Research Objects

This paper primarily studies four configuration families:

1. $\omega_{m^2}^*$: $Φ = A_2$, $\omega_{m^2}^* := \omega(Φ, \frac{1}{m}A_2)$
2. $\omega_{2m^2}^*$: $Φ = L$, $\omega_{2m^2}^* := \omega(Φ, \frac{1}{m}A_2)$
3. $\omega_{3m^2}^*$: $Φ = \sqrt{3}R_{π/6}A_2$
4. $\omega_{6m^2}^*$: $Φ = \sqrt{3}R_{π/6}L$

Proof Strategy

1. Base Case Verification: Universal optimality of $\omega_2^*$ and $\omega_3^*$ derived directly from classical theta function results
2. Critical Case Proof: Focused on proving universal optimality of $\omega_4^*$ and $\omega_6^*$
3. Technical Tools:
   • Properties of absolutely monotone functions
   • Finite differences and interpolation error formulas
   • Computer-assisted verification (Mathematica)

Experimental Results

Main Results

Theorem 1 (Main Result): The configurations $\omega_4^*$ and $\omega_6^*$ are $A_2$-universally optimal and $L$-universally optimal, respectively.

Specifically:

• $\omega_4^* = A_2/2$ is universally optimal among all 4-point $A_2$-periodic configurations
• $\omega_6^*$ (a certain rotation and scaling of $A_2$) is universally optimal among all 6-point $L$-periodic configurations

Technical Details Verification

Proof of $\omega_4^*$

Constructed interpolation function: $g_a(t_1, t_2) := F_a(-1,1) + b_1 t_2(t_1 + t_2)$

where: