A prima vista, sembra un semplice esperimento mentale: un gruppo di persone che fanno jogging lungo una pista circolare a velocità diverse e costanti. Alla fine ogni corridore si ritroverà “solo”, cioè abbastanza lontano da tutti gli altri da avere uno spazio libero?
Sebbene la premessa sia facile da visualizzare, la matematica che sta dietro è incredibilmente complessa. Per decenni, la Congettura del Corridore Solitario è rimasta un ostinato enigma che tocca vari rami della scienza, dalla teoria dei numeri alla geometria. Tuttavia, dopo quasi vent’anni di stagnazione, un recente “salto di qualità” nella ricerca ha finalmente sbloccato la situazione.
Qual è il problema del corridore solitario?
Originariamente il problema non era stato formulato in termini di atleti, ma nel linguaggio della teoria dei numeri. Negli anni ’60, il matematico Jörg M. Wills ipotizzò che un metodo specifico per utilizzare le frazioni per approssimare i numeri irrazionali (come $\pi$) fosse ottimale.
Nel 1998 i ricercatori hanno tradotto questo concetto astratto nella metafora “poetica” dei corridori su pista. La congettura formale afferma:
Se i corridori $N$ iniziano nello stesso punto su una pista circolare e corrono a velocità costanti diverse, ogni corridore ad un certo punto si troverà a una distanza di almeno $1/N$ da ogni altro corridore.
Questa non è solo una curiosità di nicchia. Il problema è matematicamente equivalente a diverse domande teoriche e del mondo reale, come:
– Geometria: determinare quanto possono essere grandi gli ostacoli in un campo prima che una linea retta inevitabilmente ne colpisca uno.
– Fisica: Prevedere il movimento delle palle da biliardo su un tavolo.
– Teoria delle reti: Organizzazione di sistemi e connessioni complessi.
Il muro della complessità
Per molto tempo, i progressi sulla congettura sono stati lenti e incrementali. I matematici potrebbero dimostrare abbastanza facilmente che la teoria funziona per due o tre corridori. Negli anni ’70 avevano risolto il problema per quattro corridori e nel 2007 erano arrivati a sette.
La difficoltà sta nel fatto che aggiungere anche un solo corridore rende il problema esponenzialmente più difficile. Ogni corridore aggiuntivo introduce un massiccio aumento nelle possibili combinazioni di velocità. Poiché i matematici utilizzavano tecniche diverse, ad hoc per numeri diversi di corridori, mancavano di una strategia unificata per affrontare il problema nel suo insieme.
La svolta: dalle sette alle dieci
Lo stallo alla fine si è rotto grazie a una combinazione di scoperte teoriche e potenza di calcolo.
1. Impostazione della soglia
Nel 2015, il famoso matematico Terence Tao ha fornito un indizio fondamentale. Dimostrò che se la congettura fosse vera per velocità relativamente basse, sarebbe automaticamente vera anche per velocità molto più elevate. Ciò ha effettivamente trasformato un problema infinito in uno finito, fornendo un “limite di velocità” entro il quale i matematici possono lavorare.
2. La prova di Rosenfeld
Basandosi sul lavoro di Tao, il matematico Matthieu Rosenfeld ha cambiato l’approccio. Invece di provare a dimostrare che i corridori sarebbero stati soli, ha cercato controesempi. Ha chiesto: Come dovrebbero essere le velocità se un corridore non fosse mai solo?
Utilizzando programmi informatici e la teoria dei numeri, Rosenfeld scoprì che qualsiasi controesempio di questo tipo avrebbe richiesto velocità il cui prodotto fosse divisibile per numeri primi specifici. Dimostrò che un prodotto del genere avrebbe dovuto essere così massiccio da superare la soglia di Tao, il che significava che un controesempio era matematicamente impossibile. Ciò ha dimostrato con successo la congettura per otto corridori.
3. L’accelerazione di Oxford
Lo slancio non si è fermato qui. Tanupat (Paul) Trakulthongchai, uno studente universitario del secondo anno presso l’Università di Oxford, ha perfezionato le tecniche computazionali di Rosenfeld. Trovando un modo più efficiente per identificare i divisori primi necessari, Trakulthongchai è riuscito a dimostrare la congettura per nove e dieci corridori poco dopo la scoperta di Rosenfeld.
Perché è importante
Questa improvvisa impennata dei progressi – passando da sette a dieci corridori in un arco di tempo molto breve – rappresenta un cambiamento significativo nel modo in cui i matematici affrontano il problema. Allontanandosi da dimostrazioni isolate e specializzate e verso una strategia computazionale più unificata, i ricercatori stanno finalmente sgretolando un problema che una volta sembrava insormontabile.
Il salto da sette a dieci corridori è una testimonianza di come la combinazione della teoria di alto livello con l’informatica moderna possa risolvere problemi che sono rimasti stagnanti per decenni.
Conclusione: Le recenti dimostrazioni per otto, nove e dieci corridori hanno trasformato la congettura del corridore solitario da un mistero vecchio di decenni in un campo di studio in rapido progresso, dimostrando che anche i problemi più “semplici” possono nascondere profonde profondità matematiche.
