On common values of $F_n$ and Nathanson's totient function $\Phi(m)$

Sintesi Tecnica: Valori Comuni di $F_n$ e della Funzione Totiente di Nathanson $\Phi(m)$

Enunciato del Probleo
Questo articolo affronta un'equazione diofantica specifica posta recentemente da Chatterjee, l'autore, e Mohan. L'obiettivo è determinare tutte le soluzioni intere $(n, m)$ per l'equazione:
$$F_n = \Phi(m)$$
dove $F_n$ indica l' $n$-esimo numero di Fibonacci (definito da $F_0=0, F_1=1, F_{n+2}=F_{n+1}+F_n$) e $\Phi(m)$ è la funzione totiente di Nathanson. La funzione $\Phi(m)$ conta il numero di sottoinsiemi non vuoti $A \subseteq \{1, 2, \dots, m\}$ tali che $\gcd(A)$ sia primo rispetto a $m$. Mentre la letteratura precedente ha studiato estensivamente le equazioni diofantiche che coinvolgono i numeri di Fibonacci e le potenze, o le somme di numeri di Fibonacci, questo lavoro si concentra specificamente sull'intersezione tra i numeri di Fibonacci e le proprietà aritmetiche di $\Phi(m)$.

Metodologia
La dimostrazione del teorema principale si basa su una combinazione di teoria analitica dei numeri e verifica computazionale, utilizzando i seguenti strumenti:

1. Limiti Inferiori per Forme Lineari in Logaritmi: Lo strumento teorico primario è il teorema di Matveev, che fornisce limiti inferiori espliciti per le forme lineari nei logaritmi di numeri algebrici. Questo viene utilizzato per stabilire un limite superiore iniziale per le variabili dell'equazione.
2. Metodi di Riduzione: Per ridurre il limite superiore inizialmente ampio a un intervallo computazionalmente gestibile, l'autore impiega la versione Dujella–Pethő del metodo di riduzione di Baker–Davenport. Ciò comporta l'analisi delle espansioni in frazioni continue e l'uso del Lemma 2.2 per restringere i limiti sulle variabili.
3. Proprietà di $\Phi(m)$ e $F_n$: La dimostrazione utilizza proprietà specifiche delle funzioni coinvolte, tra cui:
   • La proprietà di divisibilità per cui $6 \mid \Phi(n)$ per $n \ge 3$ (Lemma 2.4), che implica $6 \mid F_n$ e conseguentemente $12 \mid n$.
   • Limiti inferiori per $\Phi(m)$ stabiliti nel Teorema 2.3.
   • Un lemma ausiliario (Lemma 3.1) che limita la somma delle potenze di 2 pesate dalla funzione di Möbius per $m$ grande.
4. Verifica Computazionale: Una volta ridotti i limiti teorici a un intervallo finito, l'autore esegue una ricerca esaustiva (brute-force) utilizzando codice Python per verificare l'assenza di soluzioni all'interno degli intervalli rimanenti.

Contributi Chiave e Risultati
L'articolo fornisce una soluzione completa all'equazione diofantica $F_n = \Phi(m)$. Il risultato principale è enunciato nel Teorema 1.2:

Teorema 1.2: L'equazione diofantica $F_n = \Phi(m)$ ha solo le seguenti soluzioni:
$$(n, m) = (1, 1), (2, 1), (3, 2)$$

La dimostrazione procede per contraddizione, assumendo $m \ge 79$. Stabilendo che $n$ deve essere un multiplo di 12, l'autore deriva una disuguaglianza che coinvolge forme lineari in logaritmi. Attraverso l'applicazione iterativa del metodo di riduzione, il limite superiore per il parametro $k$ (dove $n=12k$) è ridotto da circa $1.91 \times 10^{14}$ a $k \le 163$. Una ricerca computazionale finale conferma che non esistono soluzioni per $79 \le m < 12k$. I casi rimanenti in cui $1 \le m \le 78$ sono verificati direttamente, fornendo le tre soluzioni elencate sopra.

Significatività
L'articolo rivendica la propria significatività risolvendo completamente il problema specifico di trovare valori comuni tra la successione di Fibonacci e la funzione totiente di Nathanson. Esso estende il corpo di lavori sulle equazioni diofantiche esponenziali che coinvolgono i numeri di Fibonacci, che precedentemente si erano concentrati su somme, differenze e potenze di numeri di Fibonacci. Il lavoro dimostra l'efficacia della combinazione dei limiti di Matveev con il metodo di riduzione di Dujella–Pethő nel risolvere equazioni che coinvolgono funzioni aritmetiche non standard come $\Phi(m)$. L'autore nota che il manoscritto non contiene dati associati e dichiara l'assenza di conflitti di interesse.