🔢 mathematics

Explicit Prime Densities for Lucas Sequence Rank Divisibility

Este artículo deriva fórmulas de forma cerrada para la densidad de Dirichlet de los primos $p$ tales que un entero fijo $d$ divide el rango de aparición de $p$ en una secuencia de Lucas $U$ , completando así el trabajo de Sanna (2022) al cubrir todas las secuencias de Lucas y todos los enteros $d \geq 1$ .

Autores originales: Joaquim Cera Da Conceição

Publicado 2026-08-25

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Joaquim Cera Da Conceição

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

En el vasto paisaje de la teoría de números, los matemáticos suelen estudiar secuencias de números que crecen de acuerdo con una regla simple y repetitiva. Imagine una línea de números donde cada nueva entrada se crea combinando las dos anteriores, de forma muy parecida a cómo un árbol genealógico se ramifica a partir de un ancestro común. Estas son conocidas como secuencias de Lucas. Una pregunta central para los investigadores es comprender cómo estas secuencias interactúan con los números primos, los bloques de construcción indivisibles de la aritmética. Para cualquier número primo dado, existe un momento específico en la secuencia donde ese primo aparece por primera vez como un factor. Los matemáticos llaman a esto el "rango de aparición". Es una huella digital única para ese primo dentro de esa secuencia específica. La gran pregunta es: si observamos todos los números primos, ¿con qué frecuencia encontramos aquellos cuyo rango de aparición es divisible por un número específico, digamos tres, o cinco, o cien? Esta frecuencia se conoce como densidad de Dirichlet, una forma de medir qué tan común es un cierto patrón entre el conjunto infinito de los primos.

Durante décadas, los matemáticos han podido calcular esta frecuencia para muchos casos específicos, pero un panorama completo seguía siendo elusivo. Trabajos previos habían resuelto el problema para ciertos tipos de secuencias y divisores específicos, pero quedaban lagunas, particularmente cuando la estructura matemática subyacente involucraba simetrías complejas relacionadas con el número tres o la raíz cuadrada de menos uno. Estas lagunas eran como piezas faltantes en un rompecabezas que impedían una comprensión total del paisaje. El artículo en cuestión interviene para llenar esos últimos huecos. El autor ha derivado fórmulas exactas de forma cerrada que permiten a cualquiera calcular la densidad precisa de los primos para los cuales el rango de aparición es divisible por cualquier entero elegido, independientemente de la secuencia de Lucas específica que se esté estudiando. Este trabajo completa un esfuerzo de larga data, asegurando que las reglas que gobiernan estos patrones sean ahora conocidas para cada escenario posible.

Los investigadores abordaron esto traduciendo el problema de encontrar factores primos en un problema sobre el comportamiento de los números en mundos matemáticos extendidos. En lugar de mirar la secuencia directamente, examinaron cómo se comporta una razón específica de las raíces de la secuencia cuando se reduce módulo un primo. Esta razón actúa como un generador, y su orden en un grupo específico determina el rango de aparición. El desafío era que el comportamiento de este generador cambia dependiendo de las propiedades del primo y de la secuencia. El autor tuvo que tener en cuenta varios escenarios, como cuando el polinomio definitorio de la secuencia se descompone en un cuerpo que contiene la raíz cuadrada de menos tres, o cuando involucra la raíz cuadrada de menos uno. En estos casos especiales, los métodos estándar de cálculo fallaban porque las simetrías habituales se veían perturbadas por la presencia de estas raíces específicas.

Para superar esto, el equipo desarrolló un método sistemático para manejar estos casos difíciles. Dividieron el problema en partes más pequeñas y manejables, analizando la estructura de los cuerpos matemáticos donde residen estas raíces. Determinaron exactamente cuándo existen ciertos automorfismos —transformaciones que preservan la estructura de estos cuerpos— ya que estas transformaciones son cruciales porque dictan cómo se distribuyen los primos. Al mapear cuidadosamente estas condiciones, el autor pudo escribir una fórmula única y unificada que funciona para todos los enteros y todas las secuencias de Lucas. Esta fórmula es de "forma cerrada", lo que significa que puede ser computada utilizando un número finito de operaciones estándar, en lugar de requerir un proceso infinito o un método de prueba y error.

