Consistency of Generalised Probabilistic Theories is Undecidable

Het artikel toont aan dat het bepalen of uitbreidingen van Generalised Probabilistic Theories met dynamica of verstrengeling consistent zijn met de axioma's onbeslisbaar is en computationeel equivalent aan het haltingprobleem, omdat eindige uitbreidingen oneindig veel te controleren voorwaarden genereren.

De kern

De Onmogelijke Taak: Waarom we nooit zeker kunnen zijn of een nieuw fysiek universum werkt

Stel je voor dat je een architect bent die een nieuw type universum ontwerpt. Je hebt de blauwdrukken voor de basisregels: hoe deeltjes zich gedragen, hoe ze met elkaar kunnen praten en hoe je ze kunt meten. Dit noemen wetenschappers "Veralgemeende Probabilistische Theorieën" (GPTs). Het is een soort super-ontwerpframework dat zowel onze bekende quantummechanica als klassieke fysica, en zelfs heel vreemde, hypothetische universums, kan bevatten.

De vraag die Serge Massar in dit paper stelt, is als volgt: "Als ik een paar nieuwe regels toevoeg aan mijn ontwerp, is het dan gegarandeerd dat mijn universum nog steeds logisch en stabiel blijft?"

Het verrassende antwoord is: Nee. En er is geen enkele computer, hoe slim ook, die dit voor je kan uitrekenen.

Hier is de uitleg in simpele taal, met wat creatieve vergelijkingen.

1. Het Legpuzzel-probleem (Dynamica)

Stel je voor dat je een doos met Lego-blokjes hebt. Je hebt een set basisblokjes (de staten) en een set instructies hoe je ze aan elkaar kunt klikken (de transformaties).

In de natuurkunde willen we weten: als ik deze instructies oneindig vaak herhaal, blijft het bouwwerk staan? Of stort het in elkaar?
Massar laat zien dat als je een eindig aantal nieuwe "klik-instructies" toevoegt, je onmiddellijk een oneindig aantal nieuwe combinaties creëert.

• De Analogie: Stel je voor dat je een robot hebt die een muur bouwt. Je geeft hem twee nieuwe instructies: "Leg een baksteen" en "Draai de baksteen". Als je deze instructies herhaaldelijk uitvoert, bouwt hij een muur. Maar wat als je een derde instructie toevoegt die zegt: "Als de muur er zo uitziet, leg dan een baksteen op een heel specifieke, rare manier"?
  Door deze instructies te combineren, kan de robot op een dag een muur bouwen die zo groot is dat hij tegen de hemel drukt, of zo raar dat hij ineenstort. Het probleem is dat je nooit kunt voorspellen of de robot op een dag een "crash" zal veroorzaken door een combinatie van instructies die pas na 10.000 stappen gebeurt.

In de wiskunde heet dit het Halting-probleem (het probleem van de Turing-machine). Het betekent dat er geen algoritme bestaat dat voor elke mogelijke reeks instructies kan zeggen: "Dit werkt wel" of "Dit werkt niet". Het is fundamenteel onmogelijk.

2. Het Teleportatie-Netwerk (Verstrengeling)

Het tweede deel van het paper gaat over "verstrengeling" (entanglement). In de quantumwereld kunnen twee deeltjes zo met elkaar verbonden zijn dat wat je met het ene doet, direct invloed heeft op het andere, zelfs als ze ver uit elkaar staan.

Massar kijkt naar een oneindig lange keten van systemen (zoals een oneindige rij atomen in een kristal).

• De Analogie: Stel je voor dat je een oneindige rij mensen hebt die een geheim doorgeven.
  1. Persoon A geeft een bericht door aan B.
  2. B gebruikt een "teleportatie-methode" om het bericht naar C te sturen.
  3. C gebruikt een andere methode om het naar D te sturen.

Elke keer als je een bericht "teleporteert", verandert het een beetje. Als je dit proces oneindig vaak herhaalt, ontstaan er nieuwe en nieuwe varianten van het bericht. De vraag is: Blijft het bericht ooit "positief" (logisch)? Of wordt het op een dag een onzin-boodschap die de hele keten laat instorten?

Massar bewijst dat het onmogelijk is om te zeggen of deze keten van teleportaties ooit een "fout" (een negatieve kans, wat in de fysica onmogelijk is) zal produceren. Het is alsof je vraagt: "Zal deze oneindige keten van Russische poppetjes ooit openen en een giftige slang bevatten?" Je kunt het niet weten, tenzij je de hele oneindige keten uitpakt, wat ondoenlijk is.

