Tight bound for the total time in digital-analog quantum computation

Technische Samenvatting: Strakke Bovengrens voor de Totale Tijd in Digitale-Analoge Kwantumcomputatie

Probleemstelling
Digitale-analoge kwantumcomputatie (DAQC) is een universeel paradigma dat de vrije evolutie van een systeem onder een natuurlijke verstrengelende Hamiltoniaan ($H_S$) combineert met de toepassing van single-qubit gates. Hoewel DAQC een robuust kader biedt voor het simuleren van willekeurige unitaire operaties, blijft een cruciale bronmetriek de totale tijd die nodig is om een specifiek protocol uit te voeren. Vorig werk stelde suboptimale bovengrenzen vast voor deze totale tijd, specifiek een grens die kwadratisch schaalt met het aantal qubits ($n$). Een conjectuur van Baßler-Heinrich-Kliesch suggereerde een strakkere, lineaire schaling met $n$ voor ZZ-Ising Hamiltoniaanse functies. De exacte nauwkeurigheid van deze grenzen en hun gedrag voor algemene twee-lichaam Hamiltoniaanse functies bleven echter onopgelost. Het centrale probleem dat wordt aangepakt, is het bepalen van de strakke boven grens voor de totale analoge tijd ($\|t_{opt}\|_1$) die nodig is om een willekeurige doel-Hamiltoniaan ($H_P$) te simuleren met behulp van een bron-Hamiltoniaan ($H_S$) binnen het DAQC-kader.

Methodologie
De auteurs benaderen de compilatie van DAQC-protocollen als een lineair algebraïsch probleem. Door de koppelingen van de doel- ($h_P$) en bron- ($h_S$) Hamiltoniaanse functies te vectoriseren, wordt het probleem van het vinden van de optimale sequentie van analoge bloktijden ($t$) gereduceerd tot het oplossen van het lineaire systeem $M t = b$, waarbij $b = T (h_P \oslash h_S)$ en $M$ een matrix is die de effectieve tekens van koppelingen representeert die worden gegenereerd door single-qubit gates (Pauli of Clifford).

Om de strakke grens af te leiden, gebruiken de auteurs een geometrisch perspectief gebaseerd op convexe polytopen:

1. Geometrische Interpretatie: De kolommen van matrix $M$ worden behandeld als de hoekpunten van een convexe polytoop in $\mathbb{R}^d$ (waarbij $d$ het aantal koppelingen is). Het oplossen van $t$ komt overeen met het uitdrukken van de doelvector $b$ als een positieve lineaire combinatie van deze hoekpunten.
2. Polytoop Analyse: De auteurs analyseren de eigenschappen van deze polytoop en merken op dat, hoewel het aantal hoekpunten exponentieel groeit met $n$, de dimensie van de ruimte slechts kwadratisch groeit. Zij stellen dat, naarmate $n$ toeneemt, de polytoop steeds meer lijkt op een hoogdimensionale bal.
3. Recursieve Structuur: Door gebruik te maken van de recursieve structuur van de matrix $M$ (waarbij $M(n+1)$ wordt geconstrueerd uit $M(n)$ en tekenveranderingsmatrices), laten de auteurs zien dat de slechtst denkbare scenario's voor de totale tijd niet schalen met de systeemgrootte $n$ op een manier die de minimale afstand van de oorsprong tot het oppervlak van de polytoop vergroot.
4. Bewijsstrategie: Het bewijs wordt in twee fasen opgebouwd: eerst het vaststellen van de grens voor ZZ-Hamiltoniaanse functies en vervolgens het generaliseren naar willekeurige twee-lichaam Hamiltoniaanse functies. De auteurs identificeren dat de slechtst denkbare problemen overeenkomen met de kleinste niet-triviale systeemgroottes (2 en 3 qubits) met aanvullende coëfficiënten die op nul zijn gezet.

Belangrijkste Bijdragen en Resultaten

• Strakke Boven grens: Het artikel bewijst dat voor elk universeel DAQC-protocol dat een twee-lichaam Hamiltoniaanse functie simuleert, de totale analoge tijd strak wordt begrensd door:
  $$\|t_{opt}\|_1 \leq T \sqrt{3} \|h_P \oslash h_S\|_2$$
  waarbij $T$ de doel-evolutietijd is, en $\| \cdot \|_2$ de Euclidische norm van de koppelingsvectoren is.
• Weerlegging van Vorige Conjecturen: De auteurs leveren een tegenvoorbeeld voor de Baßler-Heinrich-Kliesch conjectuur (die een grens voorstelde die lineair schaalt met $n$ voor oneven/even $n$), waarbij zij aantonen dat de grens feitelijk onafhankelijk is van $n$, maar afhankelijk is van de 2-norm van de koppelingen.
• Schaalgedrag: De resultaten geven aan dat, hoewel de grens niet expliciet afhankelijk is van het aantal qubits, in het slechtste scenario (all-to-all Hamiltoniaanse functies), de 2-norm van de koppelingsvectoren lineair schaalt met $n$. Dit bevestigt de intuïtie van lineaire schaling, maar biedt een nauwkeurigere wiskundige formulering.
• Numerieke Verificatie: Uitgebreide numerieke berekeningen zijn uitgevoerd voor zowel ZZ- als willekeurige twee-lichaam Hamiltoniaanse functies met tot $n=10$ qubits. De simulaties, die willekeurige probleemverdelingen en specifieke randgevallen (bijv. problemen uitgelijnd met assen of facetten) omvatten, bevestigen dat de afgeleide boven grens strak is en dat uniform willekeurige problemen sublineair gedrag vertonen ten opzijde van de grens.

Betekenis
Het artikel beweert een openstaande vraag over de bronraming voor DAQC op te lossen. Door een strakke, expliciete boven grens te bieden, stelt dit werk onderzoekers in staat om:

1. Precieze Bronraming: Onderzoekers kunnen nu de tijdbronnen die nodig zijn voor kwantumsimulaties en algoritmen geïmplementeerd binnen het DAQC-kader nauwkeurig inschatten.
2. Rigoureuze Vergelijking: De grens faciliteert een rigoureuze vergelijking van de DAQC-efficiëntie met andere paradigma's, zoals volledig digitale kwantumcomputatie (DQC).
3. Foutanalyse: De precieze tijdgrenzen maken een betere foutinschatting mogelijk in circuitcompilatie, wat potentieel kan helpen bij het identificeren en reduceren van Trotterisatie-fouten door middel van state-of-the-art technieken.
4. Paradigma Ontwikkeling: De resultaten bevestigen de lineaire afhankelijkheid van de boven grens van de systeemgrootte (via de koppelingsnorm), wat de levensvatbaarheid van DAQC als een schaalbaar computationeel paradigma ondersteunt.

De auteurs benadrukken dat deze grenzen van toepassing zijn op protocollen die de totale tijd optimaliseren, ongeacht of willekeurige of vaste single-qubit rotatiehoeken worden gebruikt, waarbij zij opmerken dat protocollen bestaande uit Pauli-gates de slechtst denkbare scenario's vertegenwoordigen onder deze variaties.