A measure of intelligence of an approximation of a real number in a given model

Questo articolo introduce una funzione chiamata "misura di intelligenza" per valutare la qualità di un'approssimazione di un numero reale in un dato modello, dimostrando che tale approccio è coerente con la teoria classica dell'approssimazione diofantea razionale.

L'essenziale

Ecco una spiegazione semplice e creativa del lavoro di Bakir Farhi, pensata per chiunque, anche senza una laurea in matematica.

L'Intelligenza di un'Approssimazione: Non conta solo la precisione

Immagina di dover descrivere la distanza tra due città a un amico.
Hai due opzioni:

1. Opzione A: "Sono esattamente 142,387 metri e 53 centimetri." (È precisissimo, ma è un numero enorme e difficile da ricordare).
2. Opzione B: "Sono circa 140 chilometri." (È meno preciso, ma è facile da dire, facile da capire e facile da usare).

La domanda che si pone l'autore, Bakir Farhi, è: Quale delle due è più "intelligente"?

Nella matematica classica, ci si fissa solo sull'errore: l'Opzione A è migliore perché è più vicina alla realtà. Ma Farhi dice: "Aspetta! L'intelligenza di un'approssimazione non dipende solo da quanto è precisa, ma anche da quanto è semplice."

Il Concetto Chiave: Il "Rapporto Qualità/Complessità"

Farhi introduce un nuovo modo di misurare le approssimazioni, chiamandolo "Misura di Intelligenza".

Pensa a una ricetta di cucina:

• Se devi fare una torta perfetta e usi 50 ingredienti diversi e 100 passaggi, è una ricetta "stupida" (o naive), anche se il risultato è perfetto. È troppo complicata per quello che serve.
• Se fai una torta buona usando solo 3 ingredienti e 5 passaggi, quella è una ricetta "intelligente".

La formula di Farhi fa un calcolo simile:

Intelligenza = (Quanto è precisa) / (Quanto è complicata)

• Se il risultato è alto (maggiore di 1), l'approssimazione è Intelligente. Significa che hai ottenuto un grande risultato con pochi "ingredienti" (numeri semplici).
• Se il risultato è basso (minore di 1), l'approssimazione è Stupida (o naive). Significa che hai usato numeri enormi e complessi per ottenere un risultato che potevi ottenere più facilmente.

Esempi Reali: Il Numero Pi Greco ($\pi$)

Prendiamo il numero $\pi$ (circa 3,14159...).

1. L'approssimazione "Stupida":
   $\pi \approx \frac{314159}{100000}$
   È molto precisa, ma guarda i numeri! 314.159 e 100.000. Sono numeri enormi. È come dire "La torta è fatta con 314.159 grammi di farina". È noioso e complicato. Farhi la classifica come naive (poco intelligente).

2. L'approssimazione "Intelligente" (Archimede):
   $\pi \approx \frac{22}{7}$
   È meno precisa (dà 3,1428...), ma guarda i numeri: 22 e 7. Piccoli, facili da ricordare. È come dire "La torta è fatta con 22 cucchiai di farina".
   Farhi calcola la sua "misura di intelligenza" e scopre che è alta. È un'approssimazione geniale perché offre un ottimo compromesso tra semplicità e precisione.

3. L'approssimazione "Super Intelligente" (Ramanujan):
   Esistono formule ancora più belle, come $\pi \approx \frac{355}{113}$. È incredibilmente precisa e usa numeri ancora gestibili. Farhi la definisce intelligente.

Perché è importante?

Questo lavoro ci insegna che in matematica (e nella vita!) la bellezza e l'utilità non risiedono solo nella precisione assoluta.

• La "Semplicità" è una virtù: Un'approssimazione intelligente è come una metafora perfetta: cattura l'essenza della verità senza bisogno di spiegazioni infinite.
• Il modello conta: Farhi mostra che puoi usare diversi "modelli" (come frazioni, radici quadrate, ecc.) per approssimare i numeri. In ogni modello, puoi cercare l'approssimazione più "intelligente".

La Scoperta Matematica

L'autore ha dimostrato due cose affascinanti:

