Absence of gravitationally induced entanglement in certain semi-classical theories of gravity

Dit artikel toont aan dat een specifieke klasse van semi-klassieke zwaartekrachtsmodellen, waaronder de Newton-Schrödinger- en Bohmiaanse analogieën, faalt in het genereren van verstrengeling tussen massieve systemen, waardoor ze in de context van voorgestelde experimentele tests onderscheiden worden van standaard voorspellingen van kwantumzwaartekracht.

De kern

De Grote Vraag: Is Zwaartekracht een Kwantumding?

Stel je voor dat je twee zware objecten hebt, zoals twee kleine bowlingballen. In de wereld van de kwantumfysica kunnen deze ballen zich op twee plaatsen tegelijk bevinden (een "superpositie"). Wetenschappers Bose, Marletto en Vedral (het BMV-team) stelden een slim experiment voor: als je deze twee kwantumballen uitsluitend via zwaartekracht laat interageren, zullen ze dan "verstrengeld" raken?

Verstrengeling is een spookachtige verbinding waarbij twee deeltjes fungeren als één enkele eenheid, ongeacht hoe ver ze uit elkaar staan. Het BMV-team betoogde: Als zwaartekracht twee dingen kan verstrengelen, dan moet de zwaartekracht zelf een kwantumkracht zijn, geen klassieke.

Echter, sommige wetenschappers (zoals Döner en Großardt) betoogden: "Wacht even! Misschien blijft zwaartekracht klassiek (zoals een glad, continu veld) maar kan het toch deze spookachtige verbinding creëren."

Het Argument van de Auteur: De "Scheidbare" Muur

Dit artikel, geschreven door Ward Struyve, zegt: "Nee, dat is niet mogelijk."

Struyve kijkt naar een specifieke familie van theorieën waarbij zwaartekracht wordt behandeld als een klassieke kracht die inwerkt op kwantumdeeltjes. Hij betoogt dat in deze specifieke modellen zwaartekracht werkt als een gepersonaliseerde, niet-communicerende muur.

Hier is de analogie:
Stel je twee mensen voor, Alice en Bob, die in aparte kamers staan.

• Het Standaard Kwantumbeeld (Newtoniaanse Zwaartekracht): Alice en Bob zijn verbonden door één enkele, gedeelde touw. Als Alice trekt, voelt Bob het direct. Ze zijn gekoppeld. Dit stelt hen in staat om hun acties perfect te coördineren (verstrengeling).
• De Semi-klassieke Modellen (Die welke Struyve analyseert): Alice en Bob bevinden zich in kamers met hun eigen privé spiegels.
  • Alice kijkt in haar spiegel en ziet een reflectie van Bob.
  • Bob kijkt in zijn spiegel en ziet een reflectie van Alice.
  • Cruciaal: Alice's spiegel toont alleen haar eigen idee van Bob, en Bob's spiegel toont alleen zijn eigen idee van Alice. Ze reageren op hun eigen privé reflecties, niet direct op elkaar.

Omdat ze reageren op hun eigen aparte reflecties, kunnen ze nooit echt "syncen" of verstrengeld raken. Hun bewegingen blijven onafhankelijk, zelfs al worden ze beïnvloed door het idee van de andere persoon.

De Drie "Spiegel"-Modellen

Struyve onderzoekt drie specifieke theorieën die deze "spiegel"-aanpak gebruiken, en hij bewijst dat ze allemaal falen om verstrengeling te creëren:

1. Het Newton-Schrödinger (NS) Model:

   • De Analogie: De "spiegel" is gemaakt van een wazige wolk van waarschijnlijkheid. De zwaartekracht die Alice voelt, hangt af van de gemiddelde vorm van Bob's wazige wolk.
   • Het Resultaat: Omdat de wolk slechts een som van mogelijkheden is, is de zwaartekracht die Alice voelt slechts een som van afzonderlijke krachten. Het koppelt hen niet aan elkaar.

