Representational separation between unitary and channel quantum generative models via shared classical randomness at shallow depth

Technische Samenvatting: Representatieve Separatie via Gedeelde Klassieke Willekeur

Probleemstelling
Quantumhardware voor de nabije toekomst legt strikte beperkingen op aan quantumgeneratieve modellen, specifiek door de diepte van circuits te beperken en geometrisch lokale connectiviteit af te dwingen. Deze restricties hinderen het vermogen van ondiepe unitaire Born-modellen om langetermijncorrelaties tussen verre qubits te vestigen, aangezien informatiepropagatie beperkt is tot eindige lichtkegels. Hoewel het introduceren van stochasticiteit (kanaalmodellen) heeft aangetoond de empirische prestaties en het representatieve vermogen in beperkte kleinschalige architecturen te verbeteren, bleef het een open vraag of gedeelde klassieke willekeur een bewijsbaar, strikt schaalbare representatieve separatie kan bieden ten opzichte van zuivere unitaire ondiepe modellen voor willekeurig grote systemen. Kan de familie van outputdistributies strikt worden vergroot zonder de circuitdiepte te verhogen, meer lang reikende verstrengelende gates toe te voegen, of adaptieve mid-circuit metingen te gebruiken?

Methodologie
De auteurs stellen een "minimaal gecorreleerd kanaalmodel" voor dat ondiepe unitaire circuits met beperkte connectiviteit aanvult met gedeelde klassieke willekeur.

1. Modelconstructie: Het model bestaat uit een standaard ondiep unitair circuit (bijv. een 1D brickwall-architectuur) gevolgd door metingen in de computationele basis. Een tussenliggende laag wordt aangevuld met een stochastische Pauli-string $P^s_M = \bigotimes_{j \in M} P^s_j$, waarbij $M$ een deelverzameling is van ruimtelijk gescheiden qubits.
2. Mechanisme van Gedeelde Willekeur: De toepassing van deze Pauli-string wordt gecontroleerd door een enkele klassiek gesamplede willekeurige bit $s \sim \text{Bernoulli}(p)$. Als $s=1$, wordt de Pauli-string toegepast; als $s=0$, wordt deze weggelaten. Dit creëert een stochastisch kanaal waarbij de gezamenlijke toepassing van lokale Pauli-operaties op verre qubits gecorreleerd is door één enkele klassieke variabele.
3. MBQC Realisatie: Het artikel demonstreert dat deze gedeelde willekeur natuurlijk voortkomt uit Measurement-Based Quantum Computation (MBQC). In Variational MBQC (VMBQC) zijn meetresultaten inherent willekeurig. Door adaptief te kiezen of men de door meting geïnduceerde Pauli-bijproducten corrigeert, behoudt of zelfs anti-corrigeert op basis van een gedeelde klassieke controlevariabele, kan men de vereiste gecorreleerde stochastische kanaalfunctie inherent implementeren zonder extra quantumbronnen.
4. Leerframework: De modellen worden getraind met de Maximum Mean Discrepancy (MMD) loss om doeldistributies te benaderen. De studie vergelijkt de leerprestaties van het zuivere unitaire model met het kanaalmodel met gedeelde willekeur.

Belangrijkste Bijdragen

1. Bewijsbaar Representatieve Separatie: Het artikel stelt een strikte inclusie $P_{\text{unit}}(D) \subsetneq P_{\text{ch}}(D)$ vast voor ondiepe dieptes $D$. Er wordt bewezen dat er outputdistributies bestaan die gegenereerd worden door het kanaalmodel die niet gereproduceerd kunnen worden door enig unitair model van dezelfde diepte op een architectuur met een beperkte graad.
2. Diepte Ondergrens: Voor ééndimensionale nearest-neighbor architecturen tonen de auteurs aan dat het reproduceren van de langetermijncorrelaties gegenereerd door het kanaalmodel met behulp van een puur unitair model een circuitdiepte vereist die lineair schaalt met de afstand tussen de gecorreleerde regio's, oftewel $D = \Omega(\text{dist}(a,b))$. In het slechtste geval voor een systeem van grootte $N$, impliceert dit een dieptevereiste van $\Omega(N)$, terwijl het kanaalmodel dit bereikt bij een constante ondiepe diepte.
3. Mechanisme van Separatie: De separatie is niet te wijten aan triviale klassieke post-processing van meetresultaten. In plaats daarvan codeert de gedeelde willekeur gecorreleerde tekenomklappingen in de non-Clifford rotatiehoeken van de tussenliggende lagen. Deze hoekomklappingen veranderen de circuitdynamica niet-triviaal, waardoor langetermijncorrelaties in de uiteindelijke waarschijnlijkheidsverdeling worden gegenereerd die disjuncte lichtkegels in een ondiep unitair circuit niet kunnen bereiken.
4. MBQC Integratie: Het werk biedt een concrete mapping van deze theoretische constructie naar VMBQC, waarbij wordt aangetoond dat de "gedeelde willekeur"-bron effectief een klassieke coördinatie van bijproduct-correcties is, wat geen extra quantum hardware overhead vereist.

Resultaten

• Analytisch: Theorem 4 demonstreert formeel dat voor een 1D brickwall circuit met $N \ge 6$ qubits, een kanaalmodel met een enkele stochastische Pauli-string werkend op verre qubits $a$ en $b$, een distributie $Q^*$ kan genereren die $\delta^*$-ver verwijderd is (in totale variatieafstand) van elke distributie gegenereerd door een unitair model van diepte $D < \text{dist}(a,b)/4$.
• Numeriek: Experimenten op een 6-qubit, diepte-2 architectuur getraind om een "branch-peaked mixture" distributie te benaderen (een mengsel van twee distributies met pieken bij $000000$ en $111111$) laten zien dat het gecorreleerde kanaalmodel consequent een significant lagere MMD-loss en minder variantie over willekeurige initialisaties vertoont vergeleken met de unitaire baseline. Het kanaalmodel slaagt erin de doeldistributie te leren, terwijl het unitaire model moeite heeft om de inherente langetermijncorrelaties te vangen.

Betekenis en Claims
De auteurs stellen expliciet dat deze resultaten geen aanspraak maken op een quantumvoordeel ten opzichte van klassieke berekeningen. In plaats daarvan ligt de betekenis in het vaststellen van een representatieve separatie tussen twee klassen van quantumgeneratieve modellen die onder identieke ondiepe, lokale quantum-resourcebeperkingen vallen.

• Resource Efficiëntie: De extra benodigde resource is "gedeelde klassieke willekeur", die wordt beschreven als een relatief zwakke resource vanuit de verstrengelingstheorie en die "klassiek goedkoop" is om te implementeren.
• Hardware Implicaties: Voor hardware met beperkte connectiviteit (zoals nabijgelegen supergeleidende qubits of neutrale atomen), biedt deze aanpak een methode om langetermijncorrelaties te genereren zonder de noodzaak voor diepe circuits (die lijden onder barren plateaus) of lang reikende gates.
• MBQC Relevantie: In MBQC-implementaties is de resource nog natuurlijker, aangezien de willekeur inherent is aan het meetproces, waarbij enkel klassieke feedforward-logica nodig is om bijproducten te coördineren.

Het artikel concludeert dat gedeelde klassieke willekeur, wanneer deze gestructureerd is om lokale operaties te coördineren, een werkelijke representatieve voorsprong biedt bij ondiepe diepte, waardoor de familie van toegankelijke outputdistributies strikt wordt vergroot buiten wat mogelijk is met louter unitaire evolutie onder dezelfde architecturale beperkingen.