1. Per quasi tutti i numeri irrazionali (come $\pi$, $e$, $\sqrt{2}$), esistono infinite approssimazioni "intelligenti".
2. Alcune di queste approssimazioni intelligenti non sono quelle che si trovano nei libri di testo classici (le "convergenze delle frazioni continue"). Significa che c'è ancora molto da scoprire: ci sono formule "geniali" nascoste che la matematica tradizionale non ha ancora notato perché cercava solo la precisione, non l'eleganza.

In Sintesi

Immagina la matematica come un'arte di fare stime.

• Un matematico noioso dice: "La risposta è 3,1415926535..." (Preciso, ma inutile da usare a mente).
• Un matematico intelligente dice: "La risposta è circa 22/7" (Facile da usare, quasi preciso, elegante).

Bakir Farhi ha creato un "termometro" per misurare quanto un matematico sia intelligente quando fa una stima. Se il termometro segna un valore alto, hai trovato una perla di semplicità in un oceano di numeri complessi.

Il messaggio finale: Non cercare sempre la perfezione assoluta. Cerca la soluzione più semplice che funzioni bene. Quella è l'approssimazione intelligente.

Sommario tecnico

Ecco una sintesi tecnica dettagliata del paper "A measure of intelligence of an approximation of a real number in a given model" di Bakir Farhi, redatta in italiano.

1. Il Problema

Da oltre duemila anni, matematici e calcolatori hanno cercato di approssimare numeri reali significativi (come $\pi$ o $e$) utilizzando espressioni con variabili intere. Esistono approssimazioni famose, come $\pi \approx 22/7$ di Archimede, che sono considerate "interessanti" o "intelligenti" rispetto ad altre più precise ma banali (es. $\pi \approx 314159/100000$).
Il problema centrale affrontato da Farhi è l'assenza di una definizione matematica rigorosa per il termine "intelligente" (o "interessante") in questo contesto. L'intuizione suggerisce che un'approssimazione è intelligente se bilancia due fattori:

1. Semplicità (Dimensione): La complessità dei parametri utilizzati (es. numeratore e denominatore).
2. Precisione (Accuratezza): L'errore dell'approssimazione ($|x - \alpha|$).

L'obiettivo del paper è formalizzare questo compromesso definendo una funzione quantitativa, chiamata "misura di intelligenza", capace di classificare oggettivamente la qualità di un'approssimazione.

2. Metodologia

L'autore sviluppa un quadro teorico basato su tre pilastri fondamentali:

A. Modelli di Approssimazione

Viene definito un modello di approssimazione $M$ come una mappa $M: A \subset \mathbb{Z}^{*n} \to \mathbb{R}$, dove $n$ è il numero di parametri interi.

• Esempi includono il modello razionale ($a/b$), modelli con radici quadrate ($a + b\sqrt{2}$), o combinazioni più complesse.
• Viene introdotta la gerarchia tra modelli: un modello $M'$ è "più fine" di $M$ se l'immagine di $M$ è contenuta in quella di $M'$.

B. Dimensione e Dimensione Logaritmica

Per quantificare la "semplicità" di un'approssimazione $x \approx M(a_1, \dots, a_n)$, viene definita la dimensione $s$ come il prodotto dei valori assoluti dei parametri:
$$s = |a_1| \times |a_2| \times \dots \times |a_n|$$
La dimensione logaritmica è definita come $s_{\log} = \log(s) = \sum \log|a_i|$. Questo valore rappresenta approssimativamente il numero totale di cifre necessarie per scrivere i parametri.

C. La Misura di Intelligenza ($\mu$)

La misura di intelligenza $\mu$ confronta il numero di cifre corrette ottenute nell'approssimazione con il numero di cifre "costose" (i parametri) utilizzate.
Per un numero reale $x$ non rappresentabile nel modello $M$ e un'approssimazione ammissibile $x \approx M(a_1, \dots, a_n)$, la misura è definita come:
$$\mu(\text{app}) = \frac{\log|x| - \log|x - M(a_1, \dots, a_n)|}{\log|a_1 a_2 \dots a_n|}$$

