Conventionalism in general relativity?: formal existence proofs and Reichenbach's theorem {\theta} in context

L'autore chiarisce la distinzione tra l'esistenza di geometrie alternative e il teorema theta di Reichenbach, dimostrando che non esiste un teorema no-go che invalidi quest'ultimo e proponendo di utilizzare la prova per esplorare sistematicamente lo spazio delle teorie spaziotemporali alternative, anche in contesti torsionali.

L'essenziale

Il Grande Gioco della Geometria: Chi ha ragione, la Mappa o il Terreno?

Immagina di dover descrivere il percorso di un'auto che viaggia su una strada.
C'è una domanda antica nella fisica e nella filosofia: la strada è curva di per sé, o l'auto sta deviando perché c'è un vento invisibile che la spinge?

Questa è la domanda centrale del convenzionalismo geometrico.

• La visione "Realista": La strada (lo spazio-tempo) ha una forma vera e propria. Se l'auto curva, è perché la strada è curva.
• La visione "Convenzionalista" (di Reichenbach): Non possiamo mai sapere la forma "vera" della strada. Possiamo sempre dire: "La strada è dritta, ma c'è un vento universale invisibile che spinge l'auto a curvare". Oppure: "La strada è curva, ma il vento la raddrizza". Finché l'auto arriva a destinazione nello stesso modo, non c'è modo di dire chi ha ragione.

Per molto tempo, i filosofi hanno pensato che nella Relatività Generale (la teoria di Einstein sulla gravità) potessimo fare questo trucco: cambiare la forma dello spazio e compensare con una "forza universale" per ottenere gli stessi risultati.

Cosa hanno scoperto Weatherall e Manchak (W&M)

Due ricercatori, Weatherall e Manchak, hanno detto: "Fermatevi. Proviamo a fare i conti con la matematica moderna".
Hanno dimostrato che, nella Relatività Generale, questo trucco non funziona sempre.
Se provi a cambiare la geometria dello spazio (come se cambiassi la mappa) e cerchi di compensare con una "forza" standard (come il vento), la matematica si blocca. Non puoi trasformare qualsiasi mappa in un'altra mappa usando solo una forza semplice.

In parole povere: La Relatività Generale è più rigida della fisica newtoniana. Non puoi inventare infinite geometrie alternative che funzionino tutte allo stesso modo.

La Reazione dei Critici (Dürr e Ben-Menahem)

Altri filosofi, Dürr e Ben-Menahem, hanno risposto: "Aspetta! Avete fatto troppe ipotesi! Avete limitato il gioco!"
Hanno detto: "Se permettete che la forza non sia una forza normale, o se permettete che lo spazio abbia proprietà strane (come la torsione), allora il trucco funziona di nuovo!".
Hanno trattato la dimostrazione di W&M come un "divieto" (no-go theorem) che può essere aggirato trovando delle scappatoie nelle regole.

La Soluzione di Mulder: Chiarezza e Nuove Regole

Ruward Mulder, l'autore di questo paper, entra in campo per fare ordine. Dice: "Ragazzi, state parlando di due cose diverse e confondendo i termini".

Ecco i punti chiave spiegati con le metafore:

1. La differenza tra "Esiste un'alternativa?" e "Tutto è alternativo?"

Mulder distingue due tipi di scommesse:

• La scommessa dell'Esistenza: "Per ogni mappa che usiamo, esiste almeno una altra mappa alternativa che funziona." (Come dire: "Esiste un'alternativa alla mia ricetta per la pasta").
• La Scommessa dell'Universalità (Il Teorema Theta di Reichenbach): "Per qualsiasi mappa che tu scelga, posso trovare qualsiasi altra mappa che funzioni, basta aggiustare la forza." (Come dire: "Posso cucinare la stessa pasta usando qualsiasi ingrediente, dalla farina al sabbia, basta che aggiunga la salsa giusta").

La scoperta di Mulder:
La dimostrazione di Weatherall e Manchak distrugge la Scommessa dell'Universalità. Non puoi prendere qualsiasi geometria e trasformarla in un'altra con una forza semplice. Il "Teorema Theta" è morto.
Tuttavia, non ha distrutto la Scommessa dell'Esistenza. Potrebbe ancora esserci qualche alternativa specifica che funziona, ma non è vero che tutto è intercambiabile.

2. Le "Scappatoie" non salvano il Teorema

I critici dicevano: "Se togliamo l'ipotesi che lo spazio sia liscio (Riemanniano) o che la forza sia standard, allora il teorema di Reichenbach torna vero!".
Mulder risponde: No.
Ha preso il caso più strano possibile: spazi con "torsione" (immagina lo spazio come un nastro di Möbius che si torce su se stesso, non solo curvo). Anche in questo caso, ha dimostrato matematicamente che non puoi collegare due geometrie diverse con una semplice forza.
Anche se rompi le regole del gioco (aggiungendo torsione), il "Teorema Theta" rimane falso. Non c'è scappatoia magica che permetta di dire che "qualsiasi geometria è uguale a qualsiasi altra".

