Bell nonlocality with a single shot

Dit artikel toont aan dat Bell-ongelijkheden met een grote kloof tussen lokale en Tsirelson-grenzen het mogelijk maken om het bestaan van lokale verborgen variabelen in één enkele meting te weerleggen met een willekeurig kleine p-waarde, zonder dat statistische verzameling nodig is.

De kern

De Grote Gok: Kwantummechanica in één keer bewijzen

Stel je voor dat je een spelletje speelt met een vriend, maar jullie zitten in verschillende huizen en mogen niet met elkaar praten. Jullie krijgen elk een vraag en moeten een antwoord geven. Soms moeten jullie antwoorden die op elkaar lijken, soms juist heel verschillend.

In de wereld van de klassieke fysica (de "lokale verborgen variabelen") zou dit spel gebaseerd zijn op een vooraf afgesproken plan of een geheime code. Maar de quantummechanica zegt: "Nee, jullie zijn op een mysterieuze manier met elkaar verbonden, zelfs als ze kilometers van elkaar verwijderd zijn." Dit fenomeen noemen we niet-lokaliteit.

Vroeger om dit te bewijzen, moesten wetenschappers dit spel duizenden of miljoenen keren spelen. Ze telden alle winsten en verliezen, rekenden gemiddelden uit en hoopten dat het resultaat duidelijk genoeg was om te zeggen: "Kijk, dit kan niet met een vooraf afgesproken plan!"

De kernboodschap van dit nieuwe artikel is: Je hoeft niet te wachten tot je duizenden keren hebt gespeeld. Met de juiste versie van het spel kun je de klassieke theorie al in één enkele ronde verslaan.

De Sleutel: De "Kloof" (Gap)

Om dit in één keer te doen, heb je een heel speciaal spel nodig. Stel je twee lijnen voor:

1. De Klassieke Limiet: De maximale winstkans die je kunt halen als je alleen slimme, klassieke trucs gebruikt (zonder quantumkracht).
2. De Quantum Limiet: De maximale winstkans die je kunt halen met echte quantumkracht.

In de meeste bekende spellen (zoals het beroemde CHSH-spel) liggen deze twee lijnen dicht bij elkaar. Het is als een wedstrijd tussen twee renners die bijna even snel zijn; je hebt veel rondes nodig om te zien wie er echt wint.

De auteurs van dit artikel hebben een manier gevonden om een spel te bouwen waarbij deze twee lijnen ver uit elkaar liggen.

• De klassieke renner is bijna niet in staat om te winnen (bijna 0% kans).
• De quantum-renner wint bijna altijd (bijna 100% kans).

De afstand tussen deze twee lijnen noemen ze de "gap" (kloof). Hoe groter deze kloof, hoe makkelijker het is om in één keer te zeggen: "Dit kan niet toeval zijn!"

Hoe bouwen ze dit super-spel?

De auteurs hebben een slim algoritme (een soort recept) bedacht om elk bestaand wiskundig bewijs (een "Bell-ongelijkheid") om te zetten in dit perfecte spel. Ze kijken naar de regels en passen ze zo aan dat de klassieke kans op winst zo laag mogelijk wordt en de quantumkans zo hoog mogelijk.

Ze hebben dit getest op bekende spellen en zagen dat ze de kloof enorm konden vergroten.

Twee Manieren om de "Super-Kloof" te Creëren

Om de kloof zo groot mogelijk te maken (zodat de klassieke kans bijna 0 is), gebruiken ze twee creatieve trucs:

1. Parallel Spelen (De "Multitasking" Truc):
   In plaats van het spel één voor één te spelen, spelen ze duizenden kopieën van het spel tegelijkertijd in één ronde.

   • Vergelijking: Stel je voor dat je 100 keer een munt opgooit. Als je een eerlijke munt hebt, is de kans dat je 100 keer kop gooit heel klein. Maar als je een "magische" munt hebt die altijd kop gooit, is dat makkelijk.
   • De auteurs tonen aan dat als je dit slim doet, de kans dat een klassieke speler dit allemaal goed raadt, zo klein wordt dat het statistisch onmogelijk is.

2. Het Khot-Vishnoi Spel (De "Gigantische Puzzel"):
   Dit is een heel complex spel dat speciaal ontworpen is om de kloof enorm groot te maken. Het vereist wel een heel groot quantum-systeem (een enorme "rekenkracht"), maar het bewijst dat het theoretisch mogelijk is om de klassieke theorie in één keer te ontkrachten.

Waarom is dit belangrijk?