• Interpretazione: Il numeratore rappresenta il numero di cifre corrette (parte intera + decimali corretti). Il denominatore rappresenta il costo in termini di cifre dei parametri.
• Criterio di Classificazione:
  • Se $\mu \ge 1$: L'approssimazione è intelligente (ogni cifra dei parametri contribuisce a generare almeno una cifra corretta del risultato).
  • Se $\mu < 1$: L'approssimazione è naive (il costo dei parametri supera il guadagno in precisione).

3. Risultati Chiave e Contributi

Applicazioni Numeriche

L'autore calcola $\mu$ per numerose approssimazioni storiche e nuove:

• $\pi \approx 22/7$: $\mu \approx 1.55$ (Intelligente).
• $\pi \approx 355/113$: $\mu \approx 1.53$ (Intelligente, ma leggermente meno della precedente nonostante sia più precisa).
• $\pi \approx \sqrt{2} + \sqrt{3}$: $\mu \approx 3.63$ (Molto intelligente, grazie alla semplicità dei parametri).
• $\pi \approx 20/11\sqrt{3}$: $\mu \approx 0.92$ (Naive, nonostante la precisione).
• Vengono presentate nuove approssimazioni per $e$ e altri numeri con valori di $\mu$ elevati (es. $e \approx 3 - \frac{1}{3}\sqrt[3]{\frac{5}{7}}$ con $\mu \approx 3$).

Teoria delle Approssimazioni Razionali

Nel modello razionale, il paper stabilisce risultati teorici profondi collegati alla teoria delle approssimazioni diofantee:

1. Convergenti delle Frazioni Continue: Viene dimostrato che ogni convergente della frazione continua regolare di un numero irrazionale è un'approssimazione intelligente ($\mu \ge 1$).
2. Approssimazioni Non Convergenti: Vengono identificati teoremi (6.7 e 6.9) che mostrano l'esistenza di infinite approssimazioni razionali intelligenti che non sono convergenti delle frazioni continue, basate su condizioni specifiche sui coefficienti parziali ($a_n$).
3. Numeri di Liouville: Viene provato un teorema fondamentale (6.11):
   • L'insieme delle misure di intelligenza per un numero irrazionale $x$ è illimitato (esistono approssimazioni "molto intelligenti" con $\mu \to \infty$) se e solo se $x$ è un numero di Liouville.
   • Di conseguenza, per numeri algebrici irrazionali e trascendenti noti come $\pi, e, \log 2, \zeta(3)$, l'insieme delle misure di intelligenza è limitato. Questi numeri non ammettono approssimazioni razionali "molto intelligenti" oltre una certa soglia.

4. Significato e Implicazioni

• Rigore Matematico: Il lavoro fornisce la prima definizione quantitativa rigorosa per un concetto qualitativo ("intelligenza" di un'approssimazione), permettendo confronti oggettivi tra formule diverse.
• Connessione con la Teoria dei Numeri: Collega direttamente la "bellezza" o l'efficienza di un'approssimazione alla teoria delle approssimazioni diofantee e alla teoria metrica dei numeri.
• Limiti Fondamentali: Dimostra che per la maggior parte dei numeri "importanti" (algebrici e trascendenti noti), esiste un limite teorico alla quantità di intelligenza che una singola approssimazione razionale può possedere. Solo i numeri di Liouville (che sono "patologici" dal punto di vista dell'approssimazione) permettono misure di intelligenza arbitrariamente alte.
• Problema Aperto: L'autore conclude chiedendo se, per un modello di approssimazione generico $M$ e un punto di accumulazione $x$ nell'immagine chiusa di $M$, esistano sempre approssimazioni intelligenti. La soluzione per il modello razionale si basa sul principio del cassettone di Dirichlet, ma l'estensione ad altri modelli rimane una sfida aperta.

In sintesi, il paper trasforma l'intuizione matematica sulla "bellezza" delle formule in una metrica precisa, rivelando profonde connessioni tra la complessità computazionale dei parametri e la precisione numerica, e stabilendo limiti fondamentali per l'approssimazione dei numeri reali.