Números de Carmichael en Todas las Progresiones Aritméticas Posibles

Información Básica

• ID del Artículo: 2504.09056
• Título: Carmichael Numbers in All Possible Arithmetic Progressions
• Autor: Daniel Larsen
• Clasificación: math.NT (Teoría de Números)
• Fecha de Publicación: Abril de 2025 (preimpresión en arXiv)
• Enlace del Artículo: https://arxiv.org/abs/2504.09056

Resumen

Este artículo demuestra que cada progresión aritmética contiene infinitos números de Carmichael o ninguno. Además, se proporciona un criterio de discriminación simple para determinar a cuál categoría pertenece una progresión aritmética dada. En particular, si $m$ es cualquier entero que satisface $(m,2\phi(m))=1$, entonces existen infinitos números de Carmichael divisibles por $m$. Como corolario, se demuestra que $\liminf_{n\text{ Carmichael}}\frac{\phi(n)}{n}=0$, resolviendo un problema planteado por Alford, Granville y Pomerance.

Antecedentes y Motivación de la Investigación

Contexto del Problema

Los números de Carmichael son una clase especial de números compuestos que satisfacen $a^n \equiv a \pmod{n}$ para cualquier entero $a$. Según el criterio de Korselt, un número compuesto libre de cuadrados $n$ es un número de Carmichael si y solo si para cada primo $p$ que divide a $n$, se tiene que $p-1$ divide a $n-1$.

Motivación de la Investigación

1. Problema de Distribución: Aunque en 1994 Alford, Granville y Pomerance demostraron que existen infinitos números de Carmichael, el problema de su distribución en progresiones aritméticas aún no se ha resuelto completamente.
2. Problema Antiguo: Banks denomina "problema antiguo" la pregunta: "¿Existe un entero fijo $m>1$ que divide infinitos números de Carmichael?"
3. Perfeccionamiento Teórico: Por analogía con la investigación de la distribución de primos en progresiones aritméticas, el estudio de la distribución de números de Carmichael tiene una importancia significativa para la teoría de números.

Limitaciones de los Métodos Existentes

El método clásico de Alford-Granville-Pomerance (AGP) no puede abordar directamente el problema de construcción de números de Carmichael divisibles por un entero fijo, ya que la multiplicación directa por $m$ destruye las condiciones del criterio de Korselt módulo $k$.

Contribuciones Principales

1. Caracterización Completa: Se demuestra que cada progresión aritmética contiene infinitos números de Carmichael o ninguno, proporcionando una dicotomía completa.
2. Criterio de Discriminación: Se proporciona un criterio simple de "compatibilidad con Carmichael" que contiene tres condiciones fácilmente verificables.
3. Teorema de Existencia: Se demuestra que para cualquier entero $m$ que satisface $(m,2\phi(m))=1$, existen infinitos números de Carmichael divisibles por $m$.
4. Cota Inferior de Densidad: Para progresiones aritméticas compatibles con Carmichael, se demuestra la existencia de al menos $x^{1/168-\epsilon}$ números de Carmichael menores que $x$.
5. Problema de Límite: Se resuelve el problema $\liminf_{n\text{ Carmichael}}\frac{\phi(n)}{n}=0$ planteado por AGP.

Explicación Detallada del Método

Definición de la Tarea

Dada una progresión aritmética $r \pmod{m}$, determinar si contiene infinitos números de Carmichael y, en caso afirmativo, proporcionar una cota inferior de densidad.

Definición de Compatibilidad con Carmichael

Sea $g = (r,m)$, $h = (\lambda(g),m)$. Una progresión aritmética $r \pmod{m}$ es incompatible con Carmichael si y solo si satisface una de las siguientes condiciones:

• $(g, 2\phi(g)) > 1$
• $h \nmid r - 1$
• $36 | m$, $r \equiv 3 \pmod{12}$, y $r/g \equiv 5$ o $7 \pmod{12}$

De lo contrario, se denomina compatible con Carmichael.

Marco de Método Principal

Construcción de Conjunto de Dos Primos

