Quantum randomness beyond projective measurements

Stel je voor dat je probeert een echt willekeurig getal te genereren, zoals het opgooien van een munt of het rollen van een dobbelsteen, maar je wilt er absoluut zeker van zijn dat niemand anders (zelfs niet een superintelligente hacker met een quantumcomputer) het resultaat kan voorspellen voordat het gebeurt. In de wereld van de quantumfysica is dit mogelijk, omdat de natuur zelf fundamenteel onvoorspelbaar is.

Dit artikel, geschreven door Fionnuala Curran, onderzoekt hoeveel "echte" willekeur we uit verschillende soorten quantummetingen kunnen persen. Denk aan een quantummeting als een machine die een quantumtoestand (een deeltje) aanneemt en een getal eruit spuugt. Het doel is de beste machine-instellingen te vinden om zo onvoorspelbare getallen mogelijk te krijgen.

Hier is een uiteenzetting van de belangrijkste ideeën uit het artikel, gebruikmakend van alledaagse analogieën:

1. De Opzet: De Onvoorspelbare Munt

In de klassieke fysica kun je, als je precies weet hoe een munt wordt opgegooid, voorspellen of hij kop of munt zal zijn. In de quantumfysica is het resultaat, zelfs als je alles over de opzet weet, nog steeds een mysterie. Dit wordt intrinsieke willekeur genoemd.

Echter, niet alle quantum-"machines" (metingen) zijn gelijk. Sommige zijn "extreem", wat betekent dat het de meest fundamentele soorten machines zijn die niet kunnen worden opgesplitst in eenvoudigere, willekeurige mengsels. Het artikel vraagt zich af: Welke van deze fundamentele machines geeft ons de meeste willekeur?

2. De "Scheve" Dobbelstenen: Cheaten om te Winnen

De auteurs stellen eerst een nieuwe familie van metingen voor die ze "Scheve SIC"-metingen noemen.

De Analogie: Stel je een standaard dobbelsteen voor waarbij elk getal (1 tot en met 6) evenveel kans heeft om te vallen. Dat is een "eerlijke" dobbelsteen. Maar wat als je een speciale, licht gebogen dobbelsteen hebt die meestal op 1 landt, maar als je hem net zo goed rolt, perfect eerlijk wordt?
De Bevinding: Deze "Scheve" metingen zijn zo ontworpen dat ze, als je ze een specifiek type quantumtoestand (een "pure" toestand) voert, een perfect uniforme, willekeurig resultaat produceren. Nog beter: ze kunnen dit doen voor elke grootte van een quantum-systeem (elke dimensie) waar een specifiek type meting (een SIC) bestaat. Dit lost een raadsel op over hoe je de maximaal mogelijke willekeur (2 log d bits) in een apparaat-afhankelijke setting kunt krijgen.

3. De "Onbevooroordeelde" Dobbelstenen: Eerlijk Spelen

Vervolgens bekijkt het artikel "Onbevooroordeelde" metingen. Dit zijn machines waarbij, als je ze een volledig willekeurige "afval"-toestand voert, elke uitkomst even waarschijnlijk is.

De Analogie: Denk aan een tetraëder (een piramide met vier driehoekige vlakken) die in de ruimte zweeft. De hoekpunten van deze piramide vertegenwoordigen de mogelijke uitkomsten van een meting.
De Bevinding: De auteurs ontdekten een eenvoudige regel: De hoeveelheid willekeur die je krijgt, hangt af van hoe dicht je startende quantumtoestand bij het midden van deze piramide ligt.
- Als je toestand precies in het midden zit, krijg je minder willekeur.
- Als je toestand ver weg is, krijg je meer.
- Ze berekenden precies hoeveel willekeur je krijgt voor elke toestand in een 2-dimensionaal systeem (een qubit, of een quantumbit).

4. De "SIC" versus de "Schaar"

Het artikel vergelijkt twee specifieke soorten van deze piramide-vormige metingen:

De SIC (Symmetrisch Informatief Compleet) Meting: Dit is de "perfecte" piramide. Alle vlakken zijn identiek en het is het beste hulpmiddel om in kaart te brengen (tomografie) hoe een quantumtoestand eruitziet.
- De Verrassing: Hoewel de SIC het beste is in het meten van toestanden, ontdekten de auteurs dat het eigenlijk de slechtste is in het genereren van willekeur onder onbevooroordeelde metingen. Het heeft de "minste" intrinsieke willekeur. Het is als een zeer nauwkeurige liniaal die slecht is in het genereren van willekeurige getallen.
De "Schaar"-metingen: De auteurs bedachten een nieuwe familie van metingen die ze "Schaar" noemen.
- De Analogie: Stel je voor dat de piramidevlakken als messen van een schaar zijn. Je kunt de messen openen of sluiten door een enkele hoek te veranderen.
- De Bevinding: Naarmate je de "schaar" sluit (de hoek verandert), wordt de meting minder "eerlijk" (bevooroordeeld), maar komt het dichter en dichter bij het genereren van de maximaal mogelijke hoeveelheid willekeur.
- Ze toonden aan dat in dimensies 2, 3 en 4 je deze Schaar-metingen kunt afstemmen om bijna evenveel willekeur te krijgen als theoretisch mogelijk is, zelfs zonder de resultaten te veel te bevooroordelen.

5. Het Grote Geheel

Het artikel in kaart brengt in wezen het landschap van quantumwillekeur:

Scheve metingen kunnen je de absolute maximale willekeur geven als je je starttoestand kent.
Onbevooroordeelde metingen (zoals de Schaar-familie) kunnen je zeer dicht bij dat maximum brengen zonder de uitkomsten te hoeven bevooroordelen.
De beroemde SIC-meting, hoewel geweldig voor andere taken, is eigenlijk de "minst willekeurige" van de onbevooroordeelde groep.

Samenvatting

Beschouw dit artikel als een gids voor een casino-eigenaar die de onvoorspelbaarste gokautomaten wil bouwen.

Ze vonden een manier om een "Scheve" machine te bouwen die perfect willekeurig is voor specifieke spelers.
Ze analyseerden "Eerlijke" machines en ontdekten dat de meest symmetrische, perfect ogende machine (de SIC) eigenlijk de minst willekeurige is.
Ze ontwierpen een nieuwe "Schaar"-machine die kan worden afgesteld om bijna perfect willekeurig te zijn, wat bewijst dat je de regels niet hoeft te breken (de machine bevooroordeelen) om de beste willekeur te krijgen; je moet alleen de hoek correct afstemmen.

Het artikel concludeert door de wiskunde voor 2D-systemen volledig op te lossen en een routekaart te bieden voor het bereiken van maximale willekeur in hogere dimensies met behulp van deze nieuwe "Schaar"-tools.

Technische Samenvatting: Kwantumwillekeurigheid voorbij Projectieve Metingen

Probleemstelling
De intrinsieke onvoorspelbaarheid van kwantummetingen is een fundamentele resource voor kwantumwillekeurige getallengeneratie (QRNG). In adversarische scenario's berust de beveiliging van deze willekeurigheid op het onvermogen van een afluisteraar (Eve), die kwantum- of klassieke correlaties met de meetopstelling kan bezitten, om de uitkomsten correct te raden. Hoewel extremale metingen – die niet kunnen worden ontbonden in een probabilistische mengeling van andere metingen – bekend staan als veilig tegen dergelijke tegenstanders, blijft een specifieke kwantitatieve vraag open: hoeveel intrinsieke willekeurigheid kan precies worden gegenereerd door een gegeven extremale meting?

