Hierarchy of hidden nonlocality: A genuine activation of Incompletability

Technische Samenvatting: Hiërarchie van Verborgen Nonlokaliteit: Een Echte Activering van Onvolledigheid

Probleemstelling
Het artikel behandelt de operationele beperkingen van Local Operations and Classical Communication (LOCC) in de context van kwantumtoestandsdiscriminatie. Hoewel het algemeen bekend is dat bepaalde verzamelingen orthogonale kwantumtoestanden niet perfect onderscheidbaar zijn door LOCC (een fenomeen dat bekend staat als "nonlokaliteit zonder verstrengeling"), onderzoekt dit artikel het dynamische gedrag van verzamelingen die initieel lokaal onderscheidbaar zijn. Specifiek onderzoeken de auteurs of een verzameling orthogonale toestanden die perfect onderscheidbaar is door LOCC en vrij is van lokale redundantie, getransformeerd kan worden via LOCC naar een verzameling die niet alleen lokaal ononderscheidbaar is, maar ook "strikt incompleet" is. Strikt incompletheid verwijst naar een verzameling orthogonale producttoestanden die niet uitgebreid kan worden tot een volledige orthonormale productbasis van de onderliggende Hilbertruimte, zelfs niet in een vergrote ruimte. De centrale vraag is of "activering van incompletheid" een afzonderlijk en sterker fenomeen vormt dan de eerder bestudeerde "activering van nonlokaliteit".

Methodologie
De auteurs maken gebruik van een rigoureus theoretisch kader gebaseerd op kwantuminformatietheorie, waarbij gebruik wordt gemaakt van de volgende concepten en instrumenten:

• LOCC en OPLM: De studie richt zich op Orthogonality-Preserving Local Measurements (OPLM), een deelverzameling van LOCC waarbij lokale metingen de paarwijze orthogonaliteit van de verzameling toestanden behouden.
• Definities van Activering: Het artikel definieert formeel "nonlokaliteit activeerbare" verzamelingen (transformeerbaar naar lokaal ononderscheidbare verzamelingen) en "incompletheid activeerbare" verzamelingen (transformeerbaar naar strikt incomplete verzamelingen).
• Constructieve Protocollen: De auteurs bieden expliciete, deterministische LOCC-protocollen voor specifieke bipartiete systemen (bijv. $\mathbb{C}^2 \otimes \mathbb{C}^4$ en $\mathbb{C}^6 \otimes \mathbb{C}^6$) om de transformatie van completeerbare, onderscheidbare verzamelingen naar incomplete verzamelingen aan te tonen.
• Resource Theory of Coherence: Om de relatie tussen deze fenomenen te analyseren, beperken de auteurs de operaties tot Local Incoherent Operations and Classical Communication (LICC). Zij maken gebruik van concepten zoals von Neumann-entropie, relatieve entropie van coherentie en de eigenschappen van incoherente toestanden om structurele beperkingen op de activering van incompletheid te bewijzen.
• Tegenvoorbeelden: Om de hiërarchie vast te stellen, construeren zij specifieke tegenvoorbeelden van verzamelingen die wel activering van nonlokaliteit vertonen, maar falen in het vertonen van activering van incompletheid.

Kernbijdragen en Resultaten

1. Bestaan van Activering van Incompletheid:
   Het artikel demonstreert het bestaan van orthogonale verzamelingen van producttoestanden die initieel perfect onderscheidbaar zijn door LOCC en vrij zijn van lokale redundantie. Door middel van specifieke LOCC-protocollen worden deze verzamelingen getransformeerd naar strikt incomplete verzamelingen. Deze transformatie wordt de "activering van incompletheid" genoemd.

2. Vaststelling van een Hiërarchie:
   De auteurs bewijzen een strikte hiërarchie tussen de twee activeringsfenomenen:

• Stelling 1: Elke verzameling die activering van incompletheid vertoont, vertoont noodzakelijkerwijs ook activering van nonlokaliteit.
• Het Omgekeerde Faalt: Het artikel biedt een expliciet tegenvoorbeeld (een verzameling van negen producttoestanden in $\mathbb{C}^6 \otimes \mathbb{C}^6$) die getransformeerd kan worden naar een lokaal ononderscheidbare verzameling (activering van nonlokaliteit), maar niet getransformeerd kan worden naar een strikt incomplete verzameling.
• Conclusie: Activering van incompletheid is een strikt sterker fenomeen dan activering van nonlokaliteit.

3. Rol van LICC en Coherentie:
   Binnen het kader van LICC vestigt het artikel een fundamentele verbinding tussen incompletheid, coherentie en verstrengeling.

• Stelling 2: Als een verzameling onderling orthogonale producttoestanden perfect onderscheidbaar is door LOCC en de incompletheid ervan geactiveerd kan worden via LICC, dan bestaat er een completion van deze verzameling tot een volledige orthonormale basis van de Hilbertruimte. Echter, deze resulterende complete basis is niet perfect onderscheidbaar door LOCC.
• Mechanisme: Het bewijs steunt op het feit dat strikt incomplete verzamelingen een niet-nul kwantumcoherentie moeten bezitten ten opzichte van elke lokaal onderscheidbare basis. Aangezien LICC-operaties de gemiddelde coherentie van een verzameling toestanden niet kunnen verhogen, impliceert de activering van incompletheid dat de initiële verzameling voltooid had kunnen worden tot een basis die niet langer lokaal onderscheidbaar is.

Betekenis en Claims
Het artikel beweert een fundamentele wisselwerking te hebben ontdekt tussen lokale onderscheidbaarheid, incompletheid, coherentie en nonlokaliteit. Door de introductie van het begrip "activering van incompletheid" bieden de auteurs een nieuw operationeel perspectief op de structuur van lokaal toegankelijke kwantuminformatie.

De betekenis ligt in:

• Verfijning van het Begrip van Nonlokaliteit: Het toont aan dat nonlokaliteit niet slechts een statische eigenschap van een verzameling is, maar een emergent kenmerk dat geactiveerd kan worden door lokale metingen.
• Hiërarchie van Resources: Het vestigt een niet-triviale hiërarchie waarbij het onvermogen om een basis te voltooien (incompletheid) een striktere voorwaarde is dan het onvermogen om toestanden te onderscheiden (nonlokaliteit).
• Coherentie-Nonlokaliteit Link: Het benadrukt dat onder beperkte operaties (LICC), de activering van incompletheid intrinsiek verbonden is met de generatie van kwantumcoherentie, wat suggereert dat verstrengeling (en de bijbehorende nonlokaliteit) kan worden beschouwd als een beperkte vorm van coherentie die standhoudt onder lokale beschrijvingen.

De auteurs concluderen dat deze resultaten licht werpen op de structuur van lokaal toegankelijke kwantuminformatie en toekomstige richtingen suggereren, zoals het karakteriseren van incompletheidsactivering in multipartiete systemen en het identificeren van minimale-dimensionale voorbeelden van deze activeringsstructuren.