Matrix-product state skeletons in Onsager-integrable quantum chains

Resumen Técnico: Esqueletos de Estados de Producto de Matrices en Cadenas Cuánticas de Integrabilidad de Onsager

Planteamiento del Problema
Si bien la integrabilidad proporciona información analítica sobre familias especiales de Hamiltonianos y los Estados de Producto de Matrices (MPS) ofrecen herramientas poderosas para aproximar los estados fundamentales en sistemas unidimensionales con brecha (gapped), la intersección de estos dos conceptos sigue siendo poco explorada, particularmente más allá de los modelos de fermiones libres. Trabajos previos establecieron que, para las cadenas de fermiones libres (específicamente las clases BDI y AIII), el conjunto de Hamiltonianos con estados fundamentales MPS exactos forma un "esqueleto denso" dentro del diagrama de fases. Este esqueleto permite la aproximación analítica de estados fundamentales genéricos mediante una secuencia de modelos exactamente resolubles. Sin embargo, para sistemas con interacción, como los modelos de reloj chiral de $N$ estados integrables de Onsager ($N > 2$), la existencia y estructura de tal esqueleto de MPS era desconocida. El desafío radica en que, aunque los modelos integrables de Onsager poseen soluciones exactas mediante ecuaciones funcionales, sus estados fundamentales generalmente no son MPS exactos, y los diagramas de fases para $N > 2$ contienen regiones sin brecha (gapless) extendidas, a diferencia del caso $N=2$.

Metodología
Los autores investigan la familia de Hamiltonianos $H_A[\{t_m\}, N] = \sum_m t_m A_m$, donde $A_m$ son generadores de la álgebra de Onsager actuando sobre cadenas de reloj chiral de $N$ estados. La metodología central consiste en:

1. Construcción Algebraica: Utilizar las relaciones de la álgebra de Onsager y procedimientos de pivote (transformaciones unitarias generadas por $A_m$) para mapear Hamiltonianos genéricos en el "esqueleto" hacia Hamiltonianos de punto fijo ($A_k$) con estados fundamentales conocidos.
2. Caracterización Polinómica: Definir un polinomio de Laurent $f(z) = \sum t_m z^m$ asociado al Hamiltoniano. Los autores identifican un subconjunto de esta familia donde $f(z) = \pm z^p g(z)^2$ para un polinomio $g(z)$. Esta condición generaliza la condición del esqueleto de fermiones libres de $N=2$.
3. Transformación Iterativa de MPO: Construir el autoestado exacto aplicando una secuencia de Operadores de Producto de Matrices (MPO), $M(k) = \exp(\mp \beta_k A_{p+k})$, al estado fundamental de un Hamiltoniano de punto fijo ($| \psi_p \rangle$). Los parámetros $\beta_k$ se derivan de los coeficientes de $g(z)$ utilizando un procedimiento algorítmico (idéntico al algoritmo de Schur-Cohn).
4. Análisis Espectral: Analizar el espectro del Hamiltoniano transformado para determinar las regiones donde el construido autoestado es el verdadero estado fundamental. Esto implica examinar la brecha espectral (spectral gap) y el comportamiento de los ceros de $f(z)$ en el círculo unidad.

Contribuciones Clave y Resultados

• Existencia de un Esqueleto de MPS para Modelos con Interacción: El artículo demuestra que, para los modelos de reloj chiral con $N > 2$, los Hamiltonianos que satisfacen $f(z) = \pm z^p g(z)^2$ poseen estados fundamentales MPS exactos (o estados excitados) en regiones con brecha que rodean a los Hamiltonianos de punto fijo $A_k$. Esto constituye la primera identificación de un esqueleto de MPS en una familia de modelos de Onsager con interacción.
• Construcción de Autoestados Exactos (Resultado 1): Para cualquier Hamiltoniano en la familia donde $f(z) = \pm z^p g(z)^2$, los autores construyen un autoestado exacto $|\phi\rangle = M(d)\dots M(1) |\psi_p^\pm\rangle$. Este estado es un MPS exacto con dimensión de enlace (bond dimension) finita, siempre que los coeficientes derivados de $g(z)$ cumplan $|b_k| \neq 1$.
• Identificación del Estado Fundamental (Resultado 2): Se demuestra que el autoestado construido es el estado fundamental exacto del Hamiltoniano dentro del conjunto $S$, definido como la unión de las regiones con brecha conectadas a los Hamiltonianos de punto fijo $A_k$ mediante caminos con brecha. Fuera de estas regiones (en sectores sin brecha), el estado sigue siendo un autoestado pero ya no es el estado fundamental.
• Densidad del Esqueleto (Resultado 3): El conjunto de Hamiltonianos en el esqueleto es denso dentro de las regiones con brecha $S$. Para cualquier Hamiltoniano genérico en $S$, su densidad de energía del estado fundamental puede aproximarse arbitrariamente bien mediante una secuencia de Hamiltonianos en el esqueleto. Esto proporciona un enfoque analítico para aproximar los estados fundamentales en cadenas de Onsager con interacción.
• Estados Excitados (Resultado 4): Los autores identifican un conjunto de estados excitados MPS exactos correspondientes a estados de baja energía en sectores de momento no nulo. Estos se construyen de manera similar al estado fundamental, pero actúan sobre sectores excitados específicos de los Hamiltonianos de punto fijo.
• Cálculo del Parámetro de Desorden: Como aplicación, los autores derivan una expresión de forma cerrada para el parámetro de desorden en una familia específica de modelos con interacción ($H = A_0 + 2aA_1 + a^2A_2$) en el esqueleto, generalizando los resultados conocidos del caso de Ising con $N=2$ para un $N$ par arbitrario.

Significancia y Reivindicaciones
El artículo afirma "exponer" parcialmente el esqueleto de MPS en sistemas de Onsager con interacción, extendiendo el concepto desde las clases de fermiones libres hacia los modelos de reloj chiral con interacción. La significancia radica en:

1. Aproximación Analítica: Proporcionar un método para aproximar los estados fundamentales en regiones con brecha de modelos con interacción utilizando un conjunto denso de estados MPS exactamente resolubles, evitando la necesidad de optimización numérica de MPS o diagonalización de Ansatz de Bethe para estas regiones específicas.
2. Generalidad Algebraica: Resaltar que muchos resultados dependen primordialmente de la estructura algebraica de la álgebra de Onsager más que de la representación específica, lo que sugiere una aplicabilidad potencial a otros Hamiltonianos integrables de Onsager.
3. Nueva Perspectiva sobre los Autoestados: Ofrecer una construcción directa de autoestados MPS que está mayormente desacoplada de las complejas ecuaciones funcionales utilizadas típicamente para resolver estos modelos, proporcionando una nueva perspectiva sobre la estructura de los autoestados de las cadenas de reloj chiral con interacción.

Los autores mantienen la modestia respecto al alcance, señalando que la condición $f(z) = \pm z^p g(z)^2$ es suficiente pero no necesariamente necesaria para estados fundamentales MPS exactos, y que la construcción excluye un conjunto de medida cero de puntos donde la brecha se cierra o los coeficientes divergen. También observan que, si bien el esqueleto es denso en las regiones con brecha $S$, las fronteras de fase (particularmente las regiones sin brecha) no están completamente caracterizadas por este método.