2. Het Bohmiaanse Analoog (NSB):

   • De Analogie: De "spiegel" is gemaakt van een enkel, echt punt (zoals een klein stipje). De zwaartekracht die Alice voelt, hangt af van precies waar Bob's stipje op dit moment is.
   • Het Resultaat: Hoewel het stipje echt is, bevinden Alice en Bob zich nog steeds in aparte kamers. Alice reageert op Bob's stipje, en Bob reageert op Alice's stipje, maar ze delen geen enkele kwantumtoestand.

3. Het Döner en Großardt Model:

   • De Analogie: Dit was het model dat beweerde de regels te breken. Het was een mix van de twee bovenstaande spiegels.
   • Het Resultaat: Struyve toont aan dat dit model eigenlijk slechts een wiskundige truc is. Het lijkt alsof het een verbinding creëert, maar als je goed kijkt, zijn het nog steeds twee aparte spiegels. De auteurs van dat model maakten een rekenfout door te verwarren welk "stipje" voor welk deel van de berekening werd gebruikt.

De "Additief Scheidbare" Regel

Het artikel gebruikt een chique wiskundige term: "Additief Scheidbaar."

Stel je het voor als een recept.

• Verstrengelende Zwaartekracht (Standaard): Het recept is een smoothie. Je blendt Alice en Bob samen. Je kunt ze niet weer uit elkaar halen.
• Niet-verstrengelende Zwaartekracht (Semi-klassiek): Het recept is een salade. Je hebt een kom met Alice's sla en een kom met Bob's tomaten. Je kunt ze in een grote kom mengen, maar ze zijn nog steeds gewoon sla en tomaten die naast elkaar liggen. Je kunt ze terugverdelen in hun oorspronkelijke kommen.

Struyve bewijst dat in deze semi-klassieke theorieën zwaartekracht altijd een "salade" is. Het telt de effecten van Alice en Bob apart op, zodat ze nooit samensmelten tot één enkele kwantum-smoothie.

Wat Betekent Dit voor het Experiment?

Het artikel concludeert dat als het BMV-experiment wordt uitgevoerd:

• Als het resultaat verstrengeling toont (negatief getuige): Dan bewijst dit dat zwaartekracht kwantum is (zoals de smoothie).
• Als het resultaat GEEN verstrengeling toont (positief getuige): Dan suggereert dit dat zwaartekracht misschien klassiek is (zoals de salade), specifiek volgens een van de modellen die Struyve analyseerde.

Het artikel biedt een manier om het verschil te maken tussen de "smoothie" (standaard kwantumzwaartekracht) en de "salade" (deze specifieke klassieke theorieën) door te kijken naar een specifieke meting die een "verstrengelingsgetuige" wordt genoemd.

Samenvatting

Ward Struyves artikel is een wiskundig bewijs dat bepaalde manieren om zwaartekracht als een klassieke kracht te behandelen simpelweg geen kwantumverstrengeling kunnen creëren. Hij toont aan dat het model dat beweerde dit te doen, eigenlijk verkeerd was berekend. Daarom zal, als het aankomende experiment verstrengeling vindt, dit sterk bewijs zijn dat zwaartekracht inderdaad een kwantumkracht is, en dat deze specifieke klassieke theorieën onjuist zijn.

Technische samenvatting

Hier volgt een gedetailleerde technische samenvatting van het artikel "Absence of gravitationally induced entanglement in certain semi-classical theories of gravity" van Ward Struyve.

1. Probleemstelling

Het centrale probleem dat wordt aangepakt, is de verzoening van kwantummechanica met zwaartekracht. Een opvallend voorstel van Bose et al. (BMV) en Marletto en Vedral suggereert een tafelbladexperiment om te testen of zwaartekracht verstrengeling kan induceren tussen twee massieve systemen in ruimtelijke superpositie. Het heersende argument is dat als zwaartekracht verstrengeling kan genereren, het een kwantumeenheid moet zijn.

