Effect of slowly decaying long-range interactions on topological qubits

Aquí presento un resumen técnico detallado del artículo "Effect of slowly decaying long-range interactions on topological qubits" (Efecto de interacciones de largo alcance de decaimiento lento en cúbits topológicos), escrito por Etienne Granet y Michael Levin.

1. Planteamiento del Problema

El artículo aborda la robustez de la degeneración del estado fundamental en sistemas de muchos cuerpos cuánticos, específicamente en el contexto de los cúbits topológicos. Un cúbit topológico ideal posee dos características:

1. Un subespacio de estado fundamental con una división de energía (splitting) exponencialmente pequeña en función del tamaño del sistema ($L$).
2. Estabilidad de esta división frente a perturbaciones locales pequeñas.

Se sabe rigurosamente que modelos de red con interacciones de corto alcance (como el código torico) mantienen esta división exponencialmente pequeña ($\delta \sim e^{-cL}$) incluso bajo perturbaciones locales arbitrarias. Sin embargo, existe una brecha de conocimiento respecto a sistemas con interacciones de largo alcance que decaen lentamente, específicamente aquellas que siguen una ley de potencia $1/r^\alpha$ donde el exponente $\alpha$ es menor que la dimensión espacial ($\alpha < d$).

El problema central es que los teoremas de estabilidad existentes (como el enfoque de continuación cuasi-adiabática) fallan en este régimen. Cuando se aplican a interacciones de ley de potencia no sumables ($\alpha < 1$), estos teoremas solo garantizan una división que decae como una ley de potencia ($\delta \sim L^{-c}$), lo que sugiere que las interacciones de largo alcance podrían destruir fundamentalmente la protección del cúbit, eliminando la división exponencialmente pequeña. El objetivo del trabajo es determinar si la división del estado fundamental se mantiene exponencialmente pequeña (o decae más lentamente, como una exponencial estirada) en presencia de estas interacciones no sumables.

2. Metodología

Dado que el modelo original de espines de Ising 1D con interacciones de ley de potencia exactas ($H = -\sum \sigma^z_i \sigma^z_{i+1} + \lambda \sum |i-j|^{-\alpha} \sigma^x_i \sigma^x_j$) es difícil de resolver analíticamente para $\alpha < 1$, los autores estudian tres variantes de modelos "juguete" que capturan la física esencial pero permiten un tratamiento analítico controlado:

1. Cadena de Espines de Ising con Interacciones "All-to-All" (Todo-con-Todo):

   • Se reemplaza la interacción de ley de potencia $1/r^\alpha$ por una interacción global que escala con el tamaño del sistema: $f(r) \sim 1/L^\alpha$.
   • Técnica: Se utiliza un integral de camino (path integral) basado en la identidad de Hubbard-Stratonovich para desacoplar el término cuadrático de espín. Esto reduce el problema a una integral funcional sobre un campo escalar $\phi(\tau)$.
   • Se aplica una aproximación de punto de silla (saddle-point approximation) en el límite de gran $L$. La solución dominante corresponde a un instantón (una solución tipo túnel cuántico) que conecta los dos estados de vacío degenerados.

2. Modelo de Rotores Cuánticos con Interacciones de Ley de Potencia:

   • Se utiliza una cadena de $L$ rotores cuánticos en lugar de espines de Ising.
   • Este modelo permite un límite semiclásico controlado ($g \to 0$, donde $g$ actúa como $\hbar$) manteniendo interacciones de ley de potencia reales $f(r) \sim 1/r^\alpha$.
   • Técnica: Se aplica el método de instantones introducido por Coleman. Se calcula la acción euclidiana de la trayectoria de instantón que conecta los dos mínimos del potencial y se evalúan los determinantes de las fluctuaciones alrededor de esta trayectoria.

3. Modelo Juguete No Local:

   • Un modelo donde el término de ruptura de simetría es un proyector no local sobre estados tipo "gato" (cat states), y la perturbación es una interacción todo-con-todo de operadores locales $O_j$.
   • Técnica: Este modelo se resuelve utilizando álgebra lineal (lema del determinante de matriz) sin necesidad de integrales de camino, permitiendo explorar cómo la estructura detallada de los operadores $O_j$ afecta la división.

