Entanglement-spectrum fingerprint of a non-invertible symmetry: the Kramers--Wannier duality defect on the lattice

Technische Samenvatting: Entanglement-spectrum vingerafdruk van een niet-inverteerbare symmetrie

Probleemstelling
Niet-inverteerbare symmetrieën, gekenmerkt door fusie-categorieën met irrationele kwantumdimensies, hebben het theoretische begrip van symmetrie in kwantumveel-deeltjessystemen hervormd. Hoewel het topologische karakter van deze symmetrieën goed gedefinieerd is via defectlijnen, blijft hun microscopische afdruk op de verstrengelingsstructuur van kwantumtoestanden onopgelost op het spectrale niveau. Eerdere studies hebben niet-inverteerbaarheid alleen geïdentificeerd via geïntegreerde grootheden, zoals de scalaire randentropie ($\log g$) of symmetrie-opgeloste entropieën. Deze geïntegreerde maten falen in het onthullen van de specifieke microscopische modi die verantwoordelijk zijn voor de irrationele kwantumdimensie of de niveau-opgeloste structuur van de defect-Hilbertruimte. Het centrale probleem dat wordt aangepakt, is het identificeren van de enkeldeeltjes-entanglement-spectrum kenmerken die de categorische data (kwantumdimensie, twist-veld gewicht en conformale toren) van een niet-inverteerbaar defect coderen.

Methodologie
De auteurs richten zich op het canonieke voorbeeld van een niet-inverteerbare symmetrie: het Kramers–Wannier (KW) dualiteitsdefect in de kritische 1+1D Ising-keten. De studie maakt gebruik van de exacte vrije-fermion oplosbaarheid van het Ising-model om te dienen als een benchmark voor machine-precisie kalibratie.

• Lattice Constructie: Het systeem wordt gemodelleerd als een kritische transversale veld Ising-keten met een dualiteit-getwiste randvoorwaarde (Aasen–Mong–Fendley constructie). Dit wordt geïmplementeerd via een niet-lokale randterm ($-Z_L Y_1$) in plaats van een lokale binding, wat resulteert in een Hamiltoniaan met $2L-1$ onafhankelijke Majorana-modi (een effectieve lengte $L_{\text{eff}} = L - 1/2$).
• Numerieke Probes: De auteurs gebruiken Peschels correlatiematrix-methode om het enkeldeeltjes entanglement-spectrum (ES) en subsystem-entropieën te berekenen.
  • Entanglement Spectrum: Afgeleid van de eigenwaarden van de beperkte Majorana-correlatiematrix, $\xi_k = \ln[(1+\nu_k)/(1-\nu_k)]$.
  • Randentropie ($\log g$): Geëxtraheerd via een dubbele extrapolatie van de subsystem-entropie ($L \to \infty$ bij vaste $\ell$, dan $\ell \to \infty$).
  • Conformale Data: Het twist-veld gewicht ($h_\sigma$) wordt bepaald via twee onafhankelijke routes: (1) de momentumverschuiving van de gedegenereerde grondtoestanden onder een gemodificeerde translatie-operator (conforme spin), en (2) de Casimir-kromming van de grondtoestand-energie schaling (conforme gewicht).
• Controles: De studie contrasteert het KW-defect expliciet met een inverteerbaar $\mathbb{Z}_2$ symmetrie-defect (een enkele tekenomkering van een binding) om kenmerken te isoleren die uniek zijn voor niet-inverteerbaarheid.

Belangrijkste Resultaten
Het artikel demonstreert dat de volledige set categorische data voor het KW-dualiteitsdefect gecodeerd is in het enkeldeeltjes entanglement-spectrum van de grondtoestand:

1. Kwantumdimensie als een Zero Mode: De irrationele kwantumdimensie $d_\sigma = \sqrt{2}$ manifesteert zich als een maximaal gemengde Majorana zero mode ($\xi = 0$) in het entanglement-spectrum. Deze mode is afwezig in zowel de homogene keten als in het inverteerbare $\mathbb{Z}_2$ defect. De zero mode draagt exact $\ln 2$ aan on-site entropie, wat de spectrale oorsprong is van de randentropie $\log g = \frac{1}{2} \ln 2$. Numerieke resultaten bevestigen de zero mode met machine-precisie ($|\xi| < 5 \times 10^{-16}$).
2. Twist-veld Gewicht ($h_\sigma$): Het conforme gewicht $h_\sigma = 1/16$ wordt met hoge precisie ($10^{-5}$ overeenstemming) vastgesteld via twee onafhankelijke methoden:
   • Conforme Spin: De grondtoestand-impulsen onder de gemodificeerde translatie-operator worden gevonden als $\pm 1/16, \pm 7/16$.
   • Casimir Kromming: Het fitten van de grondtoestand-energie schaling $E_0(L)$ levert $h_{\text{dual}} = 0.062501$ op, wat overeenkomt met de doelwaarde $1/16$.
3. Getwiste Conformale Toren: Het veel-deeltjes spectrum organiseert zich in een $\sigma$-getwiste (Ramond-achtige) conformale toren. In tegen tegenstelling tot de Neveu–Schwarz toren van de homogene keten (verschoven door $1/4$), vormt de defect-sector een half-integer sequentie $\{0, 1/2, 1, \dots\}$, waarbij afwijkingen van de exacte roosterwaarden onder de $2.7 \times 10^{-4}$ blijven voor systeemgroottes tot $L=512$.

Betekenis en Claims
Het artikel claimt de microscopische oorsprong van niet-inverteerbare symmetrie-afdrukken op entanglement te hebben opgelost. Door de randentropie te promoveren van een enkele geïntegreerde waarde naar een "niveau-opgeloste spectrale signatuur", identificeert het werk de specifieke mode (de maximaal gemengde Majorana zero mode) die de irrationele kwantumdimensie draagt.

• Kalibratie Benchmark: De auteurs benadrukken dat hun resultaten een exact oplosbaar referentiepunt bieden met machine-precisie waarden. Dit dient als een kritisch kalibratiemodel voor tensor-netwerkstudies van dualiteits-defecten in niet-oplosbare modellen (bijv. de Fibonacci anyonische keten) waar vrije-fermion shortcuts niet beschikbaar zijn.
• Diagnostisch Protocol: De studie stelt een diagnostisch programma voor niet-inverteerbaarheid vast: de aanwezigheid van een gekwantiseerde $\xi=0$ zero mode (die $\ln 2$ entropie draagt) en een rigide half-integer conformale toren zijn de definitieve signaturen. Dit onderscheidt niet-inverteerbare defecten van inverteerbare topologische defecten, die dergelijke zero modes missen en een gapend entanglement-spectrum bezitten.
• Reikwijdte: De auteurs geven expliciet aan dat hoewel de exacte getallen afhangen van de vrije-fermion oplosbaarheid van het Ising-model, het diagnostische kader (dualiteit-getwiste randen gevolgd door lading- of spectrum-opgeloste entanglement-analyse) bedoeld is voor toepassing op niet-oplosbare settings. Het artikel stelt geen nieuwe experimentele opstellingen voor, maar biedt een theoretische benchmark voor numerieke validatie.