• Geen geduld nodig: Vroeger dachten we dat we jarenlang data moesten verzamelen om quantummechanica te bewijzen. Nu weten we dat het in theorie in één seconde kan.
• Betrouwbaarheid: Het is een veel sterkere manier om te zeggen: "De wereld werkt niet zoals we dachten."
• Efficiëntie: Het helpt wetenschappers om betere experimenten te ontwerpen die minder gevoelig zijn voor fouten.

Samenvattend in één zin:

De auteurs hebben een recept bedacht om een quantum-spel te bouwen waarbij de regels zo zijn ingesteld dat een klassieke speler bijna nooit kan winnen, terwijl een quantum-speler bijna altijd wint; hierdoor hoef je maar één keer te spelen om te bewijzen dat de wereld "quantum" is en niet "klassiek".

Het is alsof je in één keer een munt opgooit en hij landt op de rand, en je zegt: "Kijk, dit kan niet met een gewone munt!"

Technische samenvatting

Probleemstelling

Traditionele experimenten om lokale verborgen variabelen (LHV) te weerleggen via Bell's theorema zijn inherent probabilistisch. Historisch gezien werden grote aantallen metingen uitgevoerd om de Bell-uitdrukking te schatten en de variantie te berekenen. LHV-modellen werden dan verworpen als de schatting een bepaald aantal standaardafwijkingen boven de lokale grens lag. Een alternatieve, maar vergelijkbare aanpak in recente "loophole-free" tests is het berekenen van een $p$-waarde: de kans dat LHV-modellen de waargenomen data kunnen reproduceren.

Het fundamentele probleem is dat het vinden van de optimale vorm van een Bell-ongelijkheid om deze $p$-waarde te minimaliseren, complex is. Bovendien vereisen traditionele methoden statistische verzameling over vele rondes. De auteurs stellen de vraag of het mogelijk is om LHV-modellen in een enkele meting (single shot) te weerleggen met een willekeurig kleine $p$-waarde, zonder statistiek te hoeven verzamelen.

Methodologie

De auteurs benaderen het probleem door Bell-ongelijkheden te herschrijven als niet-lokale spellen (nonlocal games). In een niet-lokaal spel kiest een scheidsrechter vragen $x$ en $y$ volgens een verdeling $\mu(x,y)$, en spelers Alice en Bob geven antwoorden $a$ en $b$. Ze winnen met een waarschijnlijkheid $V(a,b,x,y)$.

De kern van de methodologie rust op de volgende inzichten:

1. De Kloof (Gap): De $p$-waarde voor het winnen van een spel in één ronde met een LHV-strategie is gelijk aan de lokale grens van het spel, $\omega_\ell(G)$. Als de Tsirelson-grens (de maximale winstkans met kwantummechanica, $\omega_q(G)$) dicht bij 1 ligt en de lokale grens dicht bij 0, dan is de kloof $\chi_G = \omega_q(G) - \omega_\ell(G)$ groot. Een grote kloof leidt tot een zeer kleine $p$-waarde bij één overwinning.
2. Transformatie-algoritme: De auteurs ontwikkelen een algoritme om een willekeurige Bell-ongelijkheid om te zetten in een equivalent niet-lokaal spel met de maximaal mogelijke kloof. Dit wordt gedaan door:
   • Het spel te vertalen en te schalen (translatie en schaling van de Bell-functional).
   • Het toevoegen van "no-signalling" beperkingen (lineaire constraints) aan de Bell-functional om de som van de maximale en minimale waarden te minimaliseren.
   • Dit optimalisatieprobleem wordt geformuleerd als een lineair programmeringsprobleem (Linear Programming).
3. Constructie van Spellen met Grote Kloof: Om een kloof willekeurig dicht bij 1 te bereiken, presenteren ze twee constructies:
   • Parallelle herhaling: Het spelen van $n$ kopieën van een spel in één ronde. Hoewel LHV-modellen hier sterker zijn dan bij opeenvolgende rondes, toont een concentratiebound (Rao) aan dat de winstkans voor LHV exponentieel daalt met $n$.
   • Khot-Vishnoi spel: Een specifiek spel gebaseerd op een constructie van Khot en Vishnoi, waarbij de parameters zo worden gekozen dat de lokale grens willekeurig klein en de Tsirelson-grens willekeurig groot wordt.

Belangrijkste Bijdragen en Resultaten

