How to formulate the $\mathbb{Z}_8$ topological invariant of Majorana fermion on the lattice

Este trabajo propone y verifica numéricamente una formulación en retículo del invariante topológico $\mathbb{Z}_8$ de Arf-Brown-Kervaire para fermiones de Majorana, demostrando que puede extraerse de los pfaffianos del operador de Wilson Dirac y que sus resultados coinciden con la teoría de continuo en diversas superficies bidimensionales.

Lo esencial

Imagina que el universo está tejido con hilos invisibles que tienen formas y nudos especiales. En física, a estos "nudos" se les llama topología. No importa cuánto estires o deforms una taza de café, mientras no la rompas, sigue siendo una taza con un agujero (como un donut). Esa es la esencia de la topología: estudiar las formas que no cambian aunque las deformes.

Los físicos de partículas estudian estas formas para entender cómo se comportan las partículas más extrañas, como los fermiones de Majorana. Estos son como "fantasmas" que son su propia antipartícula. Cuando estos fantasmas viven en un mundo bidimensional (como una hoja de papel) y tienen ciertas simetrías, el universo les impone una regla secreta: su comportamiento solo puede tomar 8 formas distintas. A esta regla secreta se le llama invariante Z8 (o invariante ABK).

El problema es que los físicos quieren estudiar esto usando superordenadores, pero los ordenadores no entienden el "mundo continuo" de la física real; solo entienden cuadrículas (como un tablero de ajedrez o una hoja de papel milimetrado). Aquí es donde entra este trabajo de Sho Araki y su equipo.

El Gran Desafío: Pintar en un Tablero de Ajedrez

Imagina que intentas dibujar un círculo perfecto en un tablero de ajedrez. Es imposible, solo puedes hacer un cuadrado con esquinas redondeadas. En física, esto es un problema: si usas una cuadrícula para simular partículas, pierdes la suavidad del mundo real y, a veces, las "reglas mágicas" (como los 8 estados posibles) desaparecen o se rompen.

Además, algunos de estos mundos topológicos son muy extraños:

• El Torus: Una dona (fácil).
• La Botella de Klein: Una superficie que no tiene "adentro" ni "afuera", como un túnel que se conecta consigo mismo de forma imposible.
• El Plano Proyectivo Real: Una superficie donde si caminas lo suficiente, te encuentras de cabeza.
• La Banda de Möbius: Una cinta con un solo giro, donde el "frente" y el "detrás" son lo mismo.

En estos mundos extraños, las reglas de la física se vuelven muy complicadas. Los métodos antiguos de los físicos (como los "operadores de solapamiento") fallaban aquí, como intentar usar una llave inglesa para abrir un candado de combinación.

La Solución: El "Pegamento" de la Masa

Los autores de este artículo proponen una nueva forma de hacer las cosas. En lugar de intentar forzar las reglas antiguas en la cuadrícula, usan una técnica llamada fermiones de Wilson.

Piensa en esto como si estuvieras construyendo un mundo virtual:

1. La Cuadrícula: Tienes tu tablero de ajedrez gigante.
2. El Pegamento (Condiciones de Borde): Para crear una "Banda de Möbius" o una "Botella de Klein", no necesitas cortar y pegar papel real. Solo le dices al ordenador: "Cuando la partícula salga por el borde derecho, haz que reaparezca por el izquierdo, pero dándola la vuelta (como si la hubieras reflejado en un espejo)". Esto crea esos mundos extraños dentro del ordenador.
3. La Pared de Dom (Domain Wall): Para crear un mundo con bordes (como una cinta de Möbius abierta), usan un truco de "masa". Imagina que pones un muro invisible en el medio del tablero. A un lado del muro, la partícula es "pesada" (no se mueve), y al otro lado es "ligera" (se mueve libremente). El borde donde cambia la masa actúa como el borde real de tu mundo.

El Resultado: Contando los 8 Estados

Una vez que construyeron estos mundos extraños en la cuadrícula, calcularon una cantidad matemática llamada Pfaffiano (que es como un "contador de probabilidades" para estos fermiones fantasmas).

Lo increíble es que, al hacer los cálculos:

• El ordenador empezó a dar números que no eran enteros (como 1.999 o -2.001).
• Pero, a medida que hacían la cuadrícula más fina (más casillas, más parecido al mundo real) y aumentaban la masa, esos números se estabilizaban perfectamente en enteros: 0, 1, 2, ..., 7.

