Comment on "Quantum theory based on real numbers cannot be experimentally falsified": On the compatibility of physical principles with information theory for fermions

Deze paper weerlegt een recent voorgesteld fysisch postulaat dat kwantumtheorie op reële getallen zou moeten uitsluiten, door aan te tonen dat dit postulaat niet verenigbaar is met Fermionische Informatietheorie, en benadrukt hiermee het belang van het toetsen van fundamentele principes aan fermionische systemen.

De kern

De Kernboodschap: "God speelt niet alleen met dobbelstenen, maar ook met identieke broers"

Stel je voor dat fysici al jaren discussiëren over de taal waarin het universum is geschreven. De standaardtheorie (de "normale" kwantummechanica) gebruikt complexe getallen (getallen met een reëel en een imaginair deel, zoals $3 + 4i$).

Sommige wetenschappers vroegen zich echter af: "Zou het universum niet ook kunnen worden beschreven met alleen reële getallen (gewone getallen zoals 1, 2, 3)?"

Onlangs verscheen er een nieuw artikel (genoemd [1] in de tekst) dat een antwoord probeerde te geven. De auteurs van dat artikel stelden een nieuwe "regel" (een postulaat) op om te bewijzen dat we wel degelijk reële getallen kunnen gebruiken, mits we de theorie op een specifieke manier aanpassen. Ze zeiden: "Als twee dingen onafhankelijk van elkaar worden voorbereid, dan moeten hun meetresultaten ook onafhankelijk van elkaar zijn."

Het probleem: De auteurs van dit commentaar (Moradi Kalarde, Xu en Renou) zeggen: "Wacht even. Die regel werkt niet voor alles. Hij faalt als we kijken naar fermionen."

---

De Analogie: De Identieke Tweeling en de Gesloten Deuren

Om dit te begrijpen, moeten we kijken naar twee soorten deeltjes in de natuur:

1. Onderscheidbare deeltjes: Denk aan twee verschillende ballen, een rode en een blauwe. Je kunt ze makkelijk uit elkaar houden.
2. Identieke fermionen: Denk aan twee identieke tweelingen die precies hetzelfde kledingstuk dragen en die je niet kunt onderscheiden. In de quantumwereld zijn dit deeltjes zoals elektronen. Ze gehoorzamen aan een strenge regel: ze kunnen niet op dezelfde manier "zitten" (Pauli-uitsluitingsprincipe) en ze hebben een geheimzinnige "pariteit" (even of oneven aantal deeltjes).

Het Nieuwe "Reële Getallen" Voorschrift

De auteurs van het oorspronkelijke artikel [1] stelden een simpele regel op:

"Als ik een deeltje hier maak en jij maakt er een daar, en we doen het zonder met elkaar te praten, dan moeten onze resultaten ook volledig onafhankelijk zijn."

Ze dachten: "Als we deze regel toepassen, zien we dat de theorie met reële getallen toch werkt en net zo goed is als de normale theorie."

De "Identieke Tweeling" Test

De schrijvers van dit commentaar zeggen: "Dat klinkt logisch voor de rode en blauwe bal, maar niet voor de identieke tweelingen."

Ze gebruiken een voorbeeld met fermionen (de identieke tweelingen):

1. Stel je voor dat je een systeem hebt met twee deeltjes.
2. Er is een speciale staat (een "mengsel") die niet kan worden gemaakt door twee deeltjes onafhankelijk van elkaar te maken. Het is alsof de tweelingen een geheime band hebben die je niet kunt breken door ze simpelweg apart te zetten.
3. Echter, als je alleen maar meet wat er gebeurt (zonder te weten hoe ze zijn gemaakt), gedraagt dit systeem zich alsof het onafhankelijk is. De meetresultaten zijn perfect onafhankelijk van elkaar.

Het dilemma:

• Volgens de regel van de auteurs van [1]: "Omdat de metingen onafhankelijk zijn, moeten de deeltjes onafhankelijk zijn gemaakt."
• Maar in de werkelijkheid van fermionen: "Nee, ze zijn niet onafhankelijk gemaakt, maar de meetresultaten lijken het wel."

De regel van de auteurs van [1] faalt hier. Ze kunnen het verschil niet zien tussen "echt onafhankelijk gemaakt" en "ziet eruit alsof het onafhankelijk is".

Waarom is dit belangrijk?

Stel je voor dat je een wetboek schrijft over hoe auto's werken.

• Auteur A zegt: "Alle auto's hebben vier wielen. Als je een voertuig met vier wielen ziet, is het een auto."
• Auteur B (de schrijvers van dit commentaar) zegt: "Wacht, kijk naar een fiets met een zijspan. Die heeft ook vier wielen, maar het is geen auto. Je regel werkt niet voor alle voertuigen."