Echter, deze claim is betwist door auteurs (specifiek Döner en Großardt) die semi-klassieke modellen voorstelden waarbij zwaartekracht klassiek blijft en toch verstrengeling genereert. Struyves artikel heeft tot doel dit specifieke tegenvoorbeeld te weerleggen en, breder, aan te tonen dat een grote klasse van semi-klassieke zwaartekrachtmodellen (waarbij zwaartekracht wordt behandeld als een klassiek potentieel in de Schrödingervergelijking) verstrengeling niet kunnen genereren.

2. Methodologie

De auteur analyseert een klasse van semi-klassieke modellen die worden gedefinieerd door het volgende raamwerk:

• Systeembeschrijving: Systemen worden beschreven door een golffunctie $\psi_t(x)$ en een configuratie $Q_t$ (bijvoorbeeld deeltjesposities).
• Dynamica: De golffunctie evolueert volgens een niet-lineaire Schrödingervergelijking:
  $$i\hbar\partial_t\psi_t(x) = \left[ -\sum \frac{\hbar^2}{2m_i}\nabla_i^2 + V(x, t; \psi_t, Q_t) \right] \psi_t(x)$$
  waarbij het potentieel $V$ kan afhangen van de golffunctie of de configuratie.
• Kerncriterium: Het artikel onderzoekt de additieve separabiliteit van het potentieel. Een potentieel is additief scheidbaar als het kan worden geschreven als een som van enkel-deeltjespotentieel:
  $$V(x, t) = \sum_{i=1}^N V_i(x_i, t)$$
• Onderzochte Modellen:
  1. Newton-Schrödinger (NS) Model: Zwaartekracht gevoed door de massadichtheid van de golffunctie ($|\psi|^2$).
  2. Newton-Schrödinger-Bohm (NSB) Model: Zwaartekracht gevoed door werkelijke punt-deeltjesposities (Bohmiaanse trajecten).
  3. GRW-type Analoge: Zwaartekracht gevoed door "flitsen" (invalide gebeurtenissen).
  4. Döner-Großardt Model: Een interpolatie tussen NS- en NSB-modellen.
  5. Standaard Newtoniaans Potentieel: De standaard kwantumbehandeling waarbij het potentieel afhankelijk is van de posities van alle deeltjes gelijktijdig (niet-scheidbaar).

De auteur past deze modellen toe op de specifieke experimentele opstelling voorgesteld door BMV, berekent de tijd-geëvolueerde toestand en evalueert een verstrengelingsgetuige (voorgesteld door Chevalier et al.) om te bepalen of er verstrengeling wordt gegenereerd.

3. Belangrijkste Bijdragen en Theoretische Bewijzen

Het artikel biedt twee primaire theoretische bewijzen met betrekking tot verstrengelingsgeneratie:

• Bewijs van Niet-Verstrengeling voor Scheidbare Potentieel:
  De auteur bewijst dat als het potentieel $V$ additief scheidbaar is, de dynamica verstrengeling niet kan genereren vanuit een aanvankelijk scheidbare toestand.

  • Logica: Als het potentieel scheidbaar is, kan de Hamiltoniaan worden ontbonden in een som van enkel-deeltjes Hamiltonianen die met elkaar commuteren (in de context van een vaste achtergrondconfiguratie of golffunctie). De tijd-evolutie-operator factoriseert in een product van enkel-deeltjes unitaire operatoren. Bijgevolg blijft een producttoestand $\psi_0 = \prod \psi_i$ een producttoestand $\psi_t = \prod \psi_i(t)$ op elk tijdstip.
  • Implicatie: Dit geldt zelfs als het potentieel afhangt van $\psi$ of $Q$, op voorwaarde dat de afhankelijkheid de additief scheidbare structuur behoudt.

