Theoretical Limits of Protocols for Distinguishing Different Unravelings

Titel: Theoretische Grenzen van Protocollen voor het Onderscheiden van Verschillende Ontvlechtingen (Unravelings)

Auteurs: J. L. Gaona-Reyes, D. G. A. Altamura, en A. Bassi
Affiliatie: Universiteit van Triëst en Istituto Nazionale di Fisica Nucleare (Triëst), Italië.

1. Het Probleem

In de theorie van open kwantumsystemen wordt de dynamiek van een systeem beschreven door een Lindblad-type mastervergelijking (GKLS-vergelijking). Deze vergelijking kan op verschillende manieren worden "ontvlekt" (unraveled) naar stochastische Schrödingervergelijkingen (SSE's) of kwantumtrajectoïren. Hoewel deze verschillende ontvlechtingen allemaal leiden tot dezelfde gemiddelde dynamiek voor de dichtheidsmatrix $\hat{\rho}_t$ (en dus dezelfde lineaire observabelen opleveren), verschillen ze op het niveau van de individuele kwantumtrajectoïren.

Een recente vraag van fundamenteel en praktisch belang is of deze verschillende ontvlechtingen operationeel kunnen worden onderscheiden. Recent werk (bijv. Piñol et al., 2024) suggereerde dat niet-lineaire grootheden, zoals de variantie van conditionele verwachtingswaarden ($E_\omega[\langle \hat{O} \rangle_t^2]$) of covarianties, afhankelijk zijn van de gekozen ontvlechting en daarom gebruikt zouden kunnen worden om de specifieke meetprocedure (de ontvlechting) te identificeren zonder deze van tevoren te kennen.

De kernvraag is: Kunnen we experimenteel vaststellen welke ontvlechting (meetprocedure) wordt gebruikt, puur op basis van de data, zonder voorafgaande kennis van de meetopstelling?

2. Methodologie

De auteurs analyseren dit probleem door een combinatie van theoretische afleidingen en specifieke voorbeelden:

• Theoretisch Kader: Ze beschouwen een familie van continue ontvlechtingen voor een Lindblad-vergelijking, specifiek gericht op homodyne-detectie. Deze worden gekarakteriseerd door een complexe parameter $\xi$ (met $|\xi|=1$), die de fase van de lokale oscillator in de detectie bepaalt.
• Analyse van Grootheden: Ze onderscheiden tussen:
  1. Lineaire grootheden: $E_\omega[\langle \hat{O} \rangle_t]$ en $(E_\omega[\langle \hat{O} \rangle_t])^n$. Deze zijn onafhankelijk van de ontvlechting en kunnen direct uit de dichtheidsmatrix worden afgeleid.
  2. Niet-lineaire grootheden: $E_\omega[\langle \hat{O} \rangle_t^n]$ voor $n > 1$ (bijv. de variantie van de conditionele verwachting). Deze zijn afhankelijk van de gekozen ontvlechting.
• Specifieke Systemen:
  • Gehangen Nanodeeltje: Ze modelleren een leviterend nanodeeltje in een optische val met homodyne-detectie van de positie. Ze analyseren de tijdsevolutie van de covariantiematrix $\Sigma_t$ voor verschillende waarden van $\xi$.
  • Verstrengelde Deeltjes (Superluminale Communicatie): Ze onderzoeken een bipartiet systeem (Alice en Bob) in een verstrengelde toestand (singlet). Alice voert continue metingen uit op haar deeltje, terwijl Bob niet-lineaire grootheden op zijn deeltje meet. Ze testen of Bob de keuze van Alice (de parameter $\xi$) kan afleiden zonder klassieke communicatie.
• Appendices: De auteurs geven een afleiding van de homodyne-detectie (Appendix A) en een analyse van een eindige temperatuur-bad (Appendix B), en berekenen expliciet de tijdsevolutie voor vrije deeltjes en deeltjes in een harmonische val (Appendix C) om het verschil tussen lineaire en niet-lineaire ontvlechtingen te tonen.

3. Belangrijkste Resultaten

• Operationele Onbereikbaarheid: De auteurs tonen aan dat niet-lineaire grootheden (zoals $\Sigma_t$) niet operationeel toegankelijk zijn tenzij de meetprocedure (de ontvlechting) al bekend is.

  • Om een niet-lineaire grootheid te berekenen, moet men de meetdata (het signaal $y_t$) koppelen aan een specifieke stochastische vergelijking (Eq. 3 en 7 in de tekst). Zonder deze koppeling is het onmogelijk om uit de ruwe data de conditionele toestand $\hat{\rho}_{\omega,t}$ te reconstrueren en daar vervolgens de niet-lineaire momenten uit te halen.
  • Het is onmogelijk om de "realisatie van het ruisproces" ($\omega$) vast te houden over meerdere experimentele runs om de gemiddelde niet-lineaire waarde te berekenen, omdat elke meting een nieuwe, onvoorspelbare ruisrealisatie genereert.

• Voorbeeld Leviterend Deeltje:

  • De tijdsevolutie van de positievariantie $\Sigma_t(\hat{x})$ hangt sterk af van de parameter $\xi_R$ (de fase van de homodyne-detectie).
  • Echter, om $\Sigma_t(\hat{x})$ te berekenen uit experimentele data, moet men eerst weten dat de data overeenkomt met een specifieke $\xi$. Als men de ontvlechting niet kent, kan men deze grootheid niet uit de data halen. De "unraveling-independent" variantie $Var_t(\hat{x})$ (afgeleid van de dichtheidsmatrix) is wel toegankelijk, maar deze is voor alle ontvlechtingen gelijk en kan dus geen onderscheid maken.

• Schending van Relativistische Causaliteit (Superluminale Signaalering):

  • De auteurs tonen aan dat als niet-lineaire grootheden wel direct toegankelijk zouden zijn zonder kennis van de ontvlechting, dit zou leiden tot superluminale communicatie.
  • Scenario: Alice kiest willekeurig een meetfase $\xi$ (bijv. $\xi=i$ of $\xi=1$) voor haar meting op een verstrengeld deeltje. Bob meet de variantie van zijn spin.
  • Als Bob de variantie direct zou kunnen meten, zou hij zien dat deze constant blijft voor $\xi=i$ maar verandert voor $\xi=1$. Hierdoor zou Bob onmiddellijk weten welke keuze Alice heeft gemaakt, ongeacht de afstand, wat de relativiteitstheorie schendt.
  • Conclusie: Omdat superluminale communicatie verboden is, moeten niet-lineaire grootheden per definitie onbereikbaar zijn zonder voorafgaande kennis van de meetopstelling. Dit bevestigt de operationele onmogelijkheid om ontvlechtingen te onderscheiden.

4. Bijdragen

1. Fundamentele Limiet: Het artikel legt een fundamentele beperking bloot: het is operationeel onmogelijk om verschillende ontvlechtingen van dezelfde mastervergelijking te onderscheiden op basis van niet-lineaire kwantumgrootheden.
2. Verduidelijking van "Unraveling-Dependence": Het onderscheidt duidelijk tussen wiskundige afhankelijkheid (de grootheden verschillen wiskundig per ontvlechting) en operationele toegankelijkheid (ze kunnen niet worden gemeten zonder de ontvlechting al te kennen).
3. Koppeling aan Causaliteit: Het biedt een sterk argument gebaseerd op relativistische causaliteit: de onmogelijkheid om ontvlechtingen te onderscheiden is noodzakelijk om superluminale signalering te voorkomen.
4. Praktische Implicatie: Voor experimentatoren betekent dit dat het reconstrueren van conditionele trajectoïren en hun niet-lineaire eigenschappen altijd een modelafhankelijke stap vereist; men kan niet "blind" de meetmethode afleiden uit de data.

5. Significatie

Deze bevindingen zijn cruciaal voor zowel de fundamentele kwantummechanica als de praktische kwantuminformatie:

• Fundering: Het lost een recente discussie op over de operationaliteit van het onderscheiden van kwantumtrajectoïren en bevestigt dat de keuze van de ontvlechting een keuze van de waarnemer is die niet uit de data zelf kan worden afgeleid.
• Kwantummetingen en Controle: Het benadrukt dat voor feedback-controle en het reconstrueren van kwantumtoestanden (quantum state tomography op trajectoïren-niveau) de meetprotocollen strikt gedefinieerd moeten zijn.
• Relativiteit: Het versterkt het begrip dat de structuur van de kwantumtheorie (specifiek de manier waarop niet-lineaire grootheden worden behandeld) consistent is met de relativiteitstheorie; er is geen "verborgen" informatie in de trajectoïren die sneller dan het licht kan worden overgedragen.

Samenvattend stellen de auteurs dat hoewel verschillende ontvlechtingen wiskundig verschillend zijn, ze operationeel ononderscheidbaar zijn zolang de meetprocedure niet bekend is, en dat elke poging om dit te omzeilen zou leiden tot een schending van de causale orde in het universum.