In de natuurkunde betekent dit:
Als je een fundamentele regel (een postulaat) wilt gebruiken om de basis van het heelal te beschrijven, moet die regel werken voor alles wat er bestaat. Als hij faalt voor fermionen (die overal in het universum zijn, van sterren tot je eigen lichaam), dan is die regel niet universeel geldig.

De Conclusie in Eenvoudige Woorden

1. De claim: Er is een nieuwe theorie voorgesteld die zegt dat we het universum kunnen beschrijven met alleen gewone (reële) getallen, mits we een specifieke regel over "onafhankelijkheid" volgen.
2. De kritiek: Die specifieke regel werkt niet voor identieke deeltjes (fermionen). In de wereld van fermionen kun je niet altijd onderscheid maken tussen deeltjes die echt los van elkaar zijn gemaakt en deeltjes die los lijken te zijn, maar dat niet zijn.
3. Het gevolg: Je kunt die regel niet gebruiken als een universele wet om te bewijzen dat reële getallen werken. De theorie met reële getallen is misschien nog steeds mogelijk, maar deze specifieke "bewijslast" is gebroken.

De les: Als je een nieuwe wet voor het heelal bedenkt, moet je hem testen tegen de "moeilijke" gevallen (zoals identieke deeltjes), net zoals Einstein en Bell dat deden met hun eigen theorieën. Wat logisch lijkt voor gewone objecten, werkt vaak niet voor de vreemde wereld van de quantummechanica.

Technische samenvatting

Probleemstelling

De kernvraag die dit artikel adresseert, is of de fundamentele structuur van de kwantumtheorie vereist dat deze wordt geformuleerd over complexe Hilbertruimten, of dat deze ook consistent kan worden geformuleerd over reële Hilbertruimten.

Recent werk (met name Hoffreumon en Woods, arXiv:2603.19208) heeft geprobeerd een fysisch gemotiveerd postulaat te introduceren om de juiste formulering van kwantumtheorie over reële getallen te selecteren. Ze onderscheiden twee theorieën:

1. $T^R_1$ (Real Quantum Theory): Een restrictie van standaard kwantumtheorie (QIT) tot reële ruimten, waarbij de set van onafhankelijk voorbereidbare toestanden wordt geïdentificeerd met de set van Kronecker-tensorproducttoestanden ($\rho_A \otimes \rho_B$). Deze theorie is experimenteel weerlegbaar omdat hij niet alle voorspellingen van standaard QIT herkrijgt.
2. $T^R_2$: Een theorie die operationeel equivalent is aan standaard QIT, maar waarbij de set van onafhankelijk voorbereidbare toestanden wordt uitgebreid tot "operationeel onafhankelijke" toestanden.

De auteurs van het commentaar (Moradi Kalarde, Xu en Renou) stellen dat het postulaat gebruikt door Hoffreumon en Woods om $T^R_2$ te selecteren boven $T^R_1$, niet universeel geldig is. Het postulaat stelt dat operationele onafhankelijkheid (alle lokale metingen leveren product-waarschijnlijkheidsverdelingen op) gelijk moet zijn aan onafhankelijke voorbereiding. De auteurs betogen dat dit postulaat faalt in de context van Fermionische Informatietheorie (FIT).

Methodologie

De auteurs gebruiken een tegenvoorbeeld gebaseerd op de eigenschappen van identieke fermionen en de pariteitssuperselectieregel (parity superselection rule).

1. Kader: Ze analyseren de geldigheid van het postulaat binnen FIT, het standaardkader voor informatie die wordt gedragen door identieke fermionen. In FIT zijn toestanden en metingen beperkt door de pariteitssuperselectieregel, die coherente superposities tussen toestanden met even en oneven fermionenaantallen verbiedt.
2. Constructie van het Tegenvoorbeeld:
   • Ze beschouwen twee fermionische modi $A$ en $B$.
   • Ze definiëren een mengtoestand $\rho_{AB}$ die een gelijke mix is van twee Bell-achtige toestanden met respectievelijk even en oneven pariteit:
     $$\rho_{AB} = \frac{1}{2} (|\phi^+\rangle\langle\phi^+| + |\psi^+\rangle\langle\psi^+|)$$
     waarbij $|\phi^+\rangle = \frac{1}{\sqrt{2}}(|00\rangle + |11\rangle)$ en $|\psi^+\rangle = \frac{1}{\sqrt{2}}(|01\rangle + |10\rangle)$.
   • Deze toestand is geldig binnen FIT omdat hij de pariteitssuperselectieregel respecteert.
