If a machine did it, it is probably transcendental (even $p$-adically)

Sintesi Tecnica: "Se una macchina l'ha fatto, è probabilmente trascendente (anche p-adicamente)"

Enunciato del Problema
Il saggio investiga la natura algebrica dei numeri $p$-adici le cui espansioni in frazioni continue corrispondono a classi specifiche di parole. Mentre le frazioni continue nell'ambito reale ($\mathbb{R}$) forniscono un ponte ben consolidato tra la struttura combinatoria delle parole e le proprietà algebriche dei numeri (ad esempio, il teorema di Lagrange che lega le parole periodiche ai numeri irrazionali quadratici), l'ambito $p$-adico ($\mathbb{Q}_p$) presenta significative sfide strutturali.

La questione centrale affrontata è se famiglie di "parole strutturate" (generalizzazioni di parole periodiche, automatiche o palindromiche) corrispondano a numeri algebrici di grado superiore a 2 in $\mathbb{Q}_p$. Nel caso reale, i risultati di Bugeaud e Adamczewski-Bugeaud suggeriscono che tali parole strutturate generino generalmente numeri trascendenti, con le uniche eccezioni algebriche rappresentate dai quadratici (periodici) o dai razionali (finiti). Gli autori mirano a stabilire un risultato analogo per i numeri $p$-adici, superando l'assenza di una funzione floor canonica e l'assenza di un analogo completo del teorema di Lagrange nel contesto $p$-adico.

Metodologia
Gli autori adattano la strategia utilizzata da Bugeaud nell'ambito reale, utilizzando il Teorema del Sottospazio $p$-adico (specificamente la versione di Schlickewei) come strumento primario. La metodologia procede come segue:

1. Classi di Parole: Lo studio si concentra su due generalizzazioni delle parole periodiche definite da Bugeaud:

   • Parole $\spadesuit$: Parole contenenti prefissi della forma $W_n U_n V_n U_n$ (blocchi ripetuti).
   • Parole $\clubsuit$: Parole contenenti prefissi della forma $W_n U_n V_n \tilde{U}_n$ (blocchi palindromici, dove $\tilde{U}_n$ è l'inversione di $U_n$).
     Queste classi includono parole automatiche e parole a bassa complessità.

2. Strategia di Approssimazione: L'idea centrale è quella di sfruttare la struttura ripetitiva o palindromica della parola per costruire una sequenza di numeri approssimanti ($\alpha_n$) che siano o quadratici o razionali.

   • Per le parole $\spadesuit$, gli autori costruiscono $\alpha_n$ con frazioni continue periodiche.
   • Per le parole $\clubsuit$, gli autori costruiscono $\alpha_n$ con frazioni continue palindromiche.
     Poiché il numero originale $\alpha$ e gli approssimanti $\alpha_n$ condividono un lungo prefisso comune nelle loro espansioni in frazioni continue, essi sono estremamente vicini nella metrica $p$-adica.

3. Applicazione del Teorema del Sottospazio: Gli autori definiscono specifici sistemi lineari coinvolgenti $\alpha$ e i continuanti ($A_n, B_n$) della frazione continua. Essi dimostrano che, se $\alpha$ fosse algebrico di grado $\ge 3$, la qualità dell'approssimazione fornita dalle parole strutturate violerebbe i limiti imposti dal Teorema del Sottospazio $p$-adico. Ciò conduce a una contraddizione, implicando che $\alpha$ non può essere di grado 3 o superiore.

4. Gestione delle Specificità $p$-adiche: Una parte significativa del lavoro tecnico riguarda la gestione della natura non canonica delle funzioni floor $p$-adiche ($s: \mathbb{Q}_p \to \mathbb{Z}[1/p]$). Gli autori impongono condizioni lievi sui quozienti parziali (specificamente vincoli sulle loro norme $p$-adiche ed euclidee) per garantire la convergenza e l'applicabilità del Teorema del Sottospazio.

Contributi Principali e Risultati
Il contributo principale del saggio è il Teorema 1.4 (e le sue versioni esplicite, Teoremi 4.1 e 4.3), il quale afferma:

Sia $p$ un numero primo dispari e $s$ una funzione floor $p$-adica. Se $\alpha = [0, a_1, a_2, \dots]_s$ è un numero $p$-adico la cui parola associata soddisfa la condizione $\spadesuit$ o $\clubsuit$ (con specifici vincoli sulla crescita dei continuanti e sulla dimensione dei quozienti parziali), allora $\alpha$ è o razionale, o quadratico, o trascendente.

Risultati specifici includono:

• Generalizzazione dei Risultati Reali: Questo fornisce un analogo $p$-adico del Teorema 1.3 di Bugeaud per i numeri reali, estendendo la filosofia delle "intersezioni improbabili" all'ambito non archimedeo.
• Corollario 1.5: Il risultato si applica agli algoritmi classici di frazioni continue $p$-adiche di Ruban e Browkin, a patto che i quozienti parziali soddisfino determinati limiti inferiori sui loro valori assoluti $p$-adici (ad esempio, $|a_n|_p \ge p^4$ per la funzione di Ruban con ripetizioni).
• Corollario 1.6: Il risultato si applica alle sequenze automatiche su alfabeti finiti (specificamente $\{n/p, m/p\}$), mostrando che per $p$ sufficientemente grande, i numeri $p$-adici risultanti sono o razionali, o quadratici, o trascendenti.
• Raffinatezza delle Condizioni: Gli autori forniscono costanti esplicite ($C_\infty, C_p, k$) nei Teoremi 4.1 e 4.3 che definiscono le soglie precise per i quozienti parziali richieste per garantire la trascendenza.

Significato e Rivendicazioni
Gli autori affermano che questo lavoro risolve la Domanda 1.1 (se le parole strutturate possano corrispondere a numeri algebrici di grado $>2$) in senso negativo per una vasta classe di parole nell'ambito $p$-adico.

• Superamento delle Difficoltà Strutturali: Il saggio evidenzia come il caso $p$-adico sia più complesso del caso reale a causa delle infinite scelte di funzioni floor e della mancanza di un teorema di Lagrange universale. I risultati degli autori sono significativi perché valgono per qualsiasi funzione floor $p$-adica che soddisfi condizioni di limitatezza lievi, piuttosto che essere limitati a specifiche costruzioni.
• Unione di Campi: Il lavoro rinforza la profonda connessione tra la combinatoria delle parole e la teoria dei numeri, dimostrando che il "gap" tra parole periodiche (grado algebrico 2) e parole generali (trascendenti) persiste nell'ambito $p$-adico, anche senza le proprietà canoniche della funzione floor reale.
• Modestia: Gli autori osservano che, sebbene i loro risultati coprano le parole $\spadesuit$ e $\clubsuit$ (che includono le parole automatiche), la questione se tutte le parole a bassa complessità producano numeri trascendenti rimanga aperta in generale, poiché un diretto analogo del Teorema 2.1 (che lega la bassa complessità a $\spadesuit$) per le parole $\clubsuit$ non è ancora stato stabilito.

In sintesi, il saggio stabilisce che le "macchine" (macchine a stati finiti che generano parole automatiche) che producono frazioni continue $p$-adiche strutturate generano generalmente numeri trascendenti, con le uniche eccezioni algebriche che sono di grado al massimo 2.