3. Contribuciones Clave y Resultados

El hallazgo principal del artículo es que, en presencia de interacciones de largo alcance no sumables ($0 < \alpha < 1$), la división del estado fundamental $\delta$ no decae como una ley de potencia, sino que sigue una ley de exponencial estirada (stretched exponential):

$$\delta \sim \exp\left( -C L^{\frac{1+\alpha}{2}} \right)$$

donde $C$ es una constante que depende de los parámetros del modelo.

Desglose de resultados por modelo:

• Cadena de Ising (All-to-All): Mediante la aproximación de punto de silla, los autores derivan que la acción del instantón escala como $L^{(1+\alpha)/2}$. Esto conduce directamente a la división $\log \delta \sim -L^{(1+\alpha)/2}$.
• Cadena de Rotores (Ley de Potencia Real): En el límite semiclásico, la masa efectiva del sistema debido a las interacciones de largo alcance escala de manera que la acción del instantón también resulta ser proporcional a $L^{(1+\alpha)/2}$. Esto confirma que el comportamiento de exponencial estirada es robusto incluso con interacciones de ley de potencia reales, no solo con interacciones todo-con-todo.
• Modelo No Local: Los resultados muestran que la escala de la división es generalmente $L^{(1+\alpha)/2}$, pero depende críticamente de la estructura de los operadores locales $O_j$.
  • Si $O_j = \sigma^x_j$, se recupera la escala $L^{(1+\alpha)/2}$.
  • Si $O_j = \sigma^x_j \sigma^x_{j+1}$, la división puede escalar como una exponencial pura $\exp(-cL)$ o incluso ser cero dependiendo de la paridad de $L$, demostrando que la sensibilidad a los detalles microscópicos es un factor importante en modelos no locales.

Tabla Resumen de Escalamiento (Tabla I del artículo):

• Interacciones sumables ($\alpha > 1$): $\delta \sim e^{-cL}$ (Exponencial estándar).
• Interacciones no sumables ($0 < \alpha < 1$): $\delta \sim e^{-cL^{(1+\alpha)/2}}$ (Exponencial estirada).

4. Significado e Implicaciones

Los resultados de este trabajo tienen implicaciones profundas para la teoría de la información cuántica y la física de la materia condensada:

1. Robustez de los Cúbits Topológicos: Contrario a la preocupación de que las interacciones de largo alcance (como las Coulombianas en sistemas de Hall cuántico fraccional) destruyan completamente la protección topológica, el estudio sugiere que la división del estado fundamental sigue siendo extremadamente pequeña (aunque no tan pequeña como en el caso de corto alcance). La escala $L^{(1+\alpha)/2}$ es mucho más favorable que una ley de potencia.
2. Viabilidad para Computación Cuántica: Dado que la tasa de error en un cúbit topológico está relacionada con la división del estado fundamental, un decaimiento de tipo exponencial estirada implica que los errores pueden suprimirse eficientemente aumentando el tamaño del sistema. Esto sugiere que los cúbits topológicos podrían ser viables incluso en sistemas físicos donde las interacciones de largo alcance son inevitables.
3. Límite Marginal ($\alpha = 1$): Los autores conjeturan que en el caso marginal $\alpha = 1$, la división podría escalar exponencialmente con correcciones logarítmicas, actuando como un punto de transición entre el comportamiento de corto alcance y el de largo alcance no sumable.
4. Nuevas Direcciones: El trabajo abre la puerta a estudiar sistemas bidimensionales (como el código torico con interacciones Coulombianas) y a investigar si la escala de exponencial estirada es una propiedad universal de las fases topológicas con interacciones de largo alcance o si requiere un ajuste fino.

En conclusión, el artículo proporciona una comprensión teórica sólida de cómo las interacciones de largo alcance afectan la estabilidad de los cúbits topológicos, demostrando que, aunque la protección se debilita respecto al caso de corto alcance, no desaparece, manteniendo una escala de protección que crece rápidamente con el tamaño del sistema.