• Wederlegging van het Döner-Großardt Tegenvoorbeeld:
  Het artikel behandelt specifiek het model van Döner en Großardt, dat beweerde verstrengeling te genereren. Struyve toont aan dat hun model berust op een rekenfout:

  • Döner en Großardt verkeerden in de veronderstelling dat een enkele golffunctie evolueert met fasefactoren berekend met behulp van verschillende deeltjesconfiguraties voor elke term in de superpositie.
  • Struyve toont aan dat in een Bohmiaanse-achtige context (of elk model met definitieve trajecten), het systeem evolueert naar een statistische mengeling van vier distincte scheidbare toestanden (corresponderend met de vier mogelijke trajectcombinaties).
  • Aangezien het ensemble een mengeling is van scheidbare toestanden, is het systeem als geheel niet verstrengeld.

4. Resultaten: Analyse van het BMV Experiment

De auteur past het theoretische raamwerk toe op de BMV experimentele opstelling met twee massa's in ruimtelijke superpositie ($|L\rangle$ en $|R\rangle$).

• Standaard Newtoniaans Potentieel ($V_N$):

  • Het potentieel is niet additief scheidbaar (het hangt af van de afstand tussen deeltje 1 en deeltje 2).
  • Resultaat: De toestand evolueert naar een verstrengelde superpositie.
  • Getuige ($W_N$): De verstrengelingsgetuige $W$ wordt negatief voor specifieke tijdstippen, wat verstrengeling aangeeft.

• Semi-Klassieke Modellen (NS, NSB, Döner-Großardt):

  • De potentieel zijn additief scheidbaar (elk deeltje voelt een potentieel gevoed door het andere, maar het interactieterm splitst op in enkel-deeltjestermen).
  • Resultaat: De toestand blijft scheidbaar (of een mengeling van scheidbare toestanden).
  • Getuige ($W_{NS}, W_{NSB}$): De verstrengelingsgetuige blijft niet-negatief ($W \geq 0$) voor alle tijdstippen.

• Kwantitatieve Vergelijking:
  Met behulp van parameters uit het originele BMV-voorstel ($d=450\mu m$, $\delta=250\mu m$, $m=10^{-14}kg$), plot het artikel de getuige $W$ in de tijd.

  • $V_N$ toont oscillaties die onder nul zakken (verstrengeling).
  • $V_{NS}$ en $V_{NSB}$ blijven strikt positief (geen verstrengeling).

5. Betekenis en Implicaties

• Validatie van het "Kwantumzwaartekracht"-Argument: Het artikel versterkt het argument dat het waarnemen van gravitationeel geïnduceerde verstrengeling in het BMV-experiment inderdaad bewijs zou zijn voor de kwantumnatuur van zwaartekracht. Het sluit een specifieke klasse van semi-klassieke theorieën met "luiken" uit die gedacht werd kwantumgedrag na te bootsen.
• Experimentele Discriminatie: Het artikel toont aan dat het BMV-experiment niet alleen een test is voor "kwantum versus klassiek" in een binair zin, maar specifiek kan onderscheiden tussen het standaard Newtoniaanse potentieel en semi-klassieke modellen (zoals NS of NSB) op basis van het gedrag van de verstrengelingsgetuige.
• Verduidelijking van Semi-Klassieke Dynamica: Het verduidelijkt dat hoewel semi-klassieke modellen met scheidbare potentieel niet-lokale afhankelijkheden toestaan (waarbij de evolutie van deeltje A afhangt van de positie van deeltje B), deze afhankelijkheid niet volstaat om kwantumverstrengeling te creëren.
• Correctie van Literatuur: Het corrigeert de foutieve claim van Döner en Großardt, zodat toekomstige theoretische debatten over de kwantumnatuur van zwaartekracht worden gebaseerd op accurate wiskundige fundamenten.

Concluderend stelt Struyve vast dat additieve separabiliteit een voldoende voorwaarde is voor de afwezigheid van verstrengelingsgeneratie in semi-klassieke zwaartekrachtmodellen. Derhalve zal elke semi-klassieke theorie die zich baseert op dergelijke potentieel falen om de verstrengeling te reproduceren die wordt voorspeld door standaard kwantummechanica met een Newtoniaans potentieel, waardoor het BMV-experiment een levensvatbare discriminator wordt.