El artículo confirma que la densidad de estos primos no es solo una posibilidad teórica, sino un valor concreto y calculable. El autor no se limitó a sugerir que estos valores existen; demostró su existencia y proporcionó la receta exacta para encontrarlos. También abordó un problema sutil respecto al "rango" cuando el divisor es par, mostrando cómo ajustar el cálculo para tener en cuenta la paridad específica de los números involucrados. Sus resultados construyen y refinan el trabajo anterior de otros matemáticos, eliminando las restricciones arbitrarias que anteriormente limitaban el alcance de la solución. Por ejemplo, estudios previos tenían que excluir casos donde el divisor era un múltiplo de dos o tres en ciertos cuerpos, pero este nuevo trabajo elimina esas exclusiones por completo.

Para asegurar que sus fórmulas fueran correctas, los investigadores las probaron contra datos reales. Escribieron programas informáticos para generar millones de números primos y calcularon la frecuencia real del patrón en cuestión. Luego compararon estos resultados experimentales con los valores predichos por sus nuevas fórmulas. La coincidencia fue precisa, con los valores calculados alineándose con los datos generados por la computadora hasta seis decimales. Este paso de verificación fue vital, ya que confirmó que las fórmulas abstractas reflejaban con precisión la realidad del sistema numérico. El artículo incluye tablas que muestran estas comparaciones para diversas secuencias y divisores, demostrando que la teoría se sostiene bajo pruebas rigurosas.

En última instancia, este trabajo proporciona un mapa completo para un rincón específico de la teoría de números. Nos dice exactamente con qué frecuencia un número primo aparecerá en una posición en una secuencia de Lucas que es un múltiplo de un número dado. Ya sea que la secuencia sea la famosa secuencia de Fibonacci o una variación más oscura, y ya sea que el divisor sea un número pequeño como dos o un entero grande y complejo, la respuesta es ahora conocida. El autor ha cerrado el libro sobre este problema particular, sin dejar cabos sueltos ni casos sin explorar. Su contribución es un testimonio del poder de la persistencia en las matemáticas, convirtiendo una colección fragmentada de respuestas parciales en una teoría única, coherente y completa.

Resumen Técnico: Densidades Primas Explícitas para la Divisibilidad del Rango de Secuencias de Lucas

Planteamiento del Problema
Este artículo aborda el problema de determinar la densidad de Dirichlet del conjunto de primos $p$ para los cuales el rango de aparición $\rho_U(p)$ en una secuencia de Lucas $U = (U_n)_{n \ge 0}$ es divisible por un entero fijo $d \ge 1$ . El rango de aparición se define como el menor entero positivo $n$ tal que $p \mid U_n$ . Si bien la existencia de esta densidad fue establecida en trabajos previos, las fórmulas cerradas explícitas estaban incompletas, particularmente para casos que involucran campos de división ciclotómicos y condiciones de divisibilidad específicas sobre $d$ (específicamente cuando $d$ es divisible por 2 o 3).

Contexto y Trabajo Previo
El estudio se basa en el trabajo fundacional de Hasse, quien trató parámetros cuadrados libres específicos y un primo $d$ ; y de Wiertelak, quien resolvió el caso donde el polinomio característico es reducible. Se han logrado avances significativos por parte de Lagarias, Cubre, Rouse y Ballot para secuencias específicas y valores pequeños de $d$ . Más recientemente, Sanna (2022) proporcionó un marco general y fórmulas explícitas para $d$ impar no divisible por 3, siempre que el campo de división del polinomio característico no sea $\mathbb{Q}(\sqrt{-3})$ . Sin embargo, los resultados de Sanna dejaron abiertos los casos donde el campo de división es ciclotómico (específicamente $\mathbb{Q}(i)$ o $\mathbb{Q}(\sqrt{-3})$ ) y los casos donde $d$ es divisible por 2 o 3 en estos campos.

Metodología
El autor aborda el problema traduciendo la divisibilidad del rango $\rho_U(p)$ en una condición sobre el orden multiplicativo del cociente de las raíces $\gamma = a/b$ módulo ideales primos en el cuerpo cuadrático $K = \mathbb{Q}(a)$ . Específicamente, $\rho_U(p)$ es divisible por $d$ si y solo si el orden de $\gamma$ módulo $\pi$ es divisible por $d$ .

El núcleo de la metodología consiste en el estudio de las extensiones Ciclotómicas-Kummer de la forma $K_{n,d} = K(\zeta_n, \gamma^{1/d})$ , donde $\zeta_n$ es una raíz $n$ -ésima primitiva de la unidad, y donde el cociente de las raíces $\gamma^{1/d}$ . La densidad de Dirichlet se expresa como una suma sobre los divisores de $d$ que involucra los grados de estas extensiones de campo y la existencia de automorfismos específicos en sus grupos de Galois.

