Device-independent certification of tripartite quantum networks with bilocal Bell inequalities

Technische Samenvatting: Device-onafhankelijke certificering van tripartiete kwantumnetwerken met bilokale Bell-ongelijkheden

Probleemstelling
Kwantumnetwerken, die standaard Bell-scenario's uitbreiden naar meerdere onafhankelijke bronnen, bieden een rijkere correlatiestructuur maar brengen ook aanzienlijke uitdagingen met zich mee bij het construeren van non-localiteit-getuigen (nonlocality witnesses). Terwijl standaard Bell-scenario's steunen op lineaire ongelijkheden, maakt de aanname van bron-onafhankelijkheid in netwerken (specifiek het bilocale scenario met twee bronnen en drie partijen) de verzameling lokale correlaties niet-convex. Bijgevolg moeten optimale getuigen voor netwerk-non-localiteit niet-lineair zijn.

Bestaande literatuur heeft zich grotendeels gericht op specifieke, beperkte gevallen:

1. Beperkte meetinstellingen: De meeste constructies zijn beperkt tot scenario's waarin externe partijen slechts twee metingen uitvoeren.
2. Beperkte dimensies: Veel voorstellen zijn specifiek afgestemd op qubit-systemen.
3. Gebrek aan Self-Testing: Er is een opvallend gebrek aan Bell-ongelijkheden die in staat zijn tot self-testing (device-onafhankelijke certificering) van de onderliggende kwantumtoestanden en metingen in netwerkscenario's, zelfs in het eenvoudigste bilocale setup.

De primaire uitdaging die in dit werk wordt aangepakt, is het gebrek aan een algemeen kader voor het construeren van niet-lineaire Bell-ongelijkheden voor tripartiete kwantumnetwerken die een arbitraal aantal binaire metingen en hogere lokale dimensies accommoderen, terwijl ze tegelijkertijd self-testing eigenschappen en analytisch bepaalbare kwantumgrenzen bezitten.

Methodologie
De auteurs stellen een algemeen kader voor om de constructie van niet-lineaire Bell-ongelijkheden op maat gemaakt voor het bilocale scenario (twee onafhankelijke bronnen, $S_1$ en $S_2$, die toestanden verdelen naar Alice, Bob en Charlie). De constructie berust op een specifieke klasse matrices bekend als Real Row-Orthogonal and Column-Normalized (ROCN) matrices.

1. Constructie van de ongelijkheid:
   Voor een gegeven ROCN-matrix $h$ van grootte $m \times n$ (waarbij $m$ het aantal metingen voor Alice/Charlie is en $n$ voor Bob), definiëren de auteurs lineaire combinaties van correlatoren $I_y$:
   $$I_y := \sum_{x=1}^m \sum_{z=1}^m h_{xy} h_{zy} \langle A_x B_y C_z \rangle$$
   Deze worden gecombineerd in een niet-lineaire expressie:
   $$S_h := \sum_{y=1}^n \sqrt{|I_y|} \leq \beta_{BL}$$
   waarbij $\beta_{BL}$ de bilocale grens is.

2. Analytische afleiding van kwantumgrenzen:
   De algebraïsche eigenschappen van ROCN-matrices maken de analytische bepaling van de maximale kwantumwaarde ($\beta_Q$) mogelijk. De auteurs maken gebruik van een sum-of-squares (SOS) decompositie om te bewijzen dat voor elke ROCN-matrix de maximale kwantumwaarde exact gelijk is aan het aantal metingen van Bob ($n$).

3. Referentiestrategie:
   Om deze grens te bereiken, definiëren de auteurs een "referentiestrategie" bestaande uit:

   • Twee maximaal verstrengelde toestanden van lokale dimensie $d=2^r$ (waarbij $r = \lfloor m/2 \rfloor$) uitgezonden door de bronnen.
   • Alice en Charlie die sets van paarwijze anticommuterende Clifford-observabelen meten (gerealiseerd via de Jordan-Wigner representatie).
   • Bob die metingen uitvoert gedefinieerd door bilineaire combinaties van de getransponeerde operatoren van Alice en Charlie.

