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

Resumen Técnico: Entropía de Entrelazamiento de los Estados Fundamentales del Hamiltoniano de Landau en el Semiplano

Planteamiento del Problema
El artículo investiga el comportamiento de escala de la entropía de entrelazamiento (EE) para estados fundamentales de sistemas fermiónicos no interactuantes definidos en un dominio espacial con una frontera. Específicamente, se centra en el Hamiltoniano de Landau definido en el semiplano $\Omega = \mathbb{R}_+ \times \mathbb{R}$ con condiciones de contorno de Dirichlet. La cuestión central es cómo la presencia de una frontera y las propiedades espectrales resultantes afectan la escala asintótica de orden principal de la EE cuando el tamaño del sistema $L$ tiende a infinito.

La literatura previa ha establecido una dicotomía en la escala de la EE:

1. Ley de Área Estricta: Escala como $L^{d-1}$ (donde $d$ es la dimensión espacial). Esto se asocia típicamente con sistemas que poseen un espectro de punto puro (por ejemplo, el Hamiltoniano de Landau en el plano completo $\mathbb{R}^2$) o núcleos de proyección espectral con decaimiento exponencial.
2. Ley de Área con Mejora Logarítmica: Escala como $L^{d-1} \ln(L)$. Esto se observa en sistemas con espectro puramente absolutamente continuo y un decaimiento lento del núcleo de la proyección espectral (por ejemplo, el operador de Laplace en $\mathbb{R}^d$).

El Hamiltoniano de Landau en el plano completo ($H$) tiene un espectro de punto puro (niveles de Landau) y exhibe una ley de área estricta. En contraste, el Hamiltoniano de Landau en el semiplano ($H_+$) posee un espectro puramente absolutamente continuo. Los autores pretenden determinar si este cambio en la naturaleza espectral (de punto puro a absolutamente continuo) induce una transición hacia una ley de área con mejora logarítmica, o si la ley de área estricta persiste a pesar del espectro continuo.

Metodología
Los autores emplean un enfoque operatorio riguroso que involucra los siguientes pasos:

1. Descomposición de Integral Directa: Utilizando una transformada de Fourier parcial con respecto a la coordenada no acotada $x_2$, el Hamiltoniano $H_+$ se descompone en una integral directa de osciladores armónicos desplazados unidimensionales, $H_+(k) = -\frac{d^2}{dx^2} + (x-k)^2$, definidos en $L^2(\mathbb{R}_+)$ con condiciones de Dirichlet en $x=0$. El Hamiltoniano del plano completo $H$ es similarmente descompuesto en osciladores $H(k)$ en $L^2(\mathbb{R})$.
2. Análisis Espectral: Las proyecciones de los estados fundamentales $P_\mu = \mathbb{1}(H \le \mu)$ y $P_\mu^+ = \mathbb{1}(H_+ \le \mu)$ son analizadas. Para el semiplano, el espectro de $H_+(k)$ depende del parámetro $k$. Los autores identifican un valor crítico $k_F$ tal que para $k < k_F$, la energía del estado fundamental excede la energía de Fermi $\mu$, mientras que para $k \ge k_F$, existe un único autoestado por debajo de $\mu$.
3. Comparación de Proyecciones: El núcleo de la demostración consiste en estimar la diferencia entre las proyecciones de Fermi localizadas en el semiplano y en el plano completo, específicamente el operador $D = P_\mu^+ - P_\mu(\mathbb{R}_+ \times \mathbb{R})$. Los autores derivan una representación integral explícita de la norma de Hilbert-Schmidt de esta diferencia restringida a cuadrados unitarios.
4. Estimaciones sobre Funciones de Cilindro Parabólico: Los autofunciones de los osciladores desplazados se expresan en términos de funciones de cilindro parabólico $D_\nu$. Los autores derivan estimaciones puntuales precisas y de norma $L^2$ de la diferencia entre los autofunciones en la semirrecta ($\psi_k$) y la recta completa ($\phi_k$). Estas estimaciones muestran que la diferencia decae exponencialmente con respecto al parámetro de desplazamiento $k$.
5. Límites de la Norma de Schatten: Al sumar las estimaciones locales sobre el dominio y utilizar la desigualdad p-triangular para las cuasi-normas de Schatten $p$ (específicamente para $p \in (0, 1]$), los autores acotan la norma global del operador de diferencia.
6. Desigualdades de Traza: Finalmente, aplican una desigualdad de tipo Sobolev para funciones de operadores para acotar la diferencia en las entropías de entrelazamiento $|S_\alpha^+(L\Lambda) - S_\alpha(L\Lambda)|$ mediante la norma de Schatten de la diferencia de las proyecciones.

Resultados Clave

1. Ley de Área Estricta para el Semiplano: El teorema principal (Teorema 2.1) demuestra que para cualquier región $\Lambda \subset \mathbb{R}_+ \times \mathbb{R}$ acotada y de clase $C^3$, la entropía de entrelazamiento de Rényi $\alpha$ $S_\alpha^+(L\Lambda)$ satisface una cota de ley de área estricta:
   $$S_\alpha^+(L\Lambda) \le C L |\partial \Lambda|$$
   donde $C$ es independiente de $L$ y $\Lambda$.
2. Equivalencia Asintótica: Si el dominio $\Lambda$ está estrictamente separado de la frontera $\{0\} \times \mathbb{R}$, el término de orden principal de la entropía en el semiplano es idéntico al del plano completo:
   $$S_\alpha^+(L\Lambda) = L |\partial \Lambda| M_0(h_\alpha) + o(L)$$
   Esto implica que la condición de contorno de Dirichlet no altera la escala de orden principal de la EE, a pesar de que cambia fundamentalmente el espectro de punto puro a absolutamente continuo.
3. Propiedades de Decaimiento: El núcleo integral de la proyección de Fermi $P_\mu^+$ exhibe un decaimiento exponencial en la dirección paralela a la frontera ($x_1$), pero solo un decaimiento polinomial ($O(1/|t|)$) en la dirección perpendicular a la frontera ($x_2$).

Significado y Reivindicaciones
El artículo afirma proporcionar un contraejemplo a la heurística de que un espectro puramente absolutamente continuo conduce necesariamente a una ley de área con mejora logarítmica. Mientras que el operador de Laplace (puramente absolutamente continuo) exhibe la ley mejorada, el Hamiltoniano de Landau en el semiplano (también puramente absolutamente continuo) exhibe una ley de área estricta.

Los autores concluyen que la presencia de un espectro absolutamente continuo no es una condición suficiente para una ley de área con mejora logarítmica. Destacan que las propiedades de decaimiento del núcleo integral son cruciales: mientras que la proyección del semiplano decae exponencialmente en una dirección, su decaimiento polinomial en la otra es insuficiente para generar la mejora logarítmica observada en el caso del Laplaciano (donde el decaimiento es polinomial en todas las direcciones).

El artículo finaliza planteando una pregunta abierta: ¿Qué condiciones más finas y específicas sobre la medida espectral o el decaimiento del núcleo integral de un operador de Schrödinger son necesarias para garantizar una ley de área con mejora logarítmica? Los autores no proporcionan una respuesta definitiva a esta pregunta, pero sugieren que la interacción entre el tipo espectral y el decaimiento espacial es más sutil de lo que se suponía anteriormente.