Stoquastic permutationally invariant Bell operators

Titel: Stoquastische permutatie-invariante Bell-operatoren

Auteurs: Jan Li, Owidiusz Makuta, Evert van Nieuwenburg en Jordi Tura.

---

1. Probleemstelling

Bell-niet-localiteit is een fundamenteel concept in de kwantumfysica en een cruciale resource voor toepassingen zoals kwantumsleutelverdeling en self-testing. Het uitbreiden van Bell-certificering naar het veeldeeltjesregime (vele qubits) is echter uitdagend vanwege de exponentiële complexiteit van de parameterruimte.

Recente experimenten met grote kwantumsystemen (bijv. Bose-Einstein condensaten met honderdduizenden atomen) maken gebruik van permutatie-invariante (PI) Bell-operatoren. Deze operatoren zijn vaak gebaseerd op lage-orde correlatoren (twee- en drie-lichaams termen) om experimenteel haalbaar te blijven.

Een opvallende, maar tot nu toe onopgemerkte eigenschap van de Bell-operatoren die worden gebruikt in de grootste experimenten tot nu toe, is dat ze stoquastisch kunnen worden gemaakt. Een Hamiltoniaan (of Bell-operator) is stoquastisch ten opzichte van een bepaalde basis als alle niet-diagonale matrixelementen in die basis niet-positief zijn ($\langle i|H|j\rangle \leq 0$ voor $i \neq j$). Stoquastische systemen hebben geen "sign-probleem" in Monte Carlo-simulaties en hun grondtoestand heeft niet-negatieve amplitude in de gekozen basis.

De centrale vraag: Hoe algemeen is deze eigenschap? Onder welke voorwaarden kunnen PI Bell-operatoren stoquastisch worden gemaakt, en wat is de relatie tussen stoquasticiteit en de maximale schending van Bell-ongelijkheden (het kwantum-klassieke gat)?

2. Methodologie

De auteurs ontwikkelen een wiskundig raamwerk om de relatie tussen PI Bell-operatoren en stoquasticiteit te analyseren:

• Permutatie-invariantie en Blokvorm: Ze focussen op Bell-operatoren in het scenario met twee invoer- en twee uitvoeropties. Door de permutatiesymmetrie kunnen deze operatoren worden ontbonden in blokken ($B_J$) die corresponderen met verschillende totale spin-waarden. De analyse focust voornamelijk op de symmetrische deelruimte ($J=n/2$), waar de grondtoestanden van veel PI Hamiltonianen worden verwacht.
• Lineaire Ongelijkheden: De voorwaarde voor stoquasticiteit (niet-positieve niet-diagonale elementen) wordt vertaald naar een reeks lineaire ongelijkheden op de Bell-coëfficiënten ($\vec{\alpha}$) voor een vaste set meetparameters ($\vec{\theta}$).
• De Stoquasticiteitskegel: Omdat de ongelijkheden homogeen zijn, vormt de verzameling van alle geldige Bell-coëfficiënten die een stoquastische operator opleveren, een kegel (een speciaal type polyhedron). De auteurs introduceren de "stoquasticiteitskegel" ($S_{\phi,\theta}^{n,K}$) om deze ruimte volledig te karakteriseren.
• Primaire en Duale Beschrijving:
  • Primaire beschrijving: Gedefinieerd door de hypervlakken (de stoquasticiteitsvoorwaarden).
  • Duale beschrijving: Gedefinieerd door een set van generatoren: extreme stralen (rays) en lijnen (lines). Elke stoquastische Bell-operator kan worden geschreven als een positieve lineaire combinatie van deze stralen en een willekeurige lineaire combinatie van de lijnen.
• Optimalisatie: De auteurs gebruiken numerieke optimalisatie binnen deze kegel om het verhouding tussen de kwantumbound en de klassieke bound ($\beta_Q / \beta_C$) te maximaliseren.

3. Belangrijkste Bijdragen en Resultaten

A. Karakterisering van de Stoquasticiteitskegel

De auteurs tonen aan dat de verzameling van Bell-coëfficiënten die stoquastische operatoren genereren, een polyhedron is dat specifiek een kegel is.

