The spanning method and the Lehmer totient problem

Este artículo introduce el método de "spanning" para analizar la solubilidad de ecuaciones de la forma $tf(n)=n-k$ y demuestra un límite inferior asintótico para la cantidad de enteros $n$ que satisfacen la ecuación $t\phi(n)+1=n$ para algún $t$, abordando así aspectos del problema de la función totiente de Lehmer.

Lo esencial

¡Claro que sí! Imagina que este artículo es como un detective matemático que ha encontrado una nueva lupa para buscar un "tesoro" que lleva más de 90 años escondido.

Aquí tienes la explicación de la investigación de Theophilus Agama, contada como una historia:

1. El Misterio: La Búsqueda del "Número Fantasma"

Desde 1932, un matemático llamado D.H. Lehmer planteó un acertijo muy difícil. Imagina que tienes un número (llamémosle $n$) y le quitas 1. Luego, miras una función especial llamada $\phi$ (la función "totiente" de Euler) que cuenta cuántos números son "amigos" (coprimos) de $n$.

La pregunta es: ¿Existe algún número compuesto (que no sea primo) donde la función $\phi(n)$ sea tan "amigable" que divida exactamente a $(n-1)$?

Hasta ahora, nadie ha encontrado tal número, pero tampoco han podido demostrar que no existe. Es como buscar un unicornio: si no lo encuentras, ¿significa que no existe o simplemente que no hemos mirado en el lugar correcto?

2. La Nueva Herramienta: El "Método de la Red" (Spanning Method)

El autor, Theophilus Agama, dice: "Olvídate de mirar solo los números enteros uno por uno. Vamos a construir una red".

Imagina que los números son peces en un océano. Normalmente, los matemáticos intentan atraparlos uno a uno. Pero Agama propone una nueva técnica llamada "Método de la Red" (Spanning Method).

• En lugar de pescar, lanza una red gigante que cubre todo el océano.
• Esta red no solo atrapa peces enteros, sino que también "toca" el agua entre ellos.

Para hacer esto, el autor tuvo que inventar una nueva versión del número que pudiera fluir suavemente, como el agua, pero que aún conservara las propiedades de los números enteros.

3. El Truco: La "Totiente Fraccionaria" (El Puente Mágico)

El problema principal era que la función $\phi$ es como una escalera: solo existe en los escalones (números enteros) y no en el aire entre ellos. Para usar su "red", necesitaba que la función fuera suave y continua.

Así que inventó una función "Totiente Fraccionaria".

• La analogía: Imagina que la función original es una foto pixelada de una montaña. La nueva función es como tomar esa foto y añadir un "relleno" suave entre los píxeles, de modo que ahora puedes ver la montaña como una pendiente suave, pero si miras exactamente donde estaba el píxel original, sigue siendo el mismo número.
• Esto le permitió usar herramientas de cálculo (como integrales) que normalmente no funcionan con números enteros sueltos.

4. La Caza: Contando los "Candidatos"

Usando esta nueva red suave, el autor calculó cuántos números caben en ella.

• Descubrió que hay muchísimos números que cumplen una condición muy parecida a la del misterio original.
• Su fórmula dice: "A medida que miramos números más grandes, la cantidad de candidatos crece de una manera específica, impulsada por los números primos".

5. El Gran Giro: La Prueba por Contradicción

Aquí viene la parte más divertida del detective. El autor dice:
"Supongamos que NO existe ningún número compuesto que cumpla la condición (el unicornio no existe)."

Si eso fuera cierto, entonces todos los números que su "red" atrapó tendrían que ser números primos. Pero, al hacer las cuentas con su nueva fórmula, descubre algo imposible:

• La fórmula predice que hay demasiados números primos en esa red.
• Demasiados primos para que la teoría de los números (el Teorema de los Números Primos) sea cierta.

La conclusión: Como la teoría de los primos es sólida y no puede romperse, la única explicación es que su suposición inicial era falsa. Por lo tanto, debe existir al menos un número compuesto que cumpla la condición.

En Resumen

El autor no encontró el número exacto (el unicornio sigue escondido), pero probó matemáticamente que tiene que existir.

• Lo que hizo: Creó una versión "suave" de una función matemática rígida.
• Cómo lo hizo: Usó una red matemática para contar candidatos y demostró que, si no existiera el número buscado, el universo de los números primos se rompería.
• El resultado: Un paso gigante hacia la solución de un problema de 90 años, demostrando que el "número fantasma" no es solo una posibilidad, sino una necesidad lógica.

Es como si, en lugar de buscar la aguja en el pajar, demostraras que la paja misma no podría existir si la aguja no estuviera allí. ¡Una prueba elegante y creativa!

Resumen técnico

Resumen Técnico: El Método de Rastreo y el Problema del Totiente de Lehmer

1. Planteamiento del Problema

El artículo aborda el Problema del Totiente de Lehmer, una cuestión abierta en la teoría de números planteada por D. H. Lehmer en 1932. La pregunta central es:

¿Existe un número entero compuesto $n$ tal que $\phi(n)$ divida a $n-1$? (Es decir, $\phi(n) \mid (n-1)$).

Donde $\phi$ es la función totiente de Euler, que cuenta los enteros positivos menores o iguales a $n$ que son coprimos con $n$.

• Estado actual: Se sabe que si tal número compuesto existe, debe ser impar, libre de cuadrados y tener un número muy grande de factores primos distintos (resultados de Cohen, Hagis, Luca y Pomerance). Sin embargo, la existencia de tal número sigue sin demostrarse.
• Enfoque del artículo: En lugar de buscar directamente el número, el autor reformula el problema como la existencia de soluciones en un conjunto de enteros "rastreados" (spanned) por la función $\phi$.

