Certifying fermionic Gaussian states (and a little more) with optimal precision dependence

Technische Samenvatting: Certificering van Fermionische Gaussische Toestanden met Optimale Precisieafhankelijkheid

Probleemstelling
Fermionische Gaussische toestanden (fGS's), die Slater-determinanten en Bardeen–Cooper–Schrieffer (BCS) paar-toestanden omvatten, dienen als fundamentele referentietoestanden voor kwantumsimulaties van fermionische systemen. Hoewel deze toestanden efficiënt op kwanthardware kunnen worden voorbereid, blijft het verifiëren of een apparaat een specifieke doel-fGS correct heeft voorbereid een uitdaging. Bestaande certificeringsprotocollen kampen met een afruil tussen de monstercomplexiteit (sample complexity), meetadaptiviteit en de klasse van toestanden die ze kunnen certificeren:

• Fidelity estimation (bijv. fidelity witnesses) is robuust maar vereist $O(\epsilon^{-2})$ monsters, wat suboptimaal is voor certificering.
• Quantum State Verification (QSV) protocollen kunnen een optimale $O(\epsilon^{-1})$ schaling bereiken, maar vereisen vaak verstrengelde metingen of zijn beperkt tot "Haar-typische" toestanden, waardoor gestructureerde families zoals fGS's buiten beschouwing blijven.
• Oracle-gebaseerde protocollen kunnen willekeurige zuivere toestanden certificeren met een $O(\epsilon^{-1})$ schaling, maar vereisen adaptieve metingen op een groot deel van de qubits ($d-1$) en toegang tot waarschijnlijkheidsoracles in willekeurige productbases.

De centrale vraag die wordt behandeld is of men simultaan een optimale precisieschaling ($O(\epsilon^{-1})$) kan bereiken, uitsluitend single-qubit metingen kan gebruiken, efficiënte klassieke verwerking kan handhaven, en kan worden toegepast op alle zuivere fermionische Gaussische toestanden.

Methodologie
De auteurs stellen een adaptief certificeringsprotocol voor (Algoritme 1) dat opereert binnen het kader van Quantum State Verification (QSV) met perfecte volledigheid (perfect completeness). Het protocol maakt gebruik van single-qubit metingen en steunt op de specifieke algebraïsche structuur van fermionische Gaussische toestanden.

1. Protocolstructuur: In elke ronde kiest het protocol willekeurig tussen twee tests:

   • Pariteitstest: Meet alle $d$ qubits in de computationele basis ($Z$-basis) om te verifiëren of de toestand in de juiste fermionische pariteitssector ligt.
   • Correlatietest:
     • Selecteert een willekeurig paar modi $\{k_1, k_2\}$.
     • Meet de resterende $d-2$ qubits in de computationele basis.
     • Meet qubit $k_1$ in de $X$-basis.
     • Berekent de conditionele toestand van de laatste qubit $k_2$ op basis van de resultaten van de voorgaande metingen.
     • Meet qubit $k_2$ in een basis die deze conditionele toestand bevat.
   • Het protocol accepteert alleen als de doeltoestand alle tests doorstaat.

2. Theoretisch Kader:

   • De efficiëntie van het protocol wordt beheerst door de spectrale kloof $\gamma(\Omega)$ van de verificatieoperator $\Omega$.
   • De auteurs mappen de verificatieoperator naar een Markov-keten genaamd de certificeringswand (certification walk), wat een $d \leftrightarrow d-2$ down-up wand is (equivalent aan een two-site Glauber dynamica).
   • De spectrale kloof wordt ondergrensd door de computationele-basisverdeling $\pi(x) = |\langle x|\psi\rangle|^2$ van de doeltoestand te analyseren.
   • Cruciaal is dat het bewijs gebruikmaakt van het feit dat de genererende polynoom van $\pi(x)$ voor zuivere fGS's zero-free is in het open rechterhalfvlak. Deze eigenschap, afgeleid van de Pfaffian-structuur van de covariantie-matrix van de toestand ($\Gamma^T\Gamma = I$), impliceert snelle menging van de certificeringswand via entropie-contractie argumenten uit de theorie van high-dimensional expanders.

Belangrijkste Bijdragen en Resultaten

1. Optimale Monstercomplexiteit: Het protocol certificeert elke $d$-mode zuivere fermionische Gaussische toestand met een infideliteit $\epsilon$ en een betrouwbaarheid $1-\delta$ met:
   $$N(\epsilon, \delta, d) \le \left\lceil \frac{d(d-1)}{\epsilon} \ln \frac{1}{\delta} \right\rceil$$
   exemplaren. De $\epsilon^{-1}$ afhankelijkheid is optimaal en komt overeen met de schaling van protocollen die verstrengelde metingen gebruiken. De $O(d^2)$ afhankelijkheid van de systeemgrootte is een significante verbetering ten opzichte van de $O(d^4)$ of $O(d^3)$ schaling van eerdere niet-adaptieve of schatting-gebaseerde methoden.

2. Meet- en Verwerkingsefficiëntie:

   • Metingen: Alleen single-qubit metingen zijn vereist. Cruciaal is dat slechts één qubit (de laatste in de correlatietest) adaptief wordt gemeten op basis van voorgaande uitkomsten.
   • Klassieke Verwerking: De klassieke verwerkingstijd per exemplaar is $O(d^3)$, gedomineerd door de berekening van de conditionele covariantie-matrix en de Pfaffian.

3. Strakheid van Grenzen (Tightness of Bounds):

   • De auteurs bewijzen dat de $O(d^2)$ grens strak is voor een specifieke familie van fysiek relevante toestanden: grondtoestanden van volledig gedimeriseerde Su–Schrieffer–Heeger (SSH) ketens en BCS paar-toestanden. Deze toestanden verzadigen de spectrale kloof ondergrens $\gamma(L) = 2/[d(d-1)]$.
   • Numerieke simulaties tot $d=14$ suggereren dat voor "Haar-typische" (willekeurige) Gaussische toestanden, de spectrale kloof schaalt als $O(d^{-1})$, wat impliceert dat de monstercomplexiteit $O(d\epsilon^{-1})$ is, een factor $d$ beter dan de worst-case grens.

4. Extensie naar Phase-Dressed Toestanden:

   • Het protocol breidt zich uit naar efficiënt phase-dressed toestanden, gedefinieerd als toestanden verkregen door een efficiënt berekenbare diagonale fase $U_\theta = \sum_x e^{i\theta(x)}|x\rangle\langle x|$ toe te passen op een Gaussische toestand.
   • Omdat de certificeringswand alleen afhangt van de computationele-basisverdeling (die invariant is onder $U_\theta$), blijft de monstercomplexiteit ongewijzigd.
   • Deze klasse omvat niet-Gaussische "magic states" voor matchgate-berekeningen, zoals de vier-mode familie $(|0000\rangle + |0011\rangle + |1100\rangle + e^{i\theta}|1111\rangle)/2$.

Betekenis en Claims
Het artikel claimt het openstaande probleem op te lossen van het certificeren van alle zuivere fermionische Gaussische toestanden met optimale precisieschaling en minimale meetadaptiviteit. Door de certificeringsproblematiek te verbinden met de theorie van high-dimensional expanders en Markov-keten mengtijden, leggen de auteurs een rigoureuze link tussen de algebraïsche eigenschappen van Gaussische toestanden (specifiek de zero-free eigenschap van hun genererende polynomen) en de efficiëntie van verificatie.

Het werk positioneert het protocol als een middenweg in de afruil tussen adaptiviteit en monstercomplexiteit: het gebruikt één adaptieve qubit om een $O(d^2\epsilon^{-1})$ schaling te bereiken, waarmee de $O(d^4\epsilon^{-2})$ kosten van niet-adaptieve schatting en de $O(d\epsilon^{-1})$ kosten van protocollen die $d-1$ adaptieve metingen vereisen, worden vermeden. De auteurs merken op dat hoewel de worst-case grens strak is voor specifieke fysieke toestanden, het gemiddelde gedrag voor willekeurige toestanden gunstiger lijkt te zijn, wat wijst op potentieel voor verdere optimalisatie in typische scenario's. De extensie naar phase-dressed toestanden laat zien dat de efficiëntie van het protocol robuust is tegen een brede klasse van niet-Gaussische modificaties, mits de fasefunctie efficiënt berekenbaar is.