Recognition: 2 theorem links
· Lean TheoremTaxonomy of coupled minimal models from finite groups
Pith reviewed 2026-05-16 18:56 UTC · model grok-4.3
The pith
Breaking maximal S_N symmetry in N coupled minimal models to subgroups H yields new classes of irrational fixed points including those with PSL_2(N) and Mathieu group symmetries.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Fixed points of N coupled Virasoro minimal models are located by solving the perturbative beta function equations after restricting the couplings to be invariant under a chosen subgroup H of the maximal symmetry group S_N. For small N the solutions are exhaustively classified; for larger N explicit families appear, real fixed points are proved to exist for the stated wreath-product symmetry when N is even, and exceptional solutions tied to finite Lie-type groups and the Mathieu group M_22 are identified. Apparent conformal manifolds at leading order are shown to be lifted once sub-leading corrections are included.
What carries the argument
The one- and two-loop beta function equations for the coupling constants in the action of N coupled minimal models, solved subject to invariance under a subgroup H of S_N.
If this is right
- Real fixed points exist for every even N greater than or equal to 6 with symmetry (S_{N/2} times S_{N/2}) rtimes Z_2.
- Fixed points with PSL_2(N) symmetry occur for N=7,11,13.
- A non-unitary fixed point exists with symmetry M_22 for N=22.
- Conformal manifolds visible at leading perturbative order are resolved into isolated points once sub-leading terms are kept.
- The landscape of candidate irrational CFTs with c greater than 1 and only Virasoro symmetry is substantially larger than the maximal-symmetry case alone.
Where Pith is reading between the lines
- The same symmetry-breaking approach could be applied to other families of seed CFTs whose beta functions are known perturbatively.
- The appearance of sporadic groups such as M_22 raises the possibility that moonshine-type phenomena might appear in the spectra of these fixed points.
- Numerical bootstrap or exact diagonalization on small lattices could provide an independent check of the central charges and operator dimensions predicted by these fixed points.
- For very large N the validity of the perturbative expansion itself becomes questionable, suggesting a need for non-perturbative methods to confirm the fixed points survive.
Load-bearing premise
The perturbative beta-function equations derived from the coupled minimal-model action accurately locate the fixed points of the full non-perturbative theory and the symmetry subgroup H faithfully captures the allowed coupling patterns without extra constraints from higher-order or non-perturbative effects.
What would settle it
Computing the three-loop beta functions for the PSL_2(7) fixed point and checking whether the real fixed-point value persists or acquires an imaginary part would test whether the leading-order classification survives.
Figures
read the original abstract
Fixed points of $N$ coupled Virasoro minimal models have recently been argued to provide large classes of compact unitary CFTs with $c>1$ and only Virasoro chiral symmetry. In this paper, we vastly increase the set of such potential irrational fixed points by considering couplings that break the maximal $G=S_N$ symmetry into various subgroups $H\subset G$. We rigorously classify all the fixed points with $N=4,5$ and do an extensive search for solutions of the beta function equations with $N\geq6$. In particular, we find non-trivial fixed points with $H=\mathbb{Z}_{N-1} \rtimes \mathbb{Z}_2, \, S_{M}\times S_{N-M}$ and rigorously prove that real fixed points with $H=(S_{N/2}\times S_{N/2})\rtimes \mathbb{Z}_2$ exist for all even $N\geq6$. We also identify fixed points with finite Lie-type symmetry $H=\rm{PSL}_2(N)\subset S_N$ where $N=7,11,13$ and uncover a non-unitary fixed point with $H=M_{22}\subset S_{22}$, a sporadic Mathieu group. Along the way, we encounter conformal manifolds at leading order in perturbation theory which we resolve at sub-leading order.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper classifies fixed points of N coupled Virasoro minimal models by breaking the maximal S_N symmetry to subgroups H. It rigorously classifies all fixed points for N=4,5; performs extensive searches for N≥6; constructs non-trivial fixed points with H=ℤ_{N-1}⋊ℤ_2 and S_M×S_{N-M}; proves existence of real fixed points with H=(S_{N/2}×S_{N/2})⋊ℤ_2 for all even N≥6; identifies fixed points with H=PSL_2(N) for N=7,11,13; and finds a non-unitary fixed point with H=M_22⊂S_22. Conformal manifolds appearing at leading order are resolved at sub-leading order in perturbation theory.
Significance. If the perturbative solutions correspond to exact CFT fixed points, the work substantially enlarges the set of known compact unitary CFTs with c>1 and Virasoro symmetry alone by providing a group-theoretic taxonomy of symmetry-breaking patterns. The rigorous classifications for N=4,5 and the explicit existence proofs for the even-N family are concrete strengths; the discovery of fixed points with exceptional finite groups (PSL_2(N) and M_22) is also noteworthy.
major comments (2)
- [beta-function analysis and existence proof for even N] The existence proof for real fixed points with H=(S_{N/2}×S_{N/2})⋊ℤ_2 for all even N≥6 (stated in the abstract and developed in the beta-function analysis) rests on algebraic solutions of the truncated perturbative beta-function equations. No bound on the size of the fixed-point couplings is supplied, nor is there an argument controlling the effect of O(g^3) or non-perturbative corrections; this leaves open the possibility that the real solutions are shifted, annihilated, or rendered complex in the full theory.
- [section on N≥6 searches and exceptional groups] For the N≥6 searches and the identification of fixed points with H=PSL_2(N) and H=M_22, the manuscript relies on numerical or algebraic solution of the same perturbative beta equations without an independent non-perturbative consistency check (e.g., via modular invariance or unitarity bounds on the central charge).
minor comments (2)
- Notation for the symmetry subgroups H could be standardized (e.g., explicit embedding maps into S_N) to improve readability when comparing different cases.
- A short table summarizing the number of fixed points found per symmetry type and per N would help the reader navigate the extensive search results.
Simulated Author's Rebuttal
We thank the referee for the careful reading of our manuscript and the positive assessment of its significance. We address the two major comments below, clarifying the perturbative framework of our results and adding appropriate caveats and revisions where needed.
read point-by-point responses
-
Referee: [beta-function analysis and existence proof for even N] The existence proof for real fixed points with H=(S_{N/2}×S_{N/2})⋊ℤ_2 for all even N≥6 (stated in the abstract and developed in the beta-function analysis) rests on algebraic solutions of the truncated perturbative beta-function equations. No bound on the size of the fixed-point couplings is supplied, nor is there an argument controlling the effect of O(g^3) or non-perturbative corrections; this leaves open the possibility that the real solutions are shifted, annihilated, or rendered complex in the full theory.
Authors: We agree that the existence statements are established within the truncated perturbative beta-function equations at the order computed in the paper. We will revise the abstract and the relevant sections (including the beta-function analysis) to explicitly qualify these as perturbative fixed-point solutions. We will also add a new paragraph estimating the magnitude of the solved couplings from the explicit algebraic expressions and arguing why higher-order terms remain perturbatively small in the regime of interest. A full non-perturbative control lies beyond the present scope. revision: partial
-
Referee: [section on N≥6 searches and exceptional groups] For the N≥6 searches and the identification of fixed points with H=PSL_2(N) and H=M_22, the manuscript relies on numerical or algebraic solution of the same perturbative beta equations without an independent non-perturbative consistency check (e.g., via modular invariance or unitarity bounds on the central charge).
Authors: We acknowledge that the N≥6 searches and the exceptional-group examples are obtained by solving the same perturbative beta-function equations. We will insert a clarifying paragraph in the relevant sections stating the perturbative character of these solutions and noting the current absence of independent non-perturbative verifications such as modular-invariance constraints. Such checks are computationally demanding and are left for future work. revision: partial
- Independent non-perturbative consistency checks (modular invariance, unitarity bounds, or full bootstrap) for the N≥6 and exceptional-group fixed points
Circularity Check
No significant circularity: fixed points obtained by direct solution of derived beta-function equations
full rationale
The paper starts from the coupled minimal-model Lagrangian, derives the perturbative beta functions via standard RG analysis, and classifies fixed points by solving the resulting algebraic system under each symmetry subgroup H. For N=4,5 this is a complete enumeration of solutions; for larger N it is an algebraic search plus explicit existence proofs for families such as (S_{N/2}×S_{N/2})⋊Z_2. None of these steps reduces to a self-definition, a fitted parameter renamed as prediction, or a load-bearing self-citation whose validity is presupposed. The derivation chain is therefore self-contained against the stated perturbative truncation.
Axiom & Free-Parameter Ledger
free parameters (1)
- coupling constants
axioms (1)
- domain assumption The beta functions obtained from the leading-order perturbation of the coupled Virasoro minimal-model action correctly describe the renormalization-group flow
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
the one-loop RG equations are given by β_i = 4/m g_i − 4π√3 g_i² − √3π/2 ∑ g_ijkl², β_ijkl = 6/m g_ijkl − √3π(∑ g) g_ijkl − 2π ∑ g g (6)
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
rigorously prove that real fixed points with H=(S_{N/2}×S_{N/2})⋊Z_2 exist for all even N≥6
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Forward citations
Cited by 1 Pith paper
-
Descending into the Modular Bootstrap
Machine-learning optimization produces candidate truncated modular-invariant partition functions for 2d CFTs in the central-charge window 1 to 8/7, indicating a continuous solution space and a stricter spectral-gap bo...
Reference graph
Works this paper leans on
-
[1]
but have been recently revived as a tool to construct compact, unitary CFTs withc >1 and only Virasoro symmetry (which are in particular irrational) [13–15]. Some evidence has been given for this property in the form of anomalous dimensions for all additional current candidates up to spinJ⩽10 whenN⩾5. Rather than improving on the depth of these results, w...
-
[2]
preserved anS N symmetry and had only two symme- try preserving couplings. In the remainder of this paper, we will explore the effect of breaking the symmetry to H⊂G: We will find a rich space of solutions to the fixed point equations, and therefore a large set of candi- date compact unitary CFTs withc >1 and minimal chi- ral symmetry. Some of the richnes...
work page internal anchor Pith review Pith/arXiv arXiv 2025
-
[3]
do not have too many independent couplings
8 S3 ×Z 2 ± 1√ 2πm (0,0,0,0,0,1,1,1,1,1) 2 S5 ± 1√ 2πm (0,0,0,0,0,−1,1,1,1,1) 2 S4 ± 1√ 2πm (0,0,0,0,0,1,1,−1,−1,−1) 2 S3 ×Z 2 a for eachg σ Explorations forN⩾6 Rigorously classifying all fixed points forN⩾6 becomes out of reach, and we will be content to go through subgroupsH⊂S 6 that are not too small, i.e. do not have too many independent couplings. Ap...
-
[4]
Snowmass White Paper on SCFTs,
P. C. Argyres, J. J. Heckman, K. Intriligator and M. Martone, “Snowmass White Paper on SCFTs,” [arXiv:2202.07683 [hep-th]]
-
[5]
W. E. Caswell, Phys. Rev. Lett.33(1974), 244 doi:10.1103/PhysRevLett.33.244
-
[6]
T. Banks and A. Zaks, Nucl. Phys. B196(1982), 189-204 doi:10.1016/0550-3213(82)90035-9
-
[7]
L. Di Pietro and M. Serone, JHEP07(2020), 049 doi:10.1007/JHEP07(2020)049 [arXiv:2003.01742 [hep- 6 th]]
-
[8]
J. Henriksson, Phys. Rept.1002(2023), 1-72 doi:10.1016/j.physrep.2022.12.002 [arXiv:2201.09520 [hep-th]]
-
[9]
S. M. Chester, W. Landry, J. Liu, D. Poland, D. Simmons-Duffin, N. Su and A. Vichi, Phys. Rev. D104(2021) no.10, 105013 doi:10.1103/PhysRevD.104.105013 [arXiv:2011.14647 [hep-th]]
-
[10]
J.-C. Tol´ edano and P. Tol´ edano,The Landau Theory of Phase Transitions, World Scientific, Singapore (1987)
work page 1987
-
[11]
S. R. Kousvos and A. Stergiou, SciPost Phys.6(2019) no.3, [arXiv:1810.10015 [hep-th]]
work page internal anchor Pith review Pith/arXiv arXiv 2019
- [12]
-
[13]
A. A. Belavin, A. M. Polyakov and A. B. Zamolodchikov, Nucl. Phys. B241(1984), 333-380 doi:10.1016/0550- 3213(84)90052-X
-
[14]
Yin, PoST ASI2017(2017), 003 doi:10.22323/1.305.0003
X. Yin, PoST ASI2017(2017), 003 doi:10.22323/1.305.0003
-
[15]
Coupled Potts models: Self-duality and fixed point structure
V. Dotsenko, J. L. Jacobsen, M.-A. Lewis and M. Picco, Nucl. Phys. B546, 505 (1999), arXiv:cond-mat/9812227
work page internal anchor Pith review Pith/arXiv arXiv 1999
-
[16]
A. Antunes and C. Behan, Phys. Rev. Lett.130 (2023) no.7, 7 doi:10.1103/PhysRevLett.130.071602 [arXiv:2211.16503 [hep-th]]
-
[17]
A. Antunes and C. Behan, SciPost Phys.18 (2025) no.4, 132 doi:10.21468/SciPostPhys.18.4.132 [arXiv:2412.21107 [hep-th]]
- [18]
-
[19]
Erramilli, Talk at Bootstrap 2025, link at https://www.youtube.com/watch?v=Gks19DdVzrA
R. Erramilli, Talk at Bootstrap 2025, link at https://www.youtube.com/watch?v=Gks19DdVzrA
work page 2025
-
[20]
K. G. Wilson and M. E. Fisher, Phys. Rev. Lett.28 (1972), 240-243 doi:10.1103/PhysRevLett.28.240
-
[21]
J.-C. Tol´ edano, L. Michel, P. Tol´ edano and ´E. Br´ ezin, Phys. Rev. B31(1985), 7171–7189 doi:10.1103/PhysRevB.31.7171
-
[22]
J. Rong and S. Rychkov, SciPost Phys.16(2024) no.2, 040 [arXiv:2306.09419 [hep-th]]
-
[23]
Seeking Fixed Points in Multiple Coupling Scalar Theories in the $\varepsilon$ Expansion
H. Osborn and A. Stergiou, JHEP05(2018), 051 doi:10.1007/JHEP05(2018)051 [arXiv:1707.06165 [hep- th]]
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/jhep05(2018)051 2018
-
[24]
General Properties of Multiscalar RG Flows in $d=4-\varepsilon$
S. Rychkov and A. Stergiou, SciPost Phys.6(2019) no.1, 008 doi:10.21468/SciPostPhys.6.1.008 [arXiv:1810.10541 [hep-th]]
work page internal anchor Pith review Pith/arXiv arXiv doi:10.21468/scipostphys.6.1.008 2019
-
[25]
H. Osborn and A. Stergiou, JHEP04(2021), 128 doi:10.1007/JHEP04(2021)128 [arXiv:2010.15915 [hep- th]]
-
[26]
M. Hogervorst and C. Toldo, JHEP04(2021), 068 doi:10.1007/JHEP04(2021)068 [arXiv:2010.16222 [hep- th]]
-
[27]
J. Henriksson, S. R. Kousvos and A. Stergiou, SciPost Phys.9(2020) no.3, 035 [arXiv:2004.14388 [hep-th]]
- [28]
- [29]
- [30]
- [31]
-
[32]
S. Harribey, W. H. Pannell and A. Stergiou, JHEP12 (2024), 092 [arXiv:2407.20326 [hep-th]]
-
[33]
A. Anataichuk and S. Harribey, J. Phys. A58(2025) no.31, 315403 [arXiv:2503.05519 [hep-th]]
-
[34]
S. Bartlett-Tisdall, S. Harribey and W. Pannell, [arXiv:2510.19923 [hep-th]]
-
[35]
A. B. Zamolodchikov, Sov. J. Nucl. Phys.46(1987), 1090
work page 1987
-
[36]
D. S. Dummit and R. M. Foote, “Abstract Algebra,” 3rd ed., John Wiley & Sons, Hoboken, NJ (2004)
work page 2004
-
[37]
Representations in characteristic p,
L. L. Scott, “Representations in characteristic p,” Proc. Sympos. Pure Math., Vol. 37, Amer. Math. Soc., Providence, R.I. (1980), 319–331
work page 1980
-
[38]
The classifica- tion of the finite simple groups,
D. Gorenstein, R. Lyons and R. Solomon, “The classifica- tion of the finite simple groups,” Math. Surv. and Monog. , Vol. 40, AMS, Providence, RI (1994–2018)
work page 1994
- [39]
-
[40]
J. H. Conway and S. P. Norton, Bull. London Math. Soc. 11(1979) no.3, 308-339
work page 1979
-
[41]
Line of fixed points in a bosonic tensor model
D. Benedetti, R. Gurau and S. Harribey, JHEP06 (2019), 053 [arXiv:1903.03578 [hep-th]]
work page internal anchor Pith review Pith/arXiv arXiv 2019
-
[42]
The group is deemed projective due to the quotient by the identityIand minus identity−Imatrices which generate the center of SL 2
-
[43]
H. U. Besche, B. Eick, E. A. O’Brien and M. Horn, (GAP package),https://gap-packages.github.io/ smallgrp/
- [44]
- [45]
- [46]
- [47]
- [48]
- [49]
-
[50]
J. H. Conway, R. T. Curtis, S. P. Norton, R. A. Parker and R. A. Wilson, Oxford Univ. Press (1985)
work page 1985
- [51]
-
[52]
Light Cone Bootstrap in General 2D CFTs and Entanglement from Light Cone Singularity
Y. Kusuki, JHEP01(2019), 025 [arXiv:1810.01335 [hep- th]]
work page internal anchor Pith review Pith/arXiv arXiv 2019
-
[53]
Quantum Regge Trajectories and the Virasoro Analytic Bootstrap
S. Collier, Y. Gobeil, H. Maxfield and E. Perlmutter, JHEP05(2019), 212 [arXiv:1811.05710 [hep-th]]
work page internal anchor Pith review Pith/arXiv arXiv 2019
-
[54]
S. Collier, A. Maloney, H. Maxfield and I. Tsiares, JHEP 07(2020), 074 [arXiv:1912.00222 [hep-th]]
-
[55]
D. J. Binder, JHEP09(2021), 071 doi:10.1007/JHEP09(2021)071 [arXiv:2106.03493 [hep- th]]
-
[56]
S. R. Kousvos, A. Piazza and A. Vichi, JHEP11(2024), 030 doi:10.1007/JHEP11(2024)030 [arXiv:2405.19416 [hep-th]]
-
[57]
Y. H. Lin and S. H. Shao, Phys. Rev. D107 (2023) no.12, 125025 doi:10.1103/PhysRevD.107.125025 [arXiv:2302.13900 [hep-th]]
- [58]
- [59]
-
[60]
A scaling theory for the long-range to short-range crossover and an infrared duality
C. Behan, L. Rastelli, S. Rychkov, B. Zan, J. Phys. A 50(2017) no.35, 354002 doi:10.1088/1751-8121/aa8099 [arXiv:1703.05325 [hep-th]]
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1088/1751-8121/aa8099 2017
-
[61]
Z. Komargodski, D. Simmons-Duffin J. Phys. A 50(2017) no.15, 154001 doi:10.1088/1751-8121/aa6087 [arXiv:1603.04444 [hep-th]]
-
[62]
Nonetheless, we do find non-trivial fixed points withD 12 symmetry
The case ofD 12 is harder to classify because different classes of fixed points exist depending on how we embed the subgroup inS 6. Nonetheless, we do find non-trivial fixed points withD 12 symmetry. [60]P SL 2(5) ∼= A5 ⊂S 5 andP SL 2(9) ∼= A6 ⊂S 6.P SL 2(2) andP SL 2(3) are not simple. 7 Appendix A: regularization scheme The goal of this appendix is to s...
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.