Compile-once block encodings for masked similarity-transformed effective Hamiltonians

Titel: Compile-once block encodings voor gemaskerde similariteit-getransformeerde effectieve Hamiltonianen

Auteurs: Bo Peng, Yuan Liu en Karol Kowalski
Instituut: Pacific Northwest National Laboratory (PNNL) en North Carolina State University
Datum: 3 maart 2026 (voorgesteld)

---

1. Het Probleem

In de kwantumchemie en materiaalkunde zijn er steeds meer vraagstukken die het simuleren van veel-deeltjessystemen vereisen, zoals het berekenen van grond- en aangeslagen toestanden, dynamica en spectroscopie. Hoewel fault-tolerant quantum computing (FTQC) belooft om exponentiële schaalproblemen op te lossen, blijft de praktische uitvoering van deze algoritmen lastig door twee hoofdbeperkingen:

1. Herhaaldelijke recompilatie: Bestaande quantum-simulatie-workflows behandelen elke blok-encoding (block encoding) als een specifiek geval. Veranderingen in moleculaire geometrie, basissets, actieve ruimtes (active spaces) of truncatie-drempels vereisen vaak het volledig opnieuw compileren van grote delen van de quantum-schakeling. Dit omvat het herbouwen van multiplexing-bomen en routing-lagen, wat de "wall-clock" kosten sterk verhoogt en de haalbaarheid van adaptieve workflows (zoals geometrie-scans of subspace-expansie) beperkt.
2. Structuurverlies: Traditionele methoden "plat" de rijke algebraïsche structuur van elektronische-structuur-operatoren (zoals lage-rang factorisaties en excitatie-hiërarchieën) naar ongestructureerde Pauli-reeksen. Hierdoor gaan chemisch betekenisvolle subruimtes verloren op het niveau van de schakeling.

De kernuitdaging is dus het creëren van een uitvoeringsarchitectuur die de circuit-topologie onafhankelijk maakt van de numerieke data, zodat updates alleen parametrische aanpassingen vereisen en geen structurele recompilatie.

2. Methodologie: COMPOSER

De auteurs introduceren COMPOSER (Compile-Once Modular Parametric Oracle for Similarity-Encoded Effective Reduction). Dit is geen nieuw asymptotisch simulatie-algoritme, maar een architectuur voor de uitvoering van blok-encodings die specifiek is ontworpen om de scheiding tussen circuit-topologie en numerieke data te maximaliseren.

De methodologie rust op drie pilaren:

A. Rang-1 Representaties (Rank-One Representations)

De moleculaire Hamiltoniaan ($\hat{H}$) en de anti-Hermitische generator voor similariteitstransformaties ($\hat{\sigma}$, zoals in Coupled-Cluster theorie) worden gecomprimeerd tot lineaire combinaties van rang-1 operatoren:

• Hamiltoniaan: Via geneste lage-rang factorisaties (zoals Cholesky-decompositie van de twee-elektronen tensor) wordt $\hat{H}$ geschreven als een som van rang-1 bilineaire en geprojecteerde kwadratische "ladders". Het aantal termen ($\ell_H$) schaalt bijna lineair met het systeemgrootte voor chemisch relevante drempels.
• Generator: De cluster-generator ($\hat{\sigma}$) wordt eveneens ontbonden in rang-1 excitatiekanalen (bijv. via SVD van de $T_2$ amplitudes).

B. Deterministische Ladders en Block Encoding

Voor elke rang-1 term wordt een deterministische, deeltjesgetal-bewarende ladder-schakeling geconstrueerd.

• Deze ladders gebruiken Givens-rotaties en fermionische swap-netwerken.
• Ze worden verpakt in een PREP-SELECT-PREP† skelet.
• Cruciaal: De twee-qubit connectiviteit en de routing binnen deze ladders zijn vastgezet (compiled once) voor een gegeven pool van orbitalen.

C. De "Compile-Once, Dial-Many" Filosofie

Dit is het kernconcept van COMPOSER:

• Compile Once: De logische twee-qubit topologie (de selector-bomen, de adaptor-wiring, en het QSP-skelet) wordt één keer gegenereerd en gefixeerd.
• Dial Many: Updates voor geometrie, actieve ruimtes of truncatie (masks) worden verwerkt door alleen de hoeken van de single-qubit rotaties en de klassieke coëfficiënten te herkalibreren ("re-dialing").
• Mask-Aware Similarity Sandwich: De effectieve Hamiltoniaan wordt berekend als $P^{(m)} e^{-\hat{\sigma}^{(m)}} \hat{H} e^{\hat{\sigma}^{(m)}} P^{(m)}$. Het klassieke masker $M^{(m)}$ selecteert welke rang-1 termen actief zijn. Dit verandert alleen de amplitudes in de PREP-stap, niet de onderliggende schakeling.

