On the Wilson-Fisher fixed point in the limit of integer spacetime dimensions

Dit artikel betoogt dat het Wilson-Fisher-vast punt in twee dimensies niet identiek is aan het Ising-model, maar dat het Ising-model slechts een subsectie vormt van dit vast punt, een conclusie die wordt onderbouwd door de analyse van multipliciteiten in de $O(n)$-modellen en de implicaties voor de Virasoro-symmetrie.

De kern

De Wilson-Fisher Vastheid en het Ising-Model: Een Verhaal over Spiegels en Verdwenen Deeltjes

Stel je voor dat je een heel complexe machine bouwt, een soort "Universele Simulator" die gedraagt op verschillende manieren afhankelijk van hoe je hem instelt. In de wereld van de theoretische fysica noemen we deze machine het Wilson-Fisher-vastpunt. Het is een wiskundig model dat beschrijft hoe materie zich gedraagt op het punt van een fase-overgang (zoals water dat kookt of ijzer dat magnetisch wordt).

Deze machine werkt perfect als je hem instelt op "niet-gehele" dimensies (bijvoorbeeld 2,5 dimensies). Maar natuurkundigen wilden altijd weten: wat gebeurt er als we de machine terugdraaien naar de echte wereld, waar we leven in 2 of 3 dimensies?

De algemene verwachting was simpel: als je de machine instelt op 2 dimensies, zou hij precies hetzelfde moeten doen als een beroemd, oud model genaamd het Ising-model (dat magnetisme beschrijft). Het was alsof je dacht: "Als ik de dimensie verander van 2,5 naar 2, verandert de machine gewoon in het Ising-model."

Maar in dit nieuwe artikel laat de auteur, Bernardo Zan, zien dat dit idee niet klopt. Het is alsof je denkt dat een olifant die op een trampoline springt, precies hetzelfde gedrag vertoont als een muis die op dezelfde trampoline springt, zolang ze maar op hetzelfde punt staan. Ze lijken op elkaar, maar er zit een groot verschil in wat er echt gebeurt.

Hier is de uitleg, vertaald naar alledaagse beelden:

1. Het Probleem: De "Onzichtbare" Spelers

In de wereld van 2 dimensies (ons papier) heeft het Ising-model een heel speciale eigenschap: het heeft oneindig veel regels die nooit veranderen. Denk hieraan als een dansgroep die perfect synchroon beweegt. Als je één danser een stap laat zetten, bewegen alle anderen direct mee op een manier die wiskundig perfect is. Dit wordt "Virasoro-symmetrie" genoemd.

De Wilson-Fisher-machine, als je hem instelt op 2,5 dimensies, heeft deze perfecte dans niet. Hij heeft wel een paar dansers, maar niet die oneindige groep.

Het Paradox:
Als je de Wilson-Fisher-machine langzaam terugdraait naar 2 dimensies, zou je denken dat hij plotseling die perfecte dansgroep krijgt. Maar de wiskunde zegt: "Nee!"
Als je de machine terugdraait, blijven er "geestelijke" dansers achter die in de 2-dimensionale wereld niet zouden mogen bestaan. Het Ising-model heeft geen ruimte voor deze extra dansers. Als je ze erin probeert te stoppen, breekt de wiskunde.

Het is alsof je een kamer probeert te vullen met meubels. Het Ising-model is een kamer met precies de juiste maat. De Wilson-Fisher-machine probeert er echter een extra, enorme kast in te duwen die in die kamer niet past. Als je zegt "het is hetzelfde", dan is de kamer kapot.

2. De Oplossing: De "Subgroep"

De auteur stelt een nieuw idee voor: De Wilson-Fisher-machine wordt niet het Ising-model. In plaats daarvan wordt het Ising-model slechts een deel (een subgroep) van de Wilson-Fisher-machine.

De Analogie van de Orkest:
Stel je voor dat het Wilson-Fisher-model een groot orkest is dat in een zaal speelt.

• Het Ising-model is de cello-sectie van dat orkest.
• Als je naar 2 dimensies gaat, hoor je de cello's perfect spelen (dat is het Ising-model).
• Maar er spelen ook andere instrumenten mee: fluiten, trompetten en drums die je in het Ising-model niet hoort.

