2025-11-10T02:57:02.611382

Carmichael Numbers in All Possible Arithmetic Progressions

Larsen
We prove that every arithmetic progression either contains infinitely many Carmichael numbers or none at all. Furthermore, there is a simple criterion for determining which category a given arithmetic progression falls into. In particular, if $m$ is any integer such that $(m,2ϕ(m))=1$ then there exist infinitely many Carmichael numbers divisible by $m$. As a consequence, we are able to prove that $\liminf_{n\text{ Carmichael}}\frac{ϕ(n)}{n}=0$, resolving a question of Alford, Granville, and Pomerance.
academic

Numeri di Carmichael in Tutte le Possibili Progressioni Aritmetiche

Informazioni Fondamentali

  • ID Articolo: 2504.09056
  • Titolo: Carmichael Numbers in All Possible Arithmetic Progressions
  • Autore: Daniel Larsen
  • Classificazione: math.NT (Teoria dei Numeri)
  • Data di Pubblicazione: Aprile 2025 (preprint arXiv)
  • Link Articolo: https://arxiv.org/abs/2504.09056

Riassunto

Questo articolo dimostra che ogni progressione aritmetica contiene infiniti numeri di Carmichael oppure non ne contiene alcuno. Inoltre, forniamo un semplice criterio discriminante per determinare a quale categoria appartiene una data progressione aritmetica. In particolare, se mm è un qualsiasi intero che soddisfa (m,2ϕ(m))=1(m,2\phi(m))=1, allora esistono infiniti numeri di Carmichael divisibili per mm. Come corollario, dimostriamo che lim infn Carmichaelϕ(n)n=0\liminf_{n\text{ Carmichael}}\frac{\phi(n)}{n}=0, risolvendo un problema proposto da Alford, Granville e Pomerance.

Contesto di Ricerca e Motivazione

Sfondo del Problema

I numeri di Carmichael sono una classe speciale di numeri composti che soddisfano ana(modn)a^n \equiv a \pmod{n} per ogni intero aa. Secondo il criterio di Korselt, un numero composto privo di fattori quadratici nn è un numero di Carmichael se e solo se per ogni primo pp che divide nn, si ha che p1p-1 divide n1n-1.

Motivazione della Ricerca

  1. Problema di Distribuzione: Sebbene Alford, Granville e Pomerance abbiano provato nel 1994 che esistono infiniti numeri di Carmichael, la questione della loro distribuzione nelle progressioni aritmetiche rimane parzialmente irrisolta.
  2. Problema Classico: Banks ha definito "il problema classico" la questione se esista un intero fisso m>1m>1 che divide infiniti numeri di Carmichael.
  3. Completamento Teorico: Per analogia con lo studio della distribuzione dei numeri primi nelle progressioni aritmetiche, la ricerca sulla distribuzione dei numeri di Carmichael ha un'importanza significativa per la teoria dei numeri.

Limitazioni dei Metodi Esistenti

Il metodo classico di Alford-Granville-Pomerance (AGP) non può affrontare direttamente il problema della costruzione di numeri di Carmichael divisibili per un intero fisso, poiché la moltiplicazione diretta per mm compromette le condizioni modulo kk del criterio di Korselt.

Contributi Principali

  1. Caratterizzazione Completa: Dimostriamo che ogni progressione aritmetica contiene infiniti numeri di Carmichael oppure non ne contiene alcuno, fornendo una dicotomia completa.
  2. Criterio Discriminante: Forniamo un semplice criterio di "compatibilità con Carmichael" contenente tre condizioni facilmente verificabili.
  3. Teorema di Esistenza: Proviamo che per ogni intero mm soddisfacente (m,2ϕ(m))=1(m,2\phi(m))=1, esistono infiniti numeri di Carmichael divisibili per mm.
  4. Limite Inferiore di Densità: Per progressioni aritmetiche compatibili con Carmichael, proviamo l'esistenza di almeno x1/168ϵx^{1/168-\epsilon} numeri di Carmichael minori di xx.
  5. Problema di Limite: Risolviamo il problema lim infn Carmichaelϕ(n)n=0\liminf_{n\text{ Carmichael}}\frac{\phi(n)}{n}=0 proposto da AGP.

Spiegazione Dettagliata del Metodo

Definizione del Compito

Data una progressione aritmetica r(modm)r \pmod{m}, determinare se contiene infiniti numeri di Carmichael e, in caso affermativo, fornire un limite inferiore di densità.

Definizione di Compatibilità con Carmichael

