Jones index from Rényi entropies in the Ising conformal field theory

Cet article établit une relation entre l'indice de Jones et les entropies de Rényi dans le modèle d'Ising et le fermion de Majorana libre, en démontrant que l'indice global de Jones peut être obtenu à partir du terme dominant de l'asymétrie de croisement lorsque deux intervales deviennent adjacents.

L'essentiel

🕵️‍♂️ Le Détective Quantique et le Secret des Intervals

Imaginez que l'univers est une immense toile d'araignée faite de vibrations d'énergie. Dans la physique moderne, on appelle cela un théorie quantique des champs. Les physiciens essaient de comprendre comment cette toile est tissée en la coupant en morceaux, un peu comme si on regardait deux îles séparées par une mer.

Ce papier, écrit par Valentin, Isai et Erik, pose une question fascinante : Comment mesurer la "completeness" (la complétude) d'un univers quantique en regardant seulement deux petites îles ?

Pour répondre, ils utilisent deux outils magiques :

1. L'Entropie de Rényi : Une sorte de "thermomètre du chaos" qui mesure combien d'informations sont partagées entre les deux îles.
2. L'Index de Jones : Un nombre mystérieux qui agit comme un compteur de portes secrètes.

---

🧩 Le Puzzle : Les Îles et les Portes Secrètes

Imaginons que vous avez une boîte de Lego (c'est votre théorie physique, ici le modèle d'Ising, qui décrit comment les aimants s'alignent).

• Le Modèle Complet (Haag Duality) : C'est une boîte de Lego parfaite. Si vous prenez deux îles (deux intervalles) dans cette boîte, tout ce qui se passe sur une île est parfaitement lié à ce qui se passe sur l'autre. Il n'y a pas de secrets. C'est comme un jeu où tout le monde voit tout. Dans ce cas, le "compteur de portes secrètes" (l'Index de Jones) vaut 1. C'est la valeur normale, l'ordre parfait.

• Le Modèle Incomplet (Violation de la Dualité) : Maintenant, imaginez que vous retirez certaines pièces de Lego de la boîte. Vous avez toujours des aimants, mais vous avez enlevé les pièces qui permettent de "parler" entre les deux îles.

  • Si vous regardez les deux îles, vous voyez qu'elles ne se parlent pas aussi bien qu'avant. Il y a des "zones d'ombre".
  • C'est là que l'Index de Jones devient intéressant. Il ne vaut plus 1. Il devient un nombre plus grand (comme 4 ou 16).
  • L'analogie : Imaginez que l'Index de Jones compte le nombre de clés secrètes nécessaires pour ouvrir toutes les portes entre les deux îles. Si vous avez retiré des pièces (des opérateurs locaux), il faut plus de clés (un index plus élevé) pour comprendre comment le système fonctionne au total.

---

🔍 L'Expérience : La "Symétrie Croisée"

Les auteurs ont trouvé une façon géniale de mesurer ce compteur de clés sans avoir à ouvrir la boîte. Ils utilisent une astuce mathématique appelée l'asymétrie de croisement.

Imaginez que vous avez deux îles, A et B.

1. Vous mesurez l'information entre elles.
2. Ensuite, vous faites une "magie" : vous échangez les rôles de l'île A et de l'île B (comme si vous inversiez le sens du vent).
3. Dans un monde parfait (complet), le résultat est exactement le même. L'asymétrie est nulle.
4. Mais dans un monde incomplet (où il manque des pièces), le résultat change ! Il y a une différence.

La découverte clé du papier :
Les auteurs ont prouvé que si vous regardez cette différence (l'asymétrie) quand les deux îles sont très proches l'une de l'autre (comme deux voisins qui se chuchotent des secrets), la valeur de cette différence vous donne directement le nombre de clés secrètes (l'Index de Jones).

C'est comme si, en écoutant le murmure entre deux voisins, vous pouviez déduire exactement combien de portes fermées à clé existent dans tout le quartier.

---

🧪 Les Cas Étudiés : Le Modèle d'Ising et le Fermion Libre

Les auteurs ont testé cette idée sur deux modèles célèbres :

1. Le Modèle d'Ising (Le Magnétisme) :

   • C'est un modèle simple avec trois types de "particules" (ou états) : le vide, le spin (l'aimant) et l'énergie.
   • Ils ont créé des versions "tronquées" de ce modèle en enlevant le spin ou l'énergie.
   • Résultat : Quand ils ont enlevé le spin, l'Index de Jones est devenu 4. Quand ils n'ont gardé que le vide, il est devenu 16.
   • Cela signifie que plus vous retirez de pièces du puzzle, plus le système devient "complexe" à comprendre à distance, et plus le nombre de clés secrètes (l'index) grimpe.

2. Le Fermion Libre (La Particule de Fermi) :

   • C'est un autre modèle, un peu différent, avec des particules qui ont une "chiralité" (elles tournent à gauche ou à droite).
   • Ils ont fait la même chose : enlever des pièces.
   • Résultat : Même chose ! L'index de Jones a augmenté (à 4 ou 16), confirmant que la méthode fonctionne pour différents types d'univers quantiques.

---

🎭 Pourquoi c'est important ? (La Morale de l'histoire)

Avant ce papier, les physiciens savaient que ce lien existait, mais seulement pour des cas très simples (quand l'entropie est mesurée d'une manière très spécifique).

Ce papier dit : "Peu importe comment vous mesurez le chaos (la valeur de l'entropie de Rényi), si vous regardez bien la différence entre les deux configurations d'îles, vous trouverez toujours le même nombre de clés secrètes."

C'est une découverte fondamentale car elle relie deux mondes qui semblaient séparés :

• Le monde de l'information quantique (comment les données sont partagées).
• Le monde de l'algèbre pure (la structure mathématique des symétries et des portes).

En résumé :
Les auteurs ont montré que l'entropie (le désordre) contient en elle-même la carte complète des règles secrètes de l'univers. En regardant comment deux petites parties de l'univers se comportent quand elles sont collées l'une à l'autre, on peut compter exactement combien de "règles cachées" existent dans la théorie tout entière. C'est comme deviner la taille d'un château en comptant le nombre de clés nécessaires pour ouvrir la porte d'entrée quand on est juste devant.

Résumé technique

1. Problématique et Contexte

L'article s'inscrit dans le domaine de la théorie quantique des champs (QFT) algébrique et de la théorie des champs conformes (CFT) en deux dimensions ($CFT_2$). Le problème central est l'étude de la relation entre l'indice de Jones (un invariant mathématique mesurant l'inclusion d'algèbres de von Neumann) et les entropies de Rényi calculées pour deux intervalles disjoints.

• Dualité de Haag et Secteurs DHR : Dans une QFT complète, la dualité de Haag ($A(R) = A'(R')$) est satisfaite. Cependant, pour des sous-modèles non complets (contenant des secteurs de superselection de Doplicher-Haag-Roberts ou DHR non triviaux), cette dualité est violée.
• L'Indice de Jones Global ($\mu_T$) : Cet indice quantifie la taille de la violation de la dualité de Haag. Pour un modèle complet invariant modulaire, $\mu_T = 1$. Pour les sous-modèles, $\mu_T > 1$.
• L'Asymétrie de Croisement ($A_{T,n}$) : Une quantité introduite précédemment, définie à partir du rapport des entropies de Rényi (ou de la fonction $F_{T,n}$) pour un intervalle $R$ et son complémentaire $R'$ (via le rapport croisé $\xi \to 1-\xi$).
• La Conjecture : Il a été établi que la limite de l'asymétrie de croisement lorsque les intervalles deviennent adjacents ($\xi \to 1$) donne l'indice de Jones global :
  $$\lim_{\xi \to 1} A_{T,n}(\xi) = \frac{1}{2} \log \mu_T$$
  Cette relation a été prouvée pour $n=2$ (entropie de von Neumann) et conjecturée pour tout $n$, mais des exemples explicites pour $n \ge 2$ manquaient.

