Global symmetries: locality, unitarity, and regularity

Resumen Técnico: Simetrías Globales: Localidad, Unitariedad y Regularidad

Enunciado del Problema
El artículo aborda la tensión aparente entre dos principios fundamentales en la teoría cuántica de campos (TCC): la localidad y la unitariedad, específicamente en el contexto de las simetrías globales. En la mecánica cuántica estándar, el teorema de Wigner dicta que las simetrías se implementan mediante operadores (anti)unitarios que forman un grupo. Sin embargo, en las TCC de dimensiones superiores, el requisito de localidad (operadores que actúan sobre regiones locales) conduce a la existencia de operadores topológicos que pueden no ser invertibles. Estas simetrías "no invertibles" o categóricas forman una categoría de fusión en lugar de un grupo.

El problema central consiste en comprender cómo se relacionan estas dos perspectivas: el "enfoque local" (operadores topológicos, potencialmente no invertibles) y el "enfoque unitario" (operadores invertibles que conmutan con el hamiltoniano). Específicamente, los autores investigan cómo la imposición de la localidad restringe la descomposición del espacio de Hilbert en representaciones del grupo de simetría, y cómo las desviaciones de estas restricciones en la imagen unitaria sirven como indicadores de no localidad y estructuras categóricas no invertibles.

Metodología
Los autores emplean un análisis comparativo entre dos marcos para describir las simetrías:

1. El Enfoque Local: Las simetrías se definen mediante operadores topológicos (defectos) que actúan sobre el espacio de Hilbert. Para TCC locales, los autores argumentan que el espacio de Hilbert debe descomponerse en una representación regular de la simetría en el límite de alta energía (límite termodinámico). Definen un observable $C(\alpha)$ como la traza normalizada del operador de simetría en el límite de temperatura inversa cero ($\beta \to 0$):
   $$C(\alpha) \equiv \lim_{\beta \to 0} \frac{\text{Tr}_H (U_\alpha e^{-\beta H})}{\text{Tr}_H (e^{-\beta H})}$$
   Para simetrías locales, $C(\alpha)$ se anula para todos los elementos distintos de la identidad, reflejando la regularidad de la representación.

2. El Enfoque Unitario: Los autores consideran el conjunto de todos los operadores unitarios que conmutan con el hamiltoniano. Dado que los operadores unitarios deben formar un grupo $G$, los operadores topológicos no invertibles se expresan como combinaciones lineales de estos generadores unitarios. Los autores introducen un nuevo observable, $B(g)$, definido como el cuadrado de la magnitud del observable de traza para un operador unitario $g$:
   $$B(g) = |C(g)|^2$$
   Esta función sirve como una medida de "irregularidad" o no localidad. Si un operador unitario corresponde a una simetría topológica local, $B(g)$ debería anularse (para elementos distintos de la identidad). Si $B(g) \neq 0$, indica que el operador es una combinación lineal que involucra componentes no locales.

La metodología implica derivar propiedades generales de $B(g)$ basadas en la estructura de la categoría de fusión subyacente y luego calcular explícitamente $B(g)$ para diversos ejemplos (incluyendo modelos de red y CFT continuas) para demostrar cómo la función codifica los datos del álgebra de fusión (dimensiones cuánticas y coeficientes de fusión).

Contribuciones y Resultados Clave

• Regularidad de las Simetrías Locales: El artículo establece que para TCC locales con simetrías globales (ya sean de tipo grupo o categóricas), el espacio de Hilbert forma asintóticamente una representación regular. En el límite de gran tamaño del sistema o alta energía, el observable de traza $C(\alpha)$ se anula para todos los elementos de simetría distintos de la identidad. Esto se cumple tanto para simetrías de grupo invertibles como para simetrías categóricas no invertibles (por ejemplo, categorías Tambara-Yamagami, Fibonacci).
• El Observable $B(g)$: Los autores definen $B(g)$ como una herramienta de diagnóstico. Demuestran que:
  • $0 \leq B(g) \leq 1$.
  • $B(g) = 1$ corresponde al operador identidad (o una fase).
  • $B(g) = 0$ corresponde a operadores unitarios que son puramente topológicos (locales) e invertibles.
  • Los puntos críticos donde $0 < B(g) < 1$ corresponden a operadores unitarios construidos a partir de "proyectores de gauge" de subcategorías.
• Codificación de Datos de Fusión: Un resultado principal es que la función $B(g)$ codifica los datos del álgebra de fusión. Al analizar los puntos críticos (mínimos, máximos y puntos de silla) de $B(g)$ en la variedad de grupo de operadores unitarios, se pueden reconstruir las dimensiones cuánticas de los objetos simples en la categoría de fusión y, en muchos casos, los propios coeficientes de fusión.
  • Ejemplo: Para la categoría Fibonacci, el mínimo de $B(\theta)$ ocurre en un ángulo específico, permitiendo la derivación de la dimensión cuántica $d(W) = (1+\sqrt{5})/2$ y la regla de fusión $W^2 = e + W$.
  • Ejemplo: Para el grupo $Z_2 \times Z_2$ con una anomalía 't Hooft, la ausencia de ciertos puntos críticos (puntos de silla) en $B(g)$ la distingue del caso no anómalo, demostrando que $B(g)$ captura información de anomalía.
• Red vs. Continuo: El artículo analiza el modelo de Ising con campo transversal en una red. Muestra que en la red, las simetrías espacio-temporales (traslaciones) y las simetrías globales están entrelazadas, impidiendo una separación limpia de la variedad de grupo. Sin embargo, en el límite continuo, la función $B(g)$ se aproxima a los valores predichos por la simetría categórica local, con correcciones de red que se desvanecen exponencialmente.

Significado y Afirmaciones
El artículo afirma que la tensión entre localidad y unitariedad se resuelve reconociendo que, aunque las simetrías no invertibles no son grupos unitarios, pueden incrustarse dentro de un grupo más grande de operadores unitarios. La desviación de estos operadores unitarios del comportamiento "regular" (medida por $B(g)$) es una señal directa de la estructura subyacente no local y categórica.

El significado del trabajo radica en proporcionar un observable concreto y calculable ($B(g)$) que cierra la brecha entre la estructura matemática abstracta de las categorías de fusión y las propiedades físicas de los operadores unitarios en TCC. Los autores sugieren que este enfoque ofrece una nueva perspectiva para:

1. Diagnosticar la Localidad: Determinar si una simetría en una descripción UV (como un modelo de red) se manifiesta como un operador topológico local o como una simetría no invertible en el IR.
2. Bootstrap de la Matriz S: Potencialmente servir como un diagnóstico para la localidad de las simetrías que conmutan con la matriz S, incluso en ausencia de una descripción del espacio-tiempo volumétrico.
3. Reconstruir Estructuras de Simetría: Inferir las reglas de fusión y las dimensiones cuánticas de una categoría de simetría únicamente a partir de las propiedades de los operadores unitarios disponibles en la teoría.

Los autores mantienen una postura modesta respecto a las implicaciones futuras, señalando que la generalización a simetrías continuas (grupos de Lie de dimensión infinita) y el manejo preciso de anomalías y asociadores en el enfoque unitario requieren mayor investigación. Enfatizan que sus resultados dependen de la suposición de que los operadores unitarios pueden expresarse como combinaciones lineales de los objetos simples de la categoría de simetría local.