pith. machine review for the scientific record. sign in

arxiv: 2512.23664 · v2 · submitted 2025-12-29 · ✦ hep-th

Recognition: 2 theorem links

· Lean Theorem

Taxonomy of coupled minimal models from finite groups

Authors on Pith no claims yet

Pith reviewed 2026-05-16 18:56 UTC · model grok-4.3

classification ✦ hep-th
keywords coupled minimal modelsfixed pointsconformal field theoryVirasoro minimal modelsfinite group symmetriesbeta functionsirrational CFTssporadic groups
0
0 comments X

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.

The paper classifies all fixed points of the beta function equations for N=4 and N=5 coupled Virasoro minimal models under reduced symmetry, then performs an extensive search for N greater than or equal to 6. It identifies families of real non-trivial fixed points for symmetries such as Z_{N-1} rtimes Z_2 and S_M times S_{N-M}, proves existence for all even N greater than or equal to 6 when H is (S_{N/2} times S_{N/2}) rtimes Z_2, locates additional solutions with PSL_2(N) symmetry for N=7,11,13, and finds a non-unitary fixed point with the sporadic Mathieu group M_22 for N=22. These fixed points are presented as candidates for compact unitary conformal field theories with central charge greater than one and purely Virasoro chiral symmetry. A reader would care because the construction systematically enlarges the known set of irrational CFTs beyond the rational minimal models by using finite-group constraints on the couplings.

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

These are editorial extensions of the paper, not claims the author makes directly.

  • 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

Figures reproduced from arXiv: 2512.23664 by Ant\'onio Antunes, No\'e Suchel.