In de wereld van 2 dimensies zijn deze extra instrumenten (de "niet-Ising" deeltjes) zo gekozen dat ze elkaar opheffen. Ze spelen precies tegenovergestelde noten, waardoor ze voor de luisteraar (de wiskunde) verdwijnen. Het lijkt alsof er alleen cello's zijn, maar in werkelijkheid is er een heel orkest dat zichzelf stilhoudt.

3. De "Negatieve" Deeltjes

Hoe kunnen instrumenten elkaar opheffen? In de wiskunde van deze theorie kunnen sommige deeltjes een "negatief aantal" hebben.

• Stel je voor dat je 5 rode ballen hebt (positief).
• En je hebt 5 blauwe ballen die "negatief" zijn (ze tellen als -5).
• Als je ze bij elkaar doet, heb je 0 ballen.

In de Wilson-Fisher-machine zijn er deeltjes die in 2 dimensies een "negatieve multipliciteit" hebben. Ze bestaan wiskundig, maar ze tellen negatief mee. Ze cancelen precies de extra deeltjes weg die het Ising-model niet mag hebben.

Dit is een heel vreemd concept voor onze dagelijkse wereld (je kunt niet -5 appels hebben), maar in de wiskunde van kwantumvelden werkt het perfect om de "ruis" te verwijderen en alleen het "Ising-deel" over te houden.

4. Waarom is dit belangrijk? (De Reis naar 2,01)

De auteurs vragen zich af: "Als we het Ising-model precies kennen in 2 dimensies, kunnen we dan voorspellen wat er gebeurt in 2,01 dimensies?"

Het antwoord is nee.
Omdat het Ising-model slechts een klein stukje is van de hele machine, en de rest van de machine (die verdwenen deeltjes) cruciaal is voor hoe de machine werkt net boven 2 dimensies.

De Metafoor van de Kaart:
Het Ising-model is als een kaart van alleen de stad Amsterdam.
De Wilson-Fisher-machine is de kaart van heel Nederland.
Als je probeert te voorspellen hoe het weer is in Utrecht (2,01 dimensies) door alleen naar de kaart van Amsterdam (2 dimensies) te kijken, mislukt het. Je mist de windstromen die vanuit de rest van Nederland komen. Je hebt de hele kaart nodig, inclusief de gebieden die in Amsterdam "niet bestaan" (de negatieve deeltjes), om de voorspelling voor 2,01 dimensies goed te krijgen.

Conclusie

Dit artikel zegt ons dat we niet kunnen doen alsof de complexe wereld van de Wilson-Fisher-machine simpelweg "verandert" in het simpele Ising-model als we naar 2 dimensies gaan.

In plaats daarvan:

1. Het Ising-model is een subgroep binnen de grotere theorie.
2. Er zijn vreemde, "negatieve" deeltjes die in 2 dimensies verdwijnen door elkaar op te heffen, maar die essentieel zijn om de theorie te laten werken net boven 2 dimensies.
3. Je kunt de eigenschappen van de wereld net boven 2 dimensies niet afleiden uit alleen het Ising-model. Je hebt de volledige, complexe theorie nodig.

Het is een herinnering dat de natuur soms complexer is dan onze simpele vergelijkingen suggereren: wat er in de "eenvoudige" wereld gebeurt, is vaak het resultaat van een ingewikkeld dansje van deeltjes die we in die eenvoudige wereld niet eens kunnen zien.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "On the Wilson–Fisher fixed point in the limit of integer spacetime dimensions" van Bernardo Zan, geschreven in het Nederlands.

Titel: Over het Wilson-Fisher vast punt in de limiet van gehele ruimtetijddimensies

Auteur: Bernardo Zan (Universiteit van Genua)
Datum: Januari 2026 (voorgesteld)

---

1. Het Probleem

De kern van dit werk is de herziening van de identificatie tussen het Wilson-Fisher (WF) vast punt in gehele ruimtetijddimensies ($d=2$ en $d=3$) en de kritieke Ising-model Conformaal Veldtheorie (CFT).