• Voor twee-lichaams PI Bell-operatoren wordt de kegel volledig gekarakteriseerd door drie extreme stralen en twee lijnen, ongeacht het aantal deeltjes $n$. Dit maakt een efficiënte parametrisatie en optimalisatie mogelijk.
• De "lijnen" in de kegel vertegenwoordigen vrijheidsgraden die de niet-diagonale elementen (en dus de stoquasticiteit) niet veranderen, maar wel de diagonale elementen en de Bell-ongelijkheid zelf beïnvloeden. Dit biedt ruimte om het kwantum-klassieke gat te optimaliseren zonder de stoquasticiteit te verliezen.

B. Generalisatie naar Drie-Lichaams Operatoren

Een cruciaal resultaat is Stelling 3: Elke drie-lichaams permutatie-invariante Bell-operator kan stoquastisch worden gemaakt voor elke set meetparameters ($\phi, \theta$).

• Dit wordt bewezen door te tonen dat er altijd een combinatie van Bell-coëfficiënten bestaat (specifiek met bepaalde gewichten voor de één-, twee- en drie-lichaams termen) die voldoet aan de stoquasticiteitsvoorwaarden, ongeacht de hoeken.
• Numerieke resultaten suggereren dat voor de optimale meetparameters, de bekende Bell-operator uit de grootste experimenten (met twee-lichaams correlatoren) al optimaal is binnen de stoquastische kegel.

C. Optimaliteit van Bestaande Experimentele Operatoren

De auteurs analyseren de Bell-operator die werd gebruikt in de grootste Bell-experimenten tot nu toe (met 480 Rb-atomen en $5 \cdot 10^5$ atomen).

• Ze tonen aan dat deze operator, bij zijn optimale meetparameters, stoquastisch is.
• Numerieke optimalisatie binnen de stoquastische kegel bevestigt dat deze operator bijna optimaal is voor het maximaliseren van het kwantum-klassieke gat. Dit suggereert dat de experimenteel gevonden operatoren niet alleen experimenteel haalbaar zijn, maar ook fundamenteel optimaal zijn binnen de klasse van stoquastische operatoren.

D. Verbinding met Grondtoestanden en Wahrscheinelijkheidsverdelingen

De auteurs tonen aan dat elke staat met niet-negatieve amplitude in de Dicke-basis (de basis van symmetrische toestanden) de grondtoestand kan zijn van een stoquastische PI Bell-operator.

• Dit betekent dat stoquastische PI Bell-operatoren kunnen dienen als "parent Hamiltonians" voor willekeurige discrete waarschijnlijkheidsverdelingen over de Dicke-basis.
• Hoewel dit in het algemeen operatoren van orde $K \sim O(n)$ vereist, blijkt dat voor $K \leq 3$ al complexe toestanden (zoals spin-geknepen toestanden met een Gaussische profiel) kunnen worden gevangen.

4. Significatie en Conclusie

• Fundamentele Link: Dit werk vestigt de eerste systematische link tussen permutatie-invariante Bell-operatoren en stoquasticiteit. Het toont aan dat stoquasticiteit geen toevallige eigenschap is van specifieke experimenten, maar een robuust kenmerk dat kan worden afgedwongen door de juiste keuze van Bell-coëfficiënten.
• Experimentele Relevantie: Het feit dat de operatoren in de grootste experimenten optimaal zijn binnen de stoquastische klasse, suggereert een diepere verbinding tussen experimentele toegankelijkheid en de afwezigheid van het sign-probleem.
• Toekomstperspectief: De introductie van de stoquasticiteitskegel biedt een krachtig gereedschap voor het ontwerpen van nieuwe Bell-tests die zowel experimenteel haalbaar als klassiek simuleerbaar zijn (vanwege de stoquasticiteit). De auteurs wijzen erop dat het analytisch karakteriseren van de stralen voor drie-lichaams operatoren voor willekeurige $n$ nog een open probleem is, en dat hogere-orde operatoren nodig zijn om het volledige spectrum van waarschijnlijkheidsverdelingen te bereiken.

Kortom, het paper levert een wiskundig raamwerk dat het ontwerp van veeldeeltjes Bell-experimenten stroomlijnt door de beperkingen van stoquasticiteit te benutten, en bevestigt dat de huidige state-of-the-art experimenten al op het randje van deze theoretische optimaliteit opereren.