Objectif de l'article : Vérifier et démontrer analytiquement cette relation (1.3) pour un indice de Rényi $n$ fini et générique, en utilisant le modèle d'Ising ($c=1/2$) et le fermion de Majorana libre comme cas d'étude.

2. Méthodologie

Les auteurs utilisent une approche combinant l'algèbre des opérateurs locaux, la théorie des catégories modulaires et le calcul explicite des fonctions de partition sur des surfaces de Riemann.

1. Modèles Étudiés :

   • Modèle d'Ising ($c=1/2$) : Un modèle rationnel avec trois champs primaires : identité ($1$), spin ($\sigma$) et énergie ($\epsilon$).
   • Fermion de Majorana libre : Un modèle complet mais non invariant sous toutes les transformations modulaires (manque d'invariance sous $\tau \to \tau+1$).
   • Sous-modèles : Les auteurs construisent des sous-algèbres fermées sous les règles de fusion :
     • $T_{Z_2}$ : Généré par $\{1, \epsilon\}$ (brisure de symétrie $\mathbb{Z}_2$).
     • $T_{su(2)_2}$ : Généré uniquement par $\{1\}$ (sous-modèle trivial).
     • $T_{Z_2^L}$ et $T_{Z_2^R}$ pour le fermion de Majorana (incluant des champs de spin semi-entier).

2. Calcul des Entropies de Rényi :

   • L'entropie de Rényi pour deux intervalles disjoints est liée à la fonction de partition $Z_{T, n-1}$ du modèle sur une surface de Riemann de genre $g = n-1$ (surface de Riemann $R_n$).
   • Les auteurs expriment ces fonctions de partition en termes de fonctions thêta de Riemann avec caractéristiques, dépendant de la matrice de période $\tau_n(\xi)$.
   • Ils utilisent une base d'homologie canonique spécifique pour insérer des projecteurs (opérateurs de Verlinde) qui sélectionnent les secteurs de superselection pertinents pour chaque sous-modèle.

3. Analyse de l'Asymétrie de Croisement :

   • Calcul explicite de la fonction $F_{T,n}(\xi)$ pour chaque sous-modèle.
   • Étude du comportement asymptotique lorsque $\xi \to 1$ (intervals adjacents) et $\xi \to 0$ (intervals éloignés).
   • Vérification de l'invariance sous les sous-groupes du groupe symplectique $Sp(2g, \mathbb{Z})$ (notamment le sous-groupe parabolique de Siegel) pour assurer la cohérence des expressions.

3. Contributions Clés et Résultats

A. Expressions Analytiques pour $n \ge 2$

Les auteurs obtiennent pour la première fois des expressions analytiques fermées de l'asymétrie de croisement $A_{T,n}(\xi)$ pour des valeurs d'entiers $n \ge 2$ dans le modèle d'Ising et le fermion de Majorana.

• Pour le sous-modèle $T_{Z_2}$, l'asymétrie est donnée par :
  $$A_{Z_2, n}(\xi) = \frac{1}{n-1} \log \left( \frac{\sum_q |\Theta[^0_q](\tilde{\tau}_n)|}{\sum_p |\Theta[^p_0](\tilde{\tau}_n)|} \right)$$
  (avec des expressions similaires pour $T_{su(2)_2}$ impliquant des racines carrées de sommes de fonctions thêta).

B. Validation de la Relation avec l'Indice de Jones

En développant les expressions analytiques autour de $\xi \to 1$ (ou $\xi \to 0$ selon la convention de limite), les auteurs montrent que le terme dominant est constant et indépendant de $n$ :

• Pour $T_{Z_2}$ : $\lim_{\xi \to 1} A_{Z_2, n}(\xi) = -\frac{1}{2} \log(4) \implies \mu_{Z_2} = 4$.
• Pour $T_{su(2)_2}$ : $\lim_{\xi \to 1} A_{su(2)_2, n}(\xi) = -\frac{1}{2} \log(16) \implies \mu_{su(2)_2} = 16$.
• Pour les sous-modèles du fermion de Majorana ($T_{Z_2^L}, T_{Z_2^R}$) : $\mu = 4$.

Ces résultats confirment la relation (1.3) pour tout $n$ fini, validant l'hypothèse que l'indice de Jones global est accessible via les entropies de Rényi d'ordre supérieur.

C. Comportement Asymptotique et Non-Commutativité des Limites

• Monotonie : Les courbes numériques montrent que l'asymétrie est une fonction monotone décroissante de $\xi$ pour $2 \le n \le 5$.
• Limite $n \to \infty$ : Les auteurs analysent la limite $n \to \infty$ (entropie d'une seule copie). Ils découvrent que les limites $\xi \to 0$ et $n \to \infty$ ne commutent pas. Le coefficient du terme sous-dominant dans le développement en $\xi$ diverge avec $n$ (en $n^{1/2}$ ou $n^{3/4}$), ce qui suggère une structure complexe de l'espace de Hilbert à haute température de Rényi.

D. Rôle des Projecteurs et Topologie

L'article clarifie comment les sous-modèles sont obtenus par l'insertion de projecteurs topologiques (lignes de défaut) sur les cycles de la surface de Riemann. Cela permet de reconstruire les fonctions de partition des sous-modèles à partir de celle du modèle complet, reliant directement la structure algébrique (règles de fusion) aux propriétés géométriques de la surface.

4. Signification et Implications

1. Pont entre Information Quantique et Algèbre Opératorielle : L'article consolide le lien entre les quantités d'information quantique (entropies de Rényi, asymétrie de croisement) et les invariants algébriques profonds (indice de Jones, catégories de superselection). Cela offre une nouvelle méthode pour calculer l'indice de Jones sans recourir uniquement à la théorie des catégories abstraites.
2. Généralité de la Relation : La démonstration pour $n \ge 2$ prouve que la relation (1.3) n'est pas un accident lié à l'entropie de von Neumann ($n=1$), mais une propriété fondamentale des CFTs rationnels.
3. Outils pour les Modèles Non-Complets : La méthodologie développée (utilisation de fonctions thêta sur des surfaces de genre supérieur et insertion de projecteurs) fournit un cadre robuste pour étudier d'autres modèles non complets ou des états excités/thermiques.
4. Compréhension de la Dualité de Haag : L'étude met en lumière comment la violation de la dualité de Haag se manifeste dynamiquement dans les corrélations à plusieurs points (via les intervalles disjoints) et comment elle est codée dans la structure modulaire de la théorie.

En résumé, cet article fournit une preuve analytique rigoureuse et des expressions explicites reliant l'indice de Jones global aux entropies de Rényi pour des modèles conformes en 2D, confirmant la robustesse de cette connexion pour tout indice de Rényi fini et ouvrant la voie à de nouvelles investigations sur la structure des sous-algèbres en théorie quantique des champs.