Nonlocal magic of fermions is bounded by entanglement fluctuations and is logarithmic for free fermions

Technische Samenvatting: Niet-lokale Magie van Fermionen is Begrensd door Verstrengelingsfluctuaties

Probleemstelling
Vrije fermionische toestanden (Gaussiaanse toestanden), inclusief Hartree–Fock en BCS mid-field toestanden, zijn klassiek simuleerbaar, maar wanneer ze als qubits worden gerepresenteerd, bezitten ze doorgaans uitgebreide "magie" (niet-stabilizer-eigenschappen). Magie kwantificeert de moeilijkheid van klassieke simulatie via stabilizer-formalismen en de hulpbronnenkosten voor fouttolerante kwantumcomputatie (specifiek het aantal niet-Clifford $T$-poorten die vereist zijn). Terwijl lokale unitaire operaties lokale magie kunnen verwijderen, blijft "niet-lokale magie" bestaan, opgeslagen in de verstrengeling tussen twee subsystemen.

De centrale vraag die wordt behandeld is: Hoeveel niet-lokale magie bezitten vrije fermionische toestanden daadwerkelijk? Vorig werk stelde vast dat als lokale operaties beperkt zijn tot Gaussiaanse unitaire operaties (die vrije fermionen naar vrije fermionen mappen), de niet-lokale magie lineair groeit met het aantal $m$ gedeeltelijk verstrengelde fermion-paren. Echter, algemene lokale unitaire operaties voor fermionen zijn slechts beperkt door fermion-pariteit superselectie (ze moeten commuteren met de pariteit van elke regio) en hoeven niet Gaussiaans te zijn. Dit onderzoek onderzoekt of het toestaan van algemene pariteit-behoudende (niet-Gaussiaanse) lokale unitaire operaties de niet-lokale magie vermindert, en zo ja, door welk mechanisme en in welke mate.

Methodologie
De auteurs analyseren zuivere fermionische toestanden over een bipartitie $A|B$. Ze gebruiken twee primaire maten voor niet-lokale magie:

1. Niet-lokale Stabilizer Rényi Entropie ($M_{\alpha}^{NL}$): De minimale SRE die bereikbaar is na optimalisatie over lokale unitaire operaties.
2. Niet-lokale Stabilizer Fidelity ($\Phi$): De maximale overlap tussen de toestand (na lokale unitaire operaties) en een willekeurige stabilizer-toestand. Dit is gerelateerd aan de niet-lokale min-relatieve entropie van magie ($D_{min}^{NL} = -\log_2 \Phi$).

De methodologie omvat:

• Schmidt-decompositie met Pariteit: Het decomponeren van de toestand in Schmidt-vectoren met een definitieve pariteit (even/oneven sectoren). De auteurs leiden een exacte formule af voor de maximale fidelity $\Phi_S^{NL}$ die bereikbaar is door pariteit-even lokale unitaire operaties, wat inhoudt dat de grootste Schmidt-waarden uit de even en oneven sectoren worden geselecteerd om een "vlak" doelspectrum (Bell-paren) te matchen.
• Verstrengelingscapaciteit ($C_E$): Het definiëren van $C_E$ als de variantie van de verstrengelings-Hamiltoniaan (of de variantie van de verstrengelingsenergieën $X_i = -\log_2 \lambda_i$). De auteurs behandelen de verstrengelingsenergie als een willekeurige variabele en gebruiken statistische argumenten (centrale limietstelling, Berry–Esseen-stelling) om de fidelity te begrenzen op basis van de spreiding van deze distributie.
• Vergelijking van Operaties: Het contrasteren van de prestaties van lokale Gaussiaanse unitaire operaties (die de vrije-fermion structuur behouden) tegenover algemene pariteit-behoudende unitaire operaties (die Fock-toestand-permutaties omvatten).

Belangrijkste Bijdragen en Resultaten

1. Reductie van Niet-lokale Magie van Lineair naar Logaritmisch:
   Het artikel toont aan dat de uitgebreide (lineaire in $m$) niet-lokale magie die onder Gaussiaanse restricties wordt waargenomen, een artefact is van die restrictie. Wanneer algemene pariteit-behoudende lokale unitaire operaties worden toegestaan, daalt de niet-lokale magie aanzienlijk.

   • Fidelity: De fidelity met de beste stabilizer-toestand vervalt als $O(1/\sqrt{m})$ in plaats van exponentieel ($e^{-\Theta(m)}$) voor gedeeltelijk verstrengelde paren.
   • Magie-maten: Bijgevolg dalen de niet-lokale magie-maten van $\Theta(m)$ naar $\Theta(\log m)$. Specifiek, $D_{min}^{f,NL} \approx \frac{1}{2} \log_2 m$ en $M_2^{f,NL} \approx \frac{3}{2} \log_2 C_E$.