Pasos técnicos clave:

Computación del Grado del Campo: Utilizando el Teorema 2 y el Teorema 3 (de la literatura estándar) para determinar el grado $[K_{n,d} : \mathbb{Q}]$ . Esto requiere analizar si $\gamma$ es una potencia en las extensiones ciclotómicas, lo cual depende del discriminante $\Delta_K$ y la norma de $\gamma$ .
Existencia de Automorfismos: Determinar la existencia de automorfismos $\sigma_{u,v}$ en el grupo de Galois que satisfagan condiciones específicas (mapeando $\sqrt{\Delta} \to -\sqrt{\Delta}$ , $\zeta \to \zeta^{-1}$ , y $\gamma^{1/uv} \to \gamma^{-1/uv}$ ).
Análisis de Casos basado en $h$ : El autor define $h = \max_{\zeta \in \mu(K)} h(\zeta)$ $h = max_{ζ \in μ (K)} h (ζ)$ , donde $h(\zeta)$ $h (ζ)$ es el mayor entero tal que $\zeta\gamma$ $ζ γ$ es una potencia $h(\zeta$ $h (ζ$ -ésima en $K$ $K$ . El artículo se divide en dos fases analíticas principales:
- Caso $h = h(1)$ : El máximo se alcanza en $\zeta = 1$ . El autor deriva fórmulas cerradas mediante la descomposición de la densidad en sumas $S_{d,e,h}(\nu)$ y la evaluación de estas usando el Lema 11. Esta sección maneja los discriminantes $\Delta_K \notin \{-4, -3\}$ , $\Delta_K = -4$ , y $\Delta_K = -3$ por separado, utilizando los Lemas 4, 5 y 6 para manejar raíces cuadradas y cúbicas en cuerpos ciclotómicos.
- Caso $h \neq h(1)$ : El máximo se alcanza en una raíz de la unidad $\zeta \neq 1$ . El autor emplea una fórmula de conmutación (Teorema 20) para relacionar la densidad de $\gamma$ con la de $-\gamma$ (o $\zeta\gamma$ ), reduciendo efectivamente estos casos al escenario $h=h(1)$ o a casos ya resueltos.

Contribuciones Clave y Resultados
La contribución principal de este artículo es la derivación de fórmulas de forma cerrada para la densidad de Dirichlet $\delta_\gamma(d)$ para todas las secuencias de Lucas $U$ y para todos los enteros $d \ge 1$ . Esto completa el trabajo iniciado por Sanna (2022).

Resultados específicos incluyen:

Fórmulas Generales: La densidad se expresa como una combinación lineal de términos que involucran la función de Möbius, la función totiente de Euler y condiciones aritméticas específicas sobre los discriminantes de los campos auxiliares ( $K_1, K_2$ ) y los conductores ( $f(L)$ ).
Resolución de Casos Ciclotómicos: El artículo resuelve explícitamente los casos difíciles donde el campo de división es $\mathbb{Q}(i)$ ( $\Delta_K = -4$ ) o $\mathbb{Q}(\sqrt{-3})$ ( $\Delta_K = -3$ ), incluyendo escenarios donde $d$ es par o divisible por 3.
Manejo de $h \neq h(1)$ : El Teorema 20 proporciona un mecanismo para manejar los casos donde la condición de potencia máxima es cumplida por una raíz de la unidad no trivial, asegurando que la solución sea exhaustiva.
Verificación Numérica: La Sección 6 proporciona datos numéricos comparando los valores de forma cerrada derivados con densidades experimentales computadas mediante SageMath para diversas secuencias y valores de $d$ , mostrando concordancia hasta 6 decimales para primos hasta $10^7$ .

Significado
El artículo afirma proporcionar una solución completa al problema de calcular la densidad de Dirichlet de los primos con rango divisible por $d$ en secuencias de Lucas. Al cubrir todos los casos dejados por el teorema de Sanna, incluyendo los intrincados campos de división ciclotómicos y todas las condiciones de divisibilidad de $d$ , el autor ofrece una caracterización exhaustiva de estas densidades. El trabajo se basa en la existencia de la densidad (probada por Sanna) y se enfoca en el cálculo explícito, "completando" así el panorama teórico para este problema específico de la teoría de números. Los resultados se presentan como fórmulas finales que requieren solo un número finito de operaciones para su cálculo, evitando aproximaciones asintóticas para el valor de la densidad en sí mismo.

Más como este