La innovación clave de este artículo es el uso de dos grupos de primos en lugar del grupo único del método AGP:

Para enteros apropiados $k_1, k_2, L_1, L_2$, se construyen:

• $P_1 := \{dk_1 + 1 : d \in D_1\}$
• $P_2 := \{dk_2 + 1 : d \in D_2\}$

donde $D_1, D_2$ se seleccionan respectivamente de los divisores de $L_1, L_2$.

Tratamiento de Restricciones Modulares

Se buscan $\Pi_1, \Pi_2$ que satisfagan:

• $\Pi_1 \equiv 1 \pmod{L_1}$ y $\Pi_1 \equiv \frac{1}{m} \pmod{k_2L_2}$
• $\Pi_2 \equiv 1 \pmod{L_2}$ y $\Pi_2 \equiv \frac{1}{m} \pmod{k_1L_1}$
• $\Pi_1, \Pi_2 \equiv 1 \pmod{\phi(m)}$

Entonces $m\Pi_1\Pi_2$ satisface el criterio de Korselt.

Puntos de Innovación Técnica

1. Método de Escape de Subgrupo

Se utiliza una criba grande mejorada para manejar caracteres de orden fijo, evitando que los conjuntos de primos se concentren en subgrupos propios:

Proposición 6 (Desigualdad de Criba Grande Mejorada): Sea $M$ un conjunto de enteros positivos sin relación de $r$-ésima potencia, $Q$ un conjunto finito de enteros positivos, entonces $\sum_{q\in Q} \sum_{\chi \bmod q, \chi^r=\chi_0}^* \left|\sum_{m\in M} \chi(m)\right|^2 \ll Q^{1-\frac{1}{r}}M^4 + Q'|M|$

2. Control de Equidistribución

A través de la Propiedad 7* se asegura la equidistribución del conjunto de primos bajo la acción de caracteres: Para el producto de a lo sumo $y^{\rho}$ elementos en $Q_i$ denotado $n$, cualquier carácter no principal $\chi \bmod n$ y número real $\beta$, existen al menos $\frac{y^{\theta}}{y^{3\iota}}$ elementos $q \in Q_{3-i}$ tales que $|\beta_q - \beta| \geq \frac{1}{2y^{\rho+\iota}}$.

3. Herramientas de Teoría de Números Algebraicos

Se utiliza la ley de reciprocidad de $r$-ésima potencia y la teoría de caracteres de ideales para manejar problemas de distribución de caracteres de orden superior.

Configuración Experimental

Selección de Parámetros

• $y$: parámetro grande que determina el tamaño de los números de Carmichael
• $\iota$: número positivo muy pequeño que determina el término de error
• $\delta = \frac{1}{6}$, $\theta = \frac{1}{6} - 2\iota$, $\rho = \frac{1}{24} - 2\iota$
• $\kappa, T$: constantes enteras grandes (como 100)

Flujo de Construcción

1. Construcción de Conjuntos de Primos $Q_1, Q_2$ que satisfacen 8 propiedades
2. Selección de Parámetros $k_1, k_2$ que satisfacen condiciones de coprimalidad y cobertura
3. Construcción de Productos Auxiliares $A_1, A_2$ para manejar restricciones módulo $L$
4. Método de Caracteres para construir productos que satisfacen restricciones módulo $k$

Resultados Experimentales

Teorema Principal

Teorema 1: Sea $r \pmod{m}$ una progresión aritmética compatible con Carmichael. Entonces para cada $\epsilon > 0$ y $x$ suficientemente grande, existen más de $x^{1/168-\epsilon}$ números de Carmichael menores que $x$ congruentes a $r \pmod{m}$.

Corolarios Clave

Teorema 2: $\liminf_{n\text{ Carmichael}}\frac{\phi(n)}{n} = 0$

Esquema de Demostración: Se utiliza la secuencia de primos construida por Erdős $\{q_i\}$, cuyo producto $Q$ satisface $-\log\frac{\phi(Q)}{Q} \to \infty$, combinado con el Teorema 1 para obtener números de Carmichael divisibles por $Q$.

