Robust Bell Nonlocality from Gottesman-Kitaev-Preskill States

Technische Samenvatting: Robuuste Bell-nietlokaliteit vanuit Gottesman–Kitaev–Preskill-toestanden

Probleemstelling
Schendingen van de Bell-ongelijkheid zijn essentieel voor het certificeren van niet-klassieke eigenschappen en het uitsluiten van lokaal realisme. Echter, in continu-variabele (CV) systemen wordt het demonstreren van Bell-nietlokaliteit beperkt door het meetregime. Hoewel homodyne-detectie een hoge efficiëntie biedt—cruciaal voor het sluiten van de detectiekloof—is deze fundamenteel beperkt: Bell-nietlokaliteit kan niet worden gegenereerd uit Gaussische metingen op Gaussische toestanden. Bijgevolg zijn niet-Gaussische toestanden vereist. Bestaande voorstellen die gebruikmaken van foton-gesubtraheerde of optische kat-toestanden lijden aan fragiliteit onder verlies, en hun niet-Gaussische kenmerken worden vaak gedegradeerd in realistische implementaties. Bovendien vereist het testen van Bell-ongelijkheden in CV-systemen het discretiseren van continue uitkomsten via "binning" (groepering). Eerdere benaderingen optimaliseerden binning vaak voor specifieke toestanden of instellingen, wat de robuustheid en de omvang van de geobserveerde schendingen beïnvloedde. De centrale vraag die wordt behandeld is of de Gottesman–Kitaev–Preskill (GKP) codering, die van nature qubits in bosonische modi codeert, robuuste Bell-schendingen kan mogelijk maken met enkel homodyne-detectie en vaste binning, zelfs in aanwezigheid van eindige squeezing en ruis.

Methodologie
De auteurs stellen een raamwerk voor waarbij elke partij een homodyne-detectie uitvoert op een gedeelde bosonische modus en de continue uitkomst discretiseert via een vaste, periodieke binning-regel. Deze binning komt overeen met logische Pauli-metingen ($X, Y, Z$) op de gecodeerde qubit.

1. Resource-toestand: De studie maakt gebruik van vierkante rooster-GKP-toestanden. Ideale GKP-codewoorden zijn niet-normaliseerbare Dirac-kammen. De auteurs modelleren realistische toestanden met behulp van een eindige-energie benadering gegenereerd door een energiefilter $e^{-\epsilon \hat{n}}$. Dit vervangt de Dirac-kam door een rooster van smalle Gaussische pieken onder een bredere Gaussische enveloppe, gekenmerkt door een squeezing-parameter $r_{dB}$.
2. Meetregime: Partijen meten geroteerde quadraturen $\hat{q}_{\theta}$ bij specifieke hoeken ($\theta_Z=0, \theta_X=\pi/2, \theta_Y=\pi/4$) die overeenkomen met logische $Z, X,$ en $Y$. De continue uitkomst $q_\theta$ wordt in kaart gebracht naar een binaire bit $o \in \{0, 1\}$ op basis van of deze binnen periodieke intervallen $R_o$ valt.
3. Theoretisch Raamwerk: De auteurs leiden een expliciete analytische expressie af voor de $N$-partij gezamenlijke waarschijnlijkheidsverdeling $p(o|x)$ voor elke eindige-energie GKP-gecodeerde toestand. Door de gecodeerde toestand uit te breiden in termen van logische Pauli-operatoren en gebruik te maken van de Gaussische mengstructuur van de GKP Wigner-functies, reduceren zij de $N$-modus waarschijnlijkheid tot een product van single-mode overlaps. Deze overlaps worden uitgedrukt als absoluut convergente reeksen met behulp van foutfuncties (Eq. 7).
4. Bell-testen: Het raamwerk wordt toegepast op multipartite scenario's ($N \ge 3$) met behulp van twee verschillende verstrengelingsstructuren:
   • GHZ-toestanden: Getest met de Mermin–Ardehali–Belinskii–Klyshko (MABK) ongelijkheid.
   • W-toestanden: Getest met een Cabello-type waarschijnlijkheidsongelijkheid.
     De studie analyseert ook de effecten van fotonverlies (gemodelleerd als een beam-splitter kanaal met transmissiviteit $\eta$) en thermische ruis.