2. De Rol van Verstrengelingscapaciteit ($C_E$):
   De auteurs stellen een fundamentele grens vast: de niet-lokale magie van elke zuivere fermionische toestand met een definitieve pariteit wordt begrensd door de capaciteit van verstrengeling.
   $$\Phi_S^{NL} \geq \frac{0.478}{\sqrt{C_E + 5}}$$
   Dit impliceert dat een toestand alleen grote niet-lokale magie kan hebben als de Schmidt-gewichten verspreid zijn over vele grootteordes (grote variantie in verstrengelingsenergie). Omdat vrije fermion-paren onafhankelijk bijdragen aan $C_E$, en elk paar maximaal een constante $c^* \approx 0.44$ toevoegt, groeit $C_E$ slechts lineair met $m$. Deze lineaire groei van $C_E$ leidt tot de logaritmische schaling van de niet-lokale magie.

3. Optimaliteit van Gaussiaanse versus Niet-Gaussiaanse Unitaire Operaties:

   • Kleine Systemen ($m \leq 3$): Voor maximaal drie verstrengelde paren wordt bewezen dat lokale Gaussiaanse unitaire operaties optimaal zijn onder alle pariteit-even unitaire operaties. Het onderscheid tussen Gaussiaanse en niet-Gaussiaanse operaties is hier niet essentieel.
   • Grotere Systemen ($m \geq 4$): Voor vier of meer paren presteren algemene pariteit-behoudende unitaire operaties (specifiek die met betrekking tot Fock-toestand-permutaties) strikt beter dan Gaussiaanse unitaire operaties, waardoor de SRE onder het door Gaussiaanse restricties bepaalde minimum daalt.

4. Statistische Oorsprong van de Grens:
   De $1/\sqrt{m}$ verval van de fidelity wordt aangetoond als statistisch. Bell-paren hebben een vlak verstrengelingsspectrum (nul capaciteit). Om ver van Bell-paren te blijven (d.w.z. een hoge niet-lokale magie te hebben), moeten de Schmidt-gewichten van een toestand breed verdeeld zijn. De capaciteit $C_E$ meet deze spreiding. Voor vrije fermionen is de verstrengelingsenergie een som van onafhankelijke bijdragen, wat leidt tot een standaarddeviatie die schaalt als $\sqrt{m}$, wat de $1/\sqrt{m}$ fidelity-grens dicteert.

5. Kritische Systemen:
   Voor kritische vrije-fermion ketens (bijv. de XX-keten) groeit de capaciteit $C_E$ logaritmisch met de subsystem-grootte ($\ell$). Bijgevolg groeit de niet-lokale magie dubbel logaritmisch ($\log \log \ell$), wat consistent is met bevindingen voor qubit-ketens.

Betekenis en Claims
Het artikel claimt dat bijna alle magie van vrije fermionische toestanden (inclusief Hartree–Fock en BCS toestanden) lokaal is. Het niet-lokale deel, dat de onherleidbare kosten vertegenwoordigt voor het voorbereiden van de correlaties van de toestand met behulp van stabilizer-circuits, is verrassend klein en groeit slechts logaritmisch met het aantal verstrengelde paren.

• Implicatie voor Kwantumsimulatie: Hoewel vrije fermionen magie dragen, is het niet-lokale deel niet uitgebreid. Dit suggereert dat de "moeilijkheid" van het simuleren van vrije fermionen via stabilizer-methoden niet komt door langetermijnverstrengelingscomplexiteit, maar door de lokale structuur.
• Implicatie voor Fouttolerante Computatie: Het aantal $T$-poorten dat vereist is om vrije fermionische toestanden voor te bereiden (tot aan lokale unitaire operaties) is begrensd door een logaritmische functie als er algemene pariteit-behoudende operaties beschikbaar zijn, in plaats van lineair.
• Universaliteit: De grens $D_{min}^{NL} \leq \frac{1}{2} \log_2 C_E + O(1)$ geldt voor elke fermionische toestand (vrij of interagerend), mits de capaciteit van verstrengeling bekend is.

De auteurs stellen expliciet dat hun resultaten de kwestie niet veranderen dat vrije fermionen klassiek simuleerbaar zijn (magie-maten kosten voor de stabilizer-simulatie, niet de algemene klassieke complexiteit) en dat zij de kosten voor het implementeren van de niet-Gaussiaanse lokale unitaire operaties zelf niet schatten, aangezien deze binnen de regio's mogelijk niet-Clifford hulpbronnen vereisen.