Un QCA pour chaque SPT

Informations de base

• ID de l'article: 2407.07951
• Titre: Un QCA pour chaque SPT
• Auteurs: Lukasz Fidkowski (Université de Washington), Jeongwan Haah (Microsoft Quantum), Matthew B. Hastings (Microsoft Quantum)
• Classification: cond-mat.str-el quant-ph
• Date de publication: arXiv:2407.07951v2 cond-mat.str-el 22 nov 2024
• Lien de l'article: https://arxiv.org/abs/2407.07951

Résumé

En trois dimensions, il existe un automate cellulaire quantique (QCA) non trivial qui peut décorréler le modèle de Walker-Wang à trois fermions, dont l'action dépend des classes de Stiefel-Whitney de la variété espace-temps. Cet article propose une conjecture généralisée aux dimensions supérieures. Pour toute phase topologique protégée par symétrie d'inversion temporelle (SPT) dépendant des classes de Stiefel-Whitney, nous construisons le QCA correspondant et conjecturons qu'il peut décorréler cette phase. Certains de nos QCA sont Clifford et nous les relions aux théorèmes de classification des QCA Clifford. Nous identifions les QCA Clifford en dimension $4m+1$, découvrant qu'ils peuvent être décrits comme des circuits de faible profondeur utilisant des portes non-Clifford, mais ne peuvent pas être décrits avec des portes Clifford.

Contexte et motivation de la recherche

Contexte du problème

1. Problème de classification des QCA: Les automates cellulaires quantiques (QCA) sont des endomorphismes d'algèbres d'opérateurs préservant la localité sur les systèmes de spins sur réseau. En une dimension, la classification des QCA a été complètement résolue, mais en dimensions supérieures, la situation est plus complexe et intéressante.
2. Lien entre phases SPT et QCA: Les phases topologiques protégées par symétrie (SPT) sont un concept important en physique de la matière condensée. On sait qu'en trois dimensions, il existe des QCA non triviaux pouvant décorréler le modèle de Walker-Wang à trois fermions, correspondant à une phase SPT d'inversion temporelle au-delà de la classification par cohomologie de groupe.
3. Classification par cobordisme: La classification complète des phases SPT d'inversion temporelle est donnée par la théorie du cobordisme, dont l'action est décrite par les produits de classes de Stiefel-Whitney.

Motivation de la recherche

• Généraliser le QCA trifermionique tridimensionnel à des dimensions arbitraires
• Établir une correspondance générale entre phases SPT et QCA
• Comprendre la classification et les propriétés des QCA Clifford
• Explorer les différences de complexité des QCA sous différents ensembles de portes

Contributions principales

1. Proposition de la correspondance SW-QCA: Conjecture que toute phase SPT d'inversion temporelle dépendant du produit de classes de Stiefel-Whitney peut être produite par un QCA correspondant.
2. Construction du modèle de Walker-Wang en dimensions supérieures: Généralisation du modèle {1,f} Walker-Wang tridimensionnel à des dimensions arbitraires, décrivant des objets « fermioniques » de dimension $n-1$ couplés à un champ de jauge Z₂ de $n$-forme.
3. Construction explicite de QCA Clifford: Construction de QCA Clifford en dimension $2k+1$ avec représentation compacte utilisant le formalisme polynomial.
4. Preuve de trivialité pour le cas pair: Preuve rigoureuse que pour $k$ pair, le QCA en dimension $2k+1$ est trivial (peut être écrit comme un circuit).
5. Phénomène Clifford-difficile mais non-Clifford-facile: Découverte de certains QCA nécessitant des circuits profonds avec des portes Clifford, mais seulement des circuits peu profonds avec des portes non-Clifford.

Détails des méthodes

Définition de la tâche

Construire un QCA correspondant à toute phase SPT d'inversion temporelle, tel que ce QCA agissant sur un état produit puisse générer une phase réversible avec l'action des classes de Stiefel-Whitney données.

Méthode de construction principale

1. Dualité de bosonisation en dimensions supérieures