• Huidige consensus: Het is algemeen aangenomen dat het WF-vast punt, verkregen via een $\epsilon$-expansie rond $d=4$ (waarbij $\epsilon = 4-d$), in de limiet $\epsilon \to 2$ (dus $d=2$) exact overeenkomt met de 2D Ising CFT. Berekeningen van schaalingsdimensies van de lichtste operatoren tonen een uitstekende overeenkomst.
• De paradox: De auteur toont aan dat een letterlijke gelijkheid tussen de volledige WF-theorie en de Ising CFT in $d=2$ onverenigbaar is met de symmetrie-eisen van de theorie.
  • In $d > 2$ heeft het WF-vast punt geen behouden stromen met hogere spin (behalve de energiemomentum-tensor $T_{\mu\nu}$).
  • In $d = 2$ bezit de Ising CFT echter een Virasoro-symmetrie, wat leidt tot oneindig veel behouden stromen met hogere spin (bijvoorbeeld een spin-4 stroom $T_4$).
  • Als de WF-theorie in de limiet $d \to 2$ exact de Ising CFT zou worden, zou de lichtste $Z_2$-even spin-4 operator ($T_4$ in WF) moeten overgaan in de behouden spin-4 stroom van de Ising CFT.
  • Het conflict: Voor een operator om behouden te worden in $d=2$, moet zijn divergentie verdwijnen. Dit vereist de aanwezigheid van een descendant-operator met dimensie $\Delta=5$ en spin $\ell=3$ die in de limiet $d \to 2$ "wegvalt" of recombineert. Echter, het spectrum van de 2D Ising CFT bevat geen operator met $\Delta=5$ en $\ell=3$. Een dergelijke operator zou een descendant van het identiteitsoperator moeten zijn, maar het niveau-1 descendant van de identiteit is nul (null state).
  • Conclusie: Het spectrum van de WF-theorie kan niet exact overeenkomen met dat van de Ising CFT in de limiet $d \to 2$, omdat de WF-theorie operatoren bevat die in de Ising CFT niet bestaan.

2. Methodologie

De auteur gebruikt een combinatie van analytische argumenten en een "toy model" (proefmodel) om dit probleem te onderzoeken:

1. Analytische Continuïteit: De theorie wordt behandeld als een theorie die gedefinieerd is voor niet-gehele dimensies $d \in \mathbb{R}$, waarbij de conformale data (dimensies, multipliciteiten, OPE-coëfficiënten) analytisch afhankelijk zijn van $d$.
2. Het 2D O(n) Model als Toy Model:
   • De auteur introduceert het 2D $O(n)$-model, waarbij de parameter $n$ (het aantal componenten van de spin) varieert als een reëel getal.
   • Voor $n=1$ correspondeert dit model met de Ising CFT. Voor niet-gehele $n$ is de theorie niet-unitair en exact oplosbaar (bekend spectrum via de torus-partitiefunctie).
   • Dit model dient als een controleerbaar voorbeeld van wat er gebeurt wanneer een theorie met een symmetriegroep-parameter naar een gehele waarde wordt gecontinueerd.