Waarom is dit belangrijk?

Dit paper is een enorme "stopbord" voor theoretische fysici.

1. Geen "Alles-in-één" theorie: We kunnen niet zomaar een willekeurige verzameling regels bedenken en hopen dat het een geldig universum is. We kunnen niet automatisch controleren of onze nieuwe theorieën consistent zijn.
2. De grens van kennis: Het betekent dat er fundamentele grenzen zijn aan wat we kunnen berekenen in de natuurkunde. Er zijn vragen over hoe het universum werkt die simpelweg onbeantwoordbaar zijn door wiskunde of computers.
3. De noodzaak van extra regels: Om dit probleem op te lossen, moeten we als wetenschappers extra "handboeken" of aannames toevoegen aan onze theorieën. We moeten de regels beperken zodat ze niet meer oneindig complex worden. Zonder deze extra beperkingen blijft de consistentie van onze theorieën een raadsel.

De conclusie in één zin

Het paper laat zien dat het bouwen van een nieuw, compleet fysiek universum met willekeurige regels een taak is die net zo onmogelijk is als het voorspellen van het gedrag van een computer die oneindig lang blijft draaien: we kunnen het nooit zeker weten.

Het is een herinnering dat de natuur, of onze theorieën erover, misschien wel dieper en mysterieuzer is dan we ooit volledig kunnen doorgronden met onze rekenmachines.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "Consistency of Generalised Probabilistic Theories is Undecidable" van Serge Massar, geschreven in het Nederlands.

Samenvatting: Onbeslisbaarheid van de consistentie van Generalised Probabilistic Theories