Basée sur les techniques de la littérature 14-16, pour tout $n < d$ et une séquence $\{i_s\}$ satisfaisant certaines conditions, réécrire l'espace de Hilbert des spins bosoniques en dimension $d$ comme un champ de jauge Z₂ de $n$-forme couplé à l'espace de Hilbert d'objets étendus de dimension $(n-1)$.

2. Généralisation du modèle de Walker-Wang

Construction de l'hamiltonien de Walker-Wang généralisé: $H^{WW}_{n,d} = -\sum_{\square^{d-n+1}} W_{\square^{d-n+1}} - \sum_{\square^{d-n-1}} (-1)^{\int (\square^{d-n-1} \cup^{d-2n-1} d\square^{d-n-1} + \square^{d-n-1} \cup^{d-2n-2} \square^{d-n-1})} B_{\square^{d-n-1}}$

où les termes $W$ assurent que les surfaces de champ électrique sont fermées, et les termes $B$ sont des termes de site.

3. Définition du QCA

Pour $m$ réseaux distincts, chacun correspondant à un champ de jauge $n_j$-forme $a_j$, définir le QCA: $U^{a_1 da_2...da_m}_i \equiv (-1)^{\int a_1 \cup da_2 \cup ... \cup da_m}$

où $i$ encode l'information de la séquence $\{i^j_s\}$.

Points d'innovation technique

1. Utilisation du produit cup en dimensions supérieures: Utilisation du produit cup en dimensions supérieures sur le réseau hypercubique 15 pour définir les signes fermioniques et l'action du QCA.
2. Formalisme polynomial: Pour les QCA Clifford, utilisation du formalisme polynomial donnant une représentation matricielle $4R \times 4R$, où $R = \binom{2k+1}{k}$.
3. Morphisme de réduction dimensionnelle: Implémentation de l'algorithme de réduction dimensionnelle pour la classification des QCA Clifford, permettant le calcul des invariants Z₂ du QCA.

Configuration expérimentale

Méthodes de vérification théorique

