Quantum steering is equivalent to state-preserving conditional expectations

Technische Samenvatting: Quantum Steering is Equivalent aan State-Preserving Conditional Expectations

Probleemstelling
In kwantumsystemen met oneindig veel vrijheidsgraden, gemodelleerd door commuterende von Neumann-algebra's $\mathcal{A}$ en $\mathcal{B}$ op een gezamenlijke Hilbertruimte $\mathcal{H}$, falen fundamentele resultaten uit de einddimensionale kwantuminformatietheorie vaak. Een primair voorbeeld is de uniciteit van purificaties: zelfs wanneer $\mathcal{A}$ en $\mathcal{B}$ tomografisch compleet zijn (d.w.z. het algebra genererende door hen is de volledige algebra van begrensde operatoren, $\mathcal{A} \vee \mathcal{B} = \mathcal{B}(\mathcal{H})$), hoeven purificaties van een toestand op $\mathcal{A}$ niet gerelateerd te zijn via unitaries in $\mathcal{B}$. Dit falen treedt precies op wanneer Haag-dualiteit faalt, wat betekent dat de commutant $\mathcal{B}'$ strikt groter is dan $\mathcal{A}$.

De centrale vraag die wordt behandeld is welke operationele verstrengelingseigenschappen overleven in dergelijke settings waar Haag-dualiteit faalt. Steering verwijst naar het vermogen van $\mathcal{B}$ om elke ensemble-decompositie van een marginale toestand op $\mathcal{A}$ te genereren via lokale metingen op $\mathcal{B}$. Terwijl steering triviaal is in einddimensionale systemen met een triviale omgeving, blijft het gedrag ervan in oneindigdimensionale systemen met niet-triviale commutanten ($\mathcal{B}' \supsetneq \mathcal{A}$) te karakteriseren.

Methodologie
Het artikel hanteert een rigoureuze operator-algebraïsche benadering, waarbij de brug wordt geslagen tussen kwantuminformatietheorie, subfactor-theorie en de theorie van Jordan-algebra's.

1. Generalisatie naar Jordan-algebra's: Om af te gaan op kaarten die slechts positief zijn in plaats van volledig positief, werken de auteurs binnen de categorie van JBW*-algebra's (de Jordan-analoog van von Neumann-algebra's). Zij vestigen een gegeneraliseerde versie van de Kadison-Schwarz ongelijkheid (de Jordan-Schwarz ongelijkheid) voor normale unitaire positieve kaarten.
2. Ensemble Lifting: Het kerninstrument is de "ensemble lifting property". De auteurs bewijzen dat voor een state-preserving normale unitaire positieve kaart $\alpha: (N, \phi) \to (M, \omega)$, het vermogen om elk ensemble op $N$ te liften naar een ensemble op $M$, equivalent is aan het bestaan van een state-preserving linker inverse (een conditional expectation) voor $\alpha$.
3. Petz Dualiteit: De bewijzen maken gebruik van Petz duale kaarten en zelf-polaire vormen om de lifting-eigenschap te karakteriseren. Door de multiplicatieve domeinen van positieve kaarten te analyseren, tonen zij aan dat de lifting-eigenschap standhoudt indien en slechts indien de kaart restrictieert tot een $J^*$-isomorfisme op een specifieke subalgebra die een conditional expectation toelaat.
4. Radon-Nikodym Stelling: De verbinding tussen steering en ensemble-extensies wordt geformaliseerd met behulp van de commutant Radon-Nikodym stelling voor toestanden op von Neumann-algebra's.

Belangrijkste Bijdragen en Resultaten

• Equivalentie van Steering en Conditional Expectations (Theorem B): Het primaire resultaat stelt vast dat voor een zuivere globale toestand $\Omega$, het vermogen van $\mathcal{B}$ om elk ensemble-decompositie van de marginale toestand op $\mathcal{A}$ te sturen, equivalent is aan het bestaan van een normale conditional expectation $E: \mathcal{B}' \to \mathcal{A}$ die de toestand $\omega_{\mathcal{B}'}$ behoudt (d.w.z. $\omega_{\mathcal{B}'} = \omega_{\mathcal{A}} \circ E$). Dit biedt een directe operationele interpretatie van state-preserving conditional expectations, waarmee quantum steering direct wordt gekoppeld aan subfactor-theorie.
• Karakterisering van Two-Way Steering:
  • Enkele Toestand: Indien $\mathcal{A}$ en $\mathcal{B}$ elkaar kunnen sturen relatief aan dezelfde normale toestand $\omega$, gebeurt dit dan en slechts dan als Haag-dualiteit geldt ($\mathcal{A} = \mathcal{B}'$) en $\omega$ zuiver is.
  • Verschillende Toestanden: Indien $\mathcal{A}$ en $\mathcal{B}$ elkaar kunnen sturen relatief aan mogelijk verschillende toestanden, is dit equivalent aan de subfactor-inclusie $\mathcal{A} \subset \mathcal{B}'$ met een eindige Jones-Kosaki-Longo index ($[\mathcal{B}' : \mathcal{A}] < \infty$).
• Reductie naar Mixed States: Voor irreducibele subfactor-inclusies ($\mathcal{A} \vee \mathcal{B} = \mathcal{B}(\mathcal{H})$), reduceert steering relatief aan mixed states tot steering relatief aan pure states. Specifiek is steering mogelijk voor een mixed toestand $\omega$ indien en slechts indien er een tensorproduct-decompositie bestaat van de support van $\omega$ zodanig dat de toestand factoriseert in een pure toestand op één factor en een willekeurige toestand op de andere, en de conditional expectation bestaat op de pure component.
• Algemene Lifting Theorem (Theorem D): Het artikel bewijst een algemene stelling voor JBW*-algebra's dat ensemble lifting equivalent is aan het bestaan van een unitaire volledig positieve linker inverse (conditional expectation) voor de kaart, mits de kaart state-preserving is. Dit generaliseert eerdere resultaten die beperkt waren tot volledig positieve kaarten of von Neumann-algebra's.

Betekenis
Het artikel claimt een "directe verbinding tussen quantum steering en subfactor-theorie" te hebben vastgesteld. Door aan te tonen dat de operationele capaciteit van steering wiskundig equivalent is aan het bestaan van een state-preserving conditional expectation, verheldert het werk de structurele vereisten voor verstrengelingseigenschappen in oneindigdimensionale systemen.

De auteurs benadrukken dat dit framework de ambiguïteit oplost over welke toestanden worden behouden door conditional expectations in specifieke fysieke modellen. Zo behoudt de conditional expectation in topologisch geordende systemen (zoals de surface code) de grondtoestand. In contrast hiermee kan bij rationele conforme veldentheorieën de vacuümtoestand niet worden behouden door een dergelijke expectation vanwege de Reeh-Schlieder eigenschap, wat impliceert dat steering niet mogelijk is relatief aan het vacuüm in die specifieke opstellingen.

Het werk adresseert ook de beperkingen van tomografische volledigheid; de auteurs tonen aan dat zelfs wanneer subsystemen tomografisch compleet zijn (geen omgeving), steering niet gegarandeerd is, en one-way steering niet noodzakelijkerwijs two-way steering impliceert. Dit verfijnt het begrip van verstrengeling in systemen waar Haag-dualiteit faalt, een scenario dat veel voorkomt in topologische fasen en conforme veldentheorieën.