Vorig werk heeft vastgesteld dat de maximale conditionele min-entropie (een maat voor willekeurigheid) die haalbaar is in dimensie $d$ , begrensd is door $2 \log d$ bits. Het karakteriseren van de willekeurigheid die wordt gegenereerd door specifieke klassen van extremale metingen, met name onbevooroordeelde, voor willekeurige inputtoestanden, is echter onvolledig gebleven. Dit artikel adresseert het gat in het begrip van de intrinsieke willekeurigheid van onbevooroordeelde extremale rang-een Positive Operator-Valued Measures (POVM's) en onderzoekt of specifieke families van metingen het theoretische maximum van $2 \log d$ bits kunnen verzadigen.

Methodologie
De auteurs opereren binnen een apparaat-afhankelijk kader, waarbij volledige karakterisering wordt aangenomen van zowel de kwantumtoestand $\rho$ als de POVM $M$ . De intrinsieke willekeurigheid wordt gekwantificeerd via de conditionele min-entropie, $H_{\min}(\rho, M) = -\log P_{\text{guess}}(\rho, M)$ , waarbij $P_{\text{guess}}$ de optimale raadsprobabiliteit van een afluisteraar is. Deze kans wordt gedefinieerd als het maximum over alle probabilistische ontbindingen van de toestand $\rho$ in pure toestanden $\{p_j, \rho_j\}$ :
$P_{\text{guess}}(\rho, M) = \max_{\{p_j, \rho_j\}} \sum_j p_j \text{tr}(\rho_j M_j).$

Het artikel maakt gebruik van verschillende wiskundige hulpmiddelen:

Convexe Geometrie en Fideliteit: De auteurs relateren de raadsprobabiliteit aan de kwantumfideliteit tussen de inputtoestand en de convexe omhulling van de projectoren van de meting.
Semidefiniete Programmering (SDP): Optimalisatieproblemen met betrekking tot toestandsdiscriminatie en raadsprobabiliteiten worden geformuleerd en opgelost met behulp van SDP-dualiteit en de Karush-Kuhn-Tucker (KKT)-voorwaarden.
Bloch-vectorrepresentatie: Voor qubitsystemen ( $d=2$ ) maakt de analyse gebruik van Bloch-vectornotatie om onbevooroordeelde extremale metingen expliciet te parametriseren en op te lossen voor optimale toestanden.
Groepcovariantie en Symmetrie: Het onderzoek maakt gebruik van de eigenschappen van Symmetrisch Informatie Compleet (SIC) metingen en introduceert nieuwe families van metingen die daarvan zijn afgeleid.

Belangrijkste Bijdragen en Resultaten

1. Scheefgetrokken SIC-metingen en Maximale Willekeurigheid
De auteurs introduceren een familie van "scheefgetrokken" SIC POVM's. In tegenstelling tot standaard SIC's, die onbevooroordeeld zijn en een uniforme verdeling produceren vanuit de maximaal gemengde toestand, zijn scheefgetrokken SIC's bevooroordeeld. Deze bevooroordeeldheid stelt hen echter in staat om een uniforme kansverdeling te produceren vanuit specifieke pure of isotroop ruisende toestanden.

Resultaat: De auteurs bewijzen dat in elke dimensie $d$ waarin een SIC-meting bestaat, een scheefgetrokken SIC-meting kan worden geconstrueerd die de maximaal mogelijke intrinsieke willekeurigheid ( $2 \log d$ bits) genereert vanuit elke pure of isotroop ruisende toestand.
Betekenis: Dit lost gedeeltelijk een open vraag op met betrekking tot de haalbaarheid van maximale willekeurigheid in een bron-apparaat-onafhankelijke setting, aangezien deze metingen informatief compleet zijn (MIC's).

2. Onbevooroordeelde Extremale Metingen in Algemene Dimensies
Voor elke onbevooroordeelde extremale rang-een POVM met $n$ uitkomsten in dimensie $d$ , leiden de auteurs een algemene formule af voor de raadsprobabiliteit:
$P_{\text{guess}}(\rho, M) = \frac{d}{n} \max_{\sigma \in \mathcal{P}} F(\rho, \sigma),$
waarbij $\mathcal{P}$ de convexe omhulling is van de projectoren van de meting en $F$ de kwantumfideliteit is.

Ondergrens: Dit leidt tot een toestands-onafhankelijke ondergrens voor de conditionele min-entropie van $\log(n/d)$ bits.
Strenghheid: De auteurs bewijzen dat voor onbevooroordeelde extremale metingen met $n < d^2$ uitkomsten, de raadsprobabiliteit strikt groter is dan $1/d^2$ , wat betekent dat de maximale grens van $2 \log d$ bits niet kan worden verzadigd zonder de uitkomsten te bevooroordelen of $d^2$ uitkomsten te gebruiken.

3. Expliciete Oplossing voor Qubit ( $d=2$ ) Metingen
Het artikel biedt een volledige karakterisering van onbevooroordeelde extremale qubit-metingen (met 2, 3 of 4 uitkomsten).

Parametrisatie: Alle onbevooroordeelde extremale qubit MIC's (4 uitkomsten) blijken groepscovariant te zijn en kunnen worden beschreven door twee hoeken, $\delta$ en $\alpha$ .
Optimale Toestanden: De auteurs identificeren de specifieke pure toestanden die de raadsprobabiliteit minimaliseren voor elke gegeven onbevooroordeelde qubit MIC. Deze toestanden blijken de normalen te zijn op de vlakken van het tetraëder gevormd door de meetvectoren.
SIC versus Anderen: Een tegen-intuïtief resultaat wordt gepresenteerd: onder alle onbevooroordeelde extremale qubit-metingen met vier uitkomsten, levert de SIC-meting (die optimaal is voor kwantumtoestandstomografie) de minste intrinsieke willekeurigheid op. Deze heeft de hoogste raadsprobabiliteit ( $P_{\text{guess}} = \frac{1}{4}(1+l)$ , waarbij $l$ voor SIC's gemaximaliseerd is).

4. De "Schaar"-familie van Metingen
Om de maximale willekeurigheidsgrens van $2 \log d$ bits te benaderen zonder de uitkomsten te bevooroordelen (wat niet-extremale of scheefgetrokken metingen zou vereisen), introduceren de auteurs een één-parameterfamilie van "schaar"-metingen.

Qubits: In dimensie 2 levert het instellen van $\alpha=0$ in de algemene parametrisatie een familie op die geparametriseerd is door $\delta$ . Als $\delta \to 0$ , nadert de meting een niet-extremale limiet, en nadert de raadsprobabiliteit voor specifieke ruisende toestanden het theoretische maximum.
Hogere Dimensies: De auteurs breiden dit concept uit tot dimensies 3 en 4. Ze definiëren families van onbevooroordeelde MIC's (met behulp van Weyl-Heisenberg-operatoren voor $d=3$ en een specifieke generalisatie voor $d=4$ ) die een SIC-meting bevatten als een specifiek punt in de parameterruimte. Naarmate de parameter een limietwaarde nadert, benaderen de metingen een niet-extremale toestand die willekeurigheid genereert die willekeurig dicht bij $2 \log d$ bits ligt.

Betekenis en Claims
Het artikel claimt het probleem op te lossen van het karakteriseren van intrinsieke willekeurigheid voor onbevooroordeelde extremale rang-een metingen in dimensie twee expliciet voor elke toestand. Het stelt vast dat hoewel SIC-metingen optimaal zijn voor tomografie, ze suboptimaal zijn voor het genereren van intrinsieke willekeurigheid onder onbevooroordeelde MIC's.

De primaire theoretische bijdrage is de demonstratie dat maximale willekeurigheid ( $2 \log d$ bits) apparaat-afhankelijk kan worden gegenereerd in elke dimensie waarin een SIC bestaat, mits men de voorgestelde scheefgetrokken SIC-metingen gebruikt. Bovendien bieden de "schaar"-families een weg om deze maximale willekeurigheid te benaderen met behulp van onbevooroordeelde metingen, waardoor de kloof tussen extremale en niet-extremale strategieën wordt overbrugd. De resultaten gelden voor bron-apparaat-onafhankelijke scenario's vanwege de informatieve volledigheid van de besproken metingen.

De auteurs concluderen bescheiden, met de opmerking dat hoewel ze deze metingen hebben gekarakteriseerd, het een open vraag blijft of de schaar-achtige families in hogere dimensies nuttig zullen zijn voor apparaat-onafhankelijke willekeurigheidsgeneratie, en hoe deze resultaten vertalen naar realistische scenario's die ruis omvatten.