Difference between pair creation and anomaly matching: Nontrivial aspects of invertible symmetries and defects in $SU(N)$ models

Technische Samenvatting: Verschil tussen Paarvorming en Anomalie-matching in $SU(N)$-modellen

Probleemstelling
Dit artikel onderzoekt de beperkingen op massaloze renormalisatiegroep (RG) stromen en conforme interfaces tussen $SU(N)_K$ en $SU(N)_{K'}$ Wess-Zumino-Witten (WZW) modellen, met een specifieke focus op het behoud van ongebroken $\mathbb{Z}_N$-symmetrieën. Hoewel de "anomalie-matchingvoorwaarde" (afgeleid uit de Lagrangiaanse formalisme en de studie van spin-ladders) een goed gevestigde beperking is voor dergelijke stromen, identificeren de auteurs een gat in het begrip van de "paarvormingsvoorwaarde", die voortvloeit uit de structuur van topologische kwantumveldentheorieën (TQFT's) en eenvoudige stromen (simple currents). Het centrale probleem is het verhelderen van de precieze relatie tussen deze twee voorwaarden en het bepalen of de anomalie-matchingvoorwaarde alleen voldoende is om de existentie van een consistente RG-stroom te garanderen die zowel de symmetrieën als de defecten behoudt.

Methodologie
De auteurs maken gebruik van een raamwerk dat concepten uit Conforme Veldtheorie (CFT) en Topologische Kwantumveldentheorie (TQFT) combineert, waarbij specifiek de "folding trick" wordt gebruikt om RG-reducties te relateren aan relatieve Deligne-producten van theorieën ($SU(N)_K \boxtimes_{\mathbb{Z}_N} SU(N)_{K'}$).

1. Onderscheid tussen Symmetrie en Defect: Het artikel maakt een rigoureus onderscheid tussen symmetrie-operatoren ($Q_\alpha$) en topologische defecten ($D_a$). Hoewel deze vaak canoniek worden behandeld in gepantserde symmetrie-paradigma's, analyseren de auteurs hun onafhankelijke transformatiewetten onder RG-stromen.
2. Analyse van Eenvoudige Stromen (Simple Currents): De studie richt zich op $\mathbb{Z}_N$ eenvoudige stromen ($J$) en hun conforme dimensies ($h_J$). De auteurs leiden voorwaarden af voor de existentie van (half-)integer spin eenvoudige stromen in de gevouwen modellen, wat overeenkomt met het paarvormingsmechanisme in TQFT's.
3. Mapping-relaties: De auteurs introduceren gehele parameters $R$ en $U$ om de mapping van symmetrieën en defecten te karakteriseren, respectievelijk van de ultraviolette (UV) naar de infrarode (IR) theorie:
   • Symmetrie mapping: $Q_J \to Q_{J'}^R$
   • Defect mapping: $D_J \to D_{J'}^U$
   • Hierbij zijn $R$ en $U$ gehele getallen die copriem zijn met $N$ ($\gcd(R, N) = \gcd(U, N) = 1$).
4. Afleiding van Voorwaarden: Door de conforme dimensies van eenvoudige stromen en de behoud van lading van defecten die op het vacuüm inwerken te analyseren, leiden de auteurs algebraïsche beperkingen af voor de niveaus $K$ en $K'$.

Belangrijkste Bijdragen en Resultaten

1. Gegeneraliseerde Paarvormingsvoorwaarde:
   De auteurs leiden een gegeneraliseerde paarvormingsvoorwaarde af op basis van de vereiste dat de eenvoudige stromen in de gevouwen theorie beschikken over (half-)integer conforme spin. Dit leidt tot de voorwaarde:
   $$K = \pm R^2 K' \pmod N$$
   waarbij het $\pm$ teken onderscheid maakt tussen chiraal-chirale en chiraal-antichirale reducties. Deze voorwaarde zorgt ervoor dat de $\mathbb{Z}_N$ groepsstructuur behouden blijft op een wijze die compatibel is met het TQFT-paarvormingsmechanisme.

2. Gegeneraliseerde Anomalie-matchingvoorwaarde:
   De auteurs herformuleren de standaard anomalie-matchingvoorwaarde (die vereist dat $\gcd(K, N) = \gcd(K', N)$) in termen van de mapping-parameters $R$ en $U$. Ze tonen aan dat anomalie-matching overeenkomt met de equivalentie van multisets van ladingen, wat leidt tot de zwakkere voorwaarde:
   $$K = \pm R U K' \pmod N$$
   Cruciaal is dat deze voorwaarde toestaat dat $R \neq U$, wat impliceert dat de mapping van symmetrieën en de mapping van defecten verschillend kunnen zijn.

3. Intrinsieke Mismatch tussen Symmetrie- en Defectbehoud:
   De primaire bevinding is dat de paarvormingsvoorwaarde ($R=U$) en de anomalie-matchingvoorwaarde ($R \neq U$ toegestaan) fundamenteel verschillend zijn.

   • Pairing Condition: Vereist $\rho_Q = \rho_D$ (de mapping van symmetrie en defect is identiek). Dit is een "sterkere" voorwaarde die geworteld is in de canonieke relatie tussen symmetrieën en defecten in TQFT's.
   • Anomaly Matching: Vereist enkel dat de verzamelingen van ladingen overeenkomen, niet de specifieke mapping van individuele defecten naar symmetrieën.
   • Gevolg: Er bestaan stromen (bijv. $SU(5)_2 \to SU(5)_1$) die de anomalie-matchingvoorwaarde vervullen maar de paarvormingsvoorwaarde schenden. In deze gevallen impliceert het behoud van symmetrieën niet noodzakelijkerwijs het behoud van defecten op een compatibele wijze.

4. Casestudies ($N=5, 7$):

   • $SU(5)$ Modellen: De reductie $SU(5)_2 \to SU(5)_1$ voldoet aan de anomalie-matchingvoorwaarde, maar faalt voor de paarvormingsvoorwaarde omdat er geen geheel getal $R$ bestaat waarvoor $2 = \pm R^2 \pmod 5$. Hier geldt $R \neq U$ (bijv. $R=1, U=2$), wat de incompatibiliteit van symmetrie- en defectbehoud demonstreert.
   • $SU(7)$ Modellen: In tegenstelling tot $N=5$, staan de $SU(7)$ modellen pairing-structuren toe voor diverse $K, K'$ die copriem zijn met 7, wat aantoont dat de obstructie specifiek is voor bepaalde $N$.

Betekenis en Claims
Het artikel claimt een "no-go theorem" te bieden voor massaloze RG-stromen met een ongebroken $\mathbb{Z}_N$-symmetrie onder de aanvullende aanname dat de paarvormingsvoorwaarde (die symmetrieën en defecten canoniek relateert) moet gelden.

• Verfijning van RG-domeinwanden: De auteurs suggereren dat het RG-domeinwand-paradigma het meest natuurlijk compatibel is met de paarvormingsstructuur. Ze betogen dat de anomalie-matchingvoorwaarde alleen onvoldoende is om de compatibiliteit van gegeneraliseerde symmetrie en RG-stromen te garanderen.
• Openstaande Vragen: De auteurs stellen expliciet dat zij niet een concluderend argument leveren dat stromen die aan anomalie-matching voldoen maar de paarvormingsvoorwaarde schenden, uitsluiten. Ze erkennen dat dergelijke stromen in specifieke rooster-modellen (bijv. $j_1-j_2$ Heisenberg-ketens) of perturbatieve QFT's zouden kunnen bestaan, waarbij zij opmerken dat de existentie van $SU(N)_2 \to SU(N)_1$ stromen voor oneven $N$ elders is voorgesteld op basis van anomalie-matching.
• Theoretische Implicatie: Het werk benadrukt een subtiel maar hardnekkig onderscheid tussen symmetrie-operatoren en defecten in kwantumveldentheorieën, en suggereert dat het "gegeneraliseerde symmetrie"-paradigma een zorgvuldige distinctie vereist tussen deze structuren bij toepassing op RG-stromen. De auteurs stellen voor dat de correspondentie tussen defecten en symmetrieën ($\rho_Q = \rho_D$) een "canonieke klasse" van reducties definieert, terwijl stromen buiten deze klasse een openstaand probleem blijven dat verdere numerieke of combinatorische verificatie vereist.

In samenvatting stelt het artikel vast dat hoewel anomalie-matching een noodzakelijke voorwaarde is voor RG-stromen, de paarvormingsvoorwaarde (afgeleid van TQFT eenvoudige stroomstructuren) een striktere beperking oplegt aan de compatibiliteit van symmetrie- en defectbehoud, waardoor een potentieel mismatch wordt blootgelegd in stromen die voorheen op basis van louter anomalie-overwegingen als geldig werden beschouwd.