3. Analyse van Onafhankelijke Voorbereiding:
   • In FIT moeten lokaal onafhankelijk voorbereidde toestanden producttoestanden zijn ($\rho_A \otimes \rho_B$) waarbij elke lokale toestand zelf ook aan de pariteitssuperselectieregel voldoet.
   • De auteurs tonen aan dat $\rho_{AB}$ weliswaar separabel is, maar dat elke mogelijke separabele decompositie lokale toestanden oplevert die de pariteitssuperselectieregel schenden.
   • Conclusie: $\rho_{AB}$ kan niet lokaal en onafhankelijk worden voorbereid.
4. Analyse van Operationele Onafhankelijkheid:
   • Ze tonen aan dat voor elke toelaatbare lokale meting (die moet commuteren met de lokale pariteitsoperator $\Pi$), de kansverdeling van $\rho_{AB}$ een productverdeling is.
   • Door te middelen over de pariteitstransformaties, blijkt dat $\rho_{AB}$ operationeel ononderscheidbaar is van de maximale mengtoestand $I_{AB}/4$.
   • Conclusie: $\rho_{AB}$ is operationeel onafhankelijk (lokale metingen geven geen correlaties).

Belangrijkste Bijdragen en Resultaten

• Fout in het Postulaat: De auteurs bewijzen dat het postulaat uit [1] ("Operationele onafhankelijkheid impliceert onafhankelijke voorbereiding") niet geldt in FIT. Het tegenvoorbeeld $\rho_{AB}$ is operationeel onafhankelijk, maar niet onafhankelijk voorbereidbaar.
• Niet-universaliteit: Hieruit volgt dat het postulaat geen "algemeen fysisch postulaat" kan zijn, aangezien het faalt in een fysiek welbekend en gevestigd kader (FIT).
• Rol van Superselectieregels: De kern van het argument is dat superselectieregels (zoals pariteit) de set van fysiek toelaatbare lokale observabelen beperken. Hierdoor kunnen toestanden die lokaal niet voorbereidbaar zijn, toch operationeel ononderscheidbaar zijn van lokaal voorbereidbare toestanden.
• Koppeling aan Lokale Tomografie: In de appendices tonen de auteurs aan dat de equivalentie tussen operationele onafhankelijkheid en onafhankelijke voorbereiding alleen geldt in theorieën die lokaal tomografisch zijn. Standaard QIT en $T^R_2$ zijn lokaal tomografisch, maar $T^R_1$ en FIT zijn dat niet. Omdat FIT niet lokaal tomografisch is, is het postulaat daar per definitie niet van toepassing.
• Kritiek op Alternatieve Postulaten: Ze bespreken ook recente werken (arXiv:2503.17307 en arXiv:2504.02808) die alternatieve postulaten (zoals Postulaat 2) voorstellen. Ze betogen dat deze postulaten, die gebaseerd zijn op de tensorproductstructuur van onderscheidbare deeltjes, niet triviaal toepasbaar zijn op ononderscheidbare deeltjes (zoals in FIT) en verdere rechtvaardiging nodig hebben.

Significantie

Dit artikel heeft aanzienlijke implicaties voor de fundamenten van de kwantummechanica en de reconstructie van kwantumtheorie:

1. Validiteit van Reële Kwantumtheorie: Het ondermijnt de claim dat reële kwantumtheorieën experimenteel weerlegbaar zijn of dat er een eenvoudig, universeel fysisch postulaat bestaat dat de complexe structuur van standaard QIT noodzaakt. Als een postulaat faalt in FIT, kan het niet als fundamentele wet worden gebruikt om de structuur van de hele kwantumtheorie te selecteren.
2. Belang van Fermionische Systemen: Het benadrukt dat fundamentele principes niet alleen getest mogen worden op qubits of onderscheidbare deeltjes, maar ook op systemen van identieke deeltjes (fermionen), waar superselectieregels en niet-lokale tomografie een cruciale rol spelen.
3. Methodologische Waarschuwing: Het artikel waarschuwt voor het generaliseren van intuïties die gelden in standaard QIT (zoals de commutatie van verre operatoren en lokale tomografie) naar bredere fysieke kaders. Net zoals Bell's theorema de klassieke intuïtie van lokale realiteit weerlegde, toont dit werk aan dat postulaten gebaseerd op "operationele onafhankelijkheid" niet universeel geldig zijn in de aanwezigheid van superselectieregels.
4. Toekomstig Onderzoek: Het pleit voor een zorgvuldige herformulering van fundamentele postulaten binnen kaders voor ononderscheidbare deeltjes (tweede kwantisatie) voordat deze worden gebruikt om de structuur van de kwantumtheorie af te leiden.

Kortom, de auteurs concluderen dat de poging om de complexiteit van de kwantumtheorie af te leiden uit het postulaat van operationele onafhankelijkheid mislukt, omdat dit postulaat niet compatibel is met de fysieke realiteit van fermionische systemen.