Un paio di articoli su Ramanujan e il pi greco

Ho voluto provare la nuova funzionalità di Acholar Labs con il pi greco, giusto per iniziare a scaldare un po' l'ambiente in vista del pi day!

---

A Formal Proof of a Continued Fraction Conjecture for \(\pi\) Originating from the Ramanujan Machine

Provides a formal analytic proof for a class of non-canonical polynomial continued fractions that represent \(\pi/4\), which was originally conjectured by the Ramanujan Machine using algorithmic induction.

Analytic Regularization of a Ramanujan Machine Conjecture

Provides a formal analytic derivation of a continued fraction identity for \(-\pi/4\), which was recently conjectured by the Ramanujan Machine.

La macchina di Ramanujan è un software sviluppato da un team di ricercatori dell'istituto israeliano di tecnologia, il Technion, allo scopo di scoprire nuove formule matematiche. I dettagli del progetto sono stati pubblicati nel 2021 su Nature.

Assioni e materia oscura

Mi ero già occupato di assioni alcuni anni fa, all'epoca in cui Science Backstage era ospitato su Blogosfere. In quel post recuperato in questa sede, raccontavo brevemente come si è giunti alla formulazione teorica dietro la proposta degli assioni, delle particelle per ora teoriche. La loro introduzione, scrivevo, risaliva al 1977 quando Roberto Peccei e Helen Quinn proposero una soluzione alla questione della mancata osservazione di un momento di dipolo elettrico nel neutrone dovuto a una violazione della simmetria CP (dove C sta per coniugazione di carica, ovvero scambio di particella con antiparticella; e P per parità, ovvero inversione delle coordinate spaziali). La loro proposta introduceva la rottura spontanea della simmetria e, soprattutto, suggeriva di trattare il termine legato a essa come una vera e propria particella (un po' come accade nel meccanismo di Higgs et al.), che venne successivamente chiamata assione da Frank Wilczek.
Inevitabilmente l'assione, inrovabile negli acceleratori di particelle sul nostro pianeta, è diventato oggetto di interesse per astronomi e cosmologi visto che poteva essere un possibile candidato per la materia oscura. E i due pre-print recentemente pubblicati su arXiv che vi propongo in questo post vanno proprio in quella direzione:

Gravitational Signatures of Axion Dark Matter via Parity-Violating Interactions | Axions as Dark Matter, Dark Energy, and Dark Radiation

In apertura: Una presunta mappa della distribuzione della materia oscura - da "The weak-lensing masses of filaments between luminous red galaxies"

Su un errore di Godel

Kurt Godel in un testo del 1930 scrisse:

Se il teorema di completezza potesse essere dimostrato anche per le parti superiori della logica (il calcolo funzionale esteso), allora si potrebbe dimostrare in assoluta generalità che la completezza sintattica deriva dal monomorfismo; e poiché sappiamo, per esempio, che il sistema di assiomi di Peano è monomorfico, da ciò deriverebbe la risolubilità di ogni problema di aritmetica e analisi esprimibile nei Principia mathematica.
Una tale estensione del teorema di completezza è, tuttavia, impossibile, come ho recentemente dimostrato (...). Questo fatto può anche essere espresso così: il sistema di assiomi di Peano, con la logica dei Principia mathematica aggiunta come sovrastruttura, non è sintatticamente completo.

In questo caso Godel si riferisce in particolare al suo teorema di completezza, che stabilisce una corrispondenza tra validità logica e dimostrabilità logica nella logica del primo ordine, che è sostanzialmente una logica proposizionale (fatta di proposizioni e connettivi logici), con l'aggiunta di quantificatori esistenziali (esiste x) e universali (per ogni x), predicati, funzioni, costanti e variabili.

Dalle quasar a Fermat passando per Schrodinger