1. Algoritme voor Optimalisatie:

   • Ze hebben een algoritme ontwikkeld dat een Bell-ongelijkheid transformeert naar een equivalent niet-lokaal spel met de grootste mogelijke kloof.
   • Dit algoritme is sneller dan de naïeve aanpak voor het berekenen van lokale grenzen (door alleen de strategieën van één partij te itereren en de optimale reactie van de andere partij te berekenen).
   • Ze tonen analytische oplossingen voor unieke spellen (waarbij de predicate deterministisch is) en voor de CGLMP-ongelijkheden. Voor de Inn22-ongelijkheden ($n \ge 3$) tonen ze numerieke oplossingen aan, waarbij de optimale oplossing vaak een niet-nul projectie heeft op de "signalling vector space" (wat betekent dat de optimale Bell-functional niet orthogonaal is op de ruimte van signalering).

2. Resultaten voor Specifieke Ongelijkheden:

   • CGLMP: Voor de CGLMP-ongelijkheden (met $k$ uitkomsten) is de lokale grens van het geoptimaliseerde spel altijd $0.75$, ongeacht$k$. De Tsirelson-grens nadert 1 als$k \to \infty$.
   • Inn22: Voor $n \ge 3$ is de lokale grens van het geoptimaliseerde spel $\frac{n+1}{n+2}$. De kloof neemt af naarmate $n$ toeneemt, wat aangeeft dat deze specifieke familie minder geschikt is voor single-shot tests dan CGLMP.
   • Diviánszky-Bene-Vértesi: Ze tonen aan dat hoewel de verhouding $\omega_q/\omega_\ell$ groot kan zijn, de absolute kloof klein kan blijven, wat de $p$-waarde niet zo gunstig maakt.

3. Single-Shot Weerlegging:

   • De auteurs bewijzen dat het mogelijk is om LHV-modellen in één enkele meting te weerleggen met een willekeurig kleine $p$-waarde.
   • Dit vereist een spel met een kloof $\chi_G$ die willekeurig dicht bij 1 ligt.
   • Ze berekenen de benodigde dimensie van het kwantumsysteem voor twee methoden:
     • Parallelle herhaling van het Magic Square-spel: Vereist een dimensie van $d \approx 2^{130 \times 10^6}$ voor een $p$-waarde van $10^{-5}$.
     • Khot-Vishnoi spel: Vereist een dimensie van $d \approx 2^{577079}$ voor dezelfde $p$-waarde.
   • Hoewel deze dimensies onrealistisch groot zijn voor huidige experimenten, bewijzen ze het theoretische principe dat single-shot weerlegging mogelijk is.

4. Grenzen aan de Kloof:

   • Ze leiden bovengrenzen af voor de grootte van de kloof als functie van de lokale dimensie $d$ van het kwantumsysteem.
   • Ze tonen aan dat de kloof $\chi_G$ gerelateerd is aan de "grootste schending" (largest violation) van een Bell-ongelijkheid.
   • De afgeleide bovengrenzen suggereren dat de kloof exponentieel kan groeien met de dimensie, hoewel de huidige constructies (parallelle herhaling en Khot-Vishnoi) ver onder deze theoretische limieten blijven.

Significantie

Dit werk heeft een fundamentele impact op hoe we Bell-experimenten interpreteren en ontwerpen:

• Verschuiving in Statistiek: Het verlegt de focus van het verzamelen van grote datasets naar het optimaliseren van de Bell-ongelijkheid zelf (via de kloof) om een sterke weerlegging in één keer mogelijk te maken.
• Theoretisch Bewijs: Het biedt een strikt theoretisch bewijs dat lokale verborgen variabelen in één enkele meting kunnen worden verworpen, mits de juiste niet-lokale spelconstructie wordt gebruikt.
• Praktische Algoritmen: De ontwikkelde algoritmen voor het omzetten van Bell-ongelijkheden naar optimale spellen en het snel berekenen van lokale grenzen zijn waardevolle tools voor de kwantuminformatiewetenschap, ongeacht of single-shot experimenten direct uitvoerbaar zijn.
• Dimensionale Kosten: Het artikel benadrukt de enorme kosten (in termen van kwantumdimensie) die gepaard gaan met het bereiken van een perfecte single-shot weerlegging, wat een realistisch beeld schetst van de huidige experimentele beperkingen versus theoretische mogelijkheden.

Kortom, de paper toont aan dat de "kloof" tussen lokale en kwantumlakens de cruciale parameter is voor het minimaliseren van de $p$-waarde, en dat door het optimaliseren van Bell-ongelijkheden naar niet-lokale spellen, een enkele meting theoretisch voldoende is om het bestaan van lokale verborgen variabelen uit te sluiten.