Beyond Orbital Rotations: Correlation-Rank Limits and Clifford-Accessible Measurement, from Algebra and Global Optimization

Technische Samenvatting: Voorbij Orbitale Rotaties: Correlatie-rang Limieten en Clifford-toegankelijke Meting

Probleemstelling
In kwantumchemische algoritmen vereist het schatten van moleculaire observabelen (energieën, dipolen, koppelingsconstanten) herhaalde staatspreparatie en meting. De kosten worden bepaald door hoe Pauli-termen worden gegroepeerd in gezamenlijk meetbare instellingen en de non-Clifford bronnen (specifiek $T$-poorten) die nodig zijn om deze instellingen naar een meetbasis te roteren. Het dominante paradigma maakt gebruik van deeltjesgetalsbehoudende orbitale rotaties (fermionische Gaussische unitaire transformaties), die chemisch gemotiveerd zijn maar een beperkt ansatz opleggen aan observable-fragmenten. De centrale vraag die wordt behandeld, is of het beperken van het meetontwerp tot orbitale rotaties alle efficiënte fouttolerante strategieën dekt, of dat er een distinctere, meer efficiënte Clifford-toegankelijke meetlaag bestaat die orbitale rotaties niet kunnen bereiken.

Methodologie
Het artikel hanteert een duale aanpak die rigoureuze algebraïsche bewijzen combineert met globale optimalisatie:

1. Algebraïsche Analyse: De auteurs maken gebruik van de symplectische representatie van Pauli-operatoren en de eigenschappen van de Clifford-groep om structurele grenzen vast te stellen. Ze definiëren "X-rang" (de rang van de X-support matrix in de symplectische vectorrepresentatie) en "correlatie-rang" (de rang van de twee-deeltjes correlatiematrix in een vaste deeltjesgetal-sector).
2. Globale Optimalisatie: Het artikel maakt gebruik van de RANGE globale optimizer (een robuust adaptief natuurgeïnspireerd algoritme) in twee modi:
   • Continue Modus: Zoekt over fysieke rotatiehoeken om de algebraïsche trade-off curven afgeleid van singular value decomposition (SVD) numeriek te bevestigen.
   • Discrete Modus: Pakt het combinatorische probleem aan van het lokaliseren van hoog-X-rang commuterende deelverzamelingen van moleculaire Hamiltonia, waarvoor geen gesloten vorm oplossing bestaat.
3. Gecertificeerd Kostenkader: Om structurele bevindingen te vertalen naar monsternamekosten (sampling costs), passen de auteurs een companion certificate framework toe. Dit evalueert de "gecertificeerde functionaal" (een second-order cone program) om de optimale shot-allocatie en totale non-Clifford kosten voor verschillende meetwoordenboeken (Product/QWC versus Fully Commuting/FC) te bepalen.

Belangrijkste Bijdragen

1. Clifford Simultane Diagonalisatie (Stelling 1): Het artikel bewijst dat elke onderling commuterende familie van Pauli-operatoren simultaan diagonaliseerbaar is door een Clifford-circuit. Bijgevolg vereist het basisveranderingscircuit voor elke commuterende familie exact nul $T$-poorten.
2. X-Rang Pariteitsplafond (Stelling 2): Voor spin-conserverende Jordan–Wigner Hamiltonia true de auteurs een strikt pariteitsplafond op de X-rang van elke Pauli-deelverzameling: $r_X \le 2(N-1)$, waarbij $N$ het aantal ruimtelijke orbitalen is. Dit is een diagnose van de beschikbare Pauli-structuur, geen bewijs van Gaussische ontoegankelijkheid.
3. Strikte Correlatie-rang Separatie (Stellingen 3 & 4): In de vaste $(1,1)$-deeltjessector (twee ruimtelijke orbitalen per spin), bewijzen de auteurs dat een enkele deeltjesgetalbehoudende orbitale-rotatie context maximaal één rang-één twee-deeltjes correlatie blok bijdraagt.
   • Resultaat: Een Bell-diagonaal (of Heisenberg-type) observable heeft een correlatie-rang van 3. Het vereist ten minste drie orbitale-rotatie contexten om gemeten te worden, maar slechts één Clifford context.
   • Significantie: Dit is de eerste exacte context-complexiteit obstructie die de deeltjesgetalbehoudende orbitale-rotatie meting scheidt van de Clifford-toegankelijke commuterende meting in een vaste fermionische sector.
