The moments of split greatest common divisors

Resumen Técnico: Los Momentos de los Máximos Comunes Divisores Partidos

Planteamiento del Problema
Este artículo aborda el comportamiento asintótico de los momentos de la sucesión $(\gcd(n, u_n))_{n \in \mathbb{N}}$, donde $(u_n)$ es una sucesión de Lucas no degenerada. Si bien el estudio de $\gcd(u_n, v_n)$ para sucesiones de divisibilidad generales es un problema difícil conectado con profundas conjeturas en la geometría diofántica (como la conjetura de Vojta), el caso específico de $\gcd(n, u_n)$ corresponde a sucesiones de divisibilidad que surgen del grupo algebraico $\mathbb{G}_a \times \mathbb{G}_m$.

El trabajo previo de Sanna estableció las asíntotas para los momentos logarítmicos $\sum_{n \le x} (\log \gcd(n, u_n))^\lambda$. Sin embargo, los momentos de la sucesión misma, $\sum_{n \le x} \gcd(n, u_n)^\lambda$, permanecían en gran medida sin resolver, contando únicamente con cotas superiores parciales (por ejemplo, de Mastrostefano). El objetivo principal es determinar estimaciones asintóticas precisas para estos momentos, proporcionando tanto resultados incondicionales como resultados condicionales basados en conjeturas estándar en la teoría analítica de números.

Metodología
Los autores emplean una combinación de teoría analítica de números, propiedades de las sucesiones de Lucas y construcciones combinatorias que involucran números suaves (smooth numbers).

1. Rango de Aparición y Divisibilidad: El análisis se basa en el rango de aparición $z(m)$, el menor $n$ tal que $m \mid u_n$. La condición $n' = \gcd(n'k, u_{n'k})$ se traduce en condiciones que involucran a $z(n')$ y la divisibilidad de $n'k$. La suma se descompone basándose en pares $(n', k)$ donde $n = n'k$.
2. Cotas Superiores: La cota superior incondicional se deriva dividiendo el dominio de la sumatoria en casos basados en el tamaño de las variables auxiliares. Un componente crítico es acotar el número de enteros $n$ para los cuales $\gcd(n, z(n))$ es grande. Esto utiliza un resultado de Gordon y Pomerance sobre el conteo de enteros con un rango de aparición fijo.
   • Para la cota superior condicional, los autores asumen la Conjetura 3.2, la cual postula una estimación de densidad más fuerte para enteros con un rango de aparición fijo, análoga a las cotas para los pseudoprimos.
3. Cotas Inferiores: La estrategia consiste en construir un gran subconjunto de enteros $n$ tales que $n \mid u_n$ (denotado como $N_u(x)$).
   • Cota Inferior Condicional: Los autores construyen un conjunto de enteros compuestos por primos desplazados $p$ donde $p - (\Delta/p)$ es suave. Esto depende de la Conjetura 4.2, una instancia débil de la conjetura de Granville sobre la distribución de primos desplazados suaves.
   • Cota Inferior Incondicional: Para el caso específico donde el coeficiente $a_2 = \pm 1$, los autores utilizan un resultado reciente de Lichtman sobre la distribución de primos desplazados suaves en progresiones aritméticas (Teorema 5.1). Esto permite la construcción de un conjunto suficientemente grande de enteros $n$ que dividen a $u_n$ sin asumir conjeturas no probadas.
4. Estimaciones Integrales: Para transicionar de la cardinalidad del conjunto $N_u(x)$ a la suma de los momentos, los autores aplican el teorema integral de Karamata y argumentos de sumación por partes.

Resultos Clave

• Asíntotas Condicionales (Teorema 1.3): Asumiendo las Conjeturas 3.2 y 4.2, para una sucesión de Lucas no degenerada con $a_2 = \pm 1$, los momentos satisfacen:
  $$\sum_{n \le x} \gcd(n, u_n)^\lambda = x^{\lambda+1 - (1+o_\lambda(1)) \frac{\log \log \log x}{\log \log x}}$$
  Esto resuelve el problema de los momentos para $\mathbb{G}_a \times \mathbb{G}_m$ bajo conjeturas estándar.

• Cota Superior Incondicional (Teorema 1.4): Para cualquier sucesión de Lucas no degenerada, los autores prueban:
  $$\sum_{n \le x} \gcd(n, u_n)^\lambda \le x^{\lambda+1 - (1/2+o_\lambda(1)) \frac{\log \log \log x}{\log \log x}}$$
  Se señala que el exponente $1/2$ es un artefacto del método actual.

• Cota Inferior Incondicional (Teorema 1.4): Si $a_2 = \pm 1$, los autores establecen una cota inferior:
  $$\sum_{n \le x} \gcd(n, u_n)^\lambda \ge x^{\lambda + 0.715}$$
  Este resultado se deriva utilizando el teorema de Lichtman sobre primos desplazados suaves.

• Conjetura Refinada (Conjetura 1.5): Basándose en la analogía con los pseudoprimos de Lucas, los autores conjeturan una forma asintótica más precisa que involucra un término exponencial con logaritmos iterados, sugiriendo que las cotas actuales no son el límite final de precisión.

• Corolarios: Los métodos arrojan mejoras en las cotas sobre la distribución de $\gcd(n, u_n)$ (Corolario 1.6) y proporcionan una nueva prueba analítica para el teorema principal en [25] referente al conteo de $n$ tales que $\gcd(n, u_n) = n$.

Significación y Reivindicaciones
El artículo afirma realizar un "progreso crucial" en el problema de los momentos para $\mathbb{G}_a \times \mathbb{G}_m$. Específicamente, este:

1. Resuelve las Conjeturas 3 y 5 de [29] en el caso $a_2 = \pm 1$.
2. Resuelve la conjetura principal de [13].
3. Mejora la cota incondicional de [2, Th. 1.3] mediante la cota de Lichtman.
4. Proporciona una cota inferior que coincide con las conjeturas de [13] y [25].
5. Responde a un caso específico de la Pregunta 1.1 y progresa en la Pregunta 1.2 de [27].

Los autores señalan que probar la asíntota condicional (Teorema 1.3) de manera incondicional es actualmente inviable, ya que la cota inferior depende de la distribución de primos desplazados suaves, un problema que aún no se ha resuelto sin asumir conjeturas como la de Elliott–Halberstam. El caso $a_2 = \pm 1$ se destaca como el escenario más "interesante" y tratable para estos métodos.