4. Self-Testing Kader:
   Het artikel onderzoekt of de maximale schending van deze ongelijkheden de referentiestrategie uniek certificeert. Dit wordt bereikt door de niet-lineaire ongelijkheid $S_h$ te combineren met een bijbehorende lineaire ROCN Bell-expressie $L_h = \sum I_y$. De auteurs stellen vast dat gelijdadige maximale schending van beide ongelijkheden leidt tot self-testing, mits de coëfficiëntmatrix $h$ voldoet aan een specifieke algebraïsche conditie betreffende de rang van een hulpmatrix $M$ die is geconstrueerd uit de paarwijze producten van de entries van $h$.

Belangrijkste bijdragen en resultaten

• Algemene Constructie: Het artikel presenteert een algemene methode voor het construeren van niet-lineaire Bell-ongelijkheden voor bilocale netwerken met een arbitraal aantal binaire metingen ($m, n$) en arbitraal hoge lokale dimensies. Dit herstelt de pionierende 22-type Branciard–Rosset–Gisin–Pironio (BRGP) ongelijkheid als een specifiek geval.
• Analytische Kwantumgrenzen: Een significant resultaat is het bewijs dat de maximale kwantumwaarde voor elke dergelijke ongelijkheid exact $n$ (het aantal metingen van Bob) is. Deze analytische bepaalbaarheid is cruciaal voor device-onafhankelijke toepassingen waar numerieke optimalisatie vaak onhandelbaar is.
• Self-Testing Theorema: De auteurs bewijzen dat de gelijdadige maximale schending van de niet-lineaire ongelijkheid $S_h$ en zijn lineaire tegenhanger $L_h$ de device-onafhankelijke certificering (self-testing) van het gehele netwerk mogelijk maakt. Dit omvat:
  • De kwantumtoestanden geproduceerd door de bronnen (maximaal verstrengelde toestanden van geschikte dimensies).
    • De observabelen gemeten door alle partijen (specifiek de anticommuterende Clifford-observabelen voor externe partijen en de specifieke bilineaire combinaties voor de centrale partij).
• Rangconditie voor Certificering: Het artikel stelt een noodzakelijke en voldoende voorwaarde voor deze self-testing eigenschap vast: de hulpmatrix $M$, gevormd door de producten $h_{xy}h_{zy}$, moet volledige kolomrang hebben.
• Voorbeelden en Kwantum-Klassieke Gaten:
  • Het kader herstelt de BRGP-ongelijkheid ($m=n=2$) en de Gisin elegante Bell-ongelijkheid ($m=3, n=4$).
  • De auteurs demonstreren een familie van ongelijkheden afgeleid van de elegante Bell-ongelijkheid die, voor bepaalde parameters, een strikt grotere kloof oplevert tussen de bilocale grens en de kwantumgrens vergeleken met de standaard elegante ongelijkheid, terwijl de self-testing capaciteiten behouden blijven.

Betekenis en Claims
De auteurs claimen dat dit werk het eerste algemene self-testing resultaat voor kwantumnetwerken biedt dat uitsluitend rust op de maximale schending van een enkele niet-lineaire Bell-ongelijkheid (gecombineerd met zijn lineaire tegenhanger).

• Conceptuele Helderheid: In tegenstelling tot eerdere protocollen die mogelijk meerdere getuigen of complexe aannames vereisen, rust deze aanpak op een enkele experimenteel toegankelijke getuige-structuur.
• Device-Onafhankelijkheid: Het vermogen om de kwantumgrens analytisch te bepalen en de netwerkcomponenten te certificeren zonder de apparatuur te vertrouwen, maakt deze ongelijkheden zeer veelbelovend voor device-onafhankelijke toepassingen.
• Fundamentele en Praktische Relevantie: De betrokken observabelen (paarwijze anticommuterende Clifford-operatoren) zijn niet alleen relevant voor de fundamentele fysica, maar ook voor topologische kwantumcomputatie en onzekerheidsrelaties.

Het artikel concludeert door op te merken dat hoewel expliciete constructies die aan de rangconditie voldoen bestaan, de schaling van het vereiste aantal kolommen (Bob's metingen) ten opzichte van het aantal Alice/Charlie-metingen nog niet optimaal is, wat een richting suggereert voor toekomstige verbetering van de praktische haalbaarheid.