1. Vérification par formalisme polynomial: Pour $k=1,2$ (c'est-à-dire $d=3,5$), vérification numérique que les matrices QCA satisfont $M^\dagger \lambda M = \lambda$.
2. Calcul du morphisme de réduction: Implémentation du calcul symbolique du morphisme de réduction dimensionnelle, calcul de l'invariant Z₂ non nul pour le cas $d=3$.
3. Argument de théorie des champs: Support de théorie des champs pour la correspondance SW-QCA par calcul de la fonction de partition.

Exemples concrets vérifiés

• Cas trifermionique: Vérification que $k=1$ retrouve le QCA trifermionique connu
• État cluster: Preuve que le cas 0-forme produit l'état cluster
• Preuve de trivialité: Preuve rigoureuse de la trivialité du QCA pour $k$ pair

Résultats expérimentaux

Résultats principaux

1. Classification des QCA Clifford:
   • En dimension spatiale impaire $d \geq 3$, il existe des QCA Clifford non triviaux
   • Le groupe de classification est Z₂, en accord avec les prédictions de la littérature 19
2. Résultats de trivialité:
   • Pour $k$ pair, le QCA en dimension $2k+1$ est trivial
   • Peut être écrit comme un circuit peu profond avec des portes non-Clifford
3. Séparation de complexité:
   • Pour $m \geq 1$, on a: $\lim_{L \to \infty} \text{profondeur}(U^{WW}_{4m+1}(L)) < \infty$$\lim_{L \to \infty} \text{profondeur}(U^{WW}_{4m+1}(L); \text{Clifford}) = \infty$

Résultats de calcul spécifiques

1. Cas tridimensionnel: Par le morphisme de réduction dimensionnelle, confirmation que le QCA Clifford en $d=3$ possède un invariant Z₂ non nul.
2. Cas pentadimensionnel: Bien que la complexité de calcul soit très élevée, le premier morphisme de réduction a été complété.
3. Représentation matricielle: Représentation matricielle explicite $4R \times 4R$ du QCA Clifford en dimension $2k+1$.

Travaux connexes

Théorie de classification des QCA

• Gross et al. 2: Classification complète des QCA unidimensionnels
• Freedman et Hastings 9: Preuve que les QCA bidimensionnels sont triviaux sous équivalence de mélange
• Haah 10,19: Théorème de classification des QCA Clifford

Théorie des phases SPT

• Kapustin 11: Classification par cobordisme des phases SPT d'inversion temporelle
• Chen et Kapustin 14: Dualité de bosonisation tridimensionnelle
• Fidkowski et al. 1,7: QCA trifermionique et phases SPT au-delà de la cohomologie de groupe

Modèle de Walker-Wang

• Kitaev 12: Modèle en nid d'abeille et fermionisation
• Chen et Tata 15: Produit cup en dimensions supérieures sur réseau hypercubique

Conclusions et discussion

Conclusions principales

1. Correspondance SW-QCA: Proposition d'une correspondance générale entre phases SPT et QCA, où tout produit de classes de Stiefel-Whitney correspond à un QCA.
2. Complexité Clifford: Découverte de différences de complexité entre les portes Clifford et les portes quantiques générales dans la réalisation de certains opérateurs unitaires.
3. Généralisation en dimensions supérieures: Généralisation réussie du QCA trifermionique tridimensionnel à des dimensions impaires arbitraires.

Limitations

1. Nature conjecturale: La correspondance SW-QCA reste une conjecture, manquant de preuve rigoureuse.
2. Incomplétude des arguments de théorie des champs: Difficultés standard dans le calcul de la fonction de partition sur une variété espace-temps à partir de calculs de fonction d'onde sur réseau.
3. Complexité de calcul: La complexité de calcul du morphisme de réduction dimensionnelle est au moins doublement exponentielle.

Directions futures

1. Preuve rigoureuse de la correspondance SW-QCA
2. Généralisation aux triangulations ramifiées
3. Compréhension de la théorie de surface des QCA en dimensions supérieures
4. Caractérisation des critères généraux de non-trivialité des QCA

Évaluation approfondie

Avantages

1. Profondeur théorique: Liaison de la théorie des QCA avec la classification des phases SPT, fournissant des perspectives théoriques profondes.
2. Approche constructive: Non seulement propose des conjectures, mais fournit aussi des méthodes de construction concrètes et des techniques de calcul.
3. Vérifications multiples: Support des résultats principaux par arguments de théorie des champs, calculs sur réseau et exemples concrets.
4. Innovation technique: Introduction du produit cup en dimensions supérieures et du formalisme polynomial, fournissant de nouveaux outils pour la recherche sur les QCA.

Insuffisances

1. Manque de rigueur: De nombreux résultats clés restent des conjectures, manquant de preuves complètement rigoureuses.
2. Limitations de calcul: En raison de la complexité de calcul, impossible de vérifier toutes les prédictions pour les cas en dimensions supérieures.
3. Interprétation physique: Manque de définition rigoureuse sur réseau pour les propriétés statistiques des objets « fermioniques » en dimensions supérieures.

Impact

1. Contribution théorique: Fournit un nouveau cadre pour comprendre la relation entre QCA et phases topologiques.
2. Théorie de la complexité de calcul: Le phénomène Clifford-difficile découvert a une importance significative pour la théorie du calcul quantique.
3. Valeur méthodologique: Les techniques développées peuvent s'appliquer à d'autres problèmes connexes.

Domaines d'application

1. Calcul quantique topologique: Fournit une base théorique pour concevoir des schémas de calcul quantique basés sur les phases SPT.
2. Théorie de la matière condensée: Fournit de nouveaux outils théoriques pour l'étude des phases topologiques en dimensions supérieures.
3. Information quantique: Fournit une nouvelle perspective pour comprendre les propriétés topologiques de l'intrication quantique.

Références

L'article cite 42 références importantes, incluant principalement:

1. Haah, Fidkowski, Hastings (2023): QCA non triviaux en dimensions supérieures
2. Gross et al. (2012): Classification des QCA unidimensionnels
3. Kapustin (2014): Classification par cobordisme des phases SPT
4. Chen, Kapustin (2019): Bosonisation tridimensionnelle
5. Chen, Tata (2023): Théorie du produit cup en dimensions supérieures