Precise Asymptotics and Exact Formulas for Tensor Product Energies of Fibonacci Lattices

Resumen Técnico: Asintóticas Precisas y Fórmulas Exactas para Energías de Producto Tensorial de Retículos de Fibonacci

Planteamiento del Problema
El artículo investiga el comportamiento asintótico de las "energías de producto tensorial" asociadas a retículos de Fibonacci. Estos retículos, denotados $\Phi_n = \Lambda_{F_n, F_{n-1}}$, son conjuntos de puntos en el toro unitario bidimensional $[0, 1)^2$ construidos utilizando números de Fibonacci consecutivos $F_n$. El estudio se centra en sumas de la forma:
$$\frac{1}{F_n^\sigma} \sum_{m=1}^{F_n-1} \frac{f(m/F_n)}{|\sin(\pi m/F_n)|^\sigma} \frac{f(F_{n-1}m/F_n)}{|\sin(\pi F_{n-1}m/F_n)|^\sigma}$$
donde $\sigma > 1$ y $f$ es una función simétrica y 1-periódica. Estas sumas surgen en la teoría de la discrepancia y el análisis de métodos de integración cuasi-Monte Carlo, donde minimizar tales energías corresponde a encontrar conjuntos de puntos con uniformidad óptima (baja discrepancia). Aunque se conjetura que los retículos de Fibonacci son minimizadores globales para ciertos parámetros, la estructura asintótica precisa de su energía, particularmente los términos de orden inferior más allá del orden principal, no había sido establecida rigurosamente.

Metodología
Los autores emplean una combinación de teoría de números analítica, propiedades combinatorias de la sucesión de Fibonacci y la teoría de la matriz de Wythoff.

1. Descomposición mediante la Matriz de Wythoff: La innovación técnica central es la partición del conjunto de índices de suma $\{m \in \mathbb{N} : m < F_n/2\}$ utilizando la matriz de Wythoff $(W_{i,k})$. Las filas de esta matriz corresponden a secuencias que satisfacen la recurrencia de Fibonacci. Esta partición permite a los autores agrupar términos en la suma que exhiben un comportamiento de "agrupamiento" alrededor de valores específicos.
2. Matrices Duales y Aproximación: Los autores introducen una "matriz dual" $W^*_{i, n-k}$ para manejar la interacción entre los dos términos seno en la suma. Derivan aproximaciones precisas para los términos de la suma analizando el comportamiento asintótico de $W_{i,k}$ y $W^*_{i, n-k}$ cuando $n \to \infty$.
3. Análisis de Error: Utilizando la continuidad $\alpha$-Hölder de la función $f$, los autores acotan el error introducido al reemplazar los términos de la suma discreta con sus límites asintóticos. Demuestran que el error decae exponencialmente con respecto a $n$.
4. Conexión con Funciones Zeta de Dedekind: La constante principal en la expansión asintótica se identifica como una serie que involucra los invariantes $\eta_i$ de las filas de la matriz de Wythoff. Los autores prueban que esta serie es equivalente a la función zeta de Dedekind del cuerpo de números algebraicos $\mathbb{Q}(\sqrt{5})$, denotada $\zeta_{\mathbb{Q}(\sqrt{5})}(\sigma)$.
5. Leyes de Reciprocidad para Fórmulas Exactas: Para casos específicos donde $f$ se relaciona con polinomios de Bernoulli (correspondientes a $\sigma$ entero), los autores utilizan leyes de reciprocidad para sumas generalizadas de Dedekind para derivar expresiones cerradas exactas para las sumas finitas, en lugar de solo aproximaciones asintóticas.

Contribuciones y Resultados Clave

• Expansión Asintótica Precisa (Teorema 1.2): El artículo establece que para $\sigma > 1$ y una amplia clase de funciones $f$, la suma de energías se comporta asintóticamente como:
  $$Cn + D + O\left(\frac{n^2}{\phi^{\min\{\alpha, \sigma-1\}n/2}}\right)$$
  donde $\phi$ es la razón áurea. Las constantes $C$ y $D$ se definen explícitamente mediante series infinitas.
• Constantes Explícitas:
  • El coeficiente principal $C$ viene dado por $C = \frac{2f(0)^2 5^{\sigma/2}}{\pi^{2\sigma}} \zeta_{\mathbb{Q}(\sqrt{5})}(\sigma)$. Esto conecta la energía de los retículos de Fibonacci directamente con la función zeta de Dedekind de $\mathbb{Q}(\sqrt{5})$.
  • El término constante $D$ se expresa como una serie convergente que involucra los términos de error de las aproximaciones y los invariantes $\eta_i$.
• Expresiones Cerradas Exactas: Para el caso específico $\sigma = 2$ (relacionado con la discrepancia $L^2$ periódica) y $f(t)=1$, los autores derivan una fórmula exacta para la suma:
  $$\sum_{m=1}^{F_n-1} \frac{1}{\sin^2(\pi m/F_n)\sin^2(\pi F_{n-1}m/F_n)} = \frac{4n}{75}F_n^2 - \frac{17}{225}L_n^2 - \frac{(-1)^n 2}{15} - \frac{1}{9}$$
  donde $L_n$ son los números de Lucas. Se proporcionan fórmulas exactas similares para $\sigma=4$ y $\sigma=6$.
• Verificación Numérica: El artículo proporciona valores numéricos para las constantes $C$ y $D$ para $\sigma = 2, 4, 6$, confirmando las predicciones teóricas.

Significado
El artículo afirma su importancia al proporcionar el primer análisis riguroso de los términos de orden inferior en la expansión asintótica de las energías de producto tensorial para retículos de Fibonacci. Antes de este trabajo, solo el comportamiento de orden principal estaba bien comprendido. Al expresar las constantes en términos de la función zeta de Dedekind de $\mathbb{Q}(\sqrt{5})$, los autores cierran la brecha entre las propiedades geométricas de los retículos de Fibonacci y las propiedades aritméticas del cuerpo $\mathbb{Q}(\sqrt{5})$. Además, la derivación de expresiones cerradas exactas para casos específicos ofrece una comprensión más profunda de la estructura de estas sumas, las cuales son centrales en el estudio de la discrepancia y la integración numérica. Los autores señalan que, aunque la conjetura de que los retículos de Fibonacci son minimizadores globales permanece abierta, este control preciso de las asintóticas es un paso necesario hacia su resolución.