D. Quantum Signal Processing (QSP)

Voor het exponentiëren van de generator ($e^{\hat{\sigma}}$) wordt QSP gebruikt. Omdat de normalisatie en de structuur van de generator vast blijven (binnen een familie van gerelateerde problemen), kan de QSP-fasenlijst vooraf worden berekend en hergebruikt. De polynoomgraad wordt bepaald door de operator-normen, niet door het aantal termen.

3. Belangrijkste Bijdragen

1. Architecturale Innovatie: COMPOSER introduceert een vast-topologie blok-encoding architectuur die de hercompilatie-overhead elimineert voor adaptieve workflows (zoals QSE, NOQE, GCIM).
2. Unificatie van Operatoren: Het toont aan dat zowel de Hamiltoniaan als de similariteit-generator kunnen worden behandeld binnen hetzelfde algebraïsche raamwerk van rang-1 ladders, wat een gedeelde hardware-structuur mogelijk maakt.
3. Mask-Aware Constructie: Een nieuwe methode voor het construeren van effectieve Hamiltonianen waarbij truncatie en actieve ruimtes worden behandeld als klassieke masks die alleen de parameters van de schakeling aanpassen.
4. Resource Analyse: Het biedt een gedetailleerde analyse van de gate-counts en ancilla-behoeften, waarbij wordt aangetoond dat de twee-qubit diepte onafhankelijk is van de QSP-graad voor de Hamiltoniaan-deel (die slechts één keer wordt aangeroepen in de sandwich).

4. Numerieke Resultaten

De auteurs valideren hun architectuur met numerieke experimenten op een reeks moleculen (van H2 tot C6H6) in verschillende basissets (STO-3G, 6-31G, cc-pVDZ):

• Schaalbaarheid: Het aantal rang-1 termen ($\ell_H$) voor de Hamiltoniaan toont een empirisch quasi-lineaire groei met het aantal qubits. Dit bevestigt dat een vaste selector-breedte kan worden gekozen voor een reeks systemen.
• Stabiliteit bij Geometrie-Scans: Bij het variëren van de bindingslengte van H2O varieerde het aantal termen slechts marginaal. Dit betekent dat de selector-topologie niet hoeft te worden aangepast; alleen de rotatiehoeken moeten worden bijgesteld.
• Subruimte-Stabiliteit: Er werd aangetoond dat de laag-rang excitatiesubruimtes afgeleid van goedkope MP2-berekeningen een hoge overlap hebben met duurdere CCSD-resultaten. Dit ondersteunt het gebruik van MP2-gestuurde masks voor truncatie zonder de algebraïsche structuur te verstoren.
• Subspace Diagonalisatie: Een illustratief voorbeeld toont aan dat een continu "dialen" van generator-coördinaten binnen een vaste subspace leidt tot exacte resultaten zonder de circuit-topologie te veranderen.

5. Betekenis en Toekomstperspectief

De betekenis van dit werk ligt in de verschuiving van asymptotische optimalisatie naar praktische uitvoerbaarheid in adaptieve quantum-workflows.

• Voor NISQ en Vroege FTQC: COMPOSER verlaagt de lat voor het uitvoeren van complexe, adaptieve chemische simulaties door de overhead van recompilatie te verwijderen. Het maakt het mogelijk om grote families van gerelateerde problemen (zoals een reactiepad of een actieve ruimte-expansie) te behandelen met één enkele, vooraf gecompileerde schakeling.
• Foutbudgettering: Het scheidt de algoritmische fouten (blok-encoding en QSP-benadering) van de fysieke nauwkeurigheid (afhankelijk van hoe de parameters worden verkregen). Dit stelt onderzoekers in staat om foutbudgetten flexibel toe te wijzen zonder de hardware-topologie te wijzigen.
• Toekomst: De auteurs wijzen op de noodzaak van verdere studies naar hardware-bewuste scheduling, mask-selectie strategieën en de uitbreiding naar roostermodellen en open-systemen.

Kortom, COMPOSER biedt een brug tussen geavanceerde tensor-netwerk factorisaties en hardware-vriendelijke, stabiele quantum-circuits, waardoor adaptieve quantum-simulatie in de chemie veel efficiënter en voorspelbaarder wordt.