Sample-optimal single-copy quantum state tomography via shallow depth measurements

Technische Samenvatting: Steekproef-optimale single-copy kwantumtoestand-tomografie met ondiepe-diepte metingen

Probleemstelling
Kwantumtoestand-tomografie (QST) is de taak van het reconstrueren van een kwantumtoestand $\rho$ uit meetgegevens. Hoewel multi-copy collectieve metingen een optimale steekproefcomplexiteit kunnen bereiken, zijn deze experimenteel onhaalbaar op nabije, ruisgevoelige kwantumapparaten vanwege het gebrek aan foutcorrectie en beperkte coherentie. Daarom hebben single-copy meetstrategieën de voorkeur. Bestaande single-copy protocollen die een bijna-optimale steekproefcomplexiteit bereiken, vereisen echter doorgaans diepe circuits (diepte $O(n)$) of complexe positive-operator valued metingen (POVM's), wat onpraktisch is voor de huidige hardware. De centrale uitdaging die in dit werk wordt aangepakt, is of ondiepe lokale circuits (specifiek diepte $O(\log n)$) een steekproef-optimale QST kunnen bereiken voor single-copy metingen zonder opoffering van de reconstructienauwkeurigheid.

Methodologie
De auteurs stellen een ancilla-vrij single-copy QST-protocol voor dat gebruikmaakt van lokale willekeurige kwantumcircuits van logaritmische diepte. De methodologie rust op de volgende componenten:

1. Unitaire Ensembles: Twee specifieke ensembles van ondiepe circuits worden geconstrueerd met behulp van Clifford-poorten:
   • Two-layer block ensemble (Fig. 2b): Een gestaffeld patroon van twee lagen $k$-qubit Clifford-blokken ($U = U_2 U_1$), waarbij $k = O(\log n)$. Dit wordt gebruikt voor rank-$r$ toestanden.
   • Single-layer block ensemble (Fig. 2a): Onafhankelijke $k$-qubit Clifford-blokken gesampled uit de Clifford-groep. Dit wordt gebruikt voor full-rank toestanden.
2. Estimator Constructie: Het protocol maakt gebruik van een onbevooroordeelde estimator $\hat{\rho} = M^{-1}(U^\dagger |b\rangle\langle b| U)$, waarbij $M$ de schaduwkanaal is die geassocieerd wordt met het unitaire ensemble. In tegen tegenstelling tot eerdere werken die bevooroordeelde estimators gebruikten (voldoende voor fideliteitschatting maar onvoldoende voor trace-norm garanties), construeert dit werk een onbevooroordeelde estimator om strikte trace-afstand grenzen te waarborgen.
3. Concentratie Analyse: Het bewijzen van de concentratie van het empirische gemiddelde van de onbevooroordeelde estimator is technisch uitdagend. De auteurs combineren Weingarten calculus met de transfer matrix methode.
   • Voor rank-$r$ toestanden maken zij gebruik van de matrix Bernstein-ongelijkheid.
   • Voor full-rank toestanden passen zij de McDiarmid-ongelijkheid toe.
   • De transfer matrix techniek wordt gebruikt om de tweede moment van de estimator te begrenzen door de koppeling van Pauli-operatoren over de blokstructuur van de circuits te analyseren.

Belangrijkste Bijdragen en Resultaten

• Rank-$r$ Toestanden: Voor een kwantumtoestand van rank $r$ in dimensie $d=2^n$, bereikt het protocol met het two-layer block ensemble met diepte $O(\log n)$ een trace-norm fout $\epsilon$ met een steekproefcomplexiteit van:
  $$T = O\left(\frac{d r^2 \log d}{\epsilon^2}\right)$$
  Dit komt overeen met de bekende single-copy ondergrens $\Omega(dr^2/\epsilon^2)$ tot een logaritmische factor. Het bewijs toont aan dat een overlap van $O(\log n)$ qubits tussen opeenvolgende blokken voldoende is om deze schaling te behouden.

• Full-Rank Toestanden: Voor full-rank gemengde toestanden ($r=d$) bereikt het protocol met het eenvoudigere single-layer block ensemble de optimale steekproefcomplexiteit:
  $$T = O\left(\frac{d^3}{\epsilon^2}\right)$$
  Dit verwijdert de logaritmische overhead die aanwezig is in het rank-$r$ geval en komt overeen met de theoretische ondergrens voor full-rank toestanden.

• Classieke Post-verwerking: Het artikel biedt expliciete algoritmen voor klassieke post-verwerking.

  • Voor rank-$r$ toestanden is de runtime $\tilde{O}(d^2 r^2 / \epsilon^2)$ met geheugen $O(d^2)$.
  • Voor full-rank toestanden is de runtime $\tilde{O}(d^2)$ met geheugen $O(d^2)$, wat optimaal is tot polylogaritmische factoren aangezien het outputten van een dichtheidsmatrix inherent $\Omega(d^2)$ tijd vereist.

• Numerieke Validatie: Numerieke simulaties op willekeurige 8-qubit toestanden bevestigen de theoretische voorspellingen. De simulaties laten zien dat ondiepe circuits ($k=2$ voor rank-$r$, $k \in \{1, 2, 4, 8\}$ voor full-rank) een reconstructiefout bereiken die vergelijkbaar is met globale Clifford ensembles ($k=n$) naarmate het aantal samples toeneemt.

Betekenis en Claims
De auteurs beweren dat hun resultaten aantonen dat steekproef-optimale QST gerealiseerd kan worden met experimenteel toegankelijke ondiepe-diepte metingen. Specifiek:

1. Haalbaarheid: De vereiste voor diepe circuits ($O(n)$) wordt versoepeld naar $O(\log n)$, waardoor het protocol levensvatbaar wordt voor nabije kwantumapparaten met beperkte connectiviteit en coherentie.
2. Optimaliteit: Het protocol bereikt de optimale steekproefcomplexiteit voor full-rank toestanden en bijna-optimale complexiteit voor low-rank toestanden, waarmee de kloof tussen theoretische ondergrenzen en praktische experimentele beperkingen wordt overbrugd.
3. Noodzaak van Estimator: Het werk benadrukt dat hoewel bevooroordeelde estimators volstaan voor specifieke grootheden zoals fideliteit, onbevooroordeelde estimators cruciaal zijn voor het garanderen van kleine trace-norm fouten in QST, wat de specifieke concentratiebewijzen noodzakelijk maakt.

Het artikel merkt bescheiden op dat voor rank-$r$ toestanden het een open vraag blijft of de logaritmische factor $\ln(d)$ in de bovengrens geëlimineerd kan worden. Daarnaast, hoewel de analyse steunt op unitaire ensembles die in staat zijn om benaderende unitaire designs te vormen, hangt het statistische bewijs niet expliciet af van de benaderende-design eigenschap, wat de vraag open laat of de circuitarchitectuur zelf de essentiële factor is voor de QST-prestaties.