Entanglement entropy of ground states of the Landau Hamiltonian on the half-plane

Technische Samenvatting: Verstrengelingsentropie van Grondtoestanden van de Landau-Hamiltoniaan op het Halfvlak

Probleemstelling
Het artikel onderzoekt de schaling van de verstrengelingsentropie (EE) voor grondtoestanden van niet-interagerende fermionische systemen gedefinieerd op een ruimtelijke domein met een rand. Specifiek richt het zich op de Landau-Hamiltoniaan gedefinieerd op het halfvlak $\Omega = \mathbb{R}_+ \times \mathbb{R}$ met Dirichlet-randvoorwaarden. De centrale vraag is hoe de aanwezigheid van een rand en de resulterende spectrale eigenschappen de leidende asymptotische schaling van de EE beïnvloeden wanneer de systeemgrootte $L$ naar oneindig gaat.

Eerdere literatuur heeft een dichotomie in de EE-schaling vastgesteld:

1. Strikte Area Law (Oppervlakte-wet): Schaling als $L^{d-1}$ (waarbij $d$ de ruimtelijke dimensie is). Dit wordt doorgaans geassocieerd met systemen met een puur puntspectrum (bijv. de Landau-Hamiltoniaan op het volledige vlak $\mathbb{R}^2$) of exponentieel vervallende integraalkernen van de spectrale projectie.
2. Logaritmisch Versterkte Area Law: Schaling als $L^{d-1} \ln(L)$. Dit wordt waargenomen in systemen met een puur absoluut continu spectrum en een traag verval van de spectrale projectie-kern (bijv. de Laplace-operator op $\mathbb{R}^d$).

De Landau-Hamiltoniaan op het volledige vlak ($H$) heeft een puur puntspectrum (Landau-niveaus) en vertoont een strikte area law. In tegenstelling hiermee bezit de Landau-Hamiltoniaan op het halfvlak ($H_+$) een puur absoluut continu spectrum. De auteurs beogen te bepalen of deze verandering in de aard van het spectrum (van puur punt naar absoluut continu) een transitie naar een logaritmisch versterkte area law induceert, of dat de strikte area law standhoudt ondanks het continue spectrum.

Methodologie
De auteurs hanteren een rigoureuze operator-theoretische aanpak bestaande uit de volgende stappen:

1. Directe Integraal Decompositie: Met behulp van een gedeeltelijke Fourier-transformatie met betrekking tot de onbegrensde coördinaat $x_2$, wordt de Hamiltoniaan $H_+$ gedecomposeerd in een directe integraal van eendimensionale verschoven harmonische oscillatoren, $H_+(k) = -\frac{d^2}{dx^2} + (x-k)^2$, gedefinieerd op $L^2(\mathbb{R}_+)$ met Dirichlet-randvoorwaarden. De Hamiltoniaan op het volledige vlak $H$ wordt op een soortgelijke wijze gedecomposeerd in oscillatoren $H(k)$ op $L^2(\mathbb{R})$.
2. Spectrale Analyse: De grondtoestandprojecties $P_\mu = \mathbb{1}(H \le \mu)$ en $P_\mu^+ = \mathbb{1}(H_+ \le \mu)$ worden geanalyseerd. Voor het halfvlak is het spectrum van $H_+(k)$ afhankelijk van de parameter $k$. De auteurs identificeren een kritische waarde $k_F$ zodanig dat voor $k < k_F$ de grondtoestandsenergie de Fermi-energie $\mu$ overschrijdt, terwijl er voor $k \ge k_F$ een enkele eigentoestand onder $\mu$ bestaat.
3. Vergelijking van Projecties: De kern van het bewijs omvat het schatten van het verschil tussen de gelokaliseerde Fermi-projecties op het halfvlak en het volledige vlak, specifiek de operator $D = P_\mu^+ - P_\mu(\mathbb{R}_+ \times \mathbb{R})$. De auteurs leiden een expliciete integraalrepresentatie af voor de Hilbert-Schmidt-norm van dit verschil, beperkt tot eenheden vierkanten.
4. Schattingen op Parabolische Cilinderfuncties: De eigenfuncties van de verschoven oscillatoren worden uitgedrukt in termen van parabolische cilinderfuncties $D_\nu$. De auteurs leiden precieze puntgewijze en $L^2$-norm schattingen af voor het verschil tussen de eigenfuncties op de halflijn ($\psi_k$) en de volledige lijn ($\phi_k$). Deze schattingen tonen aan dat het verschil exponentieel vervalt met betrekking tot de verschuivingsparameter $k$.
5. Schatten-norm Grenzen: Door de lokale schattingen over het domein op te tellen en gebruik te maken van de $p$-driehoeksongelijkheid voor Schatten $p$-quasi-normen (specifiek voor $p \in (0, 1]$), begrenzen zij de globale norm van de verschiloperator.
6. Trace-ongelijkheden: Ten slotte passen zij een Sobolev-achtige ongelijkheid voor functies van operatoren toe om het verschil in verstrengelingsentropieën $|S_\alpha^+(L\Lambda) - S_\alpha(L\Lambda)|$ te begrenzen door de Schatten-norm van het verschil van de projecties.

