Noise robustness of three outcome Bell certified quantum randomness

Technische Samenvatting: Ruisrobuustheid van met drie uitkomsten gecertificeerde kwantumwillekeur

Probleemstelling
Device-onafhankelijke (DI) generatie van willekeur berust op de schending van Bell-ongelijkheden om te certificeren dat meetuitkomsten intrinsiek onvoorspelbaar zijn, zonder aannames te doen over de interne werking van de apparaten. Hoewel standaardprotocollen gebaseerd op binaire uitkomstmetingen (bijv. CHSH) goed gevestigd zijn, zijn ze fundamenteel beperkt in de hoeveelheid gecertificeerde willekeur per experimentele ronde vanwege de beperkingen van qubit-systemen. Hoewel hoogdimensionale systemen en metingen met meerdere uitkomsten theoretisch rijkere nietlokale correlaties en hogere entropie bieden, blijft hun praktische bruikbaarheid onduidelijk, met name wat betreft hun robuustheid tegen realistische ruis. Er bestaat een kritische kloof in het begrip of scenario's met meerdere uitkomsten significante globale willekeur (de gezamenlijke onvoorspelbaarheid van alle partijen) kunnen handhaven in ruisgevoelige omgevingen, en of dergelijke voordelen beperkt zijn tot zorgvuldig ontworpen ongelijkheden of generiek voorkomen.

Methodologie
De auteurs onderzoeken DI-willekeurcertificering in bipartiete scenario's waarbij elke partij drie meetuitkomsten heeft ($d=3$). De studie hanteert twee primaire methodologische benaderingen:

1. Evaluatie van bekende ongelijkheden: De auteurs analyseren verschillende gevestigde Bell-expressies, waaronder SATWAP, CGLMP, Buhrman–Massar (BM), Kaniewski et al., Meyer et al., en een nieuwe ongelijkheid door Perito et al. Om globale willekeurcertificering mogelijk te maken, worden deze ongelijkheden uitgebreid door termen toe te voegen die een extra meetinstelling aan de zijde van Bob vereisen, waardoor de "spot setting" (het specifieke inputpaar dat wordt gebruikt voor generatie) uniform willekeurige uitkomsten certificeert.
2. Systematische zoektocht naar willekeur: De auteurs introduceren een methode voor het genereren van nieuwe Bell-expressies binnen twee gestructureerde families:
   • Familie 1: Willekeurige selectie van modulo-$d$ waarschijnlijkheidstermen voor elk instellingspaar (exclusief de spot setting).
   • Familie 2: Willekeurige toewijzing van onafhankelijke coëfficiënten aan elke modulo-3 waarschijnlijkheidsterm.
     Uitgebreide numerieke zoektochten (50.000 expressies per scenario) worden uitgevoerd over diverse configuraties van meetinstellingen (bijv. 3-2, 3-3, 4-2, 4-3).

Ruismodellen en Certificeringsmetrieken
De robuustheid van deze expressies wordt geëvalueerd onder twee ruismodellen:

• Werner-type ruis: Een mengsel van de ideale kwantumtoestand en de maximaal gemengde toestand.
• Bell-waarde ruis: Directe degradatie van de geobserveerde Bell-waarde.

Willekeur wordt gekwantificeerd via de min-entropie ($H_\infty = -\log_2 P_{guess}$), berekend met de semi-definiete programmeringsmethode (SDP) gebaseerd op de NPA-hiërarchie. De studie evalueert zowel de willekeur die wordt gecertificeerd bij een specifieke "spot setting" als de gemiddelde willekeur over alle mogele inputinstellingen.

Belangrijkste Resultaten

• Superioriteit van scenario's met meerdere uitkomsten: De studie bevestigt dat scenario's met drie uitkomsten aanzienlijk meer globale willekeur kunnen certificeren dan binaire uitkomst-tegenhangers (qubits), zelfs onder vergelijkbare ruisniveaus. Specifiek kunnen bepaalde ongelijkheden bijna de theoretische maximum van $\approx 3,17$ bits aan min-entropie certificeren.
• Ruisrobuustheid van bekende ongelijkheden: Onder de bekende ongelijkheden vertoont de ongelijkheid geïntroduceerd door Perito et al. [21] de hoogste tolerantie voor ruis, waarbij het certificeren van meer dan twee bits aan globale willekeur behoudt op ruisniveaus waar andere ongelijkheden falen. Dit overtreft de limiet die haalbaar is met optimale projectieve qubit-strategieën.
• Generieke robuustheid in willekeurige families: De grootschalige numerieke studie onthult dat sterke willekeurcertificaten geen zeldzame artefacten zijn van specifieke engineering.
  • In Familie 1 certificeert een niet-verwaarloosbaar deel van de willekeurig gegenereerde expressies substantiële willekeur (vaak meer dan 2 bits).
  • Cruciaal is dat de overgrote meerderheid van de niet-triviale certificaten robuust is tegen realistische ruis (bijv. $v=0,99$), waarbij positieve gecertificeerde willekeur behouden blijft ver buiten het ideale regime.
  • Familie 2 produceert minder nabij-optimale certificaten vergeleken met Familie 1, wat suggereert dat de structurele beperkingen van Familie 1 gunstiger zijn voor het vinden van hoogpresterende ongelijkheden.
• Identificatie van een nabij-optimale eenvoudige ongelijkheid: De auteurs identificeren een specifieke ongelijkheid uit Familie 1 (Scenario 4-2, aangeduid als "Case F") die bijna maximale globale willekure ($\approx 3,165$ bits onder Bell-waarde ruis) bereikt, terwijl deze slechts twee meetinstellingen voor één partij vereist. Deze ongelijkheid is structureel eenvoudig en equivalent aan een lid van de $(2, 4, 3)$ familie uit [21] onder herlabeling.

Betekenis en Claims
Het artikel claimt dat het potentieel voor sterke, device-onafhankelijke willekeursexpansie in scenario's met meerdere uitkomsten niet beperkt is tot een paar zorgvuldig geconstrueerde ongelijkheden. In plaats daarvan demonstreren de auteurs dat:

1. Hoogdimensionale correlaties een praktisch hulpbron zijn: Ze bieden een echt voordeel in gecertificeerde willekeur dat standhoudt onder realistische ruiscondities.
2. Robuustheid is generiek: Het vermogen om significante willekeur te certificeren in ruisgevoelige omgevingen is een algemeen kenmerk binnen geschikt geconstrueerde families van Bell-expressies, in plaats van een uitzonderlijke eigenschap.
3. Efficiëntie in meetinstellingen: Het is mogelijk om nabij-optimale willekeurcertificering te bereiken met minimale meetcomplexiteit (bijv. door slechts twee instellingen voor één partij te gebruiken), wat de balans tussen outputwillekeur en de benodigde inputwillekeur voor protocoluitvoering verbetert.

De auteurs concluderen dat gestructureerde willekeurige generatie een krachtig hulpmiddel is voor het ontdekken van concurrerende Bell-ongelijkheden, en een systematisch pad biedt om expressies te identificeren die maximale entropie, ruisrobuustheid en experimentele eenvoud balanceren.