Resumen Técnico: Simetrías No Invertibles en Espacios de Hilbert de Producto Tensorial y Automatas Celulares Cuánticos

1. Enunciado del Problema

El artículo aborda la realización de simetrías categóricas de fusión en $(1+1)$ dimensiones en espacios de Hilbert de producto tensorial. Mientras que las teorías de campo continuas describen simetrías internas generalizadas finitas mediante categorías de fusión unitarias, las realizaciones en retículo enfrentan una obstrucción fundamental: se ha demostrado recientemente que una simetría categórica de fusión puede realizarse estrictamente (es decir, con operadores de simetría que forman una representación directa de las reglas de fusión) en un espacio de Hilbert de producto tensorial si y solo si la categoría es integral (todos los objetos simples tienen dimensiones cuánticas enteras).

Muchas categorías físicamente relevantes, como la categoría de Ising o las categorías Tambara-Yamagami con órdenes de grupo que no son cuadrados perfectos, son no integrales. Sin embargo, la evidencia empírica sugiere que estas simetrías pueden realizarse en retículos de producto tensorial si se permite que los operadores de simetría "mezclen" con Automatas Celulares Cuánticos (ACCs) (operadores unitarios con velocidad de propagación finita, como las traslaciones de retículo). Esto conduce a una regla de fusión modificada:
$$D_x D_y = \sum_{z} U^z_{xy} D_z$$
donde $U^z_{xy}$ son ACCs que se reducen a la identidad cuando se ignora el refinamiento por ACC.

El artículo investiga dos preguntas centrales:

1. Restricciones: Dada una realización refinada por ACC, ¿qué restricciones imponen los datos categóricos sobre los índices de los ACCs $U^z_{xy}$?
2. Existencia: ¿Es la condición de integralidad débil (el cuadrado de la dimensión cuántica de cada objeto simple es un entero) suficiente para que una categoría de fusión admita una realización refinada por ACC en un espacio de Hilbert de producto tensorial?

2. Metodología

Los autores emplean una combinación de suposiciones físicas respecto a los espacios de Hilbert de defecto, la teoría de índices para ACCs y la construcción explícita de modelos de retículo.

2.1 Suposiciones Físicas y Teoría de Índices

Los autores adoptan un conjunto de suposiciones físicas (Suposiciones 1–5) respecto a la estructura de los espacios de Hilbert de defecto y el comportamiento de los operadores de simetría, siguiendo el marco establecido en [51].

• Espacios de Hilbert de Defecto: Para cualquier operador de simetría $D_x$, existen espacios de Hilbert de defecto izquierdo ($H^l_x$) y derecho ($H^r_x$) obtenidos modificando el espacio de Hilbert local en una región finita.
• Dimensiones e Índices: Definen dimensiones izquierda y derecha ($ldim, rdim$) y derivan la dimensión cuántica de retículo ($qdim_{lat}$) y el índice ($ind$) para los operadores. Para un ACC $U$, el índice corresponde al índice de Gross-Nesme-Vogts-Werner (GNVW).
• Homogeneidad: Una suposición clave es que el índice es homogéneo a través de los canales de fusión; si $D_x D_y = \sum D_z$, entonces $ind(D_z)$ es constante para todo $z$ en la suma.

Utilizando estas suposiciones, los autores proporcionan una demostración física de la Conjetura de Integralidad Débil: cualquier categoría de fusión que admita una realización refinada por ACC debe ser débilmente integral. Muestran que la dimensión cuántica de retículo debe coincidir con la dimensión cuántica categórica, lo que implica que el cuadrado de la dimensión cuántica debe ser un entero.

2.2 Construcción de Modelo de Retículo

Para demostrar la recíproca (que toda categoría débilmente integral admite dicha realización), los autores construyen un modelo de retículo específico.

• Generalización de Cadenas de Anyones: Utilizan el modelo de cadena de anyones, típicamente definido por una terna $(\mathcal{C}, \mathcal{M}, \rho)$. Para categorías integrales, elegir el objeto regular $\rho = R = \bigoplus d_x x$ produce un espacio de Hilbert de producto tensorial.
• Adaptación para Integralidad Débil: Para categorías débilmente integrales $\mathcal{C} = \bigoplus_{g \in E} \mathcal{C}_g$ (gradadas por un grupo $E \simeq \mathbb{Z}_2^r$), el objeto regular estándar no produce un único espacio de producto tensorial. En su lugar, la cadena se descompone en sectores $H_g$.
• Circuitos Secuenciales: Los autores introducen circuitos secuenciales (operadores unitarios que actúan desde debajo de la cadena) $U_g: H_g \to H_0$ que mapean el espacio de Hilbert de un sector gradado $g$ de vuelta al sector trivial $H_0$.
• Operadores de Simetría Modificados: Los operadores de simetría físicos se definen como $\tilde{D}_x = U_g \circ D_x$ (donde $x \in \mathcal{C}_g$). Esta modificación asegura que los operadores actúen dentro de un único espacio de Hilbert de producto tensorial $H_0$.
• Refinamiento por ACC: La composición de estos operadores genera naturalmente el refinamiento por ACC $U_{(g,h)} = U_g U_h U_{gh}^{-1}$ en las reglas de fusión.

