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

Dit artikel verduidelijkt dat er geen sterk 'no-go'-theorema bestaat om Reichenbachs stelling dat elke geometrie als alternatief kan dienen, te redden, en gebruikt de bestaande bewijzen in plaats daarvan om systematisch de ruimte van alternatieve ruimtetijds-theorieën, inclusief die met torsie, te verkennen.

De kern

Stel je voor dat je de wereld bekijkt door een bril. De vraag die dit paper stelt, is: Is de vorm van die bril een feit, of is het gewoon een keuze die we hebben gemaakt?

In de natuurkunde, en dan specifiek in de Algemene Relativiteitstheorie (het werk van Einstein over zwaartekracht), hebben wetenschappers al decennia gediscussieerd over dit idee, genaamd conventionalisme.

Hier is een simpele uitleg van wat Ruward Mulder in zijn paper doet, vertaald naar alledaagse taal en metaforen.

1. Het Grote Dilemma: De Bril of de Zwaartekracht?

Stel je voor dat je een bal gooit.

• Optie A: De bal valt omdat de grond krom is (zoals op een heuvel). De ruimte zelf is gebogen.
• Optie B: De grond is helemaal plat, maar er is een onzichtbare, universele "duwkracht" (een magische wind) die de bal naar beneden duwt.

De oude filosofen (zoals Reichenbach) zeiden: "Het maakt niet uit welke optie je kiest! Als je die magische wind (de 'duwkracht') maar goed genoeg aanpast, kun je elke vorm van ruimte (plat, bol, hol) laten lijken op elke andere vorm. Je kunt de wereld plat maken door de regels van je meetinstrumenten aan te passen."

Dit noemden ze Theorema Theta: "Elk geometrisch model kan worden omgezet in elk ander model, zolang je maar een universele kracht toevoegt om de verschillen weg te werken."

2. De Uitdaging: Weatherall en Manchak

Twee moderne wetenschappers (Weatherall en Manchak) kwamen met een wiskundig bewijs dat zei: "Nee, dat werkt niet in Einstein's wereld."

Ze zeiden: "In de nieuwe, relativistische wereld van Einstein kun je niet zomaar de ruimte krommen en de zwaartekracht vervangen door een magische duwkracht. De wiskunde laat dat niet toe." Ze bewezen dat voor de meeste situaties, als je de ruimte verandert, er geen enkele 'kracht' is die de beweging van de deeltjes precies hetzelfde houdt.

Dit was een klap voor de conventionalisten. Het leek alsof de vorm van de ruimte (de geometrie) een vaststaand feit is, en geen keuze.

3. De Tegenreactie: De 'Loophole'-Aanval

Andere filosofen (Dürr en Ben-Menahem) zeiden: "Wacht even! Die wiskundige bewijzen maken te veel aannames. Ze sluiten de deur te snel."

Ze zeiden: "Jullie bewijzen werken alleen als je heel strikte regels hanteert, zoals:

• De ruimte moet 'Riemanniaans' zijn (een specifieke soort wiskundige structuur).
• De kracht moet eruitzien als een standaard kracht (zoals elektromagnetisme).
• De ruimte moet op hetzelfde oppervlak liggen.

Als je één van die regels breekt, kunnen we de oude theorie misschien toch redden!" Ze noemden dit een 'no-go theorem' met gaten (loopholes).

4. De Oplossing van Mulder: De Splitsing

Hier komt Ruward Mulder in het spel. Hij zegt: "Jullie praten over twee verschillende dingen die jullie door elkaar halen."

Hij maakt een belangrijk onderscheid tussen twee soorten claims:

1. Het Existentie-claim: "Voor elke ruimte bestaat er minstens één andere ruimte die eruitziet alsof het hetzelfde is." (Dit is een zwakke claim).
2. Het Universaliteits-claim (Theorema Theta): "Voor elke ruimte kan elke andere ruimte worden gebruikt, zolang we de regels maar aanpassen." (Dit is de sterke, oude claim van Reichenbach).

