Analytic Maximal Violation of Extended MABK Inequalities for Generalized GHZ States

Technische Samenvatting: Analytische Maximale Schending van Uitgebreide MABK-ongelijkheden voor Gegeneraliseerde GHZ-toestanden

Probleemstelling
Bell-nietlokaliteit is een fundamenteel kenmerk van de kwantumtheorie, die gewoonlijk wordt gekwantificeerd door de mate van schending van Bell-ongelijkheden. Terwijl de Mermin-Ardehali-Belinskii-Klifshko (MABK) familie van ongelijkheden een natuurlijke generalisatie biedt voor de CHSH-ongelijkheid in multipartiete systemen, hebben eerdere theoretische studies zich primair gericht op maximaal verstrengelde Greenberger-Horne-Zeilinger (GHZ) toestanden. Voor gedeeltelijk verstrengelde gegeneraliseerde GHZ-toestanden, gedefinieerd als $|\Psi^{(n)}_\theta\rangle = \cos\theta |0\rangle^{\otimes n} + \sin\theta |1\rangle^{\otimes n}$, is de afhankelijkheid van de maximale MABK-schending van de verstrengelingsparameter $\theta$ niet volledig analytisch gekarakteriseerd. Specifiek vertonen standaard MABK-ongelijkheden een "niet-schendingsregio" in het zwak verstrengelde regime (waarbij $\theta \to 0$ of $\pi/2$), waardoor ze nietlokaliteit niet detecteren ondanks het feit dat de toestand verstrengeld is. De Uitgebreide MABK (EMABK) familie, geconstrueerd via recursieve combinaties van MABK-operatoren met onafhankelijke meetinstellingen, is aangetoond de hele verstrengelde regio te blijven schenden, maar een systematische analytische uitdrukking voor de maximale schending ervan was tot nu toe niet beschikbaar.

Methodologie
De auteurs ontwikkelen een verenigd correlatietensor-raamwerk om volledige correlatie Bell-ongelijkheden te analyseren waarbij ten minste één partij twee meetinstellingen heeft.

1. Tensorrepresentatie: De kwantumwaarde van een Bell-expressie wordt uitgedrukt als het Frobenius-inproduct van een toestand-afhankelijke correlatietensor $T$ en een meting-afhankelijke effectieve coëfficiëntentensor $C$.
2. Rang-beperkte Optimalisatie: Door de tensoren om te vormen tot matrices (het platdrukken van de eerste index), passen de auteurs de von Neumann trace-ongelijkheid toe. Cruciaal is dat zij de rangbeperking gebruiken die wordt opgelegd door de partij met slechts twee meetinstellingen, wat de rang van de effectieve coëfficiëntmatrix beperkt tot maximaal twee.
3. Afleiding van de Bovengrens: Deze rangbeperking, gecombineerd met de Cauchy-Schwarz-ongelijkheid, levert een nauwe bovengrens op voor de kwantumschending, gestuurd door de twee grootste singuliere waarden van de platgedrukte correlatietensor.
4. Spectrale Analyse: Voor gegeneraliseerde GHZ-toestanden berekenen de auteurs expliciet het singuliere-waarde-spectrum van de correlatietensor, waarbij zij een longitudinale component ($\lambda_z$) en een gedegenereerde transversale component ($\lambda_\perp$) identificeren.
5. Strategieconstructie: Er worden twee complementaire meetstrategieën geconstrueerd om de afgeleide grenzen over het gehele parameterbereik van $\theta$ te verzadigen.

Belangrijkste Bijdragen en Resultaten

1. Stuksgewijze Analytische Grens: Het artikel leidt een volledige stuksgewijze analytische bovengrens af voor de maximale kwantumschending van zowel MABK- als EMABK-ongelijkheden voor $n$-qubit gegeneraliseerde GHZ-toestanden. De grens wordt bepaald door de competitie tussen de transversale singuliere waarden ($\lambda_\perp \propto \sin 2\theta$) en de longitudinale singuliere waarde ($\lambda_z = |\cos^2\theta + (-1)^n \sin^2\theta|$).

   • Tak 1: Gedomineerd door $\lambda_\perp$, wat resulteert in $2^{(n-1)/2} \sin 2\theta$. Dit komt overeen met zuiver equatoriale (xy-vlak) metingen.
   • Tak 2: Gedomineerd door een combinatie van $\lambda_z$ en $\lambda_\perp$, wat resulteert in $\sqrt{\lambda_z^2 + 2^{n-2}\sin^2 2\theta}$. Dit komt overeen met een hybride meetstrategie.

2. Optimale Meetstrategieën:

   • Strategie I (Zuiver Equatoriaal): Alle meetrichtingen liggen in het equatoriale vlak van de Bloch-bol. Deze strategie verzadigt de eerste tak en herstelt de standaard MABK Tsirelson-grens $2^{(n-1)/2}$ bij maximale verstrengeling ($\theta = \pi/4$).
   • Strategie II (Hybride): Deze strategie combineert recursief lagere-orde MABK anti-diagonale operatoren (in het xy-vlak) met een volledig-$\sigma_z$ tensorproduct. Het maakt gebruik van de onafhankelijke parametrisering van de EMABK-constructie om uit te lijnen met zowel de transversale als de longitudinale correlatiesectoren. Deze strategie verzadigt de tweede tak.

3. Eliminatie van de Niet-schendingsregio: De auteurs demonstreren dat terwijl de standaard MABK-ongelijkheid faalt om de lokaal-verborgen-variabele grens te schenden in het zwak verstrengelde regime (waar $\lambda_\perp < \lambda_z$), de EMABK-ongelijkheid, via Strategie II, de tweede tak van de grens kan bereiken. Bijgevolg vertoont elke verstrengelde gegeneraliseerde GHZ-toestand een strikte kwantum-klassieke scheiding onder de EMABK-ongelijkheid, waardoor de niet-schendingsregio die in standaard MABK-testen wordt gevonden, effectief wordt geëlimineerd.

4. Numerieke Verificatie: De analytische resultaten worden gevalideerd tegen numerieke optimalisatie voor $n=3, 4, 5$, waarbij een perfecte overeenstemming wordt getoond over het volledige bereik van $\theta \in [0, \pi/2]$.

Betekenis
Het artikel stelt dat de verbetering die door de EMABK-familie wordt geboden, niet louter voortkomt uit het vergroten van het aantal meetinstellingen, maar uit de vergrote lineaire combinatie-ruimte die wordt geboden door het koppelen van twee onafhankelijk geparametriseerde lagere-orde MABK-structuren. Dit stelt de meetstrategie in staat om adaptief te schakelen tussen complementaire correlatiesectoren (transversaal versus longitudinaal) afhankelijk van de verstrengelingsparameter $\theta$.

Dit werk levert een exacte kwantummaximum voor gegeneraliseerde GHZ-toestanden onder EMABK-ongelijkheden, en biedt een geometrische interpretatie van multipartiete nietlokaliteit. Het stelt vast dat de EMABK-grens nauw is en dat de "niet-schending" van standaard MABK-ongelijkheden in gedeeltelijk verstrengelde regimes een artefact is van de beperkte meetstructuur van de standaard MABK-operator, en niet van een fundamentele afwezigheid van nietlokaliteit. De auteurs suggereren dat dit correlatie-tensorperspectief een nuttige route biedt voor het ontwerpen van multipartiete Bell-ongelijkheden die zijn afgestemd op specifieke kwantumcorrelaties.