Se proporcionan dos construcciones:

1. Construcción 1: Aplica a categorías donde existen objetos específicos con partes enteras de la dimensión cuántica iguales a 1 (por ejemplo, categorías metaplécticas con $M$ libre de cuadrados, Tambara-Yamagami con $|A|$ libre de cuadrados).
2. Construcción 2: Una construcción uniforme aplicable a cualquier categoría débilmente integral, utilizando un objeto de entrada modificado $\rho = \dim(\mathcal{C}_0) R_0$.

3. Contribuciones y Resultados Clave

Resultado 1: Restricciones sobre Índices

Los autores demuestran que, bajo las suposiciones físicas enunciadas, los índices de los ACCs $U^z_{xy}$ en cualquier realización refinada por ACC están únicamente determinados por los datos categóricos, salvo la redefinición de los operadores de simetría (apilamiento con ACCs ancila).

• Específicamente, para $x \in \mathcal{C}_g$ e $y \in \mathcal{C}_h$, el índice del ACC $U_{(g,h)}$ que aparece en la regla de fusión es:
  $$ind(U_{(g,h)}) = \frac{m_g m_h}{m_{gh}} \sqrt{\frac{n_g n_h}{n_{gh}}}$$
  donde $n_g$ son los enteros libres de cuadrados asociados a la gradación, y $m_g$ son números racionales determinados por la libertad de redefinición.
• Esto establece que la "mezcla" con ACCs no es arbitraria, sino fija por la estructura de la categoría.

Resultado 2: Teorema de Existencia

Los autores construyen un modelo de retículo explícito que demuestra que toda categoría de fusión débilmente integral admite una realización refinada por ACC en un espacio de Hilbert de producto tensorial.

• Teorema 1.1: Toda simetría categórica de fusión débilmente integral admite una realización refinada por ACC en un espacio de Hilbert de producto tensorial.
• El modelo construido produce realizaciones "canónicas" donde el refinamiento por ACC depende únicamente de los sectores de gradación $g, h$.
• Los autores calculan explícitamente los índices de los ACCs en su modelo de retículo y verifican que coinciden con las predicciones del Resultado 1, proporcionando una verificación de consistencia para las suposiciones físicas.

Aplicación: Categorías Tambara-Yamagami

La construcción general se aplica a las categorías Tambara-Yamagami (TY).

• Para una categoría TY $TY(A, \chi, \epsilon)$ con $|A|$ que no es un cuadrado perfecto, los autores proporcionan una realización refinada por ACC explícita.
• La regla de fusión para el objeto no invertible $m$ se deriva como:
  $$D_m^2 = T \sum_{a \in A} D_a$$
  donde $T$ es una traslación de retículo (un ACC no trivial). Esto recupera el caso de Ising conocido ($A=\mathbb{Z}_2$) y lo generaliza a grupos abelianos arbitrarios.

4. Significado y Afirmaciones

El artículo afirma proporcionar una respuesta completa a la realizabilidad de simetrías no invertibles en retículos de producto tensorial, salvo ACCs.

• Necesidad: Refuerza la conjetura de integralidad débil, mostrando que si existe una realización, la categoría debe ser débilmente integral.
• Suficiencia: Demuestra la recíproca, indicando que la integralidad débil es el único obstáculo para tales realizaciones.
• Estructura Canónica: El trabajo identifica una forma "canónica" para estas realizaciones donde los índices de los ACCs están fijos por la categoría, análogo a cómo las representaciones proyectivas de grupos se clasifican mediante la cohomología de grupos.
• Perspectiva Física: El artículo ofrece una nueva perspectiva sobre la dualidad Kramers-Wannier y simetrías similares, interpretándolas como un producto de un operador de fusión estándar de anyones y un circuito secuencial (ACC) que mapea el estado resultante de vuelta al espacio de producto tensorial.

Los autores señalan que, aunque la conjetura de integralidad débil se demuestra bajo suposiciones físicas específicas, una derivación de estas suposiciones desde primeros principios (por ejemplo, una definición rigurosa de operadores de simetría como canales cuánticos) sigue siendo una dirección abierta para trabajos futuros. Sin embargo, dentro del marco establecido, el artículo establece una relación de "si y solo si" entre la integralidad débil y la realizabilidad refinada por ACC.