4. Exacte Approximatie Trade-off (Stelling 5): Het artikel leidt de exacte approximatie-foutcurve af voor het representeren van een observable met $K$ orbitale-rotatie contexten. De residuele fout komt exact overeen met de staart van de singular values van de correlatiematrix (Eckart–Young theorem), een resultaat dat onafhankelijk is bevestigd door de continue RANGE zoektocht.
5. Gecontroleerde-Pauli Invoegingen: De auteurs demonstreren dat controlled-Pauli-invoegingen die gebruikt worden voor Hadamard-testen voor off-diagonal matrix-elementen zelf Clifford-operaties zijn, waardoor er geen extra meting-specifieke $T$-poort kosten worden toegevoegd.

Resultaten

• Structureel Bewijs: Globale zoektochten identificeerden hoog-X-rang commuterende families in kleine moleculen (tot 18 qubits) en productie-schaal $f$-element Hamiltonia (tot 36 qubits).
  • Voor $CH_4$ (STO-3G) vond de zoektocht een commuterende deelverzameling die het theoretische plafond verzadigde ($r_X = 16 = 2(9-1)$).
  • Voor productie-operators ($CeO$, $NdO$, $UO_2^+$, $UO_2^{2+}$) bereikten de best-gevonden families bijna het plafond, waarbij $NdO$ exacte verzadiging bereikte ($r_X = 30$).
  • Een empirische "sector-decompositie wet" werd waargenomen: best-gevonden families verzadigen beide spin-sector projecties ($r_X^\alpha = r_X^\beta = N-1$), waarbij tekorten alleen voortkomen uit cross-sector afhankelijkheden.
• Kostenreductie: Het toepassen van het gecertificeerde kostenkader op vier productie $f$-element Hamiltonia (29–35 qubits) en een kalibratie-instantie ($CH_4$) toonde aan dat het toelaten van volledig commuterende (Clifford-toegankelijke) instellingen in het meetwoordenboek de gecertificeerde leidende shot-kosten met 31% tot 70% vermindert vergeleken met standaard product (QWC) instellingen.
• Algoritmische Prestaties: De studie benadrukte dat standaard greedy clique-cover heuristieken vaak onderpresteren. Geavanceerde graph-coloring algoritmen (DSATUR, TabuCol) reduceerden het aantal vereiste meetcircuits aanzienlijk (bijv. het reduceren van groepen-aantallen voor $NH_3$ met meer dan de helft), wat bevestigt dat de bottleneck algoritmisch is en niet conceptueel.

Significantie en Claims
Het artikel claimt een "strikte separatie" tussen de capaciteiten van orbitale-rotatie contexten en Clifford contexten. Hoewel orbitale rotaties chemisch natuurlijk zijn, zijn ze bewezen onvoldoende voor bepaalde gecorreleerde observables (zoals de Heisenberg-uitwisseling) die een enkele Clifford context kan meten.

De auteurs benadrukken een genuanceerde conclusie:

• Meting is niet "gratis": Hoewel de basisveranderingscircuits voor commuterende families Clifford zijn (nul $T$-poorten), blijven de kosten van sampling, routing, ruis en staatspreparatie bestaan.
• Hybride Voordeel: De orbitale-rotatie en Clifford context klassen zijn onvergelijkbaar op het niveau van een enkele context (de ene bevat de andere niet). Echter, hun unie garandeert het verbeteren van of gelijk zijn aan de prestaties van de ene of de andere klasse alleen.
• Gecertificeerde Besparingen: De gerapporteerde reductie van 31–70% in shot-budget is een gecertificeerde verklaring over de vergroting van het woordenboek van Product (QWC) naar Product + Fully Commuting (QWC+FC). Het claimt niet de prijs van een volledige productie-schaal Gaussische woordenboek tegenover een Clifford woordenboek te bepalen, maar demonstreert de waarde van het opnemen van Clifford-toegankelijke structuren waar zij beschikbaar zijn.

Het werk stelt vast dat algebraïsche obstructies (correlatie-rang) en globale optimalisatie (het lokaliseren van hoog-rang commuterende sets) complementaire instrumenten zijn voor het identificeren van meetstructuren die de beperkingen van traditionele orbitale rotaties overstijgen.