3. Onderzoek naar Operatoren met Negatieve Multipliciteit:
   • De auteur analyseert operatoren die transformeren onder irreducibele representaties van de orthogonalgroep $O(d)$.
   • Voor bepaalde representaties (bepaald door Young-tabels) wordt de multipliciteit (het aantal kopieën van zo'n operator) negatief wanneer $d$ een gehele waarde bereikt (bijv. $d=2$ of $d=3$).
   • In een niet-unitaire theorie kunnen operatoren met negatieve multipliciteit bestaan en correlatiefuncties bijdragen, maar ze moeten in de limiet tot een unitaire subtheorie "wegvallen" door te cancelen met andere operatoren.

3. Belangrijkste Bijdragen en Resultaten

A. Het "Subsector"-Scenario

In plaats van te concluderen dat het WF-vast punt en de Ising CFT verschillend zijn, stelt de auteur een nieuw scenario voor:

• De Ising CFT is slechts een unitaire subsector van de volledige Wilson-Fisher theorie in de limiet $d \to 2$.
• De volledige theorie bevat oneindig veel extra operatoren die niet tot de Ising CFT behoren.
• In correlatiefuncties waarbij de externe operatoren tot de Ising-subsector behoren, cancelen deze extra operatoren exact tegen elkaar op (vaak operatoren met positieve multipliciteit tegen operatoren met negatieve multipliciteit).
• Dit verklaart waarom de partitiefunctie (die de som van alle multipliciteiten is) exact overeenkomt met die van de Ising CFT, terwijl de theorie zelf groter is.

B. Bewijs uit het O(n) Model

In het 2D $O(n)$ model ($n \to 1$) wordt dit fenomeen expliciet aangetoond:

• Operatoren zoals de stroom $J$ (antisymmetrisch tensor) of operatoren $Y$ (in representatie $(2,1)$) hebben een multipliciteit die nul of negatief wordt bij $n=1$.
• Desondanks zijn hun correlatiefuncties (bijv. $\langle \epsilon \epsilon J J \rangle$) niet triviaal en niet-factoriserend in de limiet $n \to 1$.
• Er wordt aangetoond dat operatoren met positieve multipliciteit (zoals $V$) en operatoren met negatieve multipliciteit (zoals $Y$) elkaar opheffen in de partitiefunctie, maar dat ze samen een logaritmisch multiplet vormen in de limiet.
• Cruciaal: Als men de theorie verstoort naar $n = 1 + \delta$, verschijnen er nieuwe operatoren met O(1) OPE-coëfficiënten. Dit betekent dat je de theorie voor $n > 1$ niet kunt reconstrueren uit alleen de data van de Ising-subsector ($n=1$).

C. Toepassing op het Wilson-Fisher Vast Punt ($d \to 2$)

De auteur past dit inzicht toe op het WF-vast punt:

• De operator $W^{\mu\nu\rho}$ (een spin-3 descendant van de spin-4 operator) die nodig is voor de reorganisatie van multiplets in $d > 2$, moet in de limiet $d \to 2$ verdwijnen uit de Ising-correlatiefuncties.
• Dit gebeurt door cancelatie met een operator die transformeert onder een representatie van $O(d)$ met negatieve multipliciteit bij $d=2$.
• Kandidaten: Operatoren in de representaties $(2,2)$ en $(3,2)$ van $O(d)$ hebben een multipliciteit van $-2$ bij $d=2$.
• Schaalingsdimensies: Eén-lus berekeningen in de $\epsilon$-expansie tonen aan dat de schaalingsdimensies van deze kandidaat-operatoren ($\Delta \approx 5.56$ voor $(2,2)$) in de juiste orde van grootte liggen om te cancelen met de dimensie-5 operator die uit de Virasoro-symmetrie volgt.

D. Implicaties voor de $\epsilon$-expansie

• Het is onwaarschijnlijk dat men de conformale data van de WF-theorie in $d = 2 + \epsilon$ kan afleiden door alleen te starten met de exacte data van de 2D Ising CFT.
• Omdat de Ising CFT slechts een subsector is, missen we de informatie over de operatoren met negatieve multipliciteit die essentieel zijn voor de continuïteit naar niet-gehele dimensies.
• Dit verklaart waarom eerdere pogingen om een $d=2+\epsilon$ expansie te bouwen op basis van de Ising-data (zonder perturbatieve Lagrangiaan) zijn mislukt.

4. Significatie en Conclusie

• Oplossing van de paradox: Het artikel lost de schijnbare tegenstrijdigheid op tussen de verwachte overeenkomst met de Ising CFT en de aanwezigheid van Virasoro-symmetrie in $d=2$ door te stellen dat de Ising CFT een "onderdeel" is van een grotere, niet-unitaire theorie in de limiet.
• Niet-unitariteit in niet-gehele dimensies: Het werk benadrukt dat theorieën in niet-gehele dimensies inherent niet-unitair zijn en operatoren met negatieve multipliciteit bevatten die essentieel zijn voor de structuur van de theorie, maar die "onzichtbaar" worden in de unitaire limiet.
• Beperkingen van de Bootstrap: Het suggereert dat bootstrap-methoden die alleen scalars ($\sigma, \epsilon$) gebruiken (die in goede representaties zitten) mogelijk niet gevoelig genoeg zijn voor deze "wegvallende" operatoren, wat de moeilijkheid verklaart bij het vinden van oplossingen voor $d \approx 2$.
• Toekomstig werk: De auteur roept op tot hogere-orde berekeningen (beyond one-loop) van de schaalingsdimensies van operatoren met negatieve multipliciteit om het cancelatiemechanisme te bevestigen.

Kortom, het artikel stelt dat de Wilson-Fisher theorie in integer dimensies niet identiek is aan de Ising CFT, maar dat de Ising CFT eruit ontstaat als een unitaire subsector, terwijl de rest van de theorie (met negatieve multipliciteiten) in de correlatiefuncties van de subsector uitdooft.