Resource complexity of Symmetry Protected Topological phases

Résumé Technique : Complexité des Ressources des Phases Topologiques Protégées par la Symétrie

Énoncé du Problème
Un défi central en information quantique consiste à identifier les ressources quantiques spécifiques qui permettent la suprématie quantique, en distinguant les états quantiques qui offrent des avantages de calcul par rapport aux simulations classiques. Bien que l'intrication ait été historiquement perçue comme le pont principal entre la physique des systèmes à plusieurs corps et l'information quantique, il est désormais admis que l'intrication seule est insuffisante ; des états hautement intriqués peuvent être classiquement simulables, tandis que certains avantages quantiques proviennent d'une intrication minimale. Par conséquent, la « magie quantique » (ou non-stabilisabilité) est apparue comme une ressource critique, quantifiant la distance d'un état quantique par rapport à la variété des stabilisateurs (états préparables via des circuits de Clifford).

Les phases topologiques de la matière, particulièrement les Phases Topologiques Protégées par la Symétrie (SPTP), sont souvent supposées héberger une haute complexité quantique en raison de leur encodage non local et de leur protection contre les perturbations locales. Cependant, cette connexion n'est pas universelle (par exemple, l'état fondamental du code torique est un état stabilisateur avec une magie nulle). Dans les systèmes unidimensionnels, les SPTP sont plus fragiles que les phases topologiques intrinsèques, pourtant elles servent de ressources pour le calcul quantique basé sur la mesure (MBQC). La question centrale abordée dans ce travail est de savoir si l'ordre topologique inhérent aux SPTP unidimensionnelles se manifeste par une augmentation intrinsèque de la magie quantique par rapport à leurs homologues topologiquement triviaux.

Méthodologie
Les auteurs évaluent la magie quantique via le rang-2 de l'entropie de Rényi des stabilisateurs ($M_2$), défini pour un état pur $|\psi\rangle$ de $L$ qubits comme :
$$M_2(|\psi\rangle) = \log_2 \left( \frac{1}{2^L} \sum_P |\langle \psi| P |\psi\rangle|^4 \right)$$
où la somme s'effectue sur toutes les chaînes de Pauli $P$. L'étude se concentre sur des modèles unidimensionnels possédant une dualité exacte reliant une phase topologique à une phase triviale. Cela permet une comparaison rigoureuse de la magie aux points duaux.

L'analyse emploie trois modèles spécifiques :

1. Chaîne XX dimérisée (modèle SSH) : Présente une SPTP pour une dimérisation $\delta \in (0, 1]$ et une phase triviale pour $\delta \in [-1, 0)$.
2. Chaîne Cluster–Ising : Présente une SPTP (phase cluster) lorsque l'interaction de cluster à trois corps domine ($\lambda < 1$) et une phase antiferromagnétique triviale lorsque le couplage Ising domine ($\lambda > 1$).
3. Chaîne d'Ising en champ transverse : Un modèle non topologique possédant une auto-dualité entre les phases ferromagnétique et paramagnétique, utilisé comme cas de contrôle.

Les simulations numériques utilisent la méthode de la Densité de Matrice de la Rénormalisation (DMRG) pour obtenir les états fondamentaux via des États de Produit de Matrices (MPS). Le $M_2$ est évalué en utilisant deux approches complémentaires, avec des dimensions de liaison tronquées à $\chi \approx 200-450$ pour l'expansion de la base de Pauli. L'étude compare systématiquement les résultats sous Conditions aux Limites Périodiques (PBC), qui préservent la dualité, et sous Conditions aux Limites Ouvertes (OBC), qui brisent la dualité et introduisent des états de bord.

Résultats Clés
L'investigation mène à plusieurs conclusions contre-intuitives concernant la relation entre l'ordre topologique et la magie quantique :

• Magie Identique aux Points Duaux (PBCs) : Sous conditions aux limites périodiques, où la symétrie de dualité est exacte, les valeurs de $M_2$ pour les états fondamentaux des phases topologiques et triviales sont identiques aux points duaux. Pour la chaîne XX dimérisée, $M_2(\delta) = M_2(-\delta)$ ; pour le modèle Cluster–Ising, $M_2(\lambda) = M_2(1/\lambda)$. Cela indique que la nature topologique de la phase n'augmente pas intrinsèquement les ressources non-Clifford requises pour préparer l'état.
• Asymétrie Subextensive sous OBCs : Sous conditions aux limites ouvertes, une différence de magie, $\Delta M_2$, apparaît entre les points duaux. Cependant, cette asymétrie n'est pas un invariant topologique. Il s'agit plutôt d'une correction subextensive qui dépend des paramètres microscopiques du Hamiltonien et de la taille du système. À mesure que la taille du système $L$ augmente, $\Delta M_2$ converge vers une fonction finie et non constante du paramètre de contrôle (par exemple, $\delta$ ou $\lambda$).
• Origine Non-Topologique : L'asymétrie observée sous OBC est attribuée à la rupture de la symétrie de dualité par les effets de bord, plutôt qu'à la présence d'un ordre topologique. Ceci est confirmé par la chaîne d'Ising en champ transverse, qui ne possède pas d'ordre topologique mais présente la même phénoménologie : un $\Delta M_2$ fini et dépendant des paramètres sous OBC, qui s'annule sous PBC.
• Contraste avec la Frustration Topologique : Les résultats contrastent avec les systèmes présentant une frustration topologique, où des excitations délocalisées induisent une croissance logarithmique de la magie avec la taille du système. Dans les SPTP étudiées ici, la magie totale est largement insensible au secteur topologique.

Signification et Revendications
Les auteurs concluent que l'ordre topologique dans les SPTP unidimensionnelles n'est pas nécessairement une véritable ressource de calcul en termes de magie quantique (non-stabilisabilité). Les états fondamentaux des SPTP peuvent être préparés en utilisant la même quantité de ressources non-Clifford que leurs duaux topologiquement triviaux.

L'article suggère que l'avantage de calcul perçu des SPTP dans les cadres de MBQC pourrait ne pas provenir d'une augmentation intrinsèque de la magie totale. Au lieu de cela, les auteurs proposent que l'évaluation de la complexité de calcul dans ces systèmes puisse nécessiter des quantités alternatives, telles que la Magie à Longue Portée (LRM), qui capture les composantes de non-stabilisabilité qui ne peuvent être éliminées par des circuits locaux peu profonds. Les résultats remettent en question l'hypothèse selon laquelle l'ordre topologique équivaut automatiquement à une complexité de calcul plus élevée dans le cadre des ressources de Clifford, soulignant que la « magie » de ces états est largement déterminée par les conditions aux limites et les violations de dualité plutôt que par la phase topologique elle-même.

L'étude souligne que bien que les SPTP soient des ressources précieuses pour des tâches de calcul spécifiques (comme le MBQC), leur classification dans un cadre de ressources de Clifford reste non triviale, et la complexité observée peut être une manifestation d'effets de bord ou de protocoles de mesure spécifiques plutôt que d'une propriété intrinsèque de l'ordre topologique.