lunedì 11 novembre 2019

Matematica, dall'astratto all'applicato il passo è breve?

Il tema del prossimo Carnevale della Matematica di novembre, che MaddMaths ospita, è "Comunicare o non comunicare, questo è il problema", ovvero credo si ponga il problema di capire se davvero sia possibile comunicare e divulgare la matematica con linguaggio comprensibile o in tempi che davvero coincidano con la sua applicazione.
Proprio in questo mese cadono anche i 150 anni dall'uscita del primo numero del Magazine Nature, che sicuramente ha molto contribuito a comunicare e divulgare tutta la Scienza e anche molti studi e curiosità matematiche.


Video 150 Years of Nature

Tra queste curiosità mi piace qui ricordare un tema apparso su Nature nel lontano luglio 2011 sull'impatto non pianificato della matematica, "The unplanned impact of mathematics".
In questo intrigante articolo Peter Rowlett introduceva sette racconti, poco conosciuti, che illustravano come il lavoro teorico del matematico, con le sue scoperte, possa poi portare ad applicazioni pratiche, ma anche come non possa essere forzato e, a volte, richiedere secoli.
Introduce l'articolo un divertente aneddoto:
"Da bambino, ho letto una barzelletta su qualcuno che ha inventato la spina elettrica e ha dovuto aspettare l'invenzione di una presa per metterla dentro.



Ma chi inventerebbe qualcosa di così utile senza sapere a quale scopo avrebbe potuto servire? 
Nessuno tranne i matematici, perché la matematica mostra spesso questa sorprendente qualità. Cercando di risolvere i problemi del mondo reale, i ricercatori spesso scoprono che gli strumenti di cui hanno bisogno sono stati sviluppati anni, decenni o persino secoli prima da matematici senza alcuna prospettiva o senza curarsi dell'applicabilità. 
E la cassetta degli attrezzi è vasta, perché, una volta che un risultato matematico è dimostrato con soddisfazione della disciplina, non ha bisogno di essere rivalutato alla luce di nuove prove o confutato, a meno che non contenga un errore...se era vero per Archimede, allora è vero oggi!
Il matematico sviluppa argomenti che nessun altro può vedere e spinge le idee lontano nell'astratto, ben oltre dove gli altri si fermerebbero.
Questa estensione e astrazione, senza una direzione o uno scopo apparente, è fondamentale per la disciplina, né l'applicabilità è la ragione per cui lavorano i matematici.
Quindi spesso la comunicazione e la divulgazione di queste idee e scoperte appare anni o addirittura secoli dopo.
Non c'è modo di garantire in anticipo quale matematica pura troverà l'applicazione in seguito. Possiamo solo lasciare che il processo di curiosità e astrazione abbia luogo, lasciare che i matematici prendano in considerazione i risultati solo dal punto di vista logico, lasciando da parte la pertinenza applicativa e aspettando di vedere quali argomenti risulteranno in futuro estremamente utili. 
Si potrebbe dire che, così procedendo, quando arriveranno le sfide del futuro, avremo a portata di mano il pezzo giusto di matematica apparentemente inutile.

Per illustrare questa partiolarità della scoperta e della conseguente applicazione e comunicazione matematica a posteriori, Peter Rowlett chiese ai membri della British Society for the History of Mathematics alcune storie, non raccontate, dell'impatto non pianificato della matematica, tralasciando ovvietà come l'uso della teoria dei numeri nella crittografia moderna, o che la matematica esistesse già prima del computer o che i numeri immaginari sono diventati essenziali, per esempio, per i calcoli complessi che pilotano gli aeroplani... 
Peter Rowlett, nell'articolo, ne riportava sette:

- Dai quaternioni a Lara Croft di Mark McCartney e Tony Mann (Università di Ulster, Newtownabbey, Regno Unito; Università di Greenwich, Londra)
- Dalla geometria al Big Bang di Graham Hoare (Redattore di Mathematics Today)
- Dalle arance ai modem di Edmund Harriss (Università dell'Arkansas, Fayetteville)
- Dal paradosso alle pandemie di Juan Parrondo e Noel-Ann Bradshaw (Università di Madrid; Università di Greenwich, Londra)
- Dai giocatori d'azzardo agli studi attuariali di Peter Rowlett (Università di Birmingham, Regno Unito)
- Dai ponti al DNA di Julia Collins (Università di Edimburgo, Regno Unito)
- Dalle corde al nucleare di Chris Linton (Università di Loughborough, Regno Unito)

Io mi soffermerò solo su due, da me rielaborate con dati più recenti, legate ai grandi Keplero ed Eulero, che ho trovato interessanti e intriganti, per gli altri lascio alla curiosità del lettore l'articolo originale.


Dalle arance ai modem 

Nel 1998 la matematica salì alla ribalta con la notizie che Thomas Hales dell'Università di Pittsburgh, in Pennsylvania, aveva dimostrato che la congettura di Keplero era "molto probabilmente vera", dimostrando che il modo in cui i fruttivendoli impilano le arance è il modo più efficiente per imballare le sfere. 
Un problema che era stato aperto dal 1611 era finalmente risolto! 
Il problema è molto semplice da formulare: se si hanno un numero di sfere uguali, come si devono posizionare per occupare il minor spazio possibile? Ad esempio, se devo imballare le arance, come le organizzo in modo da ottenerne il massimo in una cassetta?
La sua dimostrazione comportò un gigantesco calcolo computazionale e alcuni anni dopo, Hales stesso avviò un programma per completare una vera prova formale della congettura, finché il 10 agosto 2014 il progetto, chiamato Project FlysPecK (dove le lettere F, P e K sono le iniziali delle parole che compongono la frase Formal Proof of Kepler), ha annunciato il completamento con successo del programma con un calcolo al computer che richiese 6 giorni e mezzo. 
Anche se al tempo in televisione un fruttivendolo dichiarò "Penso che sia una perdita di tempo e denaro dei contribuenti", da allora, continuando metaforicamente e mentalmente a discutere con quel fruttivendolo, oggi la matematica del confezionamento delle sfere consente la comunicazione moderna, essendo al centro dello studio di codifica di canali e codici di correzione degli errori.
Nel 1611, Johannes Kepler suggerì che l'accatastamento del fruttivendolo fosse il più efficiente, ma non fu in grado di fornire una prova. 
Si è rivelato essere un problema molto difficile e anche la più semplice domanda del modo migliore per accostare i cerchi è stata dimostrata solo nel 1940 da László Fejes Tóth. 
Già nel diciassettesimo secolo, Isaac Newton e David Gregory discutevano del "kissing problem" "quante sfere possono 'baciare' una determinata sfera senza sovrapposizioni?"
In due dimensioni è facile dimostrare che la risposta è 6 e Newton pensava che 12 fosse il massimo in 3 dimensioni. 
Lo è, ma solo nel 1953 Kurt Schütte e Bartel van der Waerden ne hanno dato una dimostrazione.
Il numero di accostamenti in 4 dimensioni è stato dimostrato essere 24 da Oleg Musin nel 2003. 
In 5 dimensioni possiamo solo dire che si trova tra 40 e 44 e tuttavia sappiamo che la risposta in 8 dimensioni è 240, dimostrata nel 1979 da Andrew Odlyzko dell'Università del Minnesota, Minneapolis e Neil Sloane. 
Lo stesso problema ha avuto un risultato ancora più strano e la risposta in 24 dimensioni è stata 196.560. 
Queste dimostrazioni, sorprendentemente, sono più semplici del risultato per tre dimensioni e si riferiscono a due accostamenti di sfere incredibilmente densi, chiamati reticolo E8 in 8 dimensioni e reticolo Leech in 24 dimensioni.

Il tutto sembrerebbe abbastanza magico, ma è utile? 
Negli anni '60 un ingegnere di nome Gordon Lang lo credeva. 
Lang stava progettando i sistemi per modem ed era impegnato a raccogliere tutta la matematica che riusciva a trovare perché aveva bisogno di inviare un segnale su un canale rumoroso, come una linea telefonica. 
Il modo naturale è scegliere una raccolta di toni per i segnali, ma il suono ricevuto potrebbe non essere lo stesso di quello inviato. 
Per risolvere questo, ha ricavato i suoni da un elenco di numeri ed è stato quindi semplice scoprire quale dei segnali che avrebbero potuto essere inviati fosse il più vicino al segnale ricevuto. 
I segnali possono quindi essere considerati come sfere, con spazio di manovra per il rumore,  e, per massimizzare le informazioni che possono essere inviate, queste "sfere" devono essere accostate il più strettamente possibile.
Negli anni '70, Lang sviluppò un modem con segnali a 8 dimensioni, usando l'imballaggio E8. 
Ciò ha contribuito ad aprire Internet, poiché i dati potevano essere inviati al telefono, invece di affidarsi a cavi appositamente progettati.
Tutto questo senza dimenticare i contributi dati in precedenza dal Secret Communication System (brevettato l'11 agosto 1942), il sistema ideato da Hedy Kiesler (Hedy Lamarr) e George Antheil per il quale ottennero il Pioneer Award dalla EFF, premio atteso da tempo per gli sforzi scientifici che arrivò a Hedy solo tre anni prima della sua morte nel 2000, mentre all'epoca Antheil era già scomparso da oltre 40 anni.
La loro invenzione è infatti alla basa di molti sistemi per le trasmissioni radio ancora oggi, non solo nella crittografia o in scopi militari, ma anche in ambito informatico e nella telefonia mobile, e sempre per questa invenzione, Lamarr e Antheil sono stati anche inseriti nella National Inventors Hall of Fame degli Stati Uniti nel 2014.

Dai ponti al DNA

Quando Leonhard Euler dimostrò alla gente di Königsberg nel 1735 che non potevano attraversare tutti i loro sette ponti in un solo viaggio, inventò un nuovo tipo di matematica, in cui le distanze non contavano. 
Eulero schematizzò il problema con un grafo, indicando con quattro vertici le zone della città (le due isole e le due rive del fiume) e con sette spigoli (i ponti che le congiungevano) e dimostrò che purtroppo non esiste alcun percorso che permetta di realizzare questa passeggiata che i cittadini di Königsberg desideravano tanto.
La sua soluzione si basava solo sulla conoscenza della disposizione relativa dei ponti, non su quanto fossero lunghi o quanto fossero grandi, ma solo nel 1847, Johann Benedict Listing finalmente coniò il termine "topologia" per descrivere questo nuovo campo e per i successivi 150 anni circa i matematici lavorarono per comprendere le implicazioni dei suoi assiomi.


Immagine da Dropsea
La cittadina prussiana di Königsberg è tagliata dal fiume Pregel al cui centro si trovano due isole raggiungibili attraverso sette ponti. E' dunque possibile trovare un percorso chiuso (punto di inizio e punto di fine coincidono) in grado di attraversare tutti i sette ponti una e una sola volta?

Per la maggior parte del tempo, la topologia è stata perseguita come una sfida intellettuale, senza aspettarsi che fosse utile. 
Dopotutto, nella vita reale, la forma e la misurazione sono importanti e una ciambella non è la stessa di una tazza di caffè, ma chi mai si preoccuperebbe dei buchi 5-dimensionali negli spazi astratti 11-dimensionali? 
Persino parti della topologia dal suono pratico come la teoria dei nodi, che aveva le sue origini nei tentativi di comprendere la struttura degli atomi, furono ritenute inutili per la maggior parte del diciannovesimo e del ventesimo secolo.
Improvvisamente, negli anni '90, iniziarono ad apparire le applicazioni della topologia. All'inizio lentamente, ma, guadagnando sempre più slancio, oggi sembra che ci siano poche aree in cui la topologia non venga utilizzata. 
I biologi imparano la teoria dei nodi per comprendere il DNA, gli informatici usano trecce (fili intrecciati di materiale che corrono nella stessa direzione) per costruire computer quantistici, mentre altri scienziati usano la stessa teoria per far muovere i robot. 
Il calcolo quantistico non funzionerà se non saremo in grado di costruire un sistema robusto resistente al rumore, quindi le trecce (operatori treccia) sono perfette per la memorizzazione delle informazioni perché non cambiano se le muovi.
Gli ingegneri utilizzano strisce Möbius unilaterali per rendere più efficienti i nastri trasportatori e i medici ricorrono alla teoria dell'omologia per eseguire scansioni del cervello.
È proprio perché la topologia è priva di misurazioni della distanza che è così potente. 
Gli stessi teoremi si applicano a qualsiasi DNA annodato, indipendentemente da quanto tempo passi o da quale animale provenga. Non abbiamo bisogno di scanner cerebrali diversi per le persone con cervelli di dimensioni diverse.  
I cosmologi la usano per capire come si formano le galassie e le società di telefonia mobile utilizzano la topologia per identificare i buchi nella copertura della rete e i telefoni stessi utilizzano la topologia per analizzare le foto scattate.
Quando i dati del sistema di posizionamento globale sui telefoni cellulari non sono affidabili, la topologia può comunque garantire che tali telefoni ricevano un segnale. 


Rielabolarazione di Yin Yang 
 Colorful Painting 5 di Dirk Czarnota

Queste due storie, come tante altre che se ne posssono trovare, dimostrano come la Matematica oscilli fondamentalmente tra due aspetti. 
Fin dall'antichità mentre alcuni la studiavano per risolvere problemi tecnici, altri cominciarono a chiamarla "arte" e la affiancarono alla filosofia. 
Quindi, senza alcuna ambiguità, chiamiamo queste due facce della matematica Matematica Applicata e Matematica Pura, che ben definì Bertrand Russell (1910) nei Principia Mathematica. 
Tuttavia, spesso può essere molto difficile tracciare una linea di separazione tra Matematica Pura e Matematica Applicata con la conseguente capacità di comunicarla e divulgarla. 
Come tanti esempi dimostrano, è capitato numerose volte, nel corso della storia, che problemi legati alla Matematica Pura e senza alcuna apparente applicazione, dessero poi a distanza di anni un contributo fondamentale al progresso. 
Bisogna quindi immaginarsi la matematica come un grosso Yin-Yang, ma invece che "luce" contro "ombra" o "fuoco" contro "acqua" mettiamoci "pura" contro "applicata".
I matematici applicati si concentrano sull’uso e la comunicazione nel mondo reale della matematica: ingegneria, economia, fisica, biologia, astronomia, tutti questi campi hanno bisogno di tecniche quantitative per rispondere a domande e risolvere problemi. La matematica pura, d’altra parte, è matematica fine a se stessa.
Ma se "applicata" significa utile non ne segue che "pura" debba voler dire inutile.
Come abbiamo visto è tutt'altro!
La matematica pura non si preoccupa delle sue applicazioni, non si occupa del mondo reale, ma ciò che potrebbe sembrare inutile, un giorno potrebbe diventare fondamentale.





Nessun commento:

Posta un commento