Stabilizer entropy is trustworthy for mixed states

Technische Samenvatting: "Stabilizer Entropy is Betrouwbaar voor Gemengde Toestanden"

Probleemstelling
Het kwantificeren van non-stabilizerness (vaak aangeduid als "magic") is essentieel voor het begrijpen van quantumvoordeel, chaos en de beperkingen van klassieke simulatie. Hoewel non-stabilizerness monotonen bestaan voor zuivere toestanden, vormt hun uitbreiding naar gemengde toestanden een ernstige computationele barrière. Recent werk heeft vastgesteld dat elke strikte non-stabilizerness monotone voor gemengde toestanden in de complexiteitsklasse $QP_2$ valt, wat een superexponentiële tijd vereist om te berekenen. Dit maakt strikte monotonen onpraktisch voor realistische fysieke toepassingen waarbij ruis, gedeeltelijke metingen of gemengde-toestand dynamica een rol spelen. Bovendien faalt de naïeve uitbreiding van Stabilizer Entropy (SE) naar gemengde toestanden door niet te voldoen aan de monotoniciteit onder vrije operaties (specifiek partiële trace en dephasing), wat een kernvereiste van middelen-theorieën (resource theories) schendt.

Methodologie
De auteurs stellen een relaxatie van de strikte monotoniciteitsvoorwaarde voor door de introductie van het concept van een $\eta$-resource proxy. Een functie $f$ wordt gedefinieerd als een $\eta$-resource proxy voor een toestand-ensemble $\mathcal{S}$ als deze getrouw (faithful) is (nul op vrije toestanden) en de waarschijnlijkheid dat deze de monotoniciteit onder vrije operaties schendt, exponentieel afneemt met de systeemgrootte $N$ (specifiek als $\exp(-\eta N)$).

Het artikel richt zich op de Lineaire Stabilizer Entropy ($\tilde{M}_{lin}$) voor gemengde toestanden, gedefinieerd als:
$$\tilde{M}_{lin}(\rho) = \text{Pur}(\rho) - SP(\rho)$$
waarbij $\text{Pur}(\rho) = \text{Tr}(\rho^2)$ de zuiverheid is en $SP(\rho) = d \text{Tr}(Q \rho^{\otimes 4})$ de stabilizer zuiverheid is, waarbij $Q$ de projectie op de stabilizer subspace is.

De auteurs analyseren de monotoniciteitskloof $\bar{M}_E(\rho) = \tilde{M}_{lin}(\rho) - \tilde{M}_{lin}(E(\rho))$ onder twee vrije operaties:

1. Partiële Trace (het reduceren van het systeem).
2. Dephasing in de computationele basis (het modelleren van niet-post-geselecteerde metingen).

Zij maken gebruik van analytische technieken zoals Haar-gemiddelden, Clifford-groep gemiddelden en eigenschappen van Matrix Product States (MPS) om het gemiddelde en de variantie van deze kloof te berekenen. Zij gebruiken Lévy's lemma en de ongelijkheid van Chebyshev om de waarschijnlijkheid van monotoniciteitsschendingen te begrenzen. Daarnaast voeren zij numerieke simulaties uit op willekeurige MPS en de grondtoestanden van het 1D quantum XY-model om deze grenzen te verifiëren in niet-willekeurige, fysiek relevante settings.

Belangrijkste Bijdragen en Resultaten

1. Definitie van Resource Proxies: Het artikel formaliseert het begrip van een resource proxy, en voert aan dat voor gemengde toestanden waar strikte monotonen computationeel onhandelbaar zijn, een maatstaf die met overweldigende waarschijnlijkheid als een monotone fungeert, een noodzakelijk en praktisch alternatief is.

2. Analytische Garanties in Willekeurige Ensembles:

   • Haar Random Toestanden: De auteurs bewijzen dat voor generieke Haar-willekeurige toestanden, de schendingswaarschijnlijkheid van $\tilde{M}_{lin}$ onder partiële trace en dephasing afneemt als $\exp(-\eta N)$ met $\eta = O(d/\log d)$, waarbij $d=2^N$. Dit duidt op superexponentieel zeldzame schendingen.
   • Clifford Orbits: Voor toestanden gegenereerd door willekeurige Clifford-unitairiteiten werkend op een vaste seed, neemt de schendingswaarschijnlijkheid af als $\exp(-\eta N)$ met $\eta = O(1)$. Hoewel het ensemble kleiner is dan het Haar-geval, blijven schendingen exponentieel zeldzaam.
   • Random Matrix Product States (MPS): Voor willekeurige MPS met bond dimensie $\chi$, wordt de schendingswaarschijnlijkheid begrensd door $\exp(-\eta N)$ waarbij $\eta = O(\chi^2)$. Zelfs voor een constante $\chi$ zijn schendingen exponentieel onwaarschijnlijk, en de typiciteit verbetert naarmate $\chi$ toeneemt.

3. Numerieke Verificatie in Fysieke Systemen:

   • XY-model: De auteurs hebben de logaritmische gemengde-toestand SE ($\tilde{M}_2$) getest op de grondtoestanden van de spin-1/2 quantum XY-keten. Zij berekenden de uitkomst-gemiddelde post-meting non-stabilizerness kloof voor partiële metingen in de computationele basis. Over het gehele fasediagram (inclusclusief geordende en gedisordeerde fasen en beide parity sectoren) bleef de kloof strikt positief. Dit demonstreert dat $\tilde{M}_2$ (en bij uitbreiding $\tilde{M}_{lin}$) niet toeneemt op gemiddelde onder partiële metingen in dit specifieke veel-deeltjes systeem.
   • Open Boundary Conditions (OBC): Numerieke analyse van willekeurige MPS met OBC bevestigde dat zowel $\tilde{M}_{lin}$ als $\tilde{M}_2$ positieve kloven behouden onder dephasing en partiële trace over diverse systeemgroottes en bond dimensie schalingen.

Betekenis en Claims
Het artikel claimt dat de Lineaire Stabilizer Entropy ($\tilde{M}_{lin}$) dient als een betrouwbare, efficiënt berekenbare proxy voor non-stabilizerness in gemengde toestanden. De auteurs voeren aan dat, gezien de bewezen computationele hardheid van strikte monotonen voor gemengde toestanden, het "resource proxy" framework niet louter een gemak is, maar een noodzaak voor praktische toepassingen.

De betekenis ligt in het mogelijk maken van de betrouwbare kwantificering van magic-bronnen in:

• Ruisgevoelige quantum informatie processen waarbij metingen en decoherentie een rol spelen.
• Veel-deeltjes systemen waarbij toegang tot subsystem eigenschappen (via gereduceerde dichtheidsmatrices) vereist is.
• Experimentele settings waarbij volledige toestandstoetsing (tomografie) onhaalbaar is, maar lineaire entropieën experimenteel toegankelijk zijn.

Het werk suggereert dat hoewel strikte monotoniciteit niet gegarandeerd kan worden voor alle gemengde toestanden, de waarschijnlijkheid van schending zo laag is in fysiek relevante ensembles (Haar, Clifford, MPS, en specifieke Hamiltoniaanse grondtoestanden) dat Stabilizer Entropy gebruikt kan worden als een geldige bronmaatstaf met "overweldigende waarschijnlijkheid". De auteurs blijven bescheiden en merken op dat hoewel hun resultaten robuust zijn over de geteste ensembles, verdere verificatie nodig is voor andere klasse van toestanden (bijv. $t$-doped stabilizer toestanden) en 2D variatieve ansatze (PEPS).