Resource complexity of Symmetry Protected Topological phases

Technische Samenvatting: Resourcecomplexiteit van Symmetry Protected Topological Phases

Probleemstelling
Een centrale uitdaging in de kwantuminformatiewetenschap is het identificeren van de specifieke kwantumresources die kwantumsuperioriteit mogelijk maken, waarbij onderscheid wordt gemaakt tussen kwantumtoestanden die computationele voordelen bieden ten opzichte van klassieke simulaties. Hoewel verstrengeling historisch gezien werd beschouwd als de primaire brug tussen veel-deeltjesfysica en kwantuminformatie, is nu begrepen dat verstrengeling alleen onvoldoende is; sterk verstrengelde toestanden kunnen klassiek simuleerbaar zijn, terwijl sommige kwantumvoordelen voortkomen uit minimale verstrengeling. Bijgevolg is "kwantummagie" (of nonstabilizerheid) een cruciale resource geworden, die de afstand van een kwantumtoestand tot de stabilizer-manifold (toestanden die voorbereid kunnen worden via Clifford-circuits) kwantificeert.

Topologische fasen van materie, in het bijzonder Symmetry Protected Topological Phases (SPTPs), worden vaak gehypothetiseerd als het herbergen van een hoge kwantumcomplexiteit vanwege hun niet-lokale codering en bescherming tegen lokale perturbaties. Echter, deze connectie is niet universeel (bijvoorbeeld: de grondtoestand van de toric code is een stabilizer-toestand met nul magie). In eendimensionale systemen zijn SPTPs fragieler dan inherente topologische fasen, maar ze dienen wel als resources voor measurement-based quantum computation (MBQC). De centrale vraag die in dit werk wordt behandeld, is of de topologische orde die inherent is aan 1D SPTPs zich manifesteert als een intrinsieke toename in kwantummagie vergeleken met hun topologisch triviale tegenhangers.

Methodologie
De auteurs evalueren kwantummagie met behulp van de rang-2 Stabilizer Rényi Entropie ($M_2$), gedefinieerd voor een zuivere toestand $|\psi\rangle$ van $L$ qubits als:
$$M_2(|\psi\rangle) = \log_2 \left( \frac{1}{2^L} \sum_P |\langle \psi| P |\psi\rangle|^4 \right)$$
waarbij de som loopt over alle Pauli-strings $P$. De studie richt zich op eendimensionale modellen die een exacte dualiteit bezitten die een topologische fase aan een triviale fase koppelt. Dit maakt een strikte vergelijking van magie bij duale punten mogelijk.

De analyse maakt gebruik van drie specifieke modellen:

1. Gedimeriseerde XX-keten (SSH-model): Vertoont een SPTP voor dimerisatie $\delta \in (0, 1]$ en een triviale fase voor $\delta \in [-1, 0)$.
2. Cluster–Ising-keten: Vertoont een SPTP (clusterfase) wanneer de drieledige clusterinteractie domineert ($\lambda < 1$) en een triviale antiferromagnetische fase wanneer de Ising-koppeling domineert ($\lambda > 1$).
3. Transversaal-Veld Ising-keten: Een niet-topologisch model met een zelf-dualiteit tussen ferromagnetische en paramagnetische fasen, gebruikt als controlegeval.

Numerieke simulaties maken gebruik van Density Matrix Renormalization Group (DMRG) om grondtoestanden te verkrijgen via Matrix Product States (MPS). De $M_2$ wordt geëvalueerd met twee complementaire benaderingen, waarbij de bond-dimensies worden afgekapt bij $\chi \approx 200-450$ voor de Pauli-basisexpansie. De studie vergelijkt systematisch resultaten onder Periodic Boundary Conditions (PBCs), die dualiteit behouden, en Open Boundary Conditions (OBCs), die dualiteit breken en randtoestanden introduceren.

Belangrijkste Resultaten
Het onderzoek levert verschillende contra-intuïtieve bevindingen op met betrekking tot de relatie tussen topologische orde en kwantummagie:

• Identieke Magie bij Duale Punten (PBCs): Onder periodieke randvoorwaarden, waar de dualiteitssymmetrie exact is, zijn de $M_2$-waarden voor de grondtoestanden van de topologische en triviale fasen bij duale punten identiek. Voor de gedimeriseerde XX-keten geldt $M_2(\delta) = M_2(-\delta)$; voor het Cluster–Ising-model geldt $M_2(\lambda) = M_2(1/\lambda)$. Dit geeft aan dat het topologische karakter van de fase niet inherent de niet-Clifford resources verhoogt die nodig zijn om de toestand voor te bereiden.
• Subextensieve Asymmetrie onder OBCs: Onder open randvoorwaarden ontstaat een verschil in magie, $\Delta M_2$, tussen duale punten. Deze asymmetrie is echter geen topologische invariant. In plaats daarvan is het een subextensieve correctie die afhankelijk is van microscopische Hamiltonian-parameters en systeemgrootte. Naarmate de systeemgrootte $L$ toeneemt, convergeert $\Delta M_2$ naar een eindige, niet-constante functie van de controleparameter (bijv. $\delta$ of $\lambda$).
• Niet-Topologische Oorsprong: De geobserveerde asymmetrie onder OBCs wordt toegeschreven aan het breken van de dualiteitssymmetrie door randeffecten, in plaats aan de aanwezigheid van topologische orde. Dit wordt bevestigd door de Transversaal-Veld Ising-keten, die geen topologische orde bezit maar dezelfde fenomenologie vertoont: een eindige, parameter-afhankelijke $\Delta M_2$ onder OBCs die verdwijnt onder PBCs.
• Contrast met Topologische Frustratie: De resultaten staan in contrast met systemen met topologische frustratie, waar gedelokaliseerde excitaties een logaritmische groei van magie met de systeemgrootte induceren. In de onderzochte SPTPs is de totale magie grotendeels ongevoelig voor de topologische sector.

Betekenis en Claims
De auteurs concluderen dat topologische orde in 1D SPTPs niet noodzakelijkerwijs een echte computationele resource is in termen van kwantummagie (nonstabilizerheid). De grondtoestanden van SPTPs kunnen worden voorbereid met dezelfde hoeveelheid niet-Clifford resources als hun topologisch triviale dualen.

Het artikel suggereert dat het waargenomen computationele voordeel van SPTPs in MBQC-frameworks mogelijk niet voortkomt uit een intrinsieke toename van de totale magie. In plaats daarvan stellen de auteurs voor dat het beoordelen van computationele complexiteit in deze systemen alternatieve grootheden vereist, zoals Long-Range Magic (LRM), die componenten van nonstabilizerheid vangt die niet geëlimineerd kunnen worden door ondiepe lokale circuits. De bevindingen dagen de aanname uit dat topologische orde automatisch gelijkstaat aan hogere computationele complexiteit binnen het Clifford-resource framework, en benadrukken dat de "magie" van deze toestanden grotendeels wordt bepaald door randvoorwaarden en dualiteitsschendingen in plaats door de topologische fase zelf.

De studie benadrukt dat hoewel SPTPs waardevolle resources zijn voor specifieke computationele taken (zoals MBQC), hun classificatie binnen een Clifford-resource framework niet-triviaal blijft, en dat de geobserveerde complexiteit een manifestatie kan zijn van randeffecten of specifieke meetprotocollen in plaats van een intrinsieke eigenschap van de topologische orde.