Dynamical splitting and a nodal Bose liquid in 2d chiral XYZ model

Problema y Motivación

El artículo investiga una clase de Hamiltonianos de muchos cuerpos cuánticos caracterizados por una estructura denominada "división dinámica" (dynamical splitting). En estos sistemas, los términos del Hamiltoniano pueden particionarse en dos conjuntos, $H_A$ y $H_B$, que actúan sobre los mismos grados de libertad físicos, de tal manera que cada término en $H_A$ conmuta con cada término en $H_B$, a pesar de que los términos dentro de cada conjunto no conmutan entre sí. Esta estructura difiere de las simplificaciones estándar basadas en simetrías (que descomponen el espacio de Hilbert en una suma directa) al permitir una descomposición en un producto tensorial de grados de libertad efectivos dentro de sectores centrales fijos.

El foco principal es el modelo XYZ quiral, un modelo de espín-1/2 con frustración geométrica en una red triangular. Este modelo fue introducido previamente como un límite especial de un modelo de Majorana–Hubbard y discutido en el contexto de códigos de subsistemas. El autor busca determinar la naturaleza de su estado fundamental, investigando específicamente si realiza una fase topológica con brecha (gapped) (análoga al líquido de espines quiral de Kalmeyer–Laughlin) o una fase sin brecha (gapless), dado que posee simetrías de línea de subsistema anticomutantes que imponen una degeneración dependiente de la topología.

Metodología

El estudio emplea una combinación de técnicas analíticas de gran-$N$ y diagonalización exacta (ED), facilitada por la estructura de división dinámica.

1. División Dinámica y Descomposición de Producto Tensorial:
   El autor demuestra que para el modelo XYZ quiral, las álgebras de operadores generadas por las dos familias de interacciones triangulares ($A$ y $B$) conmutan. Al fijar los autovalores del centro conmutativo de la álgebra conjunta (generado por las simetrías de línea de subsistema), el espacio de Hilbert total se descompone como:
   $$H_\lambda \simeq \mathbb{C}^2_P \otimes \mathbb{C}^{2q}_A \otimes \mathbb{C}^{2q}_B$$
   donde $\mathbb{C}^2_P$ corresponde a un qubit lógico que impone la degeneración exacta, y $q = (L-1)(L-2)/2$ para un toro de $L \times L$. El Hamiltoniano en un sector fijo $\lambda$ se convierte en:
   $$H|_{H_\lambda} = \mathbb{1}_P \otimes [H_A(\lambda) \otimes \mathbb{1}_B + \mathbb{1}_A \otimes H_B(\lambda)]$$
   Esto reduce el costo computacional de la diagonalización. En lugar de diagonalizar una matriz de dimensión $2^{2q+1}$, se diagonalizan dos matrices de dimensión $2^q$, lo que efectivamente permite el estudio de sistemas con aproximadamente el doble de espines accesibles mediante la ED estándar.

2. Generalización de Gran-$N$:
   El modelo se generaliza a variables de reloj $Z_N$. En el límite $N \to \infty$, el sistema se trata semiclásicamente. El autor deriva la relación de dispersión de los modos blandos (soft modes) y analiza la estabilidad de la estructura nodal frente a perturbaciones utilizando argumentos de Grupo de Renormalización (RG).

3. Diagonalización Exacta (ED):
   Utilizando la división dinámica, el autor realiza ED para el modelo $N=2$ (espín-1/2) en redes de hasta $9 \times 9$. Analizan:

   • El escalamiento del tamaño finito de la brecha de muchos cuerpos (many-body gap).
   • El escalamiento de la entropía de entrelazamiento bipartito ($S_1$) en toros y cilindros.
   • La respuesta a diversas perturbaciones que preservan o rompen las simetrías de subsistema y la división dinámica.

Contribuciones Clave y Resultados

1. Estructura Algebraica y Simetrías:
El artículo establece que el modelo XYZ quiral posee simetrías de subsistema $O(L)$ (operadores de cuerda de fila, columna y diagonal). Crucialmente, un par de operadores de fila y columna que anticonmutan impone una degeneración exacta y dependiente de la topología (al menos $2^g$ en una superficie de género $g$). Los estados dentro de este multiplete son localmente indistinguibles, una característica típicamente asociada con el orden topológico con brecha, pero el autor muestra que esto coexiste con la ausencia de brecha (gaplessness).