Mejora de Densidad

Para el caso donde el primo $r$ no divide a $m$, el método de este artículo proporciona una cota inferior de $x^{1/168-\epsilon}$, mejorando:

• Cuando $r$ es residuo cuadrático: el resultado de Matomäki
• Cuando $r$ es no residuo cuadrático: el resultado de Pomerance de $x^{\frac{1}{6\log\log\log x}}$

Trabajos Relacionados

Desarrollo Histórico

1. Šimerka (1885): Descubre el primer número de Carmichael conocido, 561
2. Korselt (1899): Proporciona el criterio de discriminación para números de Carmichael
3. AGP (1994): Demuestra que existen infinitos números de Carmichael
4. Wright (2013): Demuestra que la progresión aritmética $a \pmod{q}$ con $(a,q)=1$ contiene infinitos números de Carmichael

Contribución de Este Artículo

• Completitud: Aborda el caso difícil de $(a,q)>1$
• Unificación: Proporciona una clasificación completa para todas las progresiones aritméticas
• Técnica: Desarrolla nuevas herramientas de criba y teoría de caracteres

Conclusiones y Discusión

Conclusiones Principales

1. El problema de distribución de números de Carmichael en progresiones aritméticas se resuelve completamente
2. Se proporciona un criterio práctico de discriminación
3. Se resuelve un problema importante planteado por AGP

Limitaciones

1. La constante $\frac{1}{168}$ no es óptima y puede mejorarse mediante métodos de criba más refinados
2. La complejidad del método es considerable, involucrando múltiples niveles técnicos
3. Para aplicaciones concretas, la selección de parámetros requiere un equilibrio cuidadoso

Direcciones Futuras

1. Optimización de Constantes: Mejorar la cota inferior de densidad
2. Aplicaciones Generalizadas: Extender a pseudoprimos de Fermat y objetos relacionados
3. Aspectos Computacionales: Desarrollar algoritmos eficientes para la construcción de números de Carmichael

Evaluación Profunda

Fortalezas

1. Completitud Teórica: Resuelve completamente el problema fundamental de la distribución de números de Carmichael en progresiones aritméticas
2. Innovación Metodológica: El método de dos conjuntos de primos representa un desarrollo importante del método AGP
3. Profundidad Técnica: Integra herramientas de criba, teoría de caracteres y teoría de números algebraicos
4. Solidez de Resultados: No solo demuestra existencia, sino que proporciona cotas cuantitativas de densidad

Deficiencias

1. Complejidad Técnica: La demostración involucra numerosos detalles técnicos con un umbral de comprensión elevado
2. Optimización de Constantes: La constante $\frac{1}{168}$ tiene espacio para mejora
3. Practicidad: Para la construcción concreta de números de Carmichael, la practicidad del método es limitada

Impacto

1. Contribución Teórica: Resuelve un problema fundamental en teoría de números con valor teórico significativo
2. Significado Metodológico: El método de dos conjuntos de primos puede ser aplicable a otros problemas similares
3. Investigación Posterior: Abre nuevas direcciones para la investigación de números de Carmichael y pseudoprimos relacionados

Escenarios de Aplicación

1. Investigación Teórica: Desarrollo posterior de la teoría de distribución de números de Carmichael
2. Criptografía: Comprensión de la distribución de pseudoprimos en sistemas criptográficos
3. Teoría de Números Computacional: Proporciona base teórica para la generación eficiente de números de Carmichael

Referencias

El artículo cita 56 referencias importantes, incluyendo principalmente:

• Trabajos fundamentales de Alford, Granville y Pomerance
• Contribuciones de Wright sobre números de Carmichael en progresiones aritméticas
• Resultados clásicos de teoría analítica de números como el teorema de Bombieri-Vinogradov
• Literatura relevante sobre teoría de criba

Resumen: Este es un artículo de alta calidad que resuelve un problema importante en teoría de números. Mediante el innovador método de dos conjuntos de primos, caracteriza completamente la distribución de números de Carmichael en progresiones aritméticas, poseyendo un valor teórico significativo y un importante significado metodológico.