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

Dit artikel onderzoekt de relatie tussen de Jones-index en Rényi-entropieën in het Ising-conforme veldtheorie-model en toont aan dat de leidende term van de kruisasymmetrie in de limiet van aangrenzende intervallen de globale Jones-index oplevert voor elke eindige Rényi-index.

De kern

Stel je voor dat je een enorm, ingewikkeld universum hebt, zoals een grote stad. In de wereld van de theoretische natuurkunde noemen we dit een Kwantumveldtheorie. In deze stad wonen verschillende soorten "inwoners" (deeltjes of velden) die met elkaar kunnen praten en interageren.

Soms kijken we naar een heel specifieke wijk van deze stad, bijvoorbeeld twee afzonderlijke parken die niet aan elkaar grenzen. De vraag die deze wetenschappers (Valentin Benedetti, Isai Davila-Cuba en Erik Tonni) stellen, is: Hoe goed kennen deze twee parken elkaar? Ofwel: hoeveel informatie delen ze?

In de natuurkunde noemen we dit verstrengeling (entanglement). Om dit te meten, gebruiken ze een wiskundig gereedschap dat Rényi-entropie heet. Dit is een soort "dichtheidsmeter" voor informatie.

Het mysterie van de "Jones-index"

Nu komt het interessante deel. De auteurs ontdekken een verborgen schat in deze metingen: de Jones-index.

Stel je voor dat de stad (het universum) eigenlijk een perfecte, gesloten kring is waar alles bij elkaar hoort. Maar soms kijken we alleen naar een deel van die stad, een submodel. Misschien missen we daar een paar belangrijke inwoners of regels.

• Als je de stad volledig kent, is de "Jones-index" gelijk aan 1. Alles is compleet.
• Als je een deel van de stad bekijkt waar bepaalde regels ontbreken (bijvoorbeeld waar je niet kunt zien wat er in een ander park gebeurt), dan is de Jones-index groter dan 1. Het getal vertelt je precies hoeveel "ontbrekende stukjes" er zijn.

De Jones-index is dus een maatstaf voor hoe compleet je kennis van dat stukje universum is.

De brug tussen twee parken

De kern van dit papier is een slimme ontdekking: je kunt deze Jones-index berekenen door te kijken naar hoe de informatie tussen twee parken zich gedraagt als je ze dichter bij elkaar brengt.

De auteurs gebruiken een creatieve analogie:
Stel je voor dat je twee parken hebt, Park A en Park B.

1. Ver weg: Als ze heel ver uit elkaar liggen, is er weinig contact.
2. Dichtbij: Als je ze naar elkaar toe schuift tot ze bijna aan elkaar grenzen, gebeurt er iets speciaals.

De auteurs tonen aan dat als je de "informatiedichtheid" (de Rényi-entropie) meet terwijl je de parken naar elkaar toe duwt, de manier waarop deze meting verandert, direct de Jones-index onthult. Het is alsof je door te kijken hoe twee buren met elkaar praten als ze heel dicht bij elkaar staan, kunt aflezen of ze tot dezelfde familie behoren of of er een geheim tussen hen schuilt.

Het Ising-model en de vrije fermion

Om dit te bewijzen, kijken ze naar twee specifieke, bekende "steden" in de natuurkunde:

1. Het Ising-model: Dit is een heel bekend model (vaak gebruikt om magnetisme te begrijpen) dat werkt als een soort legpuzzel met drie soorten stukjes.
2. De vrije Majorana-fermion: Een ander type deeltje dat zich als een spookachtige, half-gehele deeltjes gedraagt.

In deze steden zijn er verschillende "sub-wijken" (submodellen). Sommige wijken zijn compleet (alles is er), andere zijn incompleet (er ontbreken stukjes). De auteurs hebben een wiskundige formule bedacht die voor elke soort Rényi-meting (niet alleen de standaard, maar ook voor complexere versies) precies laat zien:

• Is deze wijk compleet?
• Zo nee, wat is de Jones-index (hoeveel ontbreekt er)?

Waarom is dit cool?

Vroeger dachten wetenschappers dat je deze Jones-index alleen kon vinden door heel complexe, abstracte wiskunde te doen die niets met de echte wereld te maken leek te hebben.

Dit papier zegt: "Nee, je kunt het gewoon aflezen uit de manier waarop twee stukjes ruimte met elkaar verstrengeld zijn."

Het is alsof je vroeger dacht dat je om te weten hoeveel er in een gesloten doos zat, de doos open moest maken en alles moest tellen. Deze auteurs zeggen nu: "Je kunt het ook weten door te luisteren naar het geluid dat de doos maakt als je hem schudt."