2. Solución de Gran-$N$:
En el límite $N \to \infty$, se encuentra que el modelo carece de brecha (gapless). El espectro de excitaciones exhibe tres líneas nodales en la zona de Brillouin definidas por $k_x = 0$, $k_y = 0$, y $k_x + k_y = 0$. La relación de dispersión está dada por:
$$\omega(k) \sim \left| \sin \frac{k_x}{2} \sin \frac{k_y}{2} \sin \frac{k_x + k_y}{2} \right|$$
Esto identifica el estado fundamental como un líquido de Bose nodal. El autor señala que las simetrías de subsistema protegen estas líneas nodales.

3. Evidencia Numérica para $N=2$:

• Ausencia de brecha (Gaplessness): Los resultados de ED para el modelo de espín-1/2 muestran que la brecha de muchos cuerpos disminuye rápidamente con el tamaño del sistema ($L$), consistente con un estado sin brecha. El escalamiento sugiere un exponente dinámico $z > 1$.
• Escalamiento de Entrelazamiento: La entropía de entrelazamiento bipartito escala como $L \log L$ para cortes de medio toro. En geometrías cilíndricas, la entropía sigue una forma de escalamiento de "cuerda" (chord scaling) característica de las teorías de campo conforme (CFT) de 1+1 dimensiones, con el número de canales efectivos aumentando con el tamaño transversal. Esto proporciona una fuerte evidencia de un líquido de Bose nodal para $N=2$.

4. Estabilidad y Fases Próximas:
El autor estudia tres tipos de deformaciones:

• Deformación que preserva la división (Split-preserving deformation): Una deformación que mantiene tanto la división dinámica como las simetrías de subsistema. A gran $N$, esto induce una transición de primer orden entre líquidos nodales uniformes e inhomogéneos. Para $N=2$, la ED muestra una reconstrucción del sector central consistente con esta transición, aunque la naturaleza del estado inhomogéneo sigue siendo menos clara.
• Romper la división dinámica (preservando las simetrías de subsistema): Interpolación entre el modelo XYZ quiral y dos modelos de Wen-plaquette desacoplados. Los resultados sugieren una transición de acoplamiento finito desde el líquido nodal sin brecha hacia una fase con orden topológico $Z_2 \times Z_2$ (dos copias del modelo de Wen-plaquette).
• Romper explícitamente las simetrías de subsistema: Adición de un campo local uniforme. El análisis de RG a gran $N$ indica que las perturbaciones que rompen la simetría de subsistema son relevantes, sugiriendo que el líquido nodal es inestable. La ED en redes pequeñas ($3 \times 3, 4 \times 4$) muestra una reorganización del espectro de baja energía que sugiere una ruptura de la simetría $C_3$, pero los tamaños limitados del sistema impiden una determinación concluyente de si un campo arbitrariamente débil cierra la brecha inmediatamente.

Significancia y Reivindicaciones

El artículo afirma proporcionar la primera evidencia de diagonalización exacta de un líquido de Bose nodal sin brecha en un modelo de espín bidimensional con frustración geométrica que posee simultáneamente una degeneración exacta y dependiente de la topología, usualmente asociada con el orden topológico con brecha.

La significancia del trabajo radica en:

1. Avance Metodológico: La demostración de que la "división dinámica" permite estudiar sistemas 2D inusualmente grandes (hasta $9 \times 9$ espines) mediante diagonalización exacta, superando el escalamiento exponencial del espacio de Hilbert.
2. Perspectiva Física: La identificación de una fase donde la ausencia de brecha y la degeneración de tipo topológico coexisten, desafiando la intuición de que tal degeneración implica una fase topológica con brecha.
3. Robustez: El hallazgo de que la fase del líquido nodal es robusta frente a deformaciones que preservan las simetrías de subsistema (incluso si se rompe la división dinámica), pero es probablemente inestable ante perturbaciones que rompen explícitamente la simetría.

El autor concluye que, aunque el Hamiltoniano microscópico $N=2$ puede estar finamente ajustado respecto a perturbaciones locales genéricas, la fase del líquido nodal es un estado distinto y altamente entrelazado accesible a través de la estructura algebraica única del modelo XYZ quiral. No pretenden que el modelo sea una realización de un sistema experimental específico, sino más bien un laboratorio teórico para explorar estos fenómenos.