Belangrijkste Resultaten

1. Strikte Area Law voor het Halfvlak: De hoofdbestelling (Theorema 2.1) bewijst dat voor elk begrensd $C^3$-glad gebied $\Lambda \subset \mathbb{R}_+ \times \mathbb{R}$ en Fermi-energie $\mu \in (1, 3)$, de $\alpha$-Rényi verstrengelingsentropie $S_\alpha^+(L\Lambda)$ een strikte area law grens voldoet:
   $$S_\alpha^+(L\Lambda) \le C L |\partial \Lambda|$$
   waarbij $C$ onafhankelijk is van $L$ en $\Lambda$.
2. Asymptotische Equivalentie: Indien het domein $\Lambda$ strikt gescheiden is van de rand $\{0\} \times \mathbb{R}$, is de leidende orde term van de entropie op het halfvlak identiek aan die op het volledige vlak:
   $$S_\alpha^+(L\Lambda) = L |\partial \Lambda| M_0(h_\alpha) + o(L)$$
   Dit impliceert dat de Dirichlet-randvoorwaarde de leidende-orde schaling van de EE niet verandert, ook al verandert het fundamenteel de aard van het spectrum van puur punt naar absoluut continu.
3. Verval-eigenschappen: De integraalkern van de Fermi-projectie $P_\mu^+$ vertoont exponentieel verval in de richting parallel aan de rand ($x_1$) maar slechts polytoom verval ($O(1/|t|)$) in de richting loodrecht op de rand ($x_2$).

Betekenis en Claims
Het artikel beweert een tegenvoorbeeld te bieden voor de heuristiek dat een puur absoluut continu spectrum noodzakelijkerwijs leidt tot een logaritmisch versterkte area law. Hoewel de Laplace-operator (puur absoluut continu) de versterkte wet vertoont, vertoont de Landau-Hamiltoniaan op het halfvlak (eveneens puur absoluut continu) een strikte area law.

De auteurs concluderen dat de aanwezigheid van een absoluut continu spectrum geen voldoende voorwaarde is voor een logaritmisch versterkte area law. Zij benadrukken dat de vervaleigenschappen van de integraalkern cruciaal zijn: hoewel de projectie van het halfvlak in de ene richting exponentieel vervalt, is het polytome verval in de andere richting onvoldoende om de logaritmische versterking te genereren die wordt waargenomen bij de Laplace-operator (waar verval polytoom is in alle richtingen).

Het artikel eindigt met het stellen van een open vraag: Welke specifieke, fijnere condities op de spectrale maat of het verval van de integraalkern van een Schrödinger-operator zijn nodig om een logaritmisch versterkte area law te garanderen? De auteurs geven geen definitief antwoord op deze vraag, maar suggereren dat de interactie tussen het type spectrum en ruimtelijk verval subtieler is dan voorheen aangenomen.