La analogía final:
Imagina que tienes un reloj que solo puede marcar las horas 1, 2, 3... hasta 8. En el mundo real, la aguja se mueve suavemente. En el mundo de la cuadrícula (el ordenador), la aguja "salta" de un número al otro de forma tosca. Lo que hizo este equipo fue demostrar que, si usas el tipo correcto de "pegamento" (las condiciones de borde y la masa) y haces la cuadrícula lo suficientemente pequeña, esos saltos toscos se alinean perfectamente con las 8 horas exactas del reloj real.

¿Por qué es importante?

Este trabajo es como un puente.

1. Valida la teoría: Confirma que las matemáticas complejas que describen estos mundos extraños son correctas, incluso cuando las ponemos a prueba en un ordenador.
2. Abre nuevas puertas: Ahora los físicos pueden usar superordenadores para estudiar materiales exóticos (como aislantes topológicos) que podrían usarse en computadoras cuánticas del futuro. Si podemos simular estos "nudos" topológicos en una cuadrícula, podemos diseñar materiales que sean indestructibles contra el ruido y los errores.

En resumen, Araki y su equipo han aprendido a construir universos de "papel milimetrado" que imitan perfectamente las formas más extrañas de la realidad, permitiéndonos contar y entender los 8 secretos que guardan los fermiones de Majorana.

Resumen técnico

A continuación presento un resumen técnico detallado del artículo "How to formulate the Z8 topological invariant of Majorana fermion on the lattice" (Cómo formular el invariante topológico Z8 de fermiones de Majorana en la red), basado en el texto proporcionado.

1. Planteamiento del Problema

En la teoría de campos cuánticos (QFT), los invariantes topológicos y las anomalías asociadas son fundamentales para comprender fenómenos no perturbativos como instantones, fases de aislantes topológicos de simetría protegida (SPT) y anomalías. En la teoría de campos en red (lattice gauge theory), la discretización del espacio-tiempo rompe la continuidad, lo que dificulta la definición directa de propiedades topológicas.

• Limitaciones actuales: El índice de Atiyah-Singer (valores en $\mathbb{Z}$) se ha formulado exitosamente en la red mediante el operador de Dirac de solapamiento (Overlap) y la relación de Ginsparg-Wilson, preservando la simetría quiral exacta. Sin embargo, estas formulaciones no capturan invariantes topológicos más generales que toman valores en grupos cíclicos finitos como $\mathbb{Z}_8$ o $\mathbb{Z}_{16}$, los cuales aparecen en sistemas de fermiones de Majorana con simetrías discretas o estructuras reales.
• El desafío específico: El invariante de Arf-Brown-Kervaire (ABK) es un invariante topológico con valores en $\mathbb{Z}_8$ que surge en la fase compleja de la función de partición de fermiones de Majorana bidimensionales con simetría de reflexión. Su definición en el continuo implica una suma infinita sobre autovalores de Dirac que requiere regularización. El problema central es formular este invariante en una red discreta, especialmente en variedades no orientables (como la botella de Klein o el plano proyectivo real), donde las relaciones de Ginsparg-Wilson suelen romperse y los operadores de solapamiento no están bien definidos.

2. Metodología

Los autores proponen una formulación del invariante ABK en la red utilizando fermiones de Wilson masivos, evitando la necesidad de simetría quiral exacta o la relación de Ginsparg-Wilson.

• Acción y Operador: Se utiliza la acción de fermiones de Wilson en una red cuadrada bidimensional. El operador de Dirac masivo de Wilson ($D_W(m)$) se define mediante diferencias finitas hacia adelante y hacia atrás.
• Cálculo de la Función de Partición: La función de partición de los fermiones de Majorana en la red se expresa como el Pfaffiano de la matriz antisimétrica $C D_W(m)$, donde $C$ es la matriz de conjugación de carga.
  $$Z(X, s; m) = \text{Pf}(C D_W(m))$$
• Definición del Invariante en la Red ($\beta_{latt}$): El invariante se extrae de la fase de la función de partición, normalizada respecto a una función de partición de Pauli-Villars (con masa positiva $|m|$) para eliminar fases triviales:
  $$\frac{\text{Pf}(C D_W(m))}{\text{Pf}(C D_W(|m|))} \propto \exp\left(i \frac{2\pi}{8} \beta_{latt}\right)$$
  El objetivo es demostrar que $\beta_{latt}$ converge a un entero en el límite continuo ($a \to 0$) y de masa grande ($m \to -\infty$).