Samenvatting in één zin

De auteurs hebben bewezen dat je een diep wiskundig getal (de Jones-index), dat aangeeft hoe compleet een stukje universum is, kunt berekenen door te kijken naar hoe twee losse stukjes ruimte met elkaar "praten" (verstrengeling) als je ze heel dicht bij elkaar brengt, zelfs in de meest complexe scenario's.

Dit helpt natuurkundigen om beter te begrijpen hoe de fundamentele regels van het universum in elkaar steken en welke stukjes informatie essentieel zijn en welke we misschien missen.

Technische samenvatting

Titel: Jones-index afgeleid van Rényi-entropieën in de Ising-conforme veldtheorie

Auteurs: Valentin Benedetti, Isai Davila-Cuba en Erik Tonni

---

1. Probleemstelling en Achtergrond

Het artikel onderzoekt de relatie tussen de Jones-index (een maatstaf uit de theorie van von Neumann-algebra's) en de Rényi-entropieën in tweedimensionale conforme veldtheorieën (CFT2).

• Superselectie-sectoren en Haag-dualiteit: In algebraïsche kwantumveldtheorie (AQFT) kunnen Hilbertruimtes worden opgedeeld in superselectie-sectoren (DHR-sectoren). Wanneer een theorie niet "compleet" is (d.w.z. niet alle geladen operatoren bevat), treedt er een schending van de Haag-dualiteit op voor de algebra van disjuncte gebieden.
• Jones-index: Deze schending wordt gekwantificeerd door de globale Jones-index ($\mu_T$). Voor een complete, modulair invariante CFT2 is $\mu_T = 1$. Voor niet-compleete submodellen is $\mu_T > 1$.
• De uitdaging: Hoewel bekend is dat de Jones-index gerelateerd is aan de asymptotische limiet van de "crossing asymmetry" (kruisasymmetrie) van Rényi-entropieën voor twee disjuncte intervallen, was deze relatie voor een willekeurige eindige waarde van de Rényi-index $n$ niet expliciet onderzocht voor specifieke modellen. De vraag was of de leidende term in de expansie van de asymmetrie de Jones-index oplevert voor elke $n$, en niet alleen in de limiet $n \to 1$ (von Neumann-entropie).

2. Methodologie

De auteurs analyseren twee specifieke CFT2-modellen:

1. Het Ising-model: Een rationele CFT met centrale lading $c=1/2$, drie primaire velden ($1, \sigma, \epsilon$) en volledige modulair invariantheid.
2. Het vrije Majorana-fermion: Een model met $c=1/2$ dat niet volledig modulair invariant is (invariant onder $S$, maar niet onder $T$).

Technische aanpak:

• Rényi-entropieën: De auteurs gebruiken de formule voor de Rényi-entropie $S_n$ van twee disjuncte intervallen $R_1 \cup R_2$ op de lijn. Deze hangt af van een modelafhankelijke functie $F_{T,n}(\xi)$, waarbij $\xi$ de kruisverhouding is.
• Crossing Asymmetry: Ze definiëren de grootheid $A_{T,n}(\xi) = \frac{1}{n-1} \log \left( \frac{F_{T,n}(\xi)}{F_{T,n}(1-\xi)} \right)$. In een complete theorie is deze nul; in een niet-complete theorie convergeert deze naar een constante gerelateerd aan de Jones-index.
• Riemann-oppervlakken: De berekening van $F_{T,n}(\xi)$ wordt geassocieerd met de partitiefunctie van het model op een Riemann-oppervlak met genus $g = n-1$.
• Projectoren en Verlinde-lijnen: Om de partitiefuncties voor de submodellen (die niet modulair invariant zijn) te construeren, passen de auteurs projectoren toe op de partitiefunctie van het complete model. Deze projectoren corresponderen met topologische defectlijnen (Verlinde-lijnen) die symmetrieën implementeren (zoals $\mathbb{Z}_2$ of $SU(2)_2$).
• Theta-functies: De partitiefuncties worden uitgedrukt in termen van Riemann-Theta-functies met karakteristieken, afhankelijk van de periode-matrix $\tau_n(\xi)$ van het Riemann-oppervlak.

3. Belangrijkste Bijdragen

1. Analytische uitdrukkingen voor willekeurige $n$: De paper levert voor het eerst expliciete analytische formules voor de crossing asymmetry $A_{T,n}(\xi)$ voor submodellen van het Ising-model en het vrije fermion, geldig voor elke gehele $n \geq 2$.
2. Validatie van de Jones-index relatie: Ze bewijzen analytisch en numeriek dat de leidende term in de expansie van de crossing asymmetry voor $\xi \to 1$ (adjacent intervallen) exact de globale Jones-index $\mu_T$ oplevert, onafhankelijk van de waarde van $n$:
   $$\lim_{\xi \to 1} A_{T,n}(\xi) = \frac{1}{2} \log \mu_T$$
3. Constructie van niet-compleete submodellen: Ze identificeren en analyseren de subalgebra's die gesloten zijn onder fusieregels:
   • Voor Ising: $T_{\mathbb{Z}_2}$ (velden $\{1, \epsilon\}$) en $T_{SU(2)_2}$ (alleen $\{1\}$).
   • Voor Majorana: $T_{\mathbb{Z}_2^L}$ en $T_{\mathbb{Z}_2^R}$ (fermionische sectoren).
4. Symmetrie-analyse: Ze onderzoeken de invariantheid van de partitiefuncties onder subgroepen van de symplectische modulaire groep $Sp(2g, \mathbb{Z})$, specifiek de Siegel-paraboolsubgroep $GL(g, \mathbb{Z}) \ltimes Sym(g, \mathbb{Z})$.

4. Resultaten

A. Jones-indexen:
De berekende globale Jones-indexen voor de submodellen zijn:

• Ising complete model: $\mu = 1$.
• Ising $T_{\mathbb{Z}_2}$: $\mu = 4$.
• Ising $T_{SU(2)_2}$: $\mu = 16$.
• Majorana $T_{\mathbb{Z}_2^L}$ en $T_{\mathbb{Z}_2^R}$: $\mu = 4$.

B. Gedrag van de Crossing Asymmetry:

• Expansie: De auteurs leiden de asymptotische expansie af voor $\xi \to 0$ (grote afstand). De leidende term is constant en gelijk aan $\frac{1}{2}\log \mu_T$.
• Subleidend gedrag: De volgende term in de expansie hangt af van $n$ en de kleinste conformale dimensie in het spectrum van het submodel. Voor $T_{\mathbb{Z}_2}$ is de macht van $\xi$ gelijk aan $1/4$, en voor $T_{SU(2)_2}$ gelijk aan $1/8$.
• Monotonie: Numerieke evaluaties tonen aan dat de crossing asymmetry monotoon afneemt met $\xi$ voor $2 \leq n \leq 5$.
• Grens $n \to \infty$: De auteurs onderzoeken de limiet $n \to \infty$ (single-copy entanglement). Ze concluderen dat de limieten $\xi \to 0$ en $n \to \infty$ niet commuteren, wat leidt tot een divergentie in de subleidend term.

C. Specifieke Formules:
Voor het Ising-model $T_{\mathbb{Z}_2}$ wordt de crossing asymmetry gegeven door:
$$A_{\mathbb{Z}_2, n}(\xi) = \frac{1}{n-1} \log \left( \frac{\sum_q |\Theta[^0_q](\tilde{\tau}_n)|}{\sum_q |\Theta[^{-1_\rhd q}_0](\tau_n)|} \right)$$
waarbij $\Theta$ de Riemann-Theta-functie is en $\tilde{\tau}_n$ een getransformeerde periode-matrix.

5. Significatie en Conclusie

• Verbinding tussen AQFT en Quantum Information: Het artikel versterkt de link tussen de abstracte algebraïsche structuur van QFT (Jones-index, superselectie-sectoren) en concrete grootheden uit de quantum-informatietheorie (Rényi-entropieën).
• Robuustheid: De bevinding dat de Jones-index uit de crossing asymmetry voortkomt voor elke $n$ (niet alleen $n=1$) suggereert dat deze maatstaf robuust is en diep verankerd in de topologische structuur van de theorie.
• Toepasbaarheid: De methode van het construeren van partitiefuncties via projectoren op Riemann-oppervlakken biedt een krachtig instrument om niet-compleete CFT's te bestuderen, wat relevant is voor het begrijpen van defecten, randvoorwaarden en renormalisatiegroepstromen.
• Toekomstperspectief: De auteurs suggereren dat deze technieken kunnen worden toegepast op andere modellen (zoals compacte bosonen) en op aangeslagen toestanden of thermische toestanden, evenals op het bestuderen van de relatie met de renormalisatiegroep.

Kortom, dit werk biedt een diepgaande, analytische en numerieke verificatie van hoe de Jones-index, een fundamentele maatstaf voor de volledigheid van een kwantumveldtheorie, direct kan worden afgeleid uit de entanglement-structuur van de grondtoestand via Rényi-entropieën.