3. Il Nuovo Programma: Una Mappa per Esplorare

Invece di litigare su chi ha vinto o perso, Mulder propone un approccio costruttivo.
Immagina che le ipotesi usate nella dimostrazione (come "lo spazio è liscio", "la forza è standard", "lo spazio è a 4 dimensioni") siano dei filtri su una camera fotografica.

• Se togli un filtro (es. "non è liscio"), cosa succede alla foto?
• Se ne togli un altro (es. "non è a 4 dimensioni"), cosa cambia?

Mulder suggerisce di usare la dimostrazione di W&M non come un muro, ma come una bussola. Invece di dire "Non possiamo cambiare la geometria", dovremmo dire: "Ecco esattamente quali regole dobbiamo rompere per trovare una teoria alternativa".
Questo ci permette di esplorare sistematicamente il "paesaggio" delle teorie possibili, creando un atlante di come lo spazio-tempo potrebbe funzionare, senza cadere nel caos del "tutto è possibile".

In Sintesi

• Il problema: Si pensava che potessimo cambiare la forma dell'universo a nostro piacimento, compensando con forze invisibili.
• Il risultato: La Relatività Generale è troppo "testarda". Non puoi cambiare la geometria a caso e compensarla con una forza normale.
• La confusione: Alcuni pensavano che cambiando le regole (es. permettendo spazi contorti) si potesse tornare a dire che "tutto è uguale a tutto".
• La soluzione di Mulder: Anche cambiando le regole, non puoi dire che "tutto è uguale a tutto". Il "Teorema Theta" (l'idea che qualsiasi geometria funzioni) è definitivamente falso.
• Il futuro: Usiamo questa scoperta per mappare con precisione quali regole dobbiamo rompere per trovare nuove teorie fisiche, trasformando un dibattito filosofico in un programma di ricerca scientifico rigoroso.

Metafora finale:
Pensate alla fisica come a un puzzle. Per un secolo, i convenzionalisti hanno detto: "Posso ricomporre il puzzle in mille modi diversi, basta che sposti i pezzi e aggiunga un po' di colla (forza) dove serve".
Weatherall e Manchak hanno detto: "No, i pezzi hanno forme specifiche, non si incastrano a caso".
I critici hanno detto: "Ma se usiamo una colla diversa o pezzi di plastica invece di cartone, allora sì!".
Mulder dice: "Anche con la colla di plastica, i pezzi non si incastrano come volevate. Ma ora che sappiamo esattamente perché non si incastrano, possiamo iniziare a progettare nuovi puzzle che funzionino davvero, invece di illuderci che il vecchio puzzle sia magico".

Sommario tecnico

1. Il Problema: Convenzionalismo Geometrico e Sottodeterminazione

Il paper affronta il dibattito filosofico sul convenzionalismo geometrico, la tesi secondo cui la geometria dello spazio-tempo non è interamente determinata dai dati empirici, ma richiede una scelta convenzionale (spesso associata a Poincaré, Reichenbach e Carnap).
Il cuore del problema è la sottodeterminazione delle teorie: è possibile postulare l'esistenza di "forze universali" (o effetti universali) che compensino le differenze geometriche tra modelli diversi, rendendoli empiricamente indistinguibili?

In particolare, il paper si concentra sulla risposta data da Weatherall e Manchak (W&M, 2014) alla domanda se la Relatività Generale (GR) ammetta tale convenzionalità. W&M hanno dimostrato che, sotto certe assunzioni ragionevoli, mentre nella gravità newtoniana è possibile trovare geometrie alternative equivalenti tramite forze universali (rappresentate da un tensore di rango 2 nell'equazione geodetica), nella Relatività Generale questo non è sempre possibile.

Tuttavia, Dürr e Ben-Menahem (D&BM, 2022) hanno contestato questo risultato, sostenendo che le assunzioni di W&M sono troppo restrittive e costituiscono "scappatoie" (loopholes) che permettono di salvare il convenzionalismo, trasformando il teorema di W&M in un "teorema no-go" debole. Mulder mira a chiarire questa controversia.

2. Metodologia

L'autore utilizza un approccio rigoroso basato sulla logica formale e sulla geometria differenziale:

• Analisi Logica delle Assunzioni: Mulder scompone la dimostrazione di W&M in un insieme di premesse (assiomi) e mostra come la loro negazione porti a diverse posizioni filosofiche.
• Distinzione Concettuale: Distingue tra due tipi di sottodeterminazione spesso confusi:
  1. Esistenza (UDT-∀g∃ĝ): Per ogni metrica data, esiste almeno una metrica alternativa empiricamente equivalente.
  2. Universalità (Teorema θ di Reichenbach - UDT-∀g∀ĝ): Qualsiasi metrica può sostituire qualsiasi altra metrica, a patto di introdurre le opportune forze universali.
• Generalizzazione Matematica: Estende la dimostrazione originale di W&M (che si basava su connessioni di Levi-Civita senza torsione) al caso di spazi-tempo con torsione (connessioni non simmetriche), per verificare se la violazione delle assunzioni di W&M salvi il teorema θ.
• Programma di Ricerca: Propone di trattare le assunzioni non come ostacoli da aggirare, ma come parametri per esplorare sistematicamente lo spazio delle teorie dello spazio-tempo alternative.

3. Contributi Chiave e Risultati

A. Chiarificazione del bersaglio della prova (Esistenza vs. Universalità)

Mulder dimostra che W&M e D&BM parlano spesso di due cose diverse:

• W&M dimostrano che non è possibile collegare le geodetiche di due metriche conformemente equivalenti tramite un tensore di forza standard (rango 2). Questo refuta la Universalità (Teorema θ) nel contesto della GR standard.
• D&BM attaccano le assunzioni (come la restrizione conformale o l'assenza di torsione) per salvare l'Esistenza di alcune alternative.
• Risultato cruciale: Anche se si negano le assunzioni di W&M (es. permettendo torsione o metriche non conformi), il Teorema θ (Universalità) rimane falso. La negazione delle assunzioni non crea un "teorema no-go" ricco che salvi l'idea che qualsiasi geometria possa sostituire qualsiasi altra. Si restringe solo lo spazio delle alternative possibili, ma non si elimina la sottodeterminazione totale.

B. Generalizzazione alle connessioni con torsione (Proposizione 3)

L'autore generalizza la prova di W&M al caso di connessioni con torsione (rifiutando l'assunzione RIEM-SYMM).

• Proposizione 3: Dimostra che anche in spazi-tempo con torsione, non esiste un tensore di forza $F^a_b$ che possa rendere le geodetiche di una connessione $\nabla$ equivalenti a quelle di una connessione conformemente equivalente $\tilde{\nabla}$ (con torsione).
• Implicazione per la Teleparallélismo: Questo risultato è rilevante per la Teleparallel Equivalent of General Relativity (TEGR). Mulder conclude che la torsione in TEGR non può essere interpretata come una "forza" nel senso standard (rango 2, conservativa) che compensa la curvatura. La torsione è un effetto geometrico distinto, non una forza universale che salva il convenzionalismo di Reichenbach.

C. Smontaggio delle "Scappatoie" (Loopholes)

L'analisi delle assunzioni negate da D&BM mostra che:

• Negare la conformalità (CONF) o la normalizzazione (NORM) amplia lo spazio delle metriche candidate, ma non garantisce che ogni coppia di metriche sia collegabile.
• Negare la natura di forza (FORCE) (es. permettendo tensori di rango superiore o effetti non conservativi) indebolisce la definizione di "forza universale", ma non salva il Teorema θ nella sua forma forte.
• L'unico modo per salvare il Teorema θ è rifiutare che gli effetti universali debbano comportarsi come campi di forza standard (rango 2) nell'equazione geodetica.

D. Un Programma di Ricerca Sistematico

Invece di vedere il risultato di W&M come una sconfitta per il convenzionalismo, Mulder propone un programma costruttivo:

1. Utilizzare l'elenco delle assunzioni di W&M come una "mappa" per esplorare lo spazio delle teorie alternative.
2. Sistematicamente negare singole assunzioni (topologia, geometria Riemanniana, natura della forza, ecc.) per formulare nuovi teoremi di esistenza o non-esistenza.
3. Questo approccio permette di classificare rigorosamente quali teorie alternative (es. teorie della trinità geometrica della gravità, spazi non-Hausdorff, dimensioni extra) possono o non possono essere rese empiricamente equivalenti alla GR tramite effetti universali.

4. Significato e Implicazioni

• Per la Filosofia della Scienza: Il paper risolve l'apparente contraddizione tra W&M e D&BM mostrando che non c'è un "teorema no-go" che salvi il convenzionalismo universale (Teorema θ) nella GR. La GR è meno suscettibile alla sottodeterminazione rispetto alla gravità newtoniana, ma non è immune a forme più deboli di sottodeterminazione (esistenza di alcune alternative).
• Per la Fisica Teorica: Fornisce criteri rigorosi per valutare le teorie alternative alla GR (come TEGR e STEGR). Dimostra che la torsione e la non-metricità non sono semplici "forze" nascoste che rendono la GR convenzionale, ma strutture geometriche fondamentali che non possono essere mappate su una GR piatta tramite un semplice tensore di forza.
• Metodologico: Sposta il dibattito da una discussione qualitativa sulle "scappatoie" a un programma quantitativo e formale per esplorare lo spazio delle teorie fisiche, trasformando i teoremi "no-go" in strumenti euristici per la scoperta di nuove teorie ("go-theorems").

In sintesi, Mulder conclude che il Teorema θ di Reichenbach è falso nella Relatività Generale se si assume una definizione standard di forza universale. La GR offre un vincolo geometrico più forte rispetto alla fisica newtoniana, limitando drasticamente (ma non eliminando completamente) la possibilità di alternative geometriche empiricamente equivalenti.