• Construcción de Variedades No Orientables:
  • Se implementan condiciones de contorno "retorcidas" (orientation-reversing) en la red cuadrada.
  • Botella de Klein y Plano Proyectivo Real (RP2): Se logran identificando bordes opuestos con inversión de orientación, aplicando operaciones de reflexión ($R_x, R_y$) a los campos de espínor. Esto permite definir diferentes estructuras $\text{Pin}^-$ (análogas a las estructuras spin en variedades orientables).
  • Cinta de Möbius (Variedad con borde): Se utiliza un término de masa de "pared de dominio" (domain-wall mass). Se define una región con masa negativa ($m < 0$) incrustada en un fondo de masa positiva ($m > 0$), creando efectivamente una cinta de Möbius donde los fermiones viven.

3. Contribuciones Clave

1. Formulación Lattice sin Simetría Quiral: Se demuestra que el invariante ABK $\mathbb{Z}_8$ puede recuperarse utilizando fermiones de Wilson masivos, sin depender de la relación de Ginsparg-Wilson, lo cual es crucial para variedades no orientables donde dicha relación falla.
2. Implementación de Estructuras $\text{Pin}^-$ en la Red: Se proporciona un método explícito para construir redes que representan variedades no orientables (Botella de Klein, RP2) y para distinguir entre sus diferentes estructuras $\text{Pin}^-$ mediante elecciones de signos en las condiciones de contorno de los fermiones.
3. Tratamiento de Variedades con Borde: Se introduce una técnica basada en términos de masa de pared de dominio para simular variedades abiertas (como la cinta de Möbius) dentro de un marco de red cerrado, conectando la cuantización de la fase con el mecanismo de flujo de anomalía en el borde.
4. Verificación Analítica y Numérica: Se combina el cálculo analítico en el espacio de momentos (para el toro y la botella de Klein) con cálculos numéricos directos de los Pfaffianos para todas las topologías.

4. Resultados

Los autores verificaron que su formulación reproduce correctamente los valores teóricos del continuo en el límite de red fina y masa grande:

• Toro ($T^2$):
  • Para la estructura $\text{Pin}^-$ periódica-periódica ($PP$) y masa negativa, se obtiene $\beta_{latt} = 4$.
  • Para otras estructuras ($PA, AP, AA$), $\beta_{latt} = 0$.
  • Esto coincide con la teoría del continuo.
• Botella de Klein ($KB$):
  • Las estructuras $P\pm$ dan $\beta_{latt} = \mp 2$.
  • Las estructuras $A\pm$ dan $\beta_{latt} = 0$.
  • Los cálculos numéricos muestran una convergencia rápida a valores enteros (ej. error de $10^{-9}$para una red$30 \times 30$).
• Plano Proyectivo Real ($RP^2$):
  • Se obtienen los valores correctos del continuo, a pesar de que la red cuadrada tiene puntos singulares (esquinas) donde la topología se rompe localmente. Esto demuestra la robustez del método.
• Cinta de Möbius:
  • Se verifican dos estructuras $\text{Pin}^-$ con valores $\beta = \pm 1$, confirmando la capacidad del método para manejar variedades con borde mediante masa de pared de dominio.

En todos los casos, el valor $\beta_{latt}$ se cuantiza en enteros discretos (múltiplos de 1 dentro de $\mathbb{Z}_8$) tan pronto como el tamaño de la red $N$ es moderado ($N \sim 10$), estabilizándose rápidamente hacia los valores teóricos.

5. Significado y Perspectivas

• Herramienta No Perturbativa: Esta formulación ofrece una herramienta computacional robusta para estudiar fases topológicas de materia (SPT) en sistemas de fermiones de Majorana, especialmente en regímenes donde las aproximaciones perturbativas fallan.
• Generalización: El enfoque sugiere que invariantes topológicos más complejos, como el invariante $\mathbb{Z}_{16}$ en teorías de fermiones de Majorana en 4D con estructura $\text{Pin}^+$, también podrían ser capturados mediante esta metodología, aunque con un mayor costo computacional.
• Teorías Interactuantes: El trabajo abre la puerta a investigar el papel de estos invariantes en teorías interactuantes. Específicamente, se menciona el interés en estudiar sistemas con 8 fermiones, donde la fase SPT se trivializa y podría ser posible "gapar" (abrir un hueco de energía) a los fermiones en la pared de dominio mediante interacciones, un fenómeno difícil de analizar analíticamente.

En resumen, el artículo logra un avance significativo al extender la formulación de invariantes topológicos discretos a la teoría de campos en red, superando las limitaciones de las simetrías quirales y permitiendo el estudio numérico directo de fermiones de Majorana en geometrías no orientables.