Readout Orientation Controls Measurement-Accessible Quantum Tangent Geometry

Technische Samenvatting: Oriëntatiecontrole van de Readout voor Meetbare Kwantum-tangentgeometrie

Probleemstelling
Variational Quantum Circuits (VQCs) worden geraadpleegd via meetresultaten. Terwijl grootheden in de toestandsruimte, zoals de Quantum Fisher Information (QFI), de infinitesimale onderscheidbaarheid karakteriseren vóór de meting, beperkt de keuze van de meting en de daaropvolgende restrictie tot een specifieke familie van observabelen (de "readout") deze geometrie. Eerder werk heeft vastgesteld dat de keuze van de meting, de lokaliteit van de observabele en de circuitarchitectuur de trainbaarheid beïnvloeden. Echter, er blijft een specifieke kloof bestaan: zodra een kwantummeting is vastgesteld en de dimensie van de behouden readout (rang $r$) is bepaald, hoeveel van de onderliggende tangent-informatie is dan daadwerkelijk toegankelijk voor die specifieke readout-subruimte?

Het artikel stelt dat de readout-dimensie alleen niet de bruikbaarheid bepaalt. Twee readouts met een identieke rang kunnen fundamenteel verschillende hoeveelheden tangent-informatie behouden, afhankelijk van hun spectrale oriëntatie ten opzichte van de tangent-covariantie.

Methodologie
De auteurs formaliseren het probleem met behulp van een "gecentreerde score-ruimte" afgeleid van een vaste meting op een geparametriseerde kwantumtoestand $\rho_\theta$.

1. Tangent Scores en Covariantie: Voor een tangent-richting $v$ wordt een genormaliseerde score-vector $u_v$ gedefinieerd. De covariantie van deze scores, $C = E_v[u_v u_v^T]$, is een positief semi-definite matrix met $\text{Tr}(C)=1$. De eigenwaarden van $C$ kwantificeren de concentratie van de tangent-variatie.
2. Readout als Projector: Een beperkte readout wordt gemodelleerd als een orthogonale projector $P$ van rang $r$ op een subruimte van observabelen. De behouden tangent-massa wordt gedefinieerd als $R = \text{Tr}(PC)$.
3. De Rank-Alleen Referentie: Om het effect van de oriëntatie te isoleren, definiëren de auteurs een nulmodel gebaseerd op een willekeurige relatieve oriëntatie tussen $P$ en $C$. Voor een willekeurige projector is de verwachte behouden massa $E[R] = r/N$ (waarbij $N$ de dimensie van de score-ruimte is). De ratio $\rho = R / (r/N)$ meet de afwijking van deze rank-alleen baseline.
4. Variantie-grenzen: Met behulp van Grassmann-geometrie leiden de auteurs de variantie van $\rho$ af onder willekeurige oriëntatie:
   $$\text{Var}(\rho) \leq \frac{2}{r d_{\text{eff}}}$$
   waarbij $d_{\text{eff}} = 1/\text{Tr}(C^2)$ de effectieve spectrale dimensie is. Dit stelt vast dat rank-typische overlap kan samenbestaan met sterke anisotropie (kleine $d_{\text{eff}}/N$) mits het product $r d_{\text{eff}}$ groot genoeg is.
5. Numerieke Strategie: De studie maakt gebruik van een familie-gebalanceerd ensemble van generieke circuits (bijv. RY–RZ–CZ, SU2–CNOT, Haar-U(4)) en een gestructureerd U(1)-conserverend circuit.
   • Cross-Fitting: Om statistische optimisme te vermijden, worden "uitgelijnde" subruimten geschat van een onafhankelijke set tangent-richtingen en geëvalueerd op uitgesloten (held-out) tangenten.
   • Operationele Metrieken: De studie vergelijkt fysieke low-weight readouts, willekeurige rank-gematchte subruimten en cross-fitted uitgelijnde subruimten, terwijl het circuit, de metingsrecord, de rang en het shot-budget constant worden gehouden. Metrieken omvatten directionele gradiënt-energie proxies en finite-shot signaal-ruisverhoudingen (SNR).

Belangrijkste Resultaten