Probleemstelling
Generalised Probabilistic Theories (GPT's) vormen een unificerend raamwerk dat klassieke mechanica, kwantummechanica en hypothetische alternatieven omvat. Een fundamentele uitdaging in dit veld is het bepalen of een GPT kan worden uitgebreid met dynamica (transformaties) of verstrengeling (entangled states en effects) zonder de axioma's van de theorie te schenden. Specifiek gaat het om de vraag of alle gegenereerde kansen niet-negatief blijven en begrensd zijn door 1.

Het centrale probleem dat in dit artikel wordt onderzocht, is of er een effectieve procedure (algoritme) bestaat om te beslissen of een eindige verzameling van transformaties of een eindige verzameling van verstrengelde toestanden en effecten, toegevoegd aan een bestaand GPT-raamwerk, leidt tot een consistent model. De auteur toont aan dat dit probleem onbeslisbaar is; het is computationeel equivalent aan het halting-probleem voor Turing-machines.

Methodologie
De auteur gebruikt een constructieve aanpak die de structuur van GPT's koppelt aan de theorie van matrixproducten en probabilistische automaten. De kern van de methode bestaat uit de volgende stappen:

1. Formulering van GPT's:

   • Toestanden ($\omega$) en effecten ($e$) worden beschreven als vectoren in een reële vectorruimte, met een unit effect $u$ dat normalisatie garandeert ($u^T \omega = 1$).
   • Transformaties worden weergegeven als lineaire afbeeldingen (matrices) die toestanden naar toestanden afbeelden.
   • Voor samengestelde systemen worden tensorproducten gebruikt. Het artikel introduceert een specifiek model, de "hypersphere theory", als bouwsteen voor de constructies.

2. Reductie tot Onbeslisbare Matrixproblemen:
   De auteur maakt gebruik van twee bekende onbeslisbare problemen uit de wiskunde:

   • Strict Emptiness (Theorema 1): Het is onbeslisbaar of er een woord $w$ bestaat (een reeks matrices) zodat de acceptatiekans $P(F|w, q) > \lambda$ voor een gegeven drempel $\lambda$.
   • Onbegrensde Matrixproducten (Theorema 2): Het is onbeslisbaar of de producten van een eindige verzameling matrices begrensd blijven of onbegrensd kunnen worden.

3. Constructie van de GPT-uitbreiding:

   • Voor dynamica (transformaties): De auteur construeert een verzameling transformaties die corresponderen met een verzameling matrices. Als de matrixproducten onbegrensd worden, kunnen de gegenereerde toestanden en effecten de positiviteitsvoorwaarde ($e^T T \omega \geq 0$) schenden. Omdat het onbeslisbaar is of de matrices onbegrensd worden, is het ook onbeslisbaar of de GPT-consistentie behouden blijft.
   • Voor verstrengeling (Translation Invariant Systems): Voor systemen met oneindig veel deelsystemen (translation invariant) wordt gebruikgemaakt van teleportatie als een mechanisme om transformaties te simuleren. Door verstrengelde toestanden en effecten toe te voegen, kunnen nieuwe toestanden gegenereerd worden via "teleportatie". De auteur toont aan dat deze teleportatie-processen wiskundig equivalent zijn aan het itereren van matrixproducten. Als de matrixproducten onbegrensd worden, ontstaan er toestanden met negatieve kansen, wat de theorie inconsistent maakt.

Belangrijkste Bijdragen en Resultaten

Het artikel presenteert vier fundamentele onbeslisbaarheidsresultaten:

1. Onbeslisbaarheid van Transformaties (Theorema 3):
   Gegeven een eindige verzameling transformaties $T_0$, is het onbeslisbaar of deze verzameling consistent is met de GPT-axioma's (d.w.z. of er toestanden en effecten bestaan die onder alle mogelijke composities van $T_0$ positieve kansen opleveren).

2. Onbeslisbaarheid van de Drietal-Consistentie (Theorema 4):
   Gegeven een geldig GPT voor een enkel systeem $(S_0, E_0)$ en een consistente verzameling transformaties $T_0$, is het onbeslisbaar of de combinatie $(S_0, E_0, T_0)$ een consistent geheel vormt. De onbeslisbaarheid ontstaat uit de interactie tussen de specifieke toestanden/effecten en de gegenereerde transformaties.

3. Onbeslisbaarheid van Translation Invariante Systemen (Theorema 5):
   Voor een oneindig systeem met translation invariance (bijv. een 1D spin-keten), is het onbeslisbaar of een gegeven verzameling verstrengelde toestanden en effecten kan worden aangevuld met lokale toestanden/effecten tot een consistent GPT.

4. Onbeslisbaarheid van Verstrengeling in Translation Invariante Systemen (Theorema 6):
   Zelfs als de lokale toestanden/effecten en de verstrengelde verzamelingen apart consistent lijken, is het onbeslisbaar of hun combinatie (het quadrupel) een consistent GPT vormt.

Significantie en Implicaties

De resultaten van dit artikel hebben diepgaande gevolgen voor de fundamenten van de kwantumtheorie en de studie van GPT's:

• Fundamentele Beperking: Er bestaat geen algemeen algoritme om te bepalen of een GPT-uitbreiding met dynamica of verstrengeling fysiek realiseerbaar is. Dit betekent dat men niet zomaar aannames kan maken over welke evoluties of verstrengelingspatronen mogelijk zijn binnen een bepaald raamwerk zonder extra restricties.
• Beperking van Numerieke Methoden: Aangezien eindige versies van onbeslisbare problemen vaak NP-hard zijn, zullen numerieke zoektochten naar consistente GPT's (zoals recentelijk gedaan in literatuur) inherent inefficiënt zijn en geen garantie bieden voor volledigheid.
• Noodzaak van Extra Aannames: Om de consistentie van GPT's te kunnen garanderen, moeten fysici of wiskundigen extra fysieke of wiskundige hypothesen invoeren (bijvoorbeeld beperkingen op de dimensie van de toestandsruimte of specifieke vormen van dynamica) om het probleem "decideerbaar" te maken.
• Verband met Andere Onbeslisbare Problemen: Het artikel plaatst dit resultaat in de context van andere onbeslisbare problemen in de fysica (zoals het spectrale gap-probleem), maar benadrukt dat de consequenties hier dramatischer zijn: het raakt de bestaansrecht van de theorie zelf. Als een theorie niet consistent kan worden uitgebreid, is de theorie in die vorm onhoudbaar.

Conclusie
Serge Massar demonstreert dat het uitbreiden van Generalised Probabilistic Theories met discrete dynamica of verstrengeling leidt tot een fundamentele computability-obstakel. De consistentie van dergelijke uitbreidingen is equivalent aan het halting-probleem en dus onbeslisbaar. Dit impliceert dat een volledige classificatie van mogelijke GPT-uitbreidingen zonder extra restricties onmogelijk is, wat de zoektocht naar nieuwe fysische theorieën binnen dit raamwerk ingrijpend beïnvloedt.