🔢 mathematics

On a problem on a generalization of Euler's totient function

Questo articolo dimostra la congettura di Büyükaşık et al. secondo cui l'insieme degli interi $k \geq 1$ per i quali $\varphi_1(n)$ divide $\varphi_k(n)$ per ogni $n$ è esattamente $\{1, 3, 15\}$ , utilizzando una strategia di dimostrazione sviluppata attraverso estese interazioni con GPT-5.5 Pro.

Autori originali: John M. Campbell

Pubblicato 2026-06-02

📖 4 min di lettura🧠 Approfondimento

CC BY 4.0

Autori originali: John M. Campbell

Articolo originale sotto licenza CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Questa è una spiegazione generata dall'IA dell'articolo qui sotto. Non è stata scritta né approvata dagli autori. Per precisione tecnica, consulta l'articolo originale. Leggi il disclaimer completo

Immagina di avere una scatola gigante e infinita di piastrelle numerate, da 1 a $n$ . Alcune di queste piastrelle sono "speciali" perché non condividono alcun fattore comune con il numero $n$ (tranne l'1). I matematici le chiamano numeri "coprimi".

Se hai 10 piastrelle, quelle speciali sono 1, 3, 7 e 9, quindi la risposta è 4. Questo è la Funzione Totiente di Eulero ( $\phi$ ). Semplicemente conta quante piastrelle speciali ci sono nella scatola.

Il Nuovo Gioco: Sommare le Potenze

In questo articolo, l'autore (John Campbell) e alcuni colleghi stanno giocando a un gioco più complesso con queste stesse piastrelle speciali. Invece di limitarsi a contarle, si chiedono: "Cosa succede se eleviamo ciascuna piastrella speciale a una potenza $k$ e le sommiamo tutte?"

Se $k=0$ , stiamo solo contando (la regola originale).
Se $k=1$ , sommiamo i numeri: $1 + 3 + 7 + 9$ .
Se $k=2$ , le eleviamo al quadrato: $1^2 + 3^2 + 7^2 + 9^2$ .

Questa somma è chiamata $\phi_k(n)$ .

La Grande Domanda: Il "Club della Divisibilità"

I ricercatori hanno posto una domanda molto specifica su queste somme. Volevano trovare un club speciale di numeri (chiamiamolo club $D_1$ ).

La Regola per il Club:
Un numero $k$ entra nel club se, per ogni singolo possibile dimensione della scatola $n$ , la somma delle piastrelle speciali elevate alla potenza 1 ( $\phi_1$ ) divide sempre esattamente la somma delle piastrelle speciali elevate alla potenza $k$ ( $\phi_k$ ).

Pensalo in questo modo: se hai un mucchio di biscotti ( $\phi_1$ ), puoi sempre dividere un mucchio più grande di biscotti ( $\phi_k$ ) in gruppi esatti e interi del primo mucchio, indipendentemente da quanti biscotti ci siano nel mucchio originale?

Il Mistero

Matematici precedenti (Büyükaşık et al.) hanno fatto un lavoro pesante. Hanno dimostrato che il club è finito (non continua all'infinito) e hanno effettuato alcuni calcoli informatici che suggerivano che il club avesse solo tre membri: 1, 3 e 15.

Hanno detto: "Siamo sicuri al 99% che questi siano gli unici, ma non possiamo dimostrarlo".

La Soluzione: Un Team Umano-IA

John Campbell è intervenuto per risolvere il mistero. Ha utilizzato un mix di strumenti matematici profondi (come i numeri di Bernoulli, che sono come codici segreti nascosti nei modelli numerici) e un partner molto particolare: GPT-5.5 Pro, un'IA avanzata.

Come hanno risolto il problema:

Il Lavoro Investigativo: Campbell non ha fatto solo supposizioni. Ha usato una "trappola" logica. Ha dimostrato che se un numero $k$ è nel club, deve seguire regole molto rigide.
Il Requisito "Dispari": Per prima cosa, ha dimostrato che qualsiasi numero nel club deve essere un numero dispari. I numeri pari sono stati espulsi immediatamente.
Il Filtro "Primo": Ha poi utilizzato una serie di test logici che coinvolgono i numeri primi (numeri divisibili solo per 1 e se stessi). Ha dimostrato che se un numero è troppo grande o ha la "forma" sbagliata, fallisce il test di divisibilità per una specifica dimensione della scatola $n$ .
L'Eliminazione:
- Ha dimostrato che se $k$ è nel club, allora $k+1$ deve essere una potenza di 2 (come 2, 4, 8, 16, 32...).
- Questo ha ristretto la lista a numeri come 3, 7, 15, 31, 63, ecc.
- Poi, ha usato schemi più complessi per dimostrare che 7, 31, 63 e tutti i numeri più grandi falliscono il test.
- Solo 1, 3 e 15 sono sopravvissuti alla prova.

Il Risultato

L'articolo conclude che il "Club della Divisibilità" ( $D_1$ ) contiene esattamente i numeri {1, 3, 15}. Nessun altro, nessun altro meno.

Una Nota sull' "IA"

L'autore è molto trasparente su come ha proceduto. Ammette di aver avuto estese conversazioni con un'IA (GPT-5.5 Pro) per aiutarlo a pianificare i passaggi della dimostrazione. Tuttavia, sottolinea che l'IA era solo uno strumento. L'autore ha fatto tutto il lavoro pesante di controllo, correzione e verifica di ogni singolo passaggio. Si assume la piena responsabilità della matematica, assicurando che la dimostrazione finale sia solida e verificata dall'uomo.

In breve: L'articolo risolve un enigma di lunga data riguardante un tipo specifico di schema numerico, dimostrando che solo tre numeri specifici possiedono un unico "superpotere di divisibilità", utilizzando un connubio tra matematica tradizionale e assistenza da IA.

Sintesi Tecnica di "On a problem on a generalization of Euler's totient function"

Enunciato del Problema
Questo articolo affronta una congettura riguardante una famiglia di generalizzazioni della funzione totiente di Eulero, $\phi(n)$ , introdotta da B¨uy¨uka¸sik et al. (2024). La funzione generalizzata è definita come:
$\phi_k(n) = \sum_{\substack{1 \le a \le n \\ (a,n)=1}} a^k$
dove $\phi_0(n) = \phi(n)$ . Gli autori definiscono l'insieme $D_s$ per un intero non negativo fissato $s$ come:
$D_s = \{k \ge s : \forall n \ge 1, \phi_s(n) \mid \phi_k(n)\}$
B¨uy¨uka¸sik et al. hanno dimostrato che $D_s$ è finito per ogni $s \ge 0$ e hanno congetturato che $D_1 = \{1, 3, 15\}$ . Sebbene avessero fornito evidenze computazionali, la congettura rimaneva aperta. L'obiettivo primario di questo lavoro è fornire una prova rigorosa che $D_1 = \{1, 3, 15\}$ .

Metodologia
La dimostrazione procede stabilendo l'inclusione inversa $D_1 \subseteq \{1, 3, 15\}$ , poiché l'inclusione $\{1, 3, 15\} \subseteq D_1$ era già stata stabilita da B¨uy¨uka¸sik et al. La metodologia si basa su una sintesi di strumenti classici della teoria dei numeri e un nuovo argomento strutturale che coinvolge i numeri di Bernoulli e i polinomi.

Riduzione agli Interi Dispari: Gli autori dimostrano innanzitutto che se $k \in D_1$ e $k > 1$ , allora $k$ deve essere un numero intero dispari. Ciò deriva dalla condizione $\phi_1(3) \mid \phi_k(3)$ , che implica $3 \mid (1 + 2^k)$ , costringendo $k$ a essere dispari.
Somme di Bernoulli e Integrità: Il nucleo dell'argomento riguarda la sequenza $C_k(v)$ , definita tramite i numeri di Bernoulli $B_{2j}$ :
$C_k(v) = \frac{2}{k+1} \sum_{j=0}^{(k-1)/2} \binom{k+1}{2j} B_{2j} (1-2j)^v$
Gli autori dimostrano un lemma chiave: se $C_k(v)$ è un intero per ogni $v \ge 1$ , allora per ogni intero pari $h \in [2, k-1]$ , la quantità $\frac{2k!}{h!}B_h$ deve essere un intero.
Costruzione di Interi Liberi da Quadrati: Per stabilire che $C_k(v) \in \mathbb{Z}$ per ogni $v$ , gli autori utilizzano il teorema di Dirichlet sui primi in progressioni aritmetiche. Costruiscono interi liberi da quadrati $n$ composti da numeri primi congruenti a $1 \pmod L$ (dove $L$ è il minimo comune multiplo dei denominatori di termini specifici legati ai numeri di Bernoulli). Analizzando la divisibilità di $\phi_k(n)/\phi_1(n)$ per questi specifici $n$ , deducono che $C_k(\omega(n))$ deve essere un intero, dove $\omega(n)$ è il numero di fattori primi distinti di $n$ . Poiché $\omega(n)$ può essere qualsiasi intero $v \ge 1$ , $C_k(v)$ è un intero per ogni $v$ .
Applicazione del Teorema di von Staudt–Clausen: Utilizzando la condizione di integrità derivata nel passaggio precedente, gli autori applicano il teorema di von Staudt–Clausen, che caratterizza i denominatori dei numeri di Bernoulli. Ciò conduce a una proprietà critica: per ogni intero pari $h \in [2, k-1]$ e per ogni numero primo dispari $p$ tale che $(p-1) \mid h$ , deve esistere un multiplo di $p$ nell'insieme $\{h+1, \dots, k\}$ .
Contraddizioni Modulari: Gli autori traducono questa proprietà in una disuguaglianza stretta che coinvolge i residui modulari: per ogni numero primo dispari $p \le k$ $p \leq k$ ,
$k \pmod p < k \pmod{p-1}$
Testando specifici numeri primi e analizzando la struttura di $k+1$ $k + 1$ , eliminano sistematicamente le possibilità per $k$ $k$ :
- Dimostrano che $k+1$ non può avere alcun divisore primo dispari, implicando $k+1 = 2^a$ .
- Mostrano che $a$ deve essere pari, portando a $k = 2^{2\lambda} - 1$ .
- Attraverso l'aritmetica modulare con i numeri primi $p=7, 11, 29$ , dimostrano che $\lambda \ge 3$ porta a contraddizioni con la disuguaglianza stretta derivata sopra.

Contributi Chiave e Risultati

Dimostrazione della Congettura: Il lavoro prova con successo che $D_1 = \{1, 3, 15\}$ .
Lemma sulle Somme di Bernoulli: Gli autori stabiliscono una nuova connessione tra l'integrità di specifiche somme di Bernoulli $C_k(v)$ e le proprietà di divisibilità di fattoriali e numeri di Bernoulli.
Caratterizzazione Strutturale: Il lavoro fornisce una caratterizzazione dettagliata degli interi $k$ per i quali $\phi_1(n)$ divide $\phi_k(n)$ , riducendo il problema a un insieme finito di vincoli modulari.

Significato e Rivendicazioni
Il lavoro risolve una congettura aperta nella letteratura recente (B¨uy¨uka¸sik et al., 2024). Gli autori dichiarano esplicitamente che la congettura era rimasta aperta prima del loro lavoro. Una caratteristica distintiva della metodologia del paper è la sua dipendenza da "estese interazioni con GPT-5.5 Pro" durante le fasi esplorative e di sviluppo della dimostrazione. L'autore nota che, sebbene siano stati utilizzati suggerimenti dall'IA, tutto il contenuto matematico è stato sostanzialmente revisionato, corretto e verificato indipendentemente dall'autore umano, il quale assume la piena responsabilità.

Il lavoro si conclude con modestia, suggerendo che estendere queste tecniche per valutare $D_s$ per $s > 1$ rappresenti una naturale direzione per la ricerca futura, senza proporre specifiche applicazioni sperimentali o implicazioni più ampie oltre l'ambito di questo problema aritmetico.