Sia g=(r,m)g = (r,m), h=(λ(g),m)h = (\lambda(g),m). Una progressione aritmetica r(modm)r \pmod{m} è incompatibile con Carmichael se e solo se soddisfa almeno una delle seguenti condizioni:

  • (g,2ϕ(g))>1(g, 2\phi(g)) > 1
  • hr1h \nmid r - 1
  • 36m36 | m, r3(mod12)r \equiv 3 \pmod{12}, e r/g5r/g \equiv 5 o 7(mod12)7 \pmod{12}

Altrimenti è detta compatibile con Carmichael.

Struttura del Metodo Principale

Costruzione di Insiemi di Primi Duali

L'innovazione chiave di questo articolo è l'utilizzo di due gruppi di primi anziché il singolo gruppo del metodo AGP:

Per interi appropriati k1,k2,L1,L2k_1, k_2, L_1, L_2, costruiamo:

  • P1:={dk1+1:dD1}P_1 := \{dk_1 + 1 : d \in D_1\}
  • P2:={dk2+1:dD2}P_2 := \{dk_2 + 1 : d \in D_2\}

dove D1,D2D_1, D_2 sono selezionati rispettivamente dai divisori di L1,L2L_1, L_2.

Gestione dei Vincoli Modulari

Cerchiamo Π1,Π2\Pi_1, \Pi_2 che soddisfino:

  • Π11(modL1)\Pi_1 \equiv 1 \pmod{L_1} e Π11m(modk2L2)\Pi_1 \equiv \frac{1}{m} \pmod{k_2L_2}
  • Π21(modL2)\Pi_2 \equiv 1 \pmod{L_2} e Π21m(modk1L1)\Pi_2 \equiv \frac{1}{m} \pmod{k_1L_1}
  • Π1,Π21(modϕ(m))\Pi_1, \Pi_2 \equiv 1 \pmod{\phi(m)}

Allora mΠ1Π2m\Pi_1\Pi_2 soddisfa il criterio di Korselt.

Punti di Innovazione Tecnica

1. Metodo di Fuga dai Sottogruppi

Utilizziamo il grande crivello migliorato per gestire caratteri di ordine fisso, evitando che gli insiemi di primi si concentrino in sottogruppi propri:

Proposizione 6 (Grande Crivello Migliorato): Sia MM un insieme di interi positivi privi di potenze rr-esime, QQ un insieme finito di interi positivi. Allora qQχmodq,χr=χ0mMχ(m)2Q11rM4+QM\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. Controllo dell'Equidistribuzione

Attraverso la Proprietà 7* assicuriamo l'equidistribuzione degli insiemi di primi sotto l'azione dei caratteri: Per il prodotto di al massimo yρy^{\rho} elementi di QiQ_i, per ogni carattere non principale χmodn\chi \bmod n e numero reale β\beta, esistono almeno yθy3ι\frac{y^{\theta}}{y^{3\iota}} elementi qQ3iq \in Q_{3-i} tali che βqβ12yρ+ι|\beta_q - \beta| \geq \frac{1}{2y^{\rho+\iota}}.

3. Strumenti di Teoria Algebrica dei Numeri

Utilizziamo la legge di reciprocità rr-esima e la teoria dei caratteri ideali per affrontare i problemi di distribuzione dei caratteri di ordine superiore.

Configurazione Sperimentale

Scelta dei Parametri

  • yy: parametro grande, determina la grandezza dei numeri di Carmichael
  • ι\iota: numero positivo molto piccolo, determina i termini di errore
  • δ=16\delta = \frac{1}{6}, θ=162ι\theta = \frac{1}{6} - 2\iota, ρ=1242ι\rho = \frac{1}{24} - 2\iota
  • κ,T\kappa, T: costanti intere grandi (ad esempio 100)

Procedura di Costruzione

  1. Costruzione degli insiemi di primi Q1,Q2Q_1, Q_2 soddisfacenti 8 proprietà
  2. Selezione dei parametri k1,k2k_1, k_2 soddisfacenti condizioni di coprimalità e copertura
  3. Costruzione dei prodotti ausiliari A1,A2A_1, A_2 per gestire i vincoli modulo LL
  4. Metodo dei caratteri per costruire prodotti soddisfacenti i vincoli modulo kk

Risultati Sperimentali

Teorema Principale

Teorema 1: Sia r(modm)r \pmod{m} una progressione aritmetica compatibile con Carmichael. Allora per ogni ϵ>0\epsilon > 0 e xx sufficientemente grande, esistono più di x1/168ϵx^{1/168-\epsilon} numeri di Carmichael minori di xx congrui a r(modm)r \pmod{m}.

Corollari Chiave

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

