Inverse Falconer Distance Theorems over the Integer Residue Rings $\mathbb{Z}_n$

Resumen Técnico: Teoremas de Distancia de Falconer Inversos sobre Anillos de Residuos Enteros $\mathbb{Z}_n$

Planteamiento del Problema
El problema de la distancia de Falconer investiga tradicionalmente el tamaño mínimo que debe poseer un conjunto $E$ para asegurar que su conjunto de distancias $\Delta(E)$ sea "estructuralmente significativo" (por ejemplo, tenga medida positiva en el entorno continuo o una gran proporción del cuerpo en el entorno discreto). Si bien se han establecido cotas directas para cuerpos finitos $\mathbb{F}_q$ por Iosevich y Rudnev, y se han desarrollado teoremas inversos que caracterizan los conjuntos casi extremales (aquellos que generan menos distancias de lo esperado) para cuerpos por Singh y Parmar, persiste una brecha crítica en los anillos de residuos enteros $\mathbb{Z}_n$ donde $n$ es compuesto.

En $\mathbb{Z}_n$, la presencia de divisores de cero altera fundamentalmente la intuición geométrica: las líneas pueden intersecarse en múltiples puntos y las esferas pueden ser degeneradas o reducibles. Por consiguiente, las obstrucciones de "variedad algebraica" suficientes para los cuerpos son inadecuadas para los anillos. El artículo aborda el problema inverso en este entorno: caracterizar la estructura de los conjuntos $E \subset \mathbb{Z}_n^d$ de tamaño $|E| \asymp n^{(d+1)/2}$ que determinan solo $O(n)$ distancias al cuadrado distintas.

Metodología
Los autores sintetizan dos maquinarias matemáticas distintas para cerrar la brecha entre los cuerpos finitos y los anillos de residuos enteros:

1. Energía Aritmética y Descomposición de Escala de Divisores:
   Adaptando la descomposición de energía multiescala de los cuerpos finitos, los autores reemplazan las escalas espaciales por "escalas de divisores aritméticos". En $\mathbb{Z}_n$, la estratificación de la energía de incidencia está determinada por la "profundidad algebraica" de los vectores de diferencia, específicamente, qué tan profundamente cae un vector en la estructura de ideales del anillo (es decir, el mayor divisor $k|n$ tal que $x \equiv y \pmod k$). Esto permite que la energía total se descomponga en capas basadas en los divisores de $n$.

2. Levantamiento Estructural mediante el Teorema de la Resta China (CRT):
   La demostración utiliza un mecanismo de levantamiento que transfiere las obstrucciones locales de los cuerpos primos $\mathbb{F}_p$ al anillo global $\mathbb{Z}_n$. Por el CRT, un conjunto $E \subset \mathbb{Z}_n^d$ se proyecta en conjuntos $E_p \subset \mathbb{F}_p^d$. Los autores demuestran que si la energía aritmética global es alta (lo que implica un conjunto de distancias pequeño), entonces al menos una proyección local $E_p$ debe ser casi extremal en $\mathbb{F}_p$. Aplicando el Teorema Inverso de Cueros Finitos, se muestra que estas proyecciones locales se concentran en variedades algebraicas de bajo grado. Un "Operador de Levantamiento Estructural" reconstruye entonces estas restricciones locales en una estructura global de ideales en $\mathbb{Z}_n$.

3. Prueba de Identidad Polinómica:
   Los autores caracterizan las estructuras globales resultantes tratando la función de distancia como un mapa polinómico. Demuestran que, para que la imagen de este mapa sea pequeña, el dominio debe residir dentro de una estructura algebraica donde el polinomio efectivamente se anula, vinculando la rigidez geométrica con los principios de la prueba de identidad polinómica aritmética.

Contribuciones Clave y Resultados
El artículo establece el primer teorema inverso para el problema de la distancia de Falconer sobre módulos compuestos $\mathbb{Z}_n$. El resultado central, Teorema 1.1, prueba un principio de "rigidez ideal-teórica":

• El Teorema Principal: Si un conjunto $E \subset \mathbb{Z}_n^d$ con tamaño $|E| \asymp n^{(d+1)/2}$ determina un número casi mínimo de distancias al cuadrado ($|\Delta(E)| \ll n$), entonces $E$ no es pseudialeatorio. En su lugar, debe estar soportado en un coset de un submódulo $M$ generado por un ideal aniquilador no trivial $I \subset \mathbb{Z}_n$.
• Degeneración Algebraica: En este submódulo $M$, la forma de distancia al cuadrado es algebraicamente degenerada (isotrópica). Específicamente, para cualquier vector de desplazamiento en $M$, la norma se anula módulo un divisor no trivial de $n$.
• Clasificación: El artículo proporciona una clasificación estructural completa (Teorema 5.1) que muestra que los casi-extremizadores son precisamente aquellos conjuntos concentrados en cosets de submódulos aniquiladores determinados por la factorización prima de $n$.
• Resolución de la Conjetura: Los resultados confirman la "Conjetura del Ideal de Error Intrínseco" (Versión de Anillo) propuesta en trabajos previos, validando que los conjuntos con pocas distancias en anillos con divisores de cero deben concentrarse en submódulos donde la forma cuadrática es degenerada.

Significancia
El artículo afirma resolver una brecha fundamental en la combinatoria aritmética al extender los teoremas inversos de los cuerpos a los anillos. La principal significancia radica en demostrar que la "rigidez algebraica" observada en los cuerpos se eleva a una "rigidez ideal-teórica" en los anillos. A diferencia de los cuerpos, donde las obstrucciones son variedades, las obstrucciones en $\mathbb{Z}_n$ están intrínsecamente ligadas a la estratificación aritmética del módulo $n$ (específicamente sus divisores y divisores de cero).

Los autores señalan que este fenómeno de rigidez no tiene un análogo sobre los cuerpos. Además, el trabajo conecta la combinatoria geométrica con la complejidad computacional, sugiriendo que la dificultad de distinguir la estructura del azar en anillos con divisores de cero radica en estas restricciones algebraicas. El artículo concluye identificando problemas abiertos respecto a las cotas cuantitativas de las constantes involucradas y posibles aplicaciones a la criptografía basada en retículos, aunque no propone protocolos criptográficos nuevos y específicos.