Resource complexity of Symmetry Protected Topological phases

Resumen Técnico: Complejidad de Recursos de las Fases Topológicas Protegidas por Simetría

Planteamiento del Problema
Un desafío central en la ciencia de la información cuántica es identificar los recursos cuánticos específicos que habilitan la supremacía cuántica, distinguiendo los estados cuánticos que ofrecen ventajas computacionales sobre las simulaciones clásicas. Si bien el entrelazamiento fue visto históricamente como el puente principal entre la física de muchos cuerpos y la información cuántica, ahora se entiende que el entrelazamiento por sí solo es insuficiente; los estados altamente entrelazados pueden ser clásicamente simulables, mientras que algunas ventajas cuánticas surgen con un entrelazamiento mínimo. En consecuencia, la "magia cuántica" (o no-estabilicidad) ha emergido como un recurso crítico, cuantificando la distancia de un estado cuántico respecto a la variedad de estabilizadores (estados preparables mediante circuitos de Clifford).

Las fases topológicas de la materia, particularmente las Fases Topológicas Protegidas por Simetría (SPTP, por sus siglas en inglés), suelen hipotetizarse como portadoras de una alta complejidad cuántica debido a su codificación no local y su protección contra perturbaciones locales. Sin embargo, esta conexión no es universal (por ejemplo, el estado fundamental del código de Toric es un estado de estabilizador con cero magia). En sistemas unidimensionales, las SPTP son más frágiles que las fases topológicas inherentes, pero sirven como recursos para la computación cuántica basada en mediciones (MBQC). La pregunta central abordada en este trabajo es si el orden topológico inherente en las SPTP unidimensionales se manifiesta como un aumento intrínseco en la magia cuántica en comparación con sus contrapartes topológicamente triviales.

Metodología
Los autores evalúan la magia cuántica utilizando la Entropía de Rényi de Estabilizador de rango 2 ($M_2$), definida para un estado puro $|\psi\rangle$ de $L$ qubits como:
$$M_2(|\psi\rangle) = \log_2 \left( \frac{1}{2^L} \sum_P |\langle \psi| P |\psi\rangle|^4 \right)$$
donde la suma se realiza sobre todas las cadenas de Pauli $P$. El estudio se centra en modelos unidimensionales que poseen una dualidad exacta que mapea una fase topológica a una fase trivial. Esto permite una comparación rigurosa de la magia en los puntos duales.

El análisis emplea tres modelos específicos:

1. Cadena XX dimerizada (modelo SSH): Exhibe una SPTP para la dimerización $\delta \in (0, 1]$ y una fase trivial para $\delta \in [-1, 0)$.
2. Cadena Cluster–Ising: Exhibe una SPTP (fase cluster) cuando la interacción de tres cuerpos de tipo cluster predomina ($\lambda < 1$) y una fase antiferromagnética trivial cuando predomina el acoplamiento Ising ($\lambda > 1$).
3. Cadena de Ising con campo transversal: Un modelo no topológico con una autodualidad entre las fases ferromagnética y paramagnética, utilizado como caso de control.

Las simulaciones numéricas utilizan la Técnica de Grupo de Matrices de Densidad Renormalizada (DMRG) para obtener los estados fundamentales mediante Estados de Producto de Matrices (MPS). El $M_2$ se evalúa utilizando dos enfoques complementarios, con dimensiones de enlace truncadas en $\chi \approx 200-450$ para la expansión de la base de Pauli. El estudio compara sistemáticamente los resultados bajo Condiciones de Contorno Periódicas (PBC), que preservan la dualidad, y Condiciones de Contorno Abiertas (OBC), que rompen la dualidad e introducen estados de borde.

Resultos Clave
La investigación arroja varios hallazgos contraintuitivos respecto a la relación entre el orden topológico y la magia cuántica:

• Magia Idéntica en Puntos Duales (PBCs): Bajo condiciones de contorno periódicas, donde la simetría de dualidad es exacta, los valores de $M_2$ para los estados fundamentales de las fases topológica y trivial en los puntos duales son idénticos. Para la cadena XX dimerizada, $M_2(\delta) = M_2(-\delta)$; para el modelo Cluster–Ising, $M_2(\lambda) = M_2(1/\lambda)$. Esto indica que la naturaleza topológica de la fase no aumenta intrínsecamente los recursos no-Clifford requeridos para preparar el estado.
• Asimetría Subextensiva bajo OBCs: Bajo condiciones de contorno abiertas, surge una diferencia en la magia, $\Delta M_2$, entre los puntos duales. Sin embargo, esta asimetría no es un invariante topológico. En su lugar, es una corrección subextensiva que depende de los parámetros microscópicos del Hamiltoniano y del tamaño del sistema. A medida que el tamaño del sistema $L$ aumenta, $\Delta M_2$ converge a una función finita y no constante del parámetro de control (por ejemplo, $\delta$ o $\lambda$).
• Origen No Topológico: La asimetría observada bajo OBCs se atribuye a la ruptura de la simetría de dualidad por efectos de borde, en lugar de la presencia de orden topológico. Esto se confirma con la cadena de Ising con campo transversal, que carece de orden topológico por completo pero exhibe la misma fenomenología: un $\Delta M_2$ finito y dependiente de los parámetros bajo OBCs que se anula bajo PBCs.
• Contraste con la Frustración Topológica: Los resultados contrastan con los sistemas de frustración topológica, donde las excitaciones deslocalizadas inducen un crecimiento logarítmico de la magia con el tamaño del sistema. En las SPTP estudiadas aquí, la magia total es mayormente insensible al sector topológico.

Significancia y Reivindicaciones
Los autores concluyen que el orden topológico en las SPTP 1D no es necesariamente un recurso computacional genuino en términos de magia cuántica (no-estabilicidad). Los estados fundamentales de las SPTP pueden prepararse utilizando la misma cantidad de recursos no-Clifford que sus duales topológicamente triviales.

El artículo sugiere que la ventaja computacional percibida de las SPTP en los marcos de MBQC puede no provenir de un aumento intrínseco de la magia total. En su lugar, los autores proponen que evaluar la complejidad computacional en estos sistemas puede requerir cantidades alternativas, como la Magia de Largo Alcance (LRM), que captura componentes de no-estabilicidad que no pueden eliminarse mediante circuitos locales poco profundos. Los hallazgos desafían la suposición de que el orden topológico equivale automáticamente a una mayor complejidad computacional dentro del marco de recursos de Clifford, destacando que la "magia" de estos estados está determinada mayormente por las condiciones de contorno y las violaciones de dualidad, más que por la fase topológica misma.

El estudio enfatiza que, si bien las SPTP son recursos valiosos para tareas computacionales específicas (como MBQC), su clasificación dentro de un marco de recursos de Clifford sigue siendo no trivial, y la complejidad observada puede ser una manifestación de efectos de frontera o protocolos de medición específicos, más que una propiedad intrínseca del orden topológico.