Schema di Prova: Utilizziamo la sequenza di primi costruita da Erdős {qi}\{q_i\}, il cui prodotto QQ soddisfa logϕ(Q)Q-\log\frac{\phi(Q)}{Q} \to \infty, combinato con il Teorema 1 per ottenere numeri di Carmichael divisibili per QQ.

Miglioramento della Densità

Per il caso in cui il primo rr non divide mm, il nostro metodo fornisce il limite inferiore x1/168ϵx^{1/168-\epsilon}, migliorando:

  • Quando rr è residuo quadratico: il risultato di Matomäki
  • Quando rr è non-residuo quadratico: il risultato x16logloglogxx^{\frac{1}{6\log\log\log x}} di Pomerance

Lavori Correlati

Sviluppo Storico

  1. Šimerka (1885): Scoperta del primo numero di Carmichael noto, 561
  2. Korselt (1899): Formulazione del criterio discriminante per i numeri di Carmichael
  3. AGP (1994): Prova dell'infinità dei numeri di Carmichael
  4. Wright (2013): Prova che la progressione aritmetica a(modq)a \pmod{q} contiene infiniti numeri di Carmichael quando (a,q)=1(a,q)=1

Contributi di Questo Articolo

  • Completezza: Affronta il difficile caso (a,q)>1(a,q)>1
  • Uniformità: Fornisce una classificazione completa per tutte le progressioni aritmetiche
  • Tecnicità: Sviluppa nuovi strumenti di crivello e teoria dei caratteri

Conclusioni e Discussione

Conclusioni Principali

  1. Il problema della distribuzione dei numeri di Carmichael nelle progressioni aritmetiche è completamente risolto
  2. Viene fornito un criterio discriminante pratico
  3. È risolto l'importante problema proposto da AGP

Limitazioni

  1. La costante 1168\frac{1}{168} non è ottimale e può essere migliorata mediante crivelli più raffinati
  2. La complessità del metodo è considerevole, coinvolgendo molteplici livelli tecnici
  3. Per applicazioni concrete, la scelta dei parametri richiede un attento bilanciamento

Direzioni Future

  1. Ottimizzazione della Costante: Miglioramento del limite inferiore di densità
  2. Generalizzazione e Applicazioni: Estensione a pseudoprimi di Fermat e oggetti correlati
  3. Aspetti Computazionali: Sviluppo di algoritmi efficienti per la costruzione di numeri di Carmichael

Valutazione Approfondita

Punti di Forza

  1. Completezza Teorica: Risolve completamente il problema fondamentale della distribuzione dei numeri di Carmichael nelle progressioni aritmetiche
  2. Innovazione Metodologica: Il metodo dei due insiemi di primi rappresenta uno sviluppo importante del metodo AGP
  3. Profondità Tecnica: Integra efficacemente crivelli, teoria dei caratteri e teoria algebrica dei numeri
  4. Solidità dei Risultati: Non solo prova l'esistenza, ma fornisce anche limiti inferiori quantitativi di densità

Insufficienze

  1. Complessità Tecnica: La prova coinvolge numerosi dettagli tecnici con elevata soglia di comprensione
  2. Ottimizzazione della Costante: La costante 1168\frac{1}{168} ha margini di miglioramento
  3. Praticità: Per la costruzione concreta di numeri di Carmichael, l'applicabilità pratica del metodo è limitata

Impatto

  1. Contributo Teorico: Risolve un problema fondamentale della teoria dei numeri con significativo valore teorico
  2. Significato Metodologico: Il metodo dei due insiemi di primi potrebbe applicarsi ad altri problemi analoghi
  3. Ricerca Successiva: Apre nuove direzioni per lo studio dei numeri di Carmichael e degli pseudoprimi correlati

Ambiti di Applicazione

  1. Ricerca Teorica: Ulteriore sviluppo della teoria della distribuzione dei numeri di Carmichael
  2. Crittografia: Comprensione della distribuzione degli pseudoprimi nei sistemi crittografici
  3. Teoria Computazionale dei Numeri: Fondamenti teorici per la generazione efficiente di numeri di Carmichael

Bibliografia

L'articolo cita 56 importanti riferimenti, principalmente includenti:

  • Lavori fondamentali di Alford, Granville e Pomerance
  • Contributi di Wright sulla distribuzione dei numeri di Carmichael nelle progressioni aritmetiche
  • Risultati classici di teoria analitica dei numeri come il teorema di Bombieri-Vinogradov
  • Letteratura rilevante sulla teoria del crivello

Sintesi: Questo è un articolo di alta qualità che risolve un importante problema della teoria dei numeri. Attraverso il metodo innovativo dei due insiemi di primi, caratterizza completamente la distribuzione dei numeri di Carmichael nelle progressioni aritmetiche, possedendo significativo valore teorico e rilevanza metodologica.