1. Generieke Circuits en Anisotropie: In generieke, familie-gebalanceerde circuits blijven low-weight (één- en twee-body) readouts dicht bij de rank-alleen referentie ($\rho \approx 1$), zelfs wanneer de tangent-covariantie sterk anisotroop wordt (bijv. $N \text{Tr}(C^2)$ groeit van ~1.35 naar ~146.8 naarmate $n$ toeneemt). Dit demonstreert dat fysieke circuits niet noodzakelijkerwijs een Haar-willekeurige oriëntatie benaderen, maar dat hun low-weight projecties vaak overeenkomen met de "typische" willekeurige verwachting ondanks de spectrale concentratie.
2. Oriëntatie versus Rang: In Haar-U(4) circuits bij $n=12$ behoudt de fysieke één-body readout aanzienlijk minder tangent-massa ($R \approx 2.71 \times 10^{-3}$) dan een cross-fitted uitgelijnde subruimte van dezelfde rang ($R \approx 3.06 \times 10^{-2}$). De uitgelijnde subruimte vangt de leidende tangent-richtingen op die de fysieke readout mist.
3. Operationele Impact: Het vervangen van de fysieke readout door een cross-fitted uitgelijnde subruimte in generieke circuits verhoogt de gemiddelde directionele gradiënt-energie proxy met een factor 9.584 en de finite-shot SNR met een factor 3.111 bij $n=12$. Een willekeurige rank-gematchte subruimte presteert nabij de fysieke baseline, wat bevestigt dat de winst voortkomt uit de oriëntatie, en niet enkel uit de rang.
4. Gestructureerd Tegenvoorbeeld (U(1)): Een half-gevulde, getal-conserverende RZ–XY circuitfamilie gedraagt zich anders. De fysieke low-weight Z readout is al sterk uitgelijnd met de leidende tangent-subruimte (behoudt ~29% van de massa versus ~0.3% voor generieke circuits). Bijgevolg is de winst door het vervangen door een uitgelijnde subruimte minimaal (gradiënt-energie winst ~1.2x). Deze uitlijning houdt stand over de geteste groottebereiken ($n=8$ tot $18$), volgens een machtswet-verval in plaats van een exponentieel verval, wat duidt op een structureel mechanisme (bijv. symmetrie-beperkte controleerbaarheid of hydrodynamica) in plaats van willekeurige kans.

Betekenis en Claims
Het artikel claimt de readout-oriëntatie te isoleren als een afzonderlijke vrijheidsgraad die onzichtbaar is voor de rang alleen, maar direct de bruikbaarheid van de gemeten tangent-informatie reguleert.

• Scheiding van Zaken: Het werk scheidt drie ingrediënten: (1) Rang ($r$) fixeert de nul-toegankelijkheidsschaal; (2) Het spectrum van $C$ controleert de breedte van de fluctuaties rond die schaal; (3) De relatieve oriëntatie van $P$ en $C$ bepaalt de werkelijk behouden massa.
• Nut van het Nulmodel: De standaard Grassmann-gemiddelde identiteit ($E\rho=1$) wordt niet gebruikt als een nieuw willekeurige projectie-theorema, maar als een gecontroleerd nulmodel om systematische oriëntatie-effecten in fysieke circuits te detecteren.
• Beperkte Omvang: De auteurs geven expliciet aan dat dit geen barren-plateau theorema is voor supervised loss. Taak-niveau trainbaarheid hangt af van codering, labels en optimalisatie-trajecten. De resultaten kwantificeren strikt de "meetbare tangentgeometrie" voordat er een taakspecifieke loss wordt toegepast.
• Mechanisme-agnosticisme: Wat betreft de U(1)-casus, claimt het paper niet dat U(1) symmetrie generiek barren plateaus voorkomt of identificeert, noch wijst het één dominant mechanisme aan (bijv. hydrodynamica versus Lie-algebraïsche structuur). In plaats daarvan presenteert het de U(1)-uitlijning als een casestudy die aantoont dat gestructureerde symmetrieën natuurlijke paden bieden om fysieke readouts uit te lijnen met leidende tangent-richtingen, waardoor de "oriëntatiekloof" die in generieke circuits wordt gezien, wordt verkleind.

Concluderend betoogt het paper dat hoewel de rang bepaalt hoeveel score-richtingen worden behouden, de spectrale oriëntatie van die richtingen ten opzichte van de tangent-covariantie bepaalt hoeveel gemeten tangent-informatie daadwerkelijk toegankelijk blijft.