Mulders grote ontdekking:
De bewijzen van Weatherall en Manchak zijn zo sterk dat ze Theorema Theta (de sterke claim) doodt, zelfs als je de 'gaten' (loopholes) van de critici gebruikt.

Zelfs als je de regels breekt (bijvoorbeeld door de ruimte te laten 'draaien' of 'twisten', wat wiskundig 'torsie' heet), werkt de oude truc niet meer. Je kunt de wereld niet zomaar in een andere vorm gieten door een magische kracht toe te voegen. De universele kracht die Reichenbach nodig had, bestaat simpelweg niet in de echte, complexe wereld van Einstein.

5. De Metafoor: De Koffer en de Lijmen

Stel je voor dat je een koffer hebt (de ruimte) en je wilt hem vullen met verschillende soorten blokken (deeltjes).

• Reichenbach zei: "Het maakt niet uit of de koffer vierkant of rond is. Als je maar de juiste lijm (de universele kracht) gebruikt, passen de blokken altijd perfect."
• Weatherall & Manchak zeiden: "Nee, als de koffer rond is, past de lijm niet."
• De Critici zeiden: "Jullie gebruiken de verkeerde lijm! Gebruik een andere lijm, dan werkt het wel."
• Mulder zegt: "Het maakt niet uit welke lijm je gebruikt. Als de koffer rond is, is hij rond. Je kunt hem niet rond maken door te plakken. De vorm is een feit, geen keuze."

6. Wat betekent dit voor de toekomst? (Het Programma)

In plaats van te zeggen "Klaar, we hebben gewonnen", stelt Mulder een nieuw plan voor. Hij zegt: "Laten we deze bewijzen niet zien als een muur, maar als een kaart."

Hij stelt voor om systematisch te kijken: "Wat gebeurt er als we deze specifieke regel breken?"

• Wat als we de ruimte niet als glad beschouwen, maar als ruw?
• Wat als we de tijd anders definiëren?

Door elke regel van het bewijs één voor één te testen, kunnen we een complete atlas maken van alle mogelijke theorieën over de ruimte. We ontdekken precies waar de grenzen liggen tussen wat mogelijk is en wat onmogelijk is.

Samenvatting in één zin

Dit paper toont aan dat de vorm van de ruimte in ons universum waarschijnlijk een vaststaand feit is en geen vrije keuze, en dat zelfs als we de wiskundige regels loslaten, de oude droom dat "alles alles kan vervangen" niet opgaat. In plaats van te vechten over de regels, moeten we nu systematisch verkennen wat er overblijft als we die regels veranderen.

Technische samenvatting

Probleemstelling

Het artikel adresseert het debat over het conventionalisme in de meetkunde, specifiek binnen de context van de Algemene Relativiteitstheorie (ART). Het centrale vraagstuk is of de geometrie van de ruimtetijd empirisch vaststaat of dat deze gekozen kan worden (conventioneel), mits men "universele krachten" (of effecten) introduceert om de waarnemingen te corrigeren.

Historisch gezien werd dit standpunt verdedigd door figuren zoals Reichenbach, die stelde dat elke meetkunde kan worden gehandhaafd als men aannemt dat meetinstrumenten onderhevig zijn aan universele vervormingen. Weatherall en Manchak (2014, hierna W&M) hebben echter een formeel bewijs geleverd dat suggereert dat dit in de ART niet mogelijk is onder bepaalde redelijke aannames, in tegenstelling tot de Newtoniaanse zwaartekracht. Patrick Dür en Yemima Ben-Menahem (2022, hierna D&BM) hebben hierop gereageerd door de aannames van W&M als "loopholes" (kieren) te bestempelen, wat zou leiden tot een "no-go theorema" dat het conventionalisme juist zou redden.

Mulder stelt dat er verwarring bestaat tussen twee verschillende doelstellingen in dit debat:

1. Een existentieclaim: Er bestaat minimaal één alternatieve geometrie die empirisch equivalent is aan een gegeven geometrie.
2. Een universaliteitsclaim (Reichenbach's "Theorema θ"): Elke willekeurige geometrie kan worden omgezet in elke andere geometrie door universele krachten.

Het doel van het artikel is om deze claims te ontrafelen, de validiteit van W&M's bewijs te verdedigen tegenover D&BM's kritiek, en een programma voor toekomstig onderzoek te schetsen.

Methodologie

De auteur hanteert een strikt formele en logische benadering binnen de differentiaalmeetkunde en de filosofie van de natuurkunde:

• Analyse van Aannames: De paper deconstrueert het bewijs van W&M door een lijst van onderliggende aannames te identificeren en te categoriseren. Deze omvatten:
  • (CONF): De alternatieve metriek is conform verwant aan de standaardmetriek ($\tilde{g}_{ab} = \Omega^2 g_{ab}$).
  • (NORM): De raakvector aan de deeltjesbaan is genormaliseerd (eenheidsvector) ten opzichte van de nieuwe metriek.
  • (FORCE): Het alternatief voor standaard versnelling moet de vorm van een "standaard krachtswet" hebben (een rank-2 tensor veld $F^a_b$).
  • (RIEM): De geometrie is Riemanniaans (torsievrij en metrisch compatibel).
  • (TOPO): De topologische structuur (manifold) blijft ongewijzigd.
• Logische Reductie tot het Absurde: Mulder toont aan dat het verwerpen van een enkele aanname (zoals voorgesteld door D&BM) niet noodzakelijk leidt tot het redden van Reichenbach's universaliteitsclaim. Hij gebruikt logische implicaties om te tonen dat zelfs als men de beperkingen opheft, de kern van het bewijs (dat geen krachtstensor bestaat die twee conform verwante metrieken relateert) overeind blijft.
• Generalisatie: De methode wordt uitgebreid naar ruimtetijden met torsie (niet-symmetrische connecties), wat een generalisatie is van het oorspronkelijke W&M-bewijs dat zich beperkte tot torsievrije Levi-Civita connecties.
• Programmatische Benadering: In plaats van de aannames puur als obstakels te zien, worden ze gebruikt als een "zoektocht" (research programme) om systematisch de ruimte van alternatieve ruimtetijdtheorieën te verkennen.

Kernbijdragen

1. Duiding van Doelstellingen (Existentie vs. Universaliteit):
   Mulder maakt een cruciaal onderscheid dat in eerdere literatuur vaak verward werd. W&M's bewijs weerlegt primair de universaliteitsclaim (Theorema θ: elke geometrie is vervangbaar door elke andere). Het bewijs toont aan dat er geen universele krachtstensor bestaat die elke paar conform verwante metrieken kan verbinden. Dit weerlegt niet per se de zwakkere existentieclaim (dat er soms een alternatief bestaat), maar het toont wel aan dat de sterke vorm van het conventionalisme (Reichenbach) in de ART niet houdbaar is onder standaard krachtswetten.

2. Verdediging van het Bewijs tegen "Loopholes":
   De auteur weerlegt D&BM's argument dat het verwerpen van aannames zoals (CONF) (conformiteit) of (NORM) (normalisatie) het bewijs ongeldig maakt. Mulder toont aan dat het uitbreiden van de ruimte van mogelijke metrieken (bijvoorbeeld door niet-conform verwante metrieken toe te staan) de conclusie niet verandert: als het bewijs geldt voor de beperkte subset (conform verwante ruimtetijden), dan geldt de onmogelijkheid van een universele krachtstensor ook voor de bredere context, tenzij men de definitie van "kracht" fundamenteel verandert.

3. Generalisatie naar Torsie (Propositie 3):
   Een belangrijke technische bijdrage is het uitbreiden van het W&M-bewijs naar torsievolle ruimtetijden (zoals in de Teleparallel Equivalentie van de Algemene Relativiteitstheorie, TEGR). Mulder bewijst (Propositie 3) dat zelfs wanneer men de aanname van torsievrijheid (RIEM-SYMM) verlaat, er geen rank-2 tensor $F^a_b$ bestaat die de geodeten van een torsievolle connectie relateert aan die van een conform verwante torsievolle connectie. Dit betekent dat torsie in deze context niet als een "kracht" in de Newtoniaanse zin kan worden geïnterpreteerd die de geometrie volledig kan compenseren.

4. Een Nieuw Onderzoeksprogramma:
   De paper stelt voor om de aannames van W&M niet als fouten te zien, maar als parameters voor een systematische exploratie van de ruimte van ruimtetijdtheorieën. Door systematisch aannames te ontkennen (bijv. $\neg$(TOPO), $\neg$(RIEM), $\neg$(FORCE)), kan men nieuwe, strikte stellingen formuleren over welke alternatieve theorieën wel of niet empirisch equivalent kunnen zijn.

Resultaten

• Theorema θ is weerlegd: Er is geen "rijk" no-go theorema nodig om Reichenbach's theorema θ te redden; integendeel, het bewijs van W&M (en de generalisatie daarvan) toont aan dat de universaliteitsclaim in de ART onhoudbaar is, zolang men vasthoudt aan de standaarddefinitie van kracht (een rank-2 tensor in de geodetische vergelijking).
• Geen "Loophole" via Torsie: Het introduceren van torsie (zoals in TEGR) biedt geen uitweg om de universaliteitsclaim te redden. Torsie fungeert niet als een universele kracht die elke geometrische keuze mogelijk maakt; het is eerder een geometrisch effect dat niet volledig door een rank-2 krachtstensor kan worden gemodelleerd.
• Beperking van Onderbepaaldheid: Hoewel de ART minder vatbaar is voor onderbepaaldheid dan de Newtoniaanse zwaartekracht, sluit het bewijs niet uit dat er soms specifieke gevallen zijn van empirisch equivalente modellen (de existentieclaim blijft theoretisch open, maar is niet bewezen).
• Formele Structuur: De paper levert een logisch raamwerk dat de verschillende posities in het conventionalisme-debat classificeert op basis van welke van de zes kernaannames (CONF, NORM, FORCE, RIEM, TOPO, etc.) worden verworpen.

Significantie

De significantie van dit artikel ligt in drie gebieden:

1. Filosofische Clarificatie: Het lost een jarenlang debat op door te laten zien dat de tegenstelling tussen W&M en D&BM grotendeels voortkomt uit een verwarring tussen een sterke universaliteitsclaim en een zwakkere existentieclaim. Het toont aan dat W&M's resultaat de sterke vorm van het conventionalisme (Reichenbach) effectief weerlegt zonder de mogelijkheid van elke vorm van onderbepaaldheid volledig te ontkennen.
2. Formele Strenge: Door het bewijs te generaliseren naar torsievolle ruimtetijden, versterkt Mulder de wiskundige onderbouwing van de stelling dat de ART een unieke geometrische structuur heeft die niet zomaar kan worden "weggekracht" door universele krachten. Dit heeft implicaties voor de interpretatie van alternatieve zwaartekrachtstheorieën zoals TEGR en STEGR.
3. Methodologische Innovatie: Het artikel introduceert een constructieve aanpak voor het filosofie van de wetenschap. In plaats van no-go theorema's als eindpunten te zien, worden ze gebruikt als startpunten voor een systematisch onderzoek naar de "ruimte van theorieën". Dit biedt een roadmap voor het rigoureus formuleren van nieuwe stellingen en het verkennen van "ongedachte" alternatieve theorieën, wat bijdraagt aan een dieper begrip van de relatie tussen geometrie, kracht en empirische data.

Kortom, Mulder concludeert dat we niet hoeven te kiezen tussen realisme en conventie op basis van een gebrek aan rigoureusheid, maar dat we de formele beperkingen van de ART kunnen gebruiken om de ruimte van mogelijke alternatieve theorieën systematisch en rigoureus te verkennen.