Figure 1
Figure 1. Figure 1: FIG. 1: Number of real fixed points invariant under [PITH_FULL_IMAGE:figures/full_fig_p013_1.png] view at source ↗
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.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

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)
  1. [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.
  2. [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)
  1. Notation for the symmetry subgroups H could be standardized (e.g., explicit embedding maps into S_N) to improve readability when comparing different cases.
  2. 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

2 responses · 1 unresolved

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
  1. 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

  2. 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

standing simulated objections not resolved
  • Independent non-perturbative consistency checks (modular invariance, unitarity bounds, or full bootstrap) for the N≥6 and exceptional-group fixed points

Circularity Check

0 steps flagged

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

1 free parameters · 1 axioms · 0 invented entities

The classification rests on the perturbative renormalization-group beta functions for the inter-model couplings and on the assumption that each subgroup H corresponds to a distinct orbit of allowed couplings; no new particles or forces are introduced.

free parameters (1)
  • coupling constants
    The locations of the fixed points are determined by solving the system of beta-function equations for the coupling strengths between the minimal models.
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
    All fixed-point searches and proofs rely on these perturbative equations.

pith-pipeline@v0.9.0 · 5538 in / 1554 out tokens · 59679 ms · 2026-05-16T18:56:59.196358+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

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

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Descending into the Modular Bootstrap

    hep-th 2026-04 unverdicted novelty 7.0

    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

62 extracted references · 62 canonical work pages · cited by 1 Pith paper · 9 internal anchors

  1. [1]

    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

    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. [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...

  3. [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. [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. [5]

    W. E. Caswell, Phys. Rev. Lett.33(1974), 244 doi:10.1103/PhysRevLett.33.244

  6. [6]

    Banks and A

    T. Banks and A. Zaks, Nucl. Phys. B196(1982), 189-204 doi:10.1016/0550-3213(82)90035-9

  7. [7]

    Di Pietro and M

    L. Di Pietro and M. Serone, JHEP07(2020), 049 doi:10.1007/JHEP07(2020)049 [arXiv:2003.01742 [hep- 6 th]]

  8. [8]

    Henriksson, Phys

    J. Henriksson, Phys. Rept.1002(2023), 1-72 doi:10.1016/j.physrep.2022.12.002 [arXiv:2201.09520 [hep-th]]

  9. [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. [10]

    Tol´ edano and P

    J.-C. Tol´ edano and P. Tol´ edano,The Landau Theory of Phase Transitions, World Scientific, Singapore (1987)

  11. [11]

    S. R. Kousvos and A. Stergiou, SciPost Phys.6(2019) no.3, [arXiv:1810.10015 [hep-th]]

  12. [12]

    S. R. Kousvos and A. Stergiou, [arXiv:2507.05338 [hep- th]]

  13. [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. [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. [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

  16. [16]

    Antunes and C

    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. [17]

    Antunes and C

    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. [18]

    Antunes and J

    A. Antunes and J. Rong, [arXiv:2507.14280 [hep-th]]

  19. [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

  20. [20]

    K. G. Wilson and M. E. Fisher, Phys. Rev. Lett.28 (1972), 240-243 doi:10.1103/PhysRevLett.28.240

  21. [21]

    Tol´ edano, L

    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. [22]

    Rong and S

    J. Rong and S. Rychkov, SciPost Phys.16(2024) no.2, 040 [arXiv:2306.09419 [hep-th]]

  23. [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]]

  24. [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]]

  25. [25]

    Osborn and A

    H. Osborn and A. Stergiou, JHEP04(2021), 128 doi:10.1007/JHEP04(2021)128 [arXiv:2010.15915 [hep- th]]

  26. [26]

    Hogervorst and C

    M. Hogervorst and C. Toldo, JHEP04(2021), 068 doi:10.1007/JHEP04(2021)068 [arXiv:2010.16222 [hep- th]]

  27. [27]

    Henriksson, S

    J. Henriksson, S. R. Kousvos and A. Stergiou, SciPost Phys.9(2020) no.3, 035 [arXiv:2004.14388 [hep-th]]

  28. [28]

    W. H. Pannell and A. Stergiou, JHEP08(2023), 128 [arXiv:2305.14417 [hep-th]]

  29. [29]

    W. H. Pannell, W. P. Ronayne and A. Stergiou, [arXiv:2511.01971 [hep-th]]

  30. [30]

    M. S. Mitchell and D. Poland, [arXiv:2512.11963 [hep- th]]

  31. [31]

    W. H. Pannell and A. Stergiou, JHEP06(2023), 186 [arXiv:2302.14069 [hep-th]]

  32. [32]

    Harribey, W

    S. Harribey, W. H. Pannell and A. Stergiou, JHEP12 (2024), 092 [arXiv:2407.20326 [hep-th]]

  33. [33]

    Anataichuk and S

    A. Anataichuk and S. Harribey, J. Phys. A58(2025) no.31, 315403 [arXiv:2503.05519 [hep-th]]

  34. [34]

    Bartlett-Tisdall, S

    S. Bartlett-Tisdall, S. Harribey and W. Pannell, [arXiv:2510.19923 [hep-th]]

  35. [35]

    A. B. Zamolodchikov, Sov. J. Nucl. Phys.46(1987), 1090

  36. [36]

    Abstract Algebra,

    D. S. Dummit and R. M. Foote, “Abstract Algebra,” 3rd ed., John Wiley & Sons, Hoboken, NJ (2004)

  37. [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

  38. [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)

  39. [39]

    Y. H. Lin and S. H. Shao, J. Phys. A54(2021) no.6, 065201 [arXiv:1911.00042 [hep-th]]

  40. [40]

    J. H. Conway and S. P. Norton, Bull. London Math. Soc. 11(1979) no.3, 308-339

  41. [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]]

  42. [42]

    The group is deemed projective due to the quotient by the identityIand minus identity−Imatrices which generate the center of SL 2

  43. [43]

    H. U. Besche, B. Eick, E. A. O’Brien and M. Horn, (GAP package),https://gap-packages.github.io/ smallgrp/

  44. [44]

    Chevalley, Tˆ ohoku Math

    C. Chevalley, Tˆ ohoku Math. J.7(1955), 14–66

  45. [45]

    Steinberg, Canad

    R. Steinberg, Canad. J. Math.12(1961), 606–615

  46. [46]

    Suzuki, Ann

    M. Suzuki, Ann. of Math.75(1962), 105–145

  47. [47]

    Ree, Bull

    R. Ree, Bull. Amer. Math. Soc.66(1960), 508–510

  48. [48]

    Ree, Trans

    R. Ree, Trans. Amer. Math. Soc.100(1961), 85–101

  49. [49]

    Mathieu, J

    E. Mathieu, J. de Math. Pures Appl.6(1861), 241–336

  50. [50]

    J. H. Conway, R. T. Curtis, S. P. Norton, R. A. Parker and R. A. Wilson, Oxford Univ. Press (1985)

  51. [51]

    Jack and H

    I. Jack and H. Osborn, Nucl. Phys. B343(1990), 647-688

  52. [52]

    Light Cone Bootstrap in General 2D CFTs and Entanglement from Light Cone Singularity

    Y. Kusuki, JHEP01(2019), 025 [arXiv:1810.01335 [hep- th]]

  53. [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]]

  54. [54]

    Collier, A

    S. Collier, A. Maloney, H. Maxfield and I. Tsiares, JHEP 07(2020), 074 [arXiv:1912.00222 [hep-th]]

  55. [55]

    D. J. Binder, JHEP09(2021), 071 doi:10.1007/JHEP09(2021)071 [arXiv:2106.03493 [hep- th]]

  56. [56]

    S. R. Kousvos, A. Piazza and A. Vichi, JHEP11(2024), 030 doi:10.1007/JHEP11(2024)030 [arXiv:2405.19416 [hep-th]]

  57. [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. [58]

    Ferragatta, J

    M. Ferragatta, J. Rong, F. Russo, B. C. van Rees, work in progress

  59. [59]

    Behan, D

    C. Behan, D. Benedetti, F. Eustachon, E. Lauria, [arXiv:2509.26372 [hep-th]]

  60. [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]]

  61. [61]

    Komargodski, D

    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. [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...