A mathematical foundation for self-testing: Lifting common assumptions

Titel: Een wiskundige fundering voor self-testing: Het opheffen van gemeenschappelijke aannames

Auteurs: Pedro Baptista, Ranyiliu Chen, Jędrzej Kaniewski, David Rasmussen Lolck, Laura Mančinska, Thor Gabelgaard Nielsen, en Simon Schmidt.

---

1. Probleemstelling

Self-testing is een krachtig concept in de kwantuminformatie dat het mogelijk maakt voor een klassieke verificateur om de interne werking van onbetrouwbare kwantumapparaten (in een "black-box" modus) te certificeer op basis van de waargenomen statistieken (correlaties) van een niet-lokaal spel.

Hoewel self-testing veelvuldig wordt toegepast (bijv. in device-onafhankelijke cryptografie en MIP*=RE), ontbreekt er vaak een strikte wiskundige fundering voor de onderliggende aannames. Bestaande self-testing theorema's maken vaak ongerechtvaardigde beperkingen op de strategieën van de "onbetrouwbare" spelers (Alice en Bob). De drie meest voorkomende aannames zijn:

1. Pure staat: De gedeelde kwantumtoestand $\rho$ is een pure toestand $|\psi\rangle$, in plaats van een gemengde toestand.
2. Volledige rang (Full-rank): De toestand heeft volledige Schmidt-rang (de dimensie van de ondersteunende ruimte is gelijk aan de dimensie van het Hilbertruimte).
3. Projectieve metingen (PVM): De metingen zijn projectieve waarden (PVM's) in plaats van algemene POVM's (Positive Operator-Valued Measures).

De auteurs stellen de vraag of deze aannames noodzakelijk zijn of of ze kunnen worden opgeheven zonder verlies van generaliteit. Als deze aannames onterecht worden gemaakt, kan dit leiden tot foutieve conclusies over de veiligheid van protocollen (bijv. in random number generation) of de uniciteit van de strategie.

2. Methodologie

De auteurs benaderen het probleem vanuit eerste principes en ontwikkelen een nieuw wiskundig raamwerk om de relatie tussen verschillende definities van self-testing en de beperkingen van strategieën te analyseren.

Kernconcepten en hulpmiddelen:

• Lokale Dilaties: Het fundamentele concept waarbij een strategie $S$ lokaal isometrisch kan worden afgebeeld op een canonieke strategie $\tilde{S}$.
• Ondersteuningsbehoud (Support-preserving): Een strategie is "support-preserving" als de meetoperatoren de toestand binnen de ondersteuning (support) van de toestand houden. Dit is een invariante eigenschap onder lokale dilaties.
• Projectiviteit: Een strategie is "projectief" op de ondersteuning van de toestand als de meetoperatoren projectoren zijn binnen die ruimte.
• Restrictie: Het beperken van een strategie tot de ondersteuning van de toestand (wat resulteert in een volledige-rang strategie).
• Naimark Dilatie: Het uitbreiden van een POVM-strategie naar een PVM-strategie in een grotere Hilbertruimte.

De auteurs gebruiken deze concepten om te bewijzen dat bepaalde eigenschappen (zoals support-preserving en projectiviteit) invariant zijn onder lokale dilaties, en om te analyseren wanneer een strategie kan worden "opgeheven" naar een meer generieke vorm.

3. Belangrijkste Bijdragen en Resultaten

A. Opheffen van Aannames (Theorema 4.1 / Theorem B.1)

De belangrijkste bijdrage is een algemeen stelling dat het mogelijk is om de aannames van "pure staat" en "projectieve metingen" of "volledige rang" te verwijderen, mits de canonieke strategie aan specifieke criteria voldoet.

• Resultaat: Als een niet-lokaal spel $G$ een pure PVM self-test is voor een canonieke strategie $\tilde{S}$ die volledige rang heeft, dan is $G$ ook een assumptie-vrije self-test (d.w.z. geldig voor gemengde toestanden en POVM's).
• Resultaat: Als $G$ een pure full-rank self-test is voor een canonieke strategie $\tilde{S}$ die projectief is, dan is $G$ ook een assumptie-vrije self-test.

Conclusie: Dit betekent dat de meeste bestaande self-testing resultaten, die vaak onder de aannames van pure toestanden en PVM's zijn bewezen, automatisch geldig zijn voor de meest generieke scenario's (gemengde toestanden en POVM's), zolang de doelstelling (de canonieke strategie) maar "goed gedragen" is (full-rank en/of projectief). Dit vereenvoudigt bewijzen aanzienlijk.

B. Onmogelijkheid van Self-testing voor niet-projectieve strategieën (Theorema 4.2 / Theorem C)

De auteurs tonen aan dat er een fundamentele limiet is:

• Als een spel een assumptie-vrije self-test is, moet de canonieke strategie noodzakelijkerwijs 0-projectief zijn (projectief op de ondersteuning van de toestand) en support-preserving.
• Gevolg: Het is onmogelijk om een strategie met niet-projectieve metingen (POVM's die niet projectief zijn op de support) te self-testen in een assumptie-vrije setting. Als de canonieke strategie niet-projectief is, kan er geen uniek self-test bestaan voor alle mogelijke strategieën.

C. Een Kwantumcorrelatie zonder PVM-realiseren (Theorema 4.1 & 6.2)

Een opmerkelijk tegenvoorbeeld wordt geïdentificeerd:

• Er bestaat een kwantumcorrelatie $\tilde{p}$ die kan worden gegenereerd door:
  1. Een volledige-rang strategie met niet-projectieve metingen.
  2. Een niet-volledige-rang strategie met projectieve metingen.
• Deze correlatie is een PVM self-test voor de projectieve strategie en een full-rank self-test voor de volledige-rang strategie.
• Echter, deze correlatie is geen assumptie-vrije self-test.
• Belangrijkste ontdekking: Dit is het eerste voorbeeld van een kwantumcorrelatie die niet kan worden gerealiseerd door projectieve metingen op een bipartiete toestand met volledige Schmidt-rang. Dit beantwoordt een open vraag negatief: niet elke bipartiete kwantumcorrelatie kan worden gerealiseerd met een pure, volledige-rang toestand en projectieve metingen.

D. Equivalentie van Definities (Sectie 5)

De auteurs vergelijken verschillende definities van self-testing in de literatuur (bijv. vector-vorm vs. matrix-vorm, of "extraction" dilaties). Ze bewijzen dat onder natuurlijke omstandigheden (zoals volledige rang) deze definities equivalent zijn, maar dat er subtiele verschillen zijn in meer generieke gevallen.

4. Significatie en Impact

1. Rigoureuze Wiskundige Fundering: Het artikel plaatst self-testing op een stevige wiskundige basis door de hiërarchie van definities en aannames te verduidelijken.
2. Versterking van Bestaande Resultaten: Het biedt een methode om bestaande self-testing theorema's (die vaak beperkende aannames maakten) direct te generaliseren naar het meest algemene geval (gemengde toestanden, POVM's), wat cruciaal is voor praktische toepassingen in cryptografie en certificering.
3. Fundamentele Grenzen: Het onthult dat self-testing fundamenteel beperkt is tot strategieën die projectief zijn op hun ondersteuning. Dit is een belangrijke nuance voor het ontwerp van toekomstige protocollen.
4. Nieuw Tegenvoorbeeld: De identificatie van een correlatie die niet realiseerbaar is met een volledige-rang PVM-strategie daalt de intuïtie dat Naimark-dilatie altijd een equivalente PVM-strategie met volledige rang oplevert. Dit heeft implicaties voor de structuur van de kwantumcorrelatie-set.
5. Cryptografische Veiligheid: Door aannames over "pure toestanden" te verwijderen, worden veiligheidsanalyses voor device-onafhankelijke protocollen robuuster, omdat ze nu rekening houden met de mogelijkheid dat een aanvalster een gemengde toestand deelt met het systeem.

Samenvattend biedt dit werk een essentieel kader voor het begrijpen van wat er wel en niet kan worden geverifieerd in self-testing scenario's, en het elimineert onnodige wiskundige beperkingen uit de theorie, terwijl het tegelijkertijd de fundamentele grenzen van het concept scherp in beeld brengt.