Critical properties of EPR steering

Technische Samenvatting: Kritieke Eigenschappen van EPR-steering

Probleemstelling
Het artikel onderzoekt de condities waaronder verstrengelde twee-qubit toestanden, die onsteerbaar zijn onder single-copy projectieve metingen (PVM's), steerbaar worden wanneer meerdere kopieën gezamenlijk worden gemeten. Specifiek richt het zich op de "activatie" van EPR-steering op de kritieke grens van onsteerbaarheid. De studie beoogt te bepalen:

1. Of er een uniforme aantal kopieën bestaat voor de gehele klasse van PVM-kritieke verstrengelde toestanden.
2. De rol van verstrengeling in de gezamenlijke metingen die vereist zijn voor activatie.
3. De relatie tussen het aantal meetinstellingen, het aantal verborgen toestanden in een Local Hidden State (LHS) model, en het vermogen om steering te detecteren nabij de kritieke grens.
4. Of steering-activatie kan optreden terwijl Bell-nonlokaliteit afwezig blijft en of de sterkte van steering-schendingen onbegrensd kan zijn met slechts twee kopieën.

Methodologie
De auteurs maken gebruik van een combinatie van geometrische karakteriseringen van steering, convexe dualiteit en tensorproduct-analyse:

• Canonieke Vorm en LHS-modellen: De analyse maakt gebruik van de canonieke vorm van twee-qubit toestanden afgeleid via inversibele filtering. Het bestaan van een LHS-model wordt gekarakteriseerd door de inclusie-relatie tussen twee convexe verzamelingen: de verzameling conditionele toestanden reproduceerbaar door een ensemble van verborgen toestanden ($K_\mu$) en de verzameling toestanden die vereist zijn door de kwantumtoestand ($N$). Een toestand is PVM-onsteerbaar dan en slechts dan als de minimale totale gewicht van een positieve maat die aan specifieke moment-restricties voldoet ($c_P$) kleiner dan of gelijk aan 1 is.
• Definitie van Kritikaliteit: Een toestand wordt gedefinieerd als PVM-kritiek als $c_P = 1$. Op deze drempel heeft het LHS-model geen "vrijheid" om veranderingen in het experiment te accommoderen.
• Twee-Kopie Activatie-stelling: De auteurs bewijzen dat voor elke twee PVM-kritieke toestanden $\rho_1$ en $\rho_2$, het tensorproduct $\rho_1 \otimes \rho_2$ steerbaar is. Het bewijs berust op het aantonen dat elk verondersteld LHS-model voor het twee-kopie systeem leidt tot een contradictie met betrekking tot de eerste-orde respons van conditionele toestanden op verstrengelende rotaties.
• Verstrengelingsdrempels: De studie analyseert de concurrence van de gezamenlijke meetbasisvectoren om de minimale verstrengeling te bepalen die nodig is om het LHS-model te breken.
• Eindige Resource-restricties: Het artikel construeert specifieke toestanden en gebruikt symmetrische extensies om de beperkingen aan te tonen die worden opgelegd door eindige meetinstellingen en eindige aantal kopieën.
• Isotrope Toestanden en Amplificatie: Hoogdimensionale isotrope toestanden worden gebruikt om de ratio van kwantumscores tot LHS-grenzen te berekenen, waarbij de amplificatie van steering-schendingen wordt getest.

Belangrijkste Bijdragen en Resultaten

1. Uniforme Twee-Kopie Activatie:
   Het centrale theorem bewijst dat elke PVM-kritieke verstrengelde twee-qubit toestand steerbaar wordt met exact twee kopieën. Dit geldt zowel voor identieke kopieën ($\rho \otimes \rho$) als voor verschillende kritieke inputs ($\rho_1 \otimes \rho_2$). Dit vestigt een uniforme activatie-getal van twee voor de gehele kritieke grens, in contrast met algemene verstrengelde toestanden waar het vereiste aantal kopieën kan variëren of willekeurig groot kan zijn.

2. Nul Verstrengelingsdrempel voor Metingen:
   Het artikel demonstreert dat op de kritieke grens, de drempel van verstrengeling die vereist is in de gezamenlijke meting om steering te onthullen, nul is. Willekeurig zwak verstrengelde gezamenlijke metingen (met een willekeurig kleine concurrence) volstaan om steering te activeren. Cruciaal is dat deze activatie niet vereist dat de gezamenlijke meting verstrengeling creëert tussen de twee systemen van Bob; alle conditionele toestanden aan de zijde van Bob kunnen separabel blijven.

3. Oneindige Verborgen Toestanden en Instelling-divergentie:

• Verborgen Toestanden: Een PVM-kritieke toestand vereist een LHS-model met oneindig veel verborgen toestanden. Elk eindig ensemble faalt om aan de steering-restricties te voldoen voor alle PVM-richtingen simultaan.
• Meetinstellingen: Voor elk vastgesteld aantal meetinstellingen $m$, bestaat er een buurt van een kritieke input die onsteerbaar blijft onder alle Pluimfamilies met maximaal $m$ instellingen. Gevolgelijk divergeert het aantal instellingen dat vereist is om steering te detecteren naarmate de input de kritieke grens nadert.
• Aantal Kopieën versus Instellingen: Het verhogen van het aantal kopieën compenseert niet universeel voor beperkte keuzes in instellingen. De auteurs construeren kritieke toestanden die onsteerbaar blijven onder elke voorgeschreven eindige instellingsgrens, zelfs voor willekeurige tensor-machten, mits de instellingen beperkt zijn.

4. Geactiveerde Bell-Lokale Toestanden:
   De auteurs construeren toestanden met vaste dimensies (specifiek $2 \times 3$ systemen) die:

   • Onsteerbaar zijn op één kopie.
   • Steerbaar zijn op twee kopieën.
   • Bell-lokaal zijn voor alle gezamenlijke POVM's over elke voorgeschreven eindige reeks kopieën ($n_0$).
     Dit wordt bereikt met behulp van een "erasure" mechanisme dat voorwaartse steering behoudt terwijl het achterwaartse steering en Bell-nonlokaliteit onderdrukt.

5. Onbegrensde Steering-schendingen:
   In antwoord op een vraag van Hsieh, Liang, en Lee, biedt het artikel een bevestigende oplossing: twee kopieën zijn voldoende om onbegrensde schendingen van steering-ongelijkheid te produceren. Door gebruik te maken van hoogdimensionale isotrope toestanden, schaalt de ratio van de kwantumscore tot de LHS-grens als $\frac{1}{2} \log d$, wat divergeert naarmate de dimensie $d \to \infty$.

Betekenis
Het artikel identificeert een duidelijke klasse van gemengde verstrengelde toestanden waar de overgang van onsteerbaarheid naar steerability scherp en uniform is: de kritieke grens. De resultaten verhelderen de onderscheidende rollen van drie resources bij het onthullen van kwantumcorrelaties:

• Meetverstrengeling: Bij kritikaliteit verdwijnt de drempel voor meetverstrengeling, maar de meting moet nog steeds niet-product zijn om het LHS-model te breken.
• Aantal Metingen: Eindige meetinstellingen zijn onvoldoende om steering willekeurig dicht bij de kritieke grens te resolveren; de vereiste voor het aantal instellingen is onbegrensd.
• Collectieve Toegang: Hoewel twee kopieën voldoende zijn voor activatie op de kritieke grens, overwinnen zij niet automatisch de restricties op het aantal instellingen.

Het werk stelt vast dat het "kritieke" karakter van deze toestanden wordt gedefinieerd door het verdwijnen van de meetverstrengelingsdrempel en de noodzaak van oneindige verborgen toestanden. Het toont verder aan dat steering-activatie onafhankelijk kan optreden van Bell-nonlokaliteit en dat de sterkte van steering-schendingen met slechts twee kopieën in hoge dimensies willekeurig geamplificeerd kan worden. Deze bevindingen verfijnen de hiërarchie van kwantumresources (verstrengeling, steering, nonlokaliteit) en de operationele vereisten voor het detecteren ervan.