2. Metodología: El Método de Rastreo (Spanning Method)

El núcleo de la innovación es un nuevo enfoque analítico-combinatorio llamado Método de Rastreo (Spanning Method).

• Definición de Rastreo: Un entero $n$ se dice que está "rastreado en $k$ pasos" a lo largo de una función $f$ con multiplicidad $t$ si satisface la ecuación:
  $$t f(n) + k = n$$
  Para el problema de Lehmer, se considera $k=1$ y $f=\phi$. La condición $\phi(n) \mid (n-1)$ es equivalente a que exista un $t \in \mathbb{N}$ tal que $t\phi(n) + 1 = n$.

• Extensión Fraccionaria del Totiente ($\tilde{\phi}$):
  Dado que el método requiere herramientas de integración (tipo Stieltjes-Lebesgue) que exigen continuidad, el autor introduce una extensión de $\phi$ a los números reales:
  $$\tilde{\phi}(a) := \phi(\lfloor a \rfloor) + \{a\}$$
  donde $\lfloor a \rfloor$ es la parte entera y $\{a\}$ la parte fraccionaria.

  • Propiedades clave: Esta función coincide con $\phi$ en los enteros, es continua por la derecha, tiene variación acotada en intervalos $[x, x+1)$ y posee límites laterales izquierdos. Esto permite aplicar integración por partes en un contexto que originalmente es puramente discreto.

• Desigualdad de Rastreo:
  Utilizando la integración por partes de Stieltjes-Lebesgue sobre la medida del conjunto de enteros rastreados, se establece una desigualdad fundamental que relaciona la cardinalidad del conjunto de soluciones $|S_k(f, s)|$ con la suma de los valores de la función sobre ese conjunto:
  $$|S_k(f, s)| \geq \frac{1}{f(s)} \sum_{n \in S_k(f), n \leq s} f(n) + \dots$$
  Esta desigualdad permite convertir un problema de conteo discreto en uno de estimación analítica.

3. Resultados Principales

El artículo deriva cotas inferiores explícitas para el número de soluciones a la ecuación $t\phi(n) + 1 = n$.

• Lema 6.1 (Cota Inferior Cuantitativa):
  Se demuestra que el número de enteros $n \leq s$ que satisfacen la condición para algún $t$ está acotado inferiormente por:
  $$\#\{n \leq s \mid t\phi(n) + 1 = n, \exists t \in \mathbb{N}\} \geq \frac{s}{2 \log s} \prod_{p \mid \lfloor s \rfloor} \left(1 - \frac{1}{p}\right)^{-1} - \frac{3}{2}e^\gamma$$
  donde $\gamma$ es la constante de Euler-Mascheroni.

  • Interpretación: Esta cota utiliza el Teorema de los Números Primos y la fórmula de Mertens para mostrar que el conjunto de "candidatos" (incluyendo primos y potenciales compuestos) es suficientemente grande.

• Teorema 6.2 (Existencia de Solución Compuesta):
  Mediante una demostración por contradicción, el autor concluye:

  Existe al menos un entero compuesto $n \in \mathbb{N}$ tal que $\phi(n) \mid (n-1)$.

  Lógica de la prueba:

  1. Se asume que no existen soluciones compuestas (solo primos, para los cuales $\phi(p)=p-1$ siempre es solución).
  2. Se aplica la cota inferior del Lema 6.1.
  3. Se construye un conjunto infinito de compuestos $C$ (productos de primos consecutivos) donde el producto sobre los factores primos crece lo suficiente.
  4. Esto lleva a una desigualdad para la función contadora de primos $\pi(s)$ que contradice el comportamiento asintótico conocido del Teorema de los Números Primos ($\pi(s) \sim s/\log s$) cuando $s \to \infty$.
  5. Por tanto, la suposición de que no hay soluciones compuestas es falsa.

4. Contribuciones Clave y Novedades

1. Cambio de Perspectiva (Spanning Viewpoint): Transforma una condición de divisibilidad puramente multiplicativa en un problema de pertenencia a un conjunto definido por una relación aditiva ($tf(n)+k=n$), permitiendo el uso de herramientas analíticas (integración).
2. Extensión Fraccionaria del Totiente: La construcción de $\tilde{\phi}$ es la pieza maestra que permite "suavizar" la función totiente sin perder su información aritmética, facilitando el uso de cálculo avanzado en teoría de números.
3. Síntesis Cuantitativa: Combina estimaciones precisas de sumas de primos (desigualdades recientes de Axler) con fórmulas clásicas (Mertens, Teorema de los Números Primos) para obtener cotas efectivas y utilizables.

5. Significado e Impacto

El artículo presenta un avance teórico significativo al proponer un método que, en principio, demuestra la existencia de un número compuesto que satisface la condición de Lehmer.

• Superación de Limitaciones: El método supera la barrera de la falta de continuidad de $\phi$ en los reales, un obstáculo que ha impedido el uso de técnicas analíticas continuas en este problema específico.
• Herramienta General: El "Método de Rastreo" no se limita al totiente; el autor sugiere que puede aplicarse a otras funciones aritméticas multiplicativas para estudiar problemas de divisibilidad similares.
• Implicación Final: Aunque el artículo no identifica explícitamente el número compuesto (su valor exacto), establece rigurosamente que el conjunto de tales números no está vacío, resolviendo la cuestión de la existencia bajo los axiomas y métodos presentados.

En resumen, este trabajo introduce una nueva metodología analítico-combinatoria que, al integrar la teoría de la medida con la teoría de números clásica, ofrece una demostración de la existencia de soluciones compuestas al problema de Lehmer, un problema que ha permanecido abierto durante casi un siglo.