Sophie Germain Primes and the Totient of Fibonacci Numbers

Resumen Técnico

1. Planteamiento del Problema

El artículo investiga la aritmética de los números de Fibonacci ($F_m$) en relación con la función totiente de Euler ($\phi$). El problema central se define a través del conjunto $S(q)$, que agrupa las clases residuales $r$ módulo el periodo de Pisano $\pi(q)$ (el periodo de la secuencia de Fibonacci módulo $q$) tales que, para todo $m \equiv r \pmod{\pi(q)}$, se cumple que $q$ divide a $\phi(F_m)$.

La pregunta fundamental es: ¿Bajo qué condiciones el conjunto $S(q)$ es no vacío? El autor explora la conexión profunda entre la no vacuidad de $S(q)$ y la existencia de primos de Sophie Germain (donde $q$ es primo y $2q+1$ también lo es).

2. Metodología

El trabajo combina teoría de números algebraica, propiedades de secuencias de recurrencia lineal y verificación computacional extensiva.

• Herramientas Teóricas: Se utilizan propiedades del rango de aparición $z(n)$ (el menor entero $k$ tal que $n | F_k$), el periodo de Pisano $\pi(n)$, símbolos de Legendre y la estructura de los grupos multiplicativos en campos finitos ($\mathbb{F}_p$ y $\mathbb{F}_{p^2}$).
• Análisis de Casos: Se desglosan las condiciones bajo las cuales un primo $p \equiv 1 \pmod q$ divide a $F_m$, analizando los casos según el símbolo de Legendre $\left(\frac{5}{p}\right)$.
• Verificación Computacional: Se realizaron cálculos exhaustivos para todos los primos $q \le 50,000$ para validar conjeturas y observar patrones en la densidad y estructura de $S(q)$.
• Generalización: Los resultados se extienden a secuencias de Lucas generales $U_n(P, Q)$ con discriminante no cuadrado.

3. Contribuciones y Resultados Clave

El artículo presenta una serie de teoremas y conjeturas que establecen una equivalencia casi completa entre la propiedad de divisibilidad de la función totiente y la condición de Sophie Germain.

A. Criterios de Existencia y Estructura de $S(q)$

• Teorema 3.1 (Criterio Suficiente): Si existe un primo $p \equiv 1 \pmod q$ tal que su rango de aparición $z(p)$ divide al periodo $\pi(q)$, entonces $S(q)$ no es vacío. Específicamente, los múltiplos de $z(p)$ módulo $\pi(q)$ pertenecen a $S(q)$.
• Teorema 4.1 (Condición de Sophie Germain): Si $q$ es un primo de Sophie Germain y $z(2q+1) | \pi(q)$, entonces $S(q) \neq \emptyset$.
• Teorema 5.1 (Estructura de Progresión Aritmética): Bajo las condiciones anteriores, $S(q)$ forma una progresión aritmética en $\mathbb{Z}/\pi(q)\mathbb{Z}$ con longitud $|S(q)| = \pi(q)/z(2q+1)$.

B. Unicidad del Primo Testigo y Conjeturas

• Teorema 4.2 (Unicidad Parcial): Se demuestra que si un primo $p = kq + 1$ satisface $z(p) | \pi(q)$, entonces necesariamente $k=2$ (es decir, $p=2q+1$). Esto se prueba algebraicamente para $k \le 12$ y se verifica determinísticamente hasta $k=31$ usando tablas de factorización de Fibonacci. Se conjetura que esto es cierto para todo $k$.
• Conjetura 4.4 (Converso): Si $S(q) \neq \emptyset$, entonces debe existir un primo $p \equiv 1 \pmod q$ tal que $z(p) | \pi(q)$.
  • Verificación: Esta conjetura se ha verificado computacionalmente para todos los primos $q \le 50,000$. En todos los casos, el "testigo" es $p = 2q+1$.

C. Restricciones Aritméticas y Paridad

• Teoremas 6.1 y 6.2 (Símbolos de Legendre y Paridad): Para $q > 5$ cumpliendo las condiciones:
  • $\left(\frac{5}{2q+1}\right) = -1$ y $\left(\frac{5}{q}\right) = -1$.
  • El periodo satisface $\pi(q) | 2(q+1)$.
  • El cardinal $|S(q)|$ es impar.
• Teorema 7.1 (Restricción de Congruencia): Si $q > 5$ y $S(q) \neq \emptyset$, entonces $q \equiv 8 \pmod{15}$.
  • Esto se deriva de combinar $q \equiv 2 \pmod 3$ (para que $2q+1$ no sea divisible por 3) y $q \equiv 3 \pmod 5$ (para que $2q+1$ no sea divisible por 5 y cumpla el símbolo de Legendre).

D. Implicaciones para la Conjetura de Sophie Germain

• Corolario 7.2: La infinitud de los primos de Sophie Germain implica la existencia de infinitos primos $q \equiv 8 \pmod{15}$ tales que $(2q+1) | F_{\pi(q)}$.
  • Nota: La condición $(2q+1) | F_{\pi(q)}$ es puramente teórica de Fibonacci y no menciona explícitamente la primalidad de $2q+1$, aunque el teorema 4.2 fuerza que si tal divisibilidad ocurre con un primo $p$, entonces $2q+1$ debe ser primo.

E. Generalización a Secuencias de Lucas

• Los resultados se generalizan a secuencias de Lucas $U_n(P, Q)$ con discriminante $D = P^2 - 4Q$ no cuadrado.
• Se establecen restricciones de congruencia análogas. Por ejemplo, para los números de Pell ($D=8$), se requiere $q \equiv 5 \pmod{24}$.

4. Datos Computacionales

• Se analizaron 669 primos de Sophie Germain menores o iguales a 50,000.
• El 23.9% de ellos satisface la condición $z(2q+1) | \pi(q)$, lo que implica $S(q) \neq \emptyset$.
• No se encontró ningún primo no-Sophie Germain en este rango con $S(q) \neq \emptyset$.
• Todos los casos con $q > 5$ y $S(q) \neq \emptyset$ cumplen $q \equiv 8 \pmod{15}$.
• La relación $\pi(q)/z(2q+1)$ resultó ser siempre un número impar (excepto para $q=5$).

5. Significado y Problemas Abiertos

El trabajo establece un vínculo profundo y no trivial entre la teoría de números aditiva/multiplicativa (primos de Sophie Germain) y la teoría de secuencias recurrentes (Fibonacci). Proporciona una condición necesaria y (bajo conjeturas) suficiente para la existencia de ciertos patrones de divisibilidad en la función totiente de los números de Fibonacci.

Problemas Abiertos (OQ):

1. OQ1: Demostrar la Conjetura 4.4 (el converso) de manera rigurosa sin depender de la computación.
2. OQ2: Proporcionar una prueba puramente algebraica para el Teorema 4.2 que funcione para todo $k \ge 4$, superando las dificultades del caso donde $\left(\frac{5}{p}\right) = -1$.
3. OQ3: Expresar la densidad observada del 23.9% mediante una fórmula analítica (producto de Euler de Bateman-Horn-Chebotarev).
4. OQ4: Determinar si el conjunto de valores $\{\pi(q)/z(2q+1)\}$ cubre todos los enteros impares.

En conclusión, el artículo no solo generaliza propiedades conocidas de los números de Fibonacci, sino que propone un nuevo marco para estudiar los primos de Sophie Germain a través de la lente de la teoría de secuencias de Lucas, ofreciendo tanto resultados teóricos sólidos como evidencia computacional robusta.