Quantum nonlocality without entanglement and state discrimination measures

Technische Samenvatting: Kwantum-niet-lokaliteit zonder Verstrengeling en Maatstaven voor Toestandsdiscriminatie

Probleemstelling
Het artikel behandelt het fenomeen van "kwantum-niet-lokaliteit zonder verstrengeling", gedefinieerd als het onvermogen van een ensemble van producttoestanden om optimaal gediscrimineerd te worden met behulp van Lokale Operaties en Klassieke Communicatie (LOCC), ondanks het feit dat globale metingen een hogere succeswaarschijnlijkheid kunnen bereiken. Een centrale vraag in dit vakgebied is of deze niet-lokaliteit een intrinsieke eigenschap is van het toestandsensemble of dat het afhangt van de specifieke maatstaf voor toestandsdiscriminatie die wordt gehanteerd. Specifiek onderzoeken de auteurs of er product-ensembles bestaan die niet-lokaliteit vertonen onder één discriminatiemaatstaf (bijv. minimum-fout) maar niet onder een andere (bijv. ondubbelzinnige discriminatie).

Methodologie
De auteurs construeren een specifieke familie van bipartiete product-ensembles, aangeduid als $E_T$, bestaande uit zes lineair onafhankelijke, even waarschijnlijke toestanden in $\mathbb{C}^3 \otimes \mathbb{C}^3$. Deze toestanden zijn gevormd door tensorproducten van drie symmetrische zuivere toestanden $\{|\psi_i\rangle\}_{i=1}^3$ met gelijke paarwijze inwendige producten $s \in (0,1)$, waarbij de indices van de tensorfactoren verschillend zijn ($i \neq j$).

De studie maakt gebruik van twee verschillende discriminatiekaders:

1. Minimum-fout Discriminatie: Het doel is om de waarschijnlijkheid te maximaliseren dat de juiste toestand correct wordt geïdentificeerd, waarbij fouten zijn toegestaan. De auteurs maken gebruik van een stelling van Chefles en Barnett (verwezen als [17] in de tekst) die het probleem van optimale minimum-fout discriminatie voor lineair onafhankelijke zuivere toestanden reduceert tot het probleem van de perfecte discriminatie van een unieke orthonormale basis afgeleid van de Square-Root Measurement (SRM).
2. Ondubbelzinnige Discriminatie (UD): Het doel is om de toestand te identificeren met een fout van nul, waarbij een waarschijnlijkheid van onbesliste uitkomsten wordt geaccepteerd. Dit vereist dat de toestanden lineair onafhankelijk zijn. De auteurs formuleren de optimalisatie van de succeswaarschijnlijkheid van UD als een Semidefiniet Programma (SDP) en maken gebruik van de permutatiesymmetrie van het ensemble om de oplossing te vereenvoudigen.

Om deze bevindingen uit te breiden, generaliseren de auteurs de constructie naar multipartiete systemen ($N$ partijen, $k$ subsystemen) en leveren zij numeriek bewijs met behulp van SDP's om de LOCC-prestaties te vergelijken met Positive Partial Transpose (PPT) metingen en de globale SRM-prestaties.

Belangrijkste Bijdragen en Resultaten

• Maatstaf-afhankelijke Niet-lokaliteit: De primaire resultaat (Theorema 1) demonstreert dat voor het geconstrueerde ensemble $E_T$:

  • Minimum-fout: LOCC is strikt suboptimaal. Het globale optimum wordt bereikt door de SRM, die overeenkomt met een unieke orthonormale basis $\tilde{B}$. De auteurs bewijzen dat de elementen van $\tilde{B}$ verstrengeld zijn en niet perfect lokaal gediscrimineerd kunnen worden (Lemma 8). Bijgevolg is $p^{me}_L(E_T) < p^{me}_G(E_T)$.
  • Ondubbelzinnige Discriminatie: LOCC is optimaal. De auteurs construeren expliciet een lokaal protocol dat de globale optimale succeswaarschijnlijkheid van $(1-s)^2$ bereikt. Dit wordt bewezen door aan te tonen dat de minimale eigenwaarde van de Gram-matrix van het ensemble gelijk is aan $(1-s)^2$, en een lokale strategie deze grens bereikt. Zo geldt $p^{ud}_L(E_T) = p^{ud}_G(E_T)$.

• Multipartiete Extensie: De auteurs breiden de constructie uit naar ensembles $E_{N,k}$ met betrekking tot $k$ partijen en $N$ lokale toestanden. Numerieke onderzoeken voor gevallen zoals $E_{3,3}$, $E_{4,2}$ en $E_{4,3}$ leveren sterk bewijs dat de scheiding persisteert: LOCC blijft suboptimaal voor minimum-fout discriminatie (waarbij een gat wordt getoond tussen de SRM- en de PPT/LOCC-prestaties) maar bereikt het globale optimum voor ondubbelzinnige discriminatie.

• Structurele Inzichten: Het artikel identificeert dat de niet-lokaliteit in het minimum-fout geval voortkomt uit het feit dat de optimale meetbasis (SRM) bestaat uit verstrengelde toestanden die niet perfect lokaal onderscheiden kunnen worden. Daarentegen, voor ondubbelzinnige discriminatie, maakt de symmetrie van het ensemble het mogelijk voor een lokaal protocol om de globale grens te evenaren zonder dat verstrengelde meetoperatoren of klassieke communicatie nodig zijn om de succeswaarschijnlijkheid boven een specifieke lokale strategie te verbeteren.

Betekenis en Claims
Het artikel claimt een positief antwoord te bieden op de vraag of niet-lokaliteit zonder verstrengeling maatstaf-afhankelijk is. Het stelt vast dat een verzameling producttoestanden niet-lokaliteit kan vertonen onder de minimum-fout criterium terwijl ze lokaal onderscheidbaar zijn onder het ondubbelzinnige criterium.

De auteurs benadrukken dat dit resultaat het concept uitdaagt dat niet-lokaliteit een absolute eigenschap is van een toestandsensemble. In plaats daarvan is het contingent op de discriminatietaak. Het artikel merkt op dat hoewel het dubbele trine-ensemble niet-lokaliteit vertoont onder beide maatstaven, het geconstrueerde ensemble $E_T$ een "scheiding" vertoont waarbij LOCC faalt voor de ene maatstaf maar slaagt voor de andere.

Verder bespreken de auteurs dat voor het geval van ondubbelzinnige discriminatie de optimale succeswaarschijnlijkheid zelfs bereikt kan worden zonder klassieke communicatie tussen partijen, aangezien de lokale meetuitkomsten geen updates van de a priori waarschijnlijkheden van de andere partijen vereisen om de optimaliteit te behouden.

Het werk concludeert door open vragen te stellen over de precieze kloof tussen LOCC en PPT-metingen in de minimum-fout setting en of de specifieke kenmerken van de constructie (gelijkhoekigheid en labelcorrelaties) noodzakelijke voorwaarden zijn voor dergelijke maatstaf-afhankelijke scheidingen. De auteurs suggereren dat hun constructie dient als een fundamenteel voorbeeld voor een breder kader van maatstaf-afhankelijke niet-lokaliteit.