Odd moments and adding fractions

Resumen Técnico de "Momentos Impares y Suma de Fracciones" de Thomas F. Bloom y Vivian Kuperberg

Planteamiento del Problema
Este artículo aborda dos problemas principales en la teoría de números analítica concernientes a los "momentos impares", los cuales históricamente han recibido menos atención que sus contrapartes pares. El primer problema concierne a la distribución de residuos coprimos en intervalos cortos. Específicamente, los autores investigan el $k$-ésimo momento central $M_k(q, h)$ de la proporción de enteros en un intervalo de longitud $h$ que son coprimos con un módulo $q$. Aunque Montgomery y Vaughan establecieron cotas agudas para $k$ par, sus cotas para $k$ impar no eran óptimas. Los autores buscan confirmar una conjetura de Montgomery y Vaughan de que la cota para $k$ impar debería ser significativamente más fuerte, reduciendo específicamente el exponente del término secundario de $\frac{k}{2} - \frac{1}{7k}$ a $\frac{k-1}{2}$.

El segundo problema involucra la distribución de $k$-tuplas de primos. Los autores estudian el promedio de la "serie singular refinada" $S_0(d_1, \dots, d_k)$ sobre $k$-tuplas distintas en un rango $[1, h]$, denotado como $R_k(h)$. Para $k$ par, Montgomery y Soundararajan proporcionaron una fórmula asintótica. Para $k$ impar, las cotas anteriores eran más débiles que la tasa de crecimiento conjeturada de $h^{(k-1)/2} (\log h)^{(k+1)/2}$. El artículo busca probar cotas superiores casi óptimas para $R_k(h)$ cuando $k$ es impar.

Metodología e Ingrediente Clave
La innovación central del artículo es una nueva cota superior casi óptima para el número de soluciones de una ecuación lineal racional con un número impar de sumandos. Este resultado es de interés independiente y sirve como el motor principal para los teoremas principales.

Los autores prueban una cota para el número de soluciones de:
$$\frac{a_1}{q_1} + \dots + \frac{a_k}{q_k} \in \mathbb{Z}$$
donde $k$ es un entero impar, $\gcd(a_i, q_i) = 1$, $|a_i| \le n$, y $q_i \le Q$. La cota obtenida es $\ll (\log Q)^{O(1)} n^{(k+1)/2} Q^{(k-1)/2}$. Esto representa un ahorro de un factor de $(n/Q)^{1/2}$ en comparación con la cota "trivial" derivada de Cauchy–Schwarz y los resultados para $k$ par.

Para lograr esto, los autores emplean la técnica de máximos comunes divisores relativos. Este método parametriza una tupla de enteros $(q_1, \dots, q_k)$ utilizando un conjunto de $2^k$ enteros $(g_I)_{I \subseteq \{1, \dots, k\}}$ tal que $q_i = \prod_{I \ni i} g_I$ y $\gcd(g_I, g_J) = 1$ a menos que $I \subseteq J$ o $J \subseteq I$. Esta parametrización permite un conteo refinado de soluciones descomponiendo los denominadores y analizando las restricciones sobre los numeradores módulo divisores específicos. La prueba implica una partición cuidadosa de los índices en conjuntos $X$ y $Y$ para minimizar el producto de los componentes parametrizados, seguida de un argumento inductivo para fijar variables paso a paso mientras se controla el crecimiento de la función divisor.

Resultados Principales

1. Distribución de Residuos Reducidos (Teorema 1):
   Los autores prueban que para cualquier $k \ge 3$ impar, $q \ge 1$, y $h \ge 2$:
   $$M_k(q, h) \ll (\log h)^{O(1)} \left( \frac{\phi(q)}{q}h + \left(\frac{\phi(q)}{q}h\right)^{\frac{k-1}{2}} \right) q$$
   Esto confirma la conjetura de Montgomery y Vaughan hasta una potencia de $\log h$. Los autores señalan que, aunque no pueden probar una fórmula asintótica (debido a la falta de un "término diagonal" dominante como en el caso par), creen que el término principal es del orden indicado, haciendo que la cota sea esencialmente la mejor posible.

2. Promedio de la Serie Singular Refinada (Teorema 2):
   Para cualquier entero impar $k \ge 3$ y $h \ge 2$, el promedio de la serie singular refinada satisface:
   $$R_k(h) \ll (\log h)^{O(1)} h^{\frac{k-1}{2}}$$
   Esto coincide con la tasa de crecimiento conjeturada hasta factores logarítmicos. La prueba se basa en expresar $R_k(h)$ como una combinación lineal de momentos $V_j(q, h)$ (relacionados con $M_j$) utilizando un argumento de inclusión-exclusión sobre particiones de la $k$-tupla, y luego aplicando el Teorema 1.

3. Suma de Fracciones (Teorema 3 y 4):
   El artículo establece la cota casi óptima para el número de soluciones de la ecuación lineal racional mencionada en la metodología. Este resultado generaliza trabajos anteriores de Blomer, Brüdern, Heath-Brown y otros, que estaban restringidos a casos específicos (por ejemplo, $n=Q$, $k=3$, o $k$ par).

Significado y Afirmaciones
El artículo afirma que la cota para la suma de fracciones (Teorema 3) es el primer resultado que aborda el caso de $n$ general y $k$ impar general, una generalidad crucial para las aplicaciones a los momentos. Los autores declaran que esta cota es la "fuerza motriz" detrás de las pruebas de los Teoremas 1 y 2.

Respecto al significado de los resultados sobre momentos:

• Los autores confirman la forma conjeturada de las cotas para momentos impares, lo cual había sido previamente un problema abierto con cotas conocidas más débiles.
• Destacan que los tres problemas de estimar momentos impares para primos en intervalos cortos, $M_k(q, h)$ para $k$ impar, y $R_k(h)$ para $k$ impar, están "estrechamente vinculados".
• Los autores son modestos sobre las limitaciones: no proporcionan fórmulas asintóticas para $M_k(q, h)$ o $R_k(h)$ cuando $k$ es impar, señalando que las constantes principales aún no están claras y que el problema de determinar el término principal exacto sigue abierto. Sugieren que una comprensión asintótica de $R_k(h)$ es esencialmente equivalente a una comprensión asintótica de $M_k(q, h)$ y de los momentos de primos en intervalos cortos.

El artículo concluye señalando que, aunque sus cotas son casi óptimas (perdiendo solo factores logarítmicos), mejorar los términos de error para momentos pares u obtener asintóticas precisas para momentos impares sigue siendo un desafío, requiriendo potencialmente una comprensión más profunda de las soluciones no degeneradas a las ecuaciones lineales racionales discutidas.