Technische Samenvatting: Certificering van Kwantumeigenschappen met Imperfecte Metingen

Probleemstelling

De precieze karakterisering van kwantumsystemen is een fundamentele voorwaarde voor de vooruitgang van kwantumtechnologieën. Een cruciale taak in dit domein is het certificeren van de waarden van convexe functies van kwantumtoestanden, wat essentiële grootheden omvat zoals verwachtingswaarden van Hamiltonia, kwantumfideliteiten, entropieën en kwantum Fisher-informatie.

Bestaande methoden voor het schatten van deze grootheden vertrouwen doorgaans op kwantumtoestandstomaografie, gevolgd door de toepassing van de functie op de gereconstrueerde toestand. Echter, deze standaardbenaderingen falen vaak in het bieden van een rigoureuze certificering omdat ze realistische imperfecties verwaarlozen, specifiek shot noise (voortkomend uit eindige statistiek) en meetfouten (systematische afwijkingen in de meetapparatuur). Het negeren van deze effecten kan leiden tot grote onzekerheden, wat de robuustheid van kwantumcomputaties in gevaar brengt of leidt tot onjuiste conclusies over experimentele uitkomsten. Hoewel recente werken shot noise hebben aangepakt door betrouwbaarheidsregio's voor kwantumtoestanden te definiëren, gaan zij over het algemeen uit van de aanname dat meetapparaten perfect gekarakteriseerd zijn, waardoor ze er niet in slagen om kalibratiefouten of imperfecties in het meetproces te verklaren.

Methodologie

De auteurs stellen een certificeringsmethode voor die zowel shot noise als meetimperfecties gezamenlijk verwerkt. Het raamwerk breidt de betrouwbaarheidsregio-benadering geïntroduceerd in Ref. [11] uit naar scenario's waarin experimentatoren geen perfecte controle hebben over metingen.

Kernraamwerk

De methode definieert een betrouwbaarheidsregio voor de experimentele kwantumtoestand $\omega$ door de afstand tussen de ideale waarschijnlijkheden en de experimenteel geschatte tegenhangers te begrenzen. Dit wordt bereikt via twee primaire componenten:

1. Statistische Fout (Shot Noise): De afwijking tussen de empirische schatting $\hat{f}$ en de ware waarschijnlijkheidsvector $\vec{p}$ wordt begrensd met behulp van de Bretagnolle–Huber–Carol-ongelijkheid. Voor $N$ kopieën van de toestand en $m$ meetuitkomsten wordt de $l_1$-afstand begrensd door $\epsilon_1 = \sqrt{\frac{2}{N} \ln \frac{2m}{\delta}}$ met een waarschijnlijkheid van $1-\delta$.

2. Systematische Fout (Meetimperfecties): De discrepantie tussen de beoogde Positive-Operator Valued Measure (POVM) $\{E_k\}$ en de daadwerkelijk geïmplementeerde POVM $\{F_k\}$ wordt gekwantificeerd met behulp van de operationele afstand $d_{op}(E, F)$. Deze operationele afstand wordt gedefinieerd als de maximale $l_1$-afstand tussen de waarschijnlijkheidsverdelingen gegenereerd door de twee POVM's over alle mogelijke toestanden. De auteurs begrenzen deze afstand door $\epsilon_2$, zodanig dat $d_{op}(E, F) \leq \epsilon_2/2$.

Het Certificeringsprotocol

De gecertificeerde grenzen voor een convexe functie $F(\omega)$ worden verkregen door een convex optimalisatieprobleem op te lossen. Het doel is om het minimum (of maximum) van $F(\rho)$ te vinden over een verzameling dichtheidsmatrices $\rho$ die voldoen aan de volgende restricties met een waarschijnlijkheid van ten minste $1-\delta$:

• $\text{tr}(\rho) = 1$ en $\rho \geq 0$.
• $\sum_{k=1}^m |\text{tr}(E_k \rho) - \hat{f}_k| \leq \epsilon_1 + \epsilon_2$.

Hierbij is $\hat{f}_k$ de experimentele frequentie verkregen door de imperfecte POVM $\{F_k\}$ te meten. De som van de restricties $\epsilon_1 + \epsilon_2$ is afgeleid via de driehoeksongelijkheid, waarbij de statistische fout en de operationele afstand tussen de ideale en de werkelijke metingen worden gecombineerd.

Bepaling van de Operationele Afstandsgrens ($\epsilon_2$)

Het artikel biedt verschillende expliciete voorschriften voor het schatten van $\epsilon_2$, afhankelijk van de beschikbare kennis over de experimentele opstelling:

• Numerieke Simulatie: Indien ruisbronnen goed gekarakteriseerd zijn, kan $\epsilon_2$ worden geschat via numerieke simulaties met behulp van de definitie van operationele afstand of haar bovengrenzen.
• Tensorproductdecompositie: Voor $n$-qubit systemen waarbij POVM's uiteenvallen in lokale tensorproducten, kan de globale operationele afstand worden begrensd door de som van lokale operationele afstanden, wat de berekeningen vereenvoudigt.
• Kwantummetingstomaografie: De werkelijke POVM kan worden gereconstrueerd uit experimentele statistieken om de afstand te begrenzen.
• Directe Schatting: Gebruikmakend van relaties betrokken bij 2-designs of door aan te nemen dat de ideale POVM uit rank-één projectoren bestaat, kan $\epsilon_2$ worden begrensd door specifieke fidelity-achtige grootheden experimenteel te schatten.

Een belangrijk kenmerk van deze methode is dat deze geen informatieel volledige (IC) metingen vereist. Dit vermindert de experimentele overhead aanzienlijk, aangezien IC-POVM's doorgaans een exponentieel groot aantal instellingen vereisen.

Belangrijkste Resultaten en Toepassingen

De auteurs valideren de methode via drie numerieke voorbeelden, waarmee zij aantonen dat de methode noodzakelijk is om onjuiste conclusies te vermijden:

1. Minimale Preparatie-Fidelity: De methode werd toegepast om de fidelity te certificeren van 100 Haar-willekeurige twee-qubit toestanden onder diverse ruismodellen (amplitude demping, fase demping, depolarisatie en rotatieverschuivingen). De resultaten tonen aan dat de methode niet-triviale ondergrenzen voor de fidelity biedt, waarbij de nauwkeurigheid van de grenzen afhangt van de intensiteit van de ruis en het aantal shots.

2. Magnetisatie in Spinsystemen: In een studie naar een ferromagnetisch systeem toonden de auteurs aan dat het negeren van meetimperfecties (specifiek een rotatie van de meetbasis) leidt tot de onjuiste conclusie dat het systeem niet volledig gemagnetiseerd is. Terwijl de methode die rekening houdt met ruis de magnetisatie correct als 1 identificeerde, suggereerde de methode die systematische fouten negeert dat de magnetisatie aanzienlijk lager of zelfs negatief was, afhankelijk van de rotatiehoek en het aantal shots.

3. Entanglement Witness: Het protocol werd getest op een twee-qubit entanglement witness. De resultaten toonden aan dat het negeren van systematische fouten kan leiden tot de valse certificering van verstrengeling voor separabele toestanden. Omgekeerd identificeerde de voorgestelde methode de separabele toestand correct als zodanig, terwijl zij nog steeds succesvol verstrengeling voor maximaal verstrengelde toestanden kon certificeren. Bovendien merkten de auteurs op dat methoden die imperfecties negeren vaak onhaalbaar worden (geen oplossing aanwezig) wanneer ruis of shot noise groot is, terwijl hun methode geldig blijft en gecertificeerde grenzen oplevert in alle regimes.

Betekenis en Claims

Het artikel claimt een veelzijdige en robuuste certificeringsmethode te bieden voor kwantumeperimenten die zowel statistische als systematische fouten integreert. De significantie ligt in enkele specifieke bijdragen:

• Generalisatie van Betrouwbaarheidsregio's: Het breidt bestaande betrouwbaarheidsregio-raamwerken uit door de situatie in te sluiten waarin de controle over metingen imperfect is, een scenario dat veel voorkomt in nabije kwantumexperimenten (near-term quantum experiments).
• Robuustheid tegen Valse Conclusies: Door meetimperfecties expliciet te modelleren, voorkomt de methode de onjuiste conclusies (bijv. valse verstrengeling of onjuiste magnetisatie-waarden) die ontstaan wanneer systematische fouten worden genegeerd.
• Experimentele Efficiëntie: De methode vereist geen informatieel volledige metingen, waardoor experimentatoren eenvoudigere meetsets kunnen kiezen op basis van hun specifieke experimentele beperkingen.
• Computationele Tractabiliteit: Voor convexe of concave functies is het resulterende optimalisatieprobleem convex en kan het efficiënt worden opgelost met behulp van interior-point methoden.
• Toepasbaarheid: Hoewel gedemonstreerd op fideliteiten, magnetisatie en verstrengeling, is het raamwerk toepasbaar op een brede klasse van convexe grootheden, inclusief energieën, entropieën en kwantum Fisher-informatie.

De auteurs concluderen dat deze benadering een praktisch pad biedt voor het verkrijgen van rigoureuze garanties in realistische settings waar apparaten ruisgevoelig zijn en kalibratie beperkt is, wat essentieel is voor de betrouwbare ontwikkeling van kwantumtechnologieën.