Belangrijkste Bijdragen en Resultaten

• Bipartiete No-Go Stelling: De auteurs stellen een fundamentele obstructie vast voor bipartiete systemen: voor Bell-paar toestanden genereren Pauli-metingen (geïmplementeerd via homodyne + vaste binning) alleen lokale correlaties in het CHSH-scenario. Er is geen schending mogelijk in het bipartiete geval onder deze beperkingen.
• Multipartite Schendingen: Voorbij twee partijen demonstreert de studie dat eindig gesqueezde GKP-gecodeerde GHZ- en W-toestanden sterke multipartite nietlokaliteit vertonen. Zij schenden multipartite Bell-ongelijkheden met behulp van homodyne-only uitlezing.
• Analytisch Instrument: De afleiding van de single-mode overlap formule (Eq. 7) biedt een efficiënt berekenbaar verband tussen de fysieke GKP-parameters (squeezing, roosterstructuur) en de resulterende gebinde homodyne-statistieken. Dit maakt numerieke evaluatie van Bell-schendingen onder verlies en eindige squeezing mogelijk.
• Drempelwaarden en Robuustheid:
  • Squeezing: Hogere squeezing ($r_{dB}$) verbetert de benadering van logische Pauli-metingen, waardoor de waarden van de Bell-schending toenemen.
  • Verlies: Fotonverlies vervaagt het fase-ruimte rooster, wat de onderscheidbaarheid vermindert. De auteurs definiëren een kritische squeezing-parameter ($r_{crit}$) als de minimale squeezing die vereist is om een specifieke ongelijkheid te schenden voor een gegeven verliesniveau.
  • Vergelijking: W-type toestanden (getest met de Cabello ongelijkheid) blijken robuuster tegen eindige squeezing dan GHZ-toestanden (getest met de MABK ongelijkheid). Specifiek bereiken W-type getuigen grotere schendingen bij lagere squeezing-drempels dan GHZ-type getuigen voor hetzelfde aantal partijen ($N=3$).
  • Ruis-trade-offs: De analyse kwantificeert een "ruisbudget", waarbij laat zien dat hogere transmissie matige thermische ruis kan compenseren, maar dat nabij-vacuüm ruis vereist is om significante attenuatie te tolereren.
• Geometrische Afstand: Analyse van de geometrische afstand tot het lokale polytope bevestigt dat W-type correlaties robuuster zijn tegen eindige squeezing. Bovendien vergroot het verhogen van het aantal meetinstellingen van 2 naar 3 de afstand drastisch, wat suggereert dat homodyne-gebaseerde nietlokaliteit rijker is dan wat standaard twee-instelling getuigen vatten.

Betekenis en Claims
Het artikel claimt een route te bieden naar praktische, loophole-vriendelijke Bell-testen in continu-variabele systemen. Door gebruik te maken van GKP-codering tonen de auteurs aan dat robuuste Bell-schendingen haalbaar zijn met enkel hoog-efficiënte homodyne-detectie en vaste binning, zonder dat complexe niet-Gaussische operaties (zoals T-gates) of fragiele niet-Gaussische toestanden nodig zijn.

• Experimentele Relevantie: De resultaten zijn direct toepasbaar op platformen waar GKP-toestanden zijn gerealiseerd, zoals gevangen ionen, microgolf-caviteiten en geïntegreerde fotonische bronnen.
• Schaalbaarheid: Hoewel GHZ-toestanden kunnen worden gegenereerd met Gaussische koppelingen en Clifford-operaties (compatibel met GKP-architecturen), blijft de voorbereiding van W-toestanden een uitdaging omdat dit niet-Clifford bronnen vereist. De auteurs identificeren dit als een belangrijke experimentele hindernis.
• Brede Impact: Het analytische raamwerk (Eq. 7) strekt zich uit voorbij Bell-testen en biedt instrumenten voor prepare-and-measure protocollen en privacy-certificering in gedistribueerde kwantummetrologie.

Het werk concludeert dat GKP-toestanden dienen als een natuurlijke brug tussen de vereisten van fouttolerante kwantumcomputing en de behoefte aan robuuste, hoog-efficiënte certificering van kwantum-nietlokaliteit in fotonische en CV-technologieën.