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

Resumo Técnico: Entropia de Entrelaçamento dos Estados Fundamentais do Hamiltoniano de Landau no Semiplano

Enunciado do Problema
O artigo investiga o comportamento de escala da entropia de entrelaçamento (EE) para estados fundamentais de sistemas fermiônicos não interagentes definidos em um domínio espacial com uma fronteira. Especificamente, foca no Hamiltoniano de Landau definido no semiplano $\Omega = \mathbb{R}_+ \times \mathbb{R}$ com condições de contorno de Dirichlet. A questão central é como a presença de uma fronteira e as propriedades espectrais resultantes afetam a escala assintótica de ordem principal da EE quando o tamanho do sistema $L$ tende ao infinito.

A literatura anterior estabeleceu uma dicotomia na escala da EE:

1. Lei de Área Estrita: Escala como $L^{d-1}$ (onde $d$ é a dimensão espacial). Isso é tipicamente associado a sistemas que possuem um espectro de puro ponto (por exemplo, o Hamiltoniano de Landau no plano completo $\mathbb{R}^2$) ou núcleos de projeção espectral com decaimento exponencial.
2. Lei de Área com Melhoria Logarítmica: Escala como $L^{d-1} \ln(L)$. Isso é observado em sistemas com espectro puramente absolutamente contínuo e decaimento lento do núcleo da projeção espectral (por exemplo, o operador de Laplace em $\mathbb{R}^d$).

O Hamiltoniano de Landau no plano completo ($H$) possui um espectro de puro ponto (níveis de Landau) e exibe uma lei de área estrita. Em contraste, o Hamiltoniano de Landau no semiplano ($H_+$) possui um espectro puramente absolutamente contínuo. Os autores visam determinar se essa mudança na natureza espectral (de puro ponto para absolutamente contínuo) induz uma transição para uma lei de área com melhoria logarítmica, ou se a lei de área estrita persiste apesar do espectro contínuo.

Metodologia
Os autores empregam uma abordagem operador-teórica rigorosa envolvendo as seguintes etapas:

1. Decomposição em Integral Direta: Usando uma transformada de Fourier parcial em relação à coordenada não limitada $x_2$, o Hamiltoniano $H_+$ é decomposto em uma integral direta de osciladores harmônicos unidimensionais deslocados, $H_+(k) = -\frac{d^2}{dx^2} + (x-k)^2$, definidos em $L^2(\mathbb{R}_+)$ com condições de contorno de Dirichlet em $x=0$. O Hamiltoniano do plano completo $H$ é similarmente decomposto em osciladores $H(k)$ em $L^2(\mathbb{R})$.
2. Análise Espectral: As projeções do estado fundamental $P_\mu = \mathbb{1}(H \le \mu)$ e $P_\mu^+ = \mathbb{1}(H_+ \le \mu)$ são analisadas. Para o semiplano, o espectro de $H_+(k)$ depende do parâmetro $k$. Os autores identificam um valor crítico $k_F$ tal que para $k < k_F$, a energia do estado fundamental excede a energia de Fermi $\mu$, enquanto para $k \ge k_F$, existe um único autoestado abaixo de $\mu$.
3. Comparação de Projeções: O cerne da prova envolve estimar a diferença entre as projeções de Fermi localizadas no semiplano e no plano completo, especificamente o operador $D = P_\mu^+ - P_\mu(\mathbb{R}_+ \times \mathbb{R})$. Os autores derivam uma representação integral explícita para a norma de Hilbert-Schmidt dessa diferença restrita a quadrados unitários.
4. Estimativas em Funções de Cilindro Parabólico: Os autoestados dos osciladores deslocados são expressos em termos de funções de cilindro parabólico $D_\nu$. Os autores derivam estimativas pontuais e de norma $L^2$ precisas para a diferença entre os autoestados na semireta ($\psi_k$) e na reta completa ($\phi_k$). Essas estimativas mostram que a diferença decai exponencialmente com relação ao parâmetro de deslocamento $k$.
5. Limites de Norma de Schatten: Ao somar as estimativas locais sobre o domínio e utilizar a desigualdade $p$-triangular para normas $p$-quasi de Schatten (especificamente para $p \in (0, 1]$), os autores limitam a norma global do operador de diferença.
6. Desigualdades de Traço: Finalmente, eles aplicam uma desigualdade do tipo Sobolev para funções de operadores para limitar a diferença nas entropias de entrelaçamento $|\mathcal{S}_\alpha^+(L\Lambda) - \mathcal{S}_\alpha(L\Lambda)|$ pela norma de Schatten da diferença das projeções.

Principais Resultados

1. Lei de Área Estrita para o Semiplano: O teorema principal (Teorema 2.1) prova que, para qualquer região $\Lambda \subset \mathbb{R}_+ \times \mathbb{R}$ de suavidade $C^3$-limitada, a entropia de entrelaçamento de Rényi $\alpha$ do semiplano $S_\alpha^+(L\Lambda)$ satisfaz uma limitação de lei de área estrita:
   $$S_\alpha^+(L\Lambda) \le C L |\partial \Lambda|$$
   onde $C$ é independente de $L$ e $\Lambda$.
2. Equivalência Assintótica: Se o domínio $\Lambda$ estiver estritamente separado da fronteira $\{0\} \times \mathbb{R}$, o termo de ordem principal da entropia no semiplano é idêntico ao do plano completo:
   $$S_\alpha^+(L\Lambda) = L |\partial \Lambda| M_0(h_\alpha) + o(L)$$
   Isso implica que a condição de contorno de Dirichlet não altera a escala de ordem principal da EE, embora mude fundamentalmente o espectro de puro ponto para absolutamente contínuo.
3. Propriedades de Decaimento: O núcleo integral da projeção de Fermi $P_\mu^+$ exibe decaimento exponencial na direção paralela à fronteira ($x_1$), mas apenas decaimento polinomial ($O(1/|t|)$) na direção perpendicular à fronteira ($x_2$).

Significância e Alegações
O artigo afirma fornecer um contraexemplo à heurística de que um espectro puramente absolutamente contínuo necessariamente leva a uma lei de área com melhoria logarítmica. Enquanto o operador de Laplace (puramente absolutamente contínuo) exibe a lei com melhoria, o Hamiltoniano de Landau no semiplano (também puramente absolutamente contínuo) exibe uma lei de área estrita.

Os autores concluem que a presença de espectro absolutamente contínuo não é uma condição suficiente para uma lei de área com melhoria logarítmica. Eles destacam que as propriedades de decaimento do núcleo integral são cruciais: embora a projeção do semiplano decaia exponencialmente em uma direção, seu decaimento polinomial na outra direção é insuficiente para gerar a melhoria logarítmica observada no caso do Laplaciano (onde o decaimento é polinomial em todas as direções).

O artigo termina propondo uma questão aberta: Quais condições mais finas e específicas sobre a medida espectral ou o decaimento do núcleo integral de um operador de Schrödinger são necessárias para garantir uma lei de área com melhoria logarítmica? Os autores não fornecem uma resposta definitiva para esta questão, mas sugerem que a interação entre o tipo espectral e o decaimento espacial é mais sutil do que anteriormente assumido.