Facciamo un'altra capatina tra gli abstract di articoli e preprint recenti. Mi sono concentrato esclusivamente su arXiv cercando tra gli ultimi articoli di alcune categorie specifiche. Iniziamo con un articolo di genere astrofisico in cui gli autori, considerando un po' tutte le novità che ci sono state negli ultimi periodi, si chiedono se i quasar sono ancora delle buone candele standard per la rilevazione delle distanze nell'universo. Trovo, in questo senso, significativo questo passo dell'abstract (il grassetto è mio):

(...) tutte le inconsistenze annunciate sorgerebbero naturalmente da una qualche limitazione del modello cosmologico adottato per l'analisi dei dati, ovvero dalla nostra ignoranza sul vero modello cosmologico.

Un anello tra le stelle e altre facezie

Per questo nuovo link post, la selezione era pronta, quindi ero ormai prossimo a pubblicare, quand'ecco che Antonino La Barbera ci ha proposta una vignetta sugli anelli di Einstein, e così ho deciso di aggiungere la ricerca che ha ispirato quella vignetta in questo link post, dedicandogli addirittura l'apertura!
L'articolo cui mi riferisco, Euclid: A complete Einstein ring in NGC 6505 (potete leggere il comunicato stampa su MediaINAF), presenta le fantastiche foto che vi metto qui sotto.
La prima è relativa a NGC 6505, una galassia ellittica:

La seconda, invece, è l'anello di Einstein che è stato osservato da Euclid

Nonostante lo zoom, l'anello di luce, che in effetti è luce proveniente da un oggetto posto dietro al centro di NGC 6505, si vede molto bene, il che dovrebbe farci capire quanto sono buoni gli strumenti di raccolta delle immagini del satellite.

Oltre il Modello Standard: leptoni, quark et al.

Nuovo appuntamento con i link post degli articoli usciti di recente. Iniziamo con Diffusion of heavy quarks in the early stage of high-energy nuclear collisions, che in un certo senso mi ricorda il mio lavoro per la tesi di laurea (che però non portò a nulla di serio):

We study the diffusion of heavy quarks in the early stage of highenergy nuclear collisions. The pre-equilibrium stage of relativistic heavy-ion collisions, commonly known as Glasma, evolves according to the classical Yang-Mills equations. Heavy quarks are coupled to the evolving Glasma fields via relativistic kinetic theory. We compute the momentum broadening, σ_p as well as the angular momentum fluctuations of heavy quarks in the early stage, which turn out to be anisotropic due to the anisotropy of the background gluon fields. We observe that σ_p ∝ t² at very initial times. This non-Markovian diffusion of heavy quarks in the early stages is explained by the memory effect present in the gluon fields.

Visto che siamo nei dintorni del nucleo, eccovi su un piatto d'argento The strength of the interaction between quarks and gluons, un articolo a metà strada tra il teorico e lo sperimentale che cerca di capire il futuro di ciò che può ancora fare LHC e i suoi eredi.

Assioni, solitoni e materia oscura

Con l'idea di fare questa piccola review più o meno ogni due settimane, sono tornato sulla homepage di Google Scholar per vedere cosa mi segnalava come articoli recenti. Limitandomi alle ultime due settimane, hanno coplito la mia attenzione un paio di articoli dedicati agli assioni come possibili candidati per la materia oscura, che a differenza dell'energia oscura non è più di tanto messa in dubbio, sostanzialmente perché si sa che, nonostante non si possa spiegare tutto con essa, c'è in giro della materia che non riusciamo a vedere.
Iniziamo con Ultimate light-shining-through-a-wall experiments to establish QCD axions as the dominant form of dark matter:

Una dimensione oscura

Non so se il team di fisici teorici Miguel Montero, Cumrun Vafa e Irene Valenzuela sia costituito da appassionati lettori di Stephen King, ma è altamente probabile, visto che la loro proposta teorica relativa alla materia oscura è infarcita di immagini che sembrano uscire proprio da una saga di King, iniziando proprio dal titolo del'articolo, The Dark Dimension and the Swampland, che si potrebbe rendere come La Dimensione Oscura e la Terra delle Paludi, quasi un romanzo o un racconto ambientato nella saga de La Torre Nera di King. E in effetti proprio l'immagine della Dark Tower viene evocata nell'articolo di Quanta Magazine in cui questa proposta viene raccontata.
In breve i tre fisici teorici, prendendo spunto dalla teoria delle stringhe, suggeriscono che la materia oscura, l'elusiva materia oscura si nasconda in una dimensione (relativamente) grande. L'idea viene ripescata da Quanta Magazine proprio mentre la previsione delle dimensioni extra (oltre la 4.a) è messa in grande discussione, e io stesso la utilizzo come semplice introduzione a questo link post scientifico dedicato proprio alla materia oscura.
L'altro giorno, infatti, mentre mi apprestavo a usare Google Scholar alla ricerca di qualcosa di interessante su Babbo Natale (e, come spero avete letto, l'ho trovata), il motore di ricerca accademico mi ha suggerito una lunga serie di articoli recenti, per lo più preprint su arXiv, molti dei quali dedicati proprio alla materia oscura. La prima osservazione che ho fatto tra me e me su questa mole di lavori è come le osservazioni del James Webb Space Telescope che hanno insinuato non pochi dubbi sull'esistenza della materia e dell'energia oscure nell'universo, non hanno però bloccato le proposte teoriche. Per contro, però, proprio le osservazioni del JWST in un certo senso hanno ridato una spinta anche a versioni di materia oscura vicine all'essere scartate, questo perché è altamente probabile che le MOND non siano comunque sufficienti per spiegare tutte le osservazioni.

Un paio di (nuove) cose tecniche sull'equazione di Schrodinger

Era da un po' che non mi facevo un giro tra i lidi elettronici del Journal of Mathematical Physics. E sull'ultimo numero ho trovato un paio di articoli dedicati all'equazione di Schrodinger, che qui metto un po' come cose interessanti da approfondire in futuro, un po' come spunto per quei quattro gatti che ogni tanto provano a interessarsi a queste faccenduole elettroniche:

La complessità della pizza

Volevo rinverdire i fasti di questo articolo matematico dedicato alla pizza, ma scopro che la faccenda risulta particolarmente complessa, tipo come un problema PPA-completo. Forse potrebbe essere una soluzione chiedere aiuto a Fourier.

Scienza, tecnologia e nazioni

Determinare come i risultati scientifici influenzino il successivo processo di creazione della conoscenza è un passaggio fondamentale per costruire un ecosistema unificato per lo studio delle dinamiche di innovazione e competitività. Affidarsi separatamente ai dati sulla produzione scientifica da un lato, attraverso indicatori bibliometrici, e sui progressi tecnologici dall'altro, attraverso le statistiche sui brevetti, fornisce solo una visione limitata dell'interazione chiave tra scienza e tecnologia che, di fatto, evolve all'interno dell'innovazione. In questo articolo, utilizzando i dati delle citazioni sia degli articoli di ricerca sia dei brevetti, quantifichiamo l'influenza diretta dei risultati scientifici delle nazioni sugli ulteriori progressi della scienza e sull'introduzione di nuove tecnologie. La nostra analisi evidenzia la presenza di raggruppamenti geo-culturali di nazioni con caratteristiche di sistema di innovazione simili e svela le dinamiche accoppiate eterogenee dei progressi scientifici e tecnologici. Questo studio rappresenta un passo avanti nella costruzione di un quadro omnicomprensivo per la creazione di conoscenza e l'innovazione.

Patelli, A., Cimini, G., Pugliese, E., & Gabrielli, A. (2017). The scientific influence of nations on global scientific and technological development. Journal of Informetrics, 11(4), 1229-1237. doi:10.1016/j.joi.2017.10.005 (arXiv)

First Light

The formation of the first stars and quasars marks the transformation of the universe from its smooth initial state to its clumpy current state. In popular cosmological models, the first sources of light began to form at redshift 30 and reionized most of the hydrogen in the universe by redshift 7. Current observations are at the threshold of probing the hydrogen reionization epoch. The study of high-redshift sources is likely to attract major attention in observational and theoretical cosmology over the next decade.

Barkana, R. Loeb, A. (2001). In the beginning: the first sources of light and the reionization of the universe. Physics reports, 349(2), 125-238. doi:h10.1016/S0370-1573(01)00019-9 (arXiv)

I Paradise Lost sono una gothic band britannica fondata nel 1988. First Light è tratta dal loro dodicesimo album in studio, Faith Divides Us – Death Unites Us:

La trigonometria è cosa seria

Il primo matematico a lavorare con le serie trigonometriche è stato Leonhard Euler nel 1744 \[\frac{\pi - x}{2} = \sin x + \frac{\sin 2x}{2} + \frac{\sin 3x}{3} + \cdots \] con $x$ compreso tra 0 e $2\pi$.
Come intuibile, le serie trigonometriche sono utilizzate per sviluppare altre funzioni: si parla, quindi, di sviluppo in serie trigonometriche. La cosa iniziò a risultare particolarmente interessante per un numero di matematici sempre maggiore: gente come Daniel Bernoulli, Jean le Rond d'Alembert, Joseph-Louis Lagrange e molti altri ci lavorarono su, anche grazie all'aumentato interesse intorno alla dinamica di una corda oscillante.
A un certo punto, però, Joseph Fourier nel 1807 diede alla luce le meglio note trasformate di Fourier, un set di equazioni integrali che permettono di calcolare i coefficienti dello sviluppo in serie trigonometrica di una data funzione: \[a_k = \frac{1}{\pi} \int_0^{2\pi} f(x) \cos (kx) dx\] \[b_k = \frac{1}{\pi} \int_0^{2\pi} f(x) \sin (kx) dx\] La tecnica ha ampie applicazioni in fisica, ma non è di questo che volevo "parlare": questo lungo preambolo mi serve solo per recuperare il solito ripescaggio dagli arXiv perduti:

A'rabi, M. A., & Irani, F. (2015). About Cantor Works on Trigonometric Series. arXiv preprint arXiv:1503.06845.

In questo caso, come ricordano gli autori, i risultati di Georg Cantor hanno avuto una ricaduta in particolare nella topologia, giusto come ennesima evidenza che la nuova matematica emersa dopo Cantor era ed è in grado di mettere in collegamento tra loro parti non così ovviamente collegabili tra logo.

Trasformazione di Lorentz, effetto Doppler et al.

Presentiamo una semplice derivazione delle trasformazioni di Lorentz per le coordinate spaziotemporali dello stesso evento. E' basata sul carattere relativo degli intervalli di lunghezza e di tempo misurati da osservatori in movimento relativo. Iniziamo accettando che il movimento relativo modifica in qualche modo particolare il risultato di queste misurazioni. Tuttavia non postuliamo il carattere di questa distorsione, ovvero qualunque sia la dilatazione o la contrazione. Le formule che spiegano la contrazione della lunghezza, la dilatazione del tempo e lo spostamento Doppler sono un sottoprodotto di questa derivazione.

Rothenstein, B., & Popescu, S. (2007). Lorentz transformation, time dilation, length contraction and Doppler Effect-all at once. arXiv:0712.0463.

Approfondimenti:
Derivations of the Lorentz transformations (en.wiki)

Passaggio iperspaziale

Potrei sottotitolare questo post: quando la scienza si fa fantascienza.
Di solito questo avviene con la fisica teorica, che spinge spesso i modelli verso situazioni assolutamente inimmaginabili. I fisici, ad esempio, in vari modi differenti, sono spesso arrivati alla conclusione che il nostro è un universo immerso in un multiverso. Già queste cose suonano piuttosto fantascientifiche. In molti romanzi di fantascienza, poi, gli oggetti esotici che chiamiamo buchi neri, invece di spaghettificare il malcapitato che vi finisce dentro, lo catapulta in un altro universo, magari grazie a un buco bianco che sputa materia invece di assorbirla. In questa visione, però, un buco nero è associato con un buco bianco, eppure nel 1996 ci fu qualcuno che, come conseguenza di alcune premesse quantistiche, immaginò che in due universi distinti all'interno di un metauniverso esistevano due buchi neri associati uno con l'altro. E a quel punto ci si potrebbe chiedere come sia possibile verificare ciò. Semplice: basta essere un osservatore asintotico, ovvero salire, ad esempio, sull'Enterprise e dirigersi verso il bordo più estremo dell'universo nel lontano futuro. La conseguenza di questa visione, però, è che un universo all'interno del metauniverso non può mai essere autonomo e deve sempre avere almeno un confine che lo collega al resto di un metauniverso autonomo.
In parole semplici e fantascientifiche, deve esistere un passaggio iperspaziale verso un altro universo.

Gonzalez-Diaz, P. F. (1996). Quantum black-hole kinks. arXiv:gr-qc/9606036.

SETI fallirà (o forse ci estingueremo prima)

Mi hanno segnalato un interessante articolo, uscito su arXiv in questi giorni ma effettivamente pubblicato nel 2002, e scritto da Benjamin Zuckerman. L'autore mette in fila una serie di osservazioni per cui il progetto SETI finirà inevitabilmente per fallire. Senza togliervi il gusto per la lettura dell'articolo, vorrei semplicemente ricordare come allo stato attuale delle nostre conoscenze sia altamente probabile che una specie come la nostra si estingua ben prima di riuscire a sviluppare una tecnologia in grado di permetterle di abbandonare il proprio pianeta natale.
E con questa nota di ottimismo, mi sembra opportuno augurare una buona notte a tutti!

Divergenza ultravioletta

La prima volta in cui la fisica si imbatté in una divergenza fu la catastrofe ultravioletta: nello studio della radiazione di corpo nero, utilizzando l'approccio della fisica classica, le equazioni di Maxwell prevedevano un rilascio di radiazione elettromagnetica con potenza infinita da parte del corpo nero, cosa non verificata sperimentalmente. Il problema venne risolto grazie alla meccanica quantistica e all'idea che l'energia viaggia in pacchetti minimi ben definiti a partire dalla costante di Planck.
D'altra parte lo sviluppo moderno della meccanica quantistica meglio noto come modello standard delle particelle elementari si porta dietro un altro piccolo problema, una divergenza che spunta in alcune particolari situazioni che è anche nota come divergenza ultravioletta. In questo caso per risolvere la presenza degli infiniti nel modello si applica la tecnica della rinormalizzazione. Questa, da un punto di vista matematico, è l'equivalente del mettere sotto il tappeto gli infiniti del modello: quando si calcolano gli integrali, una volta determinato quale degli estremi conduce a una divergenza, lo si sostituisce con una quantità piccola a piacere (tipicamente i problemi avvengono proprio con 0), per poi applicare le opportune approssimazioni che permettono di far convergere i termini che prima portavano a divergenze non eliminabili.
Questo continua a restare un problema matematicamente non risolto del modello standard, almeno fino a oggi, visto che su arXiv è comparso un draft che nel titolo recita così: A new method of eliminating ultraviolet divergence in perturbation theory. I due autori, i fisici cinesi Hua Zhang e Mingshun Yuan, propongono una versione opportunamente definita della delta di Dirac, una "funzione" (i matematici non sarebbero molto d'accordo nel definirla così!) utilizzata per calcolare le quantità fisiche con cui confrontare il modello con gli esperimenti (lo so, sto semplificando!). Ovviamente, vista anche l'ora tarda, lascio alla comunità dei fisici teorici il compito di esaminare ed eventualmente assimilare le tecniche matematiche utilizzate dei due fisici cinesi. E magari nel frattempo ci do un'occhiata approfondita anche io.

L'unicità della realtà

Indeciso fino all'ultimo su cosa scrivere, alla fine mi viene in mente che posso pescare dal solito pozzo delle bozze sparse qua e là per una rapida segnalazione di un papero pubblicato su arXiv nel 2013, A quantum approach to the uniqueness of Reality:

A brief review is given of the present state of an approach to consistency between basic quantum mechanics and a unique macroscopic reality, with no assumption of branching in the state of the universe. The main new idea consists in the recognition of local properties in the growth and transport of entanglement between a macroscopic measuring quantum system and a microscopic measured one. Moving waves of entanglement from the environment arise then and carry external phases, affecting significantly the state of the measuring device. These "predecoherence" waves perturb randomly the growth of other waves, which carry entanglement with the measured system. The outcome of these wave interactions could generate random fluctuations in the quantum probabilities of different measurement channels, which could lead in turn to a collapse mechanism satisfying Born's probability rule, according to earlier works by Nelson and Pearle. A necessary randomness in the environment remains however unexplained and some suggestions regarding algorithmic complexity of the wave functions in a large quantum system e are made along that direction.

Ovviamente non sto a tediarvi oltre, avendo in qualche modo sviscerato l'argomento in almeno un paio di articoli, che quindi colgo l'occasione di segnalarvi qui sotto:

Una storia di paradossi, disuguaglianze e baffi | Il meraviglioso mondo quantistico

Il nostro piccolo universo piatto

Ultimamente trovo che ci sia in giro una particolare enfasi nel tentativo di spiegare che l'universo è piatto, eppure, forse per il mio approccio da fisico teorico, la cosa non mi suona. In particolare è quell'è a darmi fastidio. Cerco di spiegarmi meglio.
Per valutare la curvatura di uno spazio, si traccia un triangolo e si misurano gli angoli interni. Se il valore è all'incirca pari a 180°, lo spazio è piatto; se è superiore a 180° gradi, lo spazio è tipo sfera; se inferiore a 180°, lo spazio è una specie di sella. Per valutare la curvatura di uno spazio abbiamo, però, bisogno di trovare dei triangoli sufficientemente grandi: se proviamo a tracciare un triangolo a terra, molto probabilmente sarà un triangolo piatto, ma se proviamo a tracciare un triangolo, dallo spazio, con gli estremi della Sicilia, avremo un triangolo sferico. Allo stesso modo per l'universo bisogna determinare un triangolo il più grande possibile. A questo punto si potrebbero prendere tre stelle e tracciare un triangolo: unica complicazione è scovare tre stelle che si trovano alla stessa epoca dall'istante in cui è iniziata l'espansione cosmica, e questa cosa non è esattamente facile da determinare. Questo costringe a esaminare un segnale diffuso che siamo certi provenga dallo stesso periodo nella timeline dell'universo: la radiazione cosmica di fondo.

La fisica di Riemann

All'incirca un mese fa Michael Atiyah, vincitore sia della Medaglia Fields nel 1966 sia del Premio Abel nel 2004, ha annunciato di avere dimostrato l'ipotesi (o congettura) di Riemann. Questa sarebbe (più o meno) contenuta in due articoli, The Riemann Hypothesis (pdf su Google Drive) e The fine structure constant (pdf su Google Drive o su empslocal.ex.ac.uk). Lo scetticismo è regnato sovrano sia prima sia dopo la conferenza di Atiyah: basti leggere Reading Into Atiyah’s Proof, Atiyah Riemann Hypothesis proof: final thoughts, On Michael Atiyah and the Riemann Hypothesis e altri che qui non elenco.
Onestamente non mi sarei occupato della questione, innanzitutto perché dopo la conferenza di Terrence Tao alla Bicocca a Milano le mie personali speranze di vedere dimostrata l'ipotesi sono piuttosto basse, ma scartabellando tra gli appunti elettronici ho ritrovato un preprint interessante che vale la pena segnalare, grazie al suo titolo affascinante, Physics of the Riemann Hypothesis (arXiv):