The spanning method and the Lehmer totient problem

Questo articolo introduce il metodo di "spanning" per analizzare le equazioni della forma $tf(n)=n-k$ e ne dimostra l'applicazione al problema di Lehmer, fornendo una stima inferiore per il numero di interi $n$ tali che $t\varphi(n)+1=n$ per qualche $t\in\mathbb{N}$.

L'essenziale

Ecco una spiegazione semplice e creativa del paper, pensata per chiunque, anche senza un background matematico avanzato.

🌟 Il Problema: Un Enigma Matematico Vecchio di 90 Anni

Immagina di avere una macchina speciale chiamata Funzione Totiente (chiamiamola $\phi$). Se gli dai un numero, questa macchina ti dice quanti numeri più piccoli di quello sono "amici" (coprimi) con lui.

• Se dai alla macchina un numero primo (come 7), lei ti risponde: "6". Perché tutti i numeri da 1 a 6 sono amici di 7.
• Se dai un numero composto (come 6), lei ti risponde: "2" (solo 1 e 5 sono amici di 6).

Nel 1932, un matematico di nome Lehmer ha fatto una domanda molto strana:

"Esiste un numero composto (non primo) per cui la risposta della macchina è esattamente 'uno meno del numero stesso'?"

In termini matematici: esiste un numero $n$ (che non è primo) tale che $\phi(n)$ divide $(n-1)$?
Per 90 anni, nessuno ha trovato un esempio di questo numero, ma nessuno ha nemmeno dimostrato che non esista. È come cercare un unicorno: potrebbe esserci, ma è molto difficile da trovare.

🕸️ La Nuova Idea: Il "Metodo dell'Allineamento" (Spanning Method)

L'autore, Theophilus Agama, non cerca l'unicorno direttamente. Invece, costruisce una rete (o un "allineamento") per catturare tutti i numeri che potrebbero essere vicini alla soluzione.

Immagina di voler contare quanti pesci ci sono in un lago. Invece di tuffarti e cercare uno per uno, l'autore lancia una rete speciale.

1. La Rete: L'autore definisce una regola per "allineare" i numeri. Se un numero $n$ soddisfa l'equazione $t \cdot \phi(n) + 1 = n$ (dove $t$ è un numero intero qualsiasi), allora quel numero viene "catturato" nella rete.
2. Il Problema della Rete: La funzione $\phi$ è un po' "scolastica": funziona solo con numeri interi e fa salti improvvisi. È difficile usare la matematica avanzata (come le integrali) su qualcosa che salta.

🧱 Il Trucco: Il "Ponte" Continuo

Per risolvere il problema, l'autore costruisce un ponte chiamato Funzione Totiente Frazionaria ($\tilde{\phi}$).

• Immagina che la funzione originale sia una scala a pioli (salti da un numero all'altro).
• L'autore riempie gli spazi vuoti tra i pioli con una rampa liscia.
• Ora, invece di salti, abbiamo una linea continua che sale dolcemente. Questo permette di usare strumenti matematici potenti (come l'integrazione) che normalmente non funzionerebbero su una scala a pioli.

⚖️ La Bilancia: Contare senza Contare

Una volta costruita la rete e il ponte liscio, l'autore usa una bilancia matematica (un'uguaglianza basata sull'integrazione) per pesare la rete.

• La bilancia dice: "Se la rete è abbastanza pesante (cioè contiene molti numeri), allora deve esserci una soluzione".
• L'autore calcola quanto pesa la rete. Usa due strumenti famosi della matematica:
  1. Il Teorema dei Numeri Primi: Ci dice quanti numeri primi ci sono fino a un certo punto.
  2. La Formula di Mertens: Una regola su come i numeri primi si comportano insieme.

🚀 Il Risultato: La Prova dell'Esistenza

Ecco il colpo di scena:
L'autore dimostra che la rete contiene così tanti numeri che, se non ci fosse almeno un numero composto che soddisfa la regola di Lehmer, la matematica si romperebbe!

Immagina di dire: "Se non ci fosse un unicorno, allora il cielo dovrebbe essere verde". Ma il cielo è blu. Quindi, l'unicorno deve esistere (o almeno, il nostro ragionamento dice che la rete è piena di candidati così tanti che è impossibile che nessuno di loro sia la soluzione).

In termini tecnici, l'autore dimostra che il numero di candidati cresce all'infinito in modo così rapido che, se non esistesse almeno un numero composto che risolve il problema, si arriverebbe a una contraddizione con la teoria dei numeri (il Teorema dei Numeri Primi).

🎯 In Sintesi

1. Il Problema: Cerchiamo un numero composto speciale che Lehmer ha cercato per decenni.
2. L'Innovazione: Invece di cercare il numero, l'autore costruisce una "rete" matematica e un "ponte" liscio per studiare l'insieme di tutti i numeri possibili.
3. La Scoperta: La rete è così piena di numeri che è matematicamente impossibile che non contenga almeno un numero composto che risolve l'enigma.
4. Il Significato: Anche se non abbiamo ancora trovato il numero esatto (il "dove" è), abbiamo dimostrato che deve esistere (il "che" è). È come dire: "Non so ancora dove si nasconde il tesoro, ma so per certo che c'è una mappa che porta a un tesoro, quindi il tesoro esiste".

È un lavoro che mescola l'arte di costruire ponti (analisi matematica) con la caccia al tesoro (teoria dei numeri), usando vecchie mappe (i numeri primi) per trovare qualcosa di nuovo.

Sommario tecnico

Ecco un riassunto tecnico dettagliato del paper "The Spanning Method and the Lehmer Totient Problem" di Theophilus Agama, redatto in italiano.

Titolo del Paper

Il Metodo di Spanning e il Problema della Totiente di Lehmer

1. Il Problema: La Totiente di Lehmer

Il lavoro si concentra su uno dei problemi aperti più famosi e resistenti della teoria dei numeri moltiplicativa, formulato da D. H. Lehmer nel 1932:

Domanda: Esiste un intero composto $n$ tale che la sua funzione totiente di Eulero $\phi(n)$ divida $(n-1)$?

Sebbene non sia stato dimostrato che tali numeri non esistano, né è stato trovato un controesempio, la ricerca ha stabilito forti restrizioni condizionali:

• Qualsiasi soluzione composta deve essere dispari, priva di quadrati (squarefree) e possedere un numero elevato di fattori primi distinti (almeno 7, poi alzato a 14 e oltre da Cohen e Hagis).
• I lavori recenti (es. Luca e Pomerance) hanno fornito limiti superiori rigorosi per la funzione di conteggio di tali numeri, suggerendo che se esistono, sono estremamente rari.

2. Metodologia: Il "Metodo di Spanning" (Metodo di Copertura)

L'autore introduce una nuova strategia analitico-combinatoria chiamata "Spanning Method" (Metodo di Spanning o Copertura). L'obiettivo è trasformare una condizione di divisibilità puramente moltiplicativa in un problema di conteggio di insiemi di interi "coperti" (spanned) lungo una funzione.

A. Riformulazione del Problema

L'equazione di divisibilità $\phi(n) \mid (n-1)$ viene riscritta come:
$$t\phi(n) + 1 = n$$
dove $t \in \mathbb{N}$ è un multiplo. L'insieme delle soluzioni è definito come l'insieme degli interi $n$ che sono "1-step spanned" lungo la funzione $\phi$.

B. Estensione della Funzione Totiente (Funzione Invariante Frazionaria)

Il principale ostacolo all'applicazione di tecniche analitiche continue alla funzione $\phi(n)$ (definita solo sugli interi) è la sua mancanza di regolarità. Per superare ciò, l'autore definisce la funzione invariante frazionaria della totiente di Eulero, $\tilde{\phi}: [1, \infty) \to \mathbb{R}$:
$$\tilde{\phi}(a) = \phi(\lfloor a \rfloor) + \{a\}$$
dove $\lfloor a \rfloor$ è la parte intera e $\{a\}$ è la parte frazionaria.

• Proprietà chiave: $\tilde{\phi}$ coincide con $\phi$ sugli interi, è continua a destra (right-continuous), ha variazione limitata su intervalli $[x, x+1)$ e possiede limiti a sinistra. Questa regolarità permette di applicare l'integrazione di Stieltjes-Lebesgue.

C. Disuguaglianza di Spanning e Integrazione

Il metodo utilizza l'integrazione per parti (Stieltjes-Lebesgue) per collegare la cardinalità dell'insieme degli interi coperti $|S_k(f, s)|$ alla somma parziale della funzione su tale insieme.
Si definisce la misura a livello $s$ ($M_f(s, k)$) come la somma parziale di $f(n)$ sugli interi coperti $\le s$.
La Disuguaglianza di Spanning (Proposizione 4.3) stabilisce che, per funzioni con le proprietà di regolarità di $\tilde{\phi}$:
$$|S_k(f, s)| \ge \frac{1}{f(s)} \sum_{n \in S_k(f), n \le s} f(n) + \dots$$
Questa disuguaglianza fornisce un limite inferiore per il numero di soluzioni in funzione della somma dei valori della funzione.

3. Risultati Principali

A. Limite Inferiore Quantitativo (Lemma 6.1)

Combinando la disuguaglianza di spanning con stime classiche sulla distribuzione dei numeri primi (Teorema dei Numeri Primi, Formula di Mertens e disuguaglianze precise per la somma dei primi), l'autore dimostra il seguente limite inferiore asintotico per il numero di soluzioni (sia prime che composte) dell'equazione $t\phi(n) + 1 = n$:

$$\#\{n \le s \mid t\phi(n) + 1 = n, \exists t \in \mathbb{N}\} \ge \frac{s}{2 \log s} \prod_{p \mid \lfloor s \rfloor} \left(1 - \frac{1}{p}\right)^{-1} - \frac{3}{2}e^\gamma$$

dove $\gamma$ è la costante di Eulero-Mascheroni. Questo risultato quantifica quanto i valori primi (dove $\phi(p)=p-1$) contribuiscano all'insieme delle soluzioni.

B. Esistenza di una Soluzione Composta (Teorema 6.2)

Il risultato più significativo è la dimostrazione per assurdo dell'esistenza di almeno un intero composto $n$ tale che $\phi(n) \mid (n-1)$.

• Logica della dimostrazione: Si assume per assurdo che non esistano soluzioni composte. Di conseguenza, tutte le soluzioni contate nel limite inferiore del Lemma 6.1 dovrebbero essere numeri primi.
• Contraddizione: Si costruisce un insieme infinito di numeri composti $C$ (prodotti di primi consecutivi). Per questi numeri, il termine produttivo $\prod (1-1/p)^{-1}$ diventa sufficientemente grande da far sì che il limite inferiore superi il numero totale di primi $\pi(s)$ previsti dal Teorema dei Numeri Primi per $s \to \infty$.
• Poiché il numero di soluzioni stimate è maggiore del numero totale di primi disponibili, deve esistere necessariamente almeno una soluzione composta.

4. Contributi Chiave e Novità

1. Cambio di Prospettiva: Trasformazione di un problema di divisibilità moltiplicativa in un problema di conteggio additivo-analitico tramite il concetto di "insieme coperto" (spanned set).
2. Costruzione Analitica: L'introduzione della funzione $\tilde{\phi}$ che fornisce la regolarità minima necessaria (continuità a destra, variazione limitata) per applicare strumenti di calcolo integrale (Stieltjes) a una funzione aritmetica discreta, mantenendo al contempo la fedeltà aritmetica.
3. Sintesi Quantitativa: Integrazione efficace di stime moderne sulla somma dei primi (Axler) con risultati classici (Mertens, Teorema dei Numeri Primi) per ottenere limiti inferiori espliciti e utilizzabili.

5. Significato e Implicazioni

Il paper rappresenta un tentativo innovativo di aggredire il Problema di Lehmer, che rimane irrisolto da quasi un secolo.

• Metodologico: Dimostra che l'estensione di funzioni aritmetiche a funzioni continue a tratti (cadlag) può sbloccare nuove vie di attacco per problemi di teoria dei numeri che sembrano puramente discreti.
• Teorico: Sebbene il paper non fornisca un esempio esplicito del numero composto (la dimostrazione è esistenziale tramite contraddizione), stabilisce che l'ipotesi che "non esistano soluzioni composte" è incompatibile con le attuali conoscenze sulla distribuzione dei numeri primi e sulle proprietà della funzione totiente.
• Futuro: Il metodo di spanning è proposto come uno strumento generale applicabile ad altre funzioni aritmetiche moltiplicative e a problemi di divisibilità simili.

In sintesi, l'autore utilizza un approccio ibrido (analitico-combinatorio) per dimostrare che, date le attuali stime sulla densità dei numeri primi, l'insieme delle soluzioni all'equazione di Lehmer non può essere composto esclusivamente da numeri primi, implicando l'esistenza di almeno un controesempio composto.