Completing the exact solution of the Ashkin–Teller conformal field theory: the 4-state Potts point, degenerate conformal blocks at rational central charge, and continuation to generic central charge

The critical two-dimensional Ashkin–Teller (AT) model is the $\mathbb{Z}_2$ orbifold of the compactified free boson conformal field theory (CFT) at central charge $c=1$. Nemkov and Ribault (SciPost Phys. 11, 089 (2021)) solved this model on the sphere at the level of Virasoro symmetry alone, computing fusion rules and structure constants of all Virasoro primary fields — including higher twist fields and degenerate fields — and proving crossing symmetry of their four-point functions. Their solution rests on a prescription (their Conjecture 2) for computing degenerate conformal blocks at rational central charge by continuing to generic central charge and then taking the limit. The authors explicitly left the completion of this program open: (i) at the special radius $R=2$, where the AT model is expected to coincide with the 4-state Potts model, the $S_4$ permutation symmetry mixes the vertex, degenerate, and twist sectors, and the implied identities between structure constants and conformal blocks — needed to prove $S_4$ covariance of correlators and thereby claim a solution of the 4-state Potts model — remain to be worked out; (ii) the domain of validity of the central-charge-continuation prescription at rational central charges other than $c=1$, notably in minimal models, is unestablished and its assumptions are probably too restrictive; (iii) whether closed-form expressions or stable recursive representations of degenerate blocks exist at other rational central charges is unknown; and (iv) no simple, solvable, non-diagonal continuation of the AT ($\mathbb{Z}_2$-orbifold) CFT to generic central charge has been constructed, the continuation of the twist-field dimension being ambiguous. This problem asks for these four completions; none of the four is known to have been resolved.

Background

A two-dimensional conformal field theory (CFT) is a quantum field theory whose symmetry algebra is the infinite-dimensional Virasoro algebra, generated by modes $L_n$ with central charge $c$; a field is Virasoro primary if it is annihilated by all $L_{n>0}$. Correlation functions factorize into channel sums of structure constants (three-point OPE coefficients) times conformal blocks, the chiral building blocks determined by Virasoro representation theory; requiring the channel expansions to agree ('crossing symmetry') overconstrains the theory and is the basis of the conformal bootstrap. The analytic conformal bootstrap, as developed by Nemkov and Ribault, determines structure constants exactly by solving the shift equations obtained from fusion kernels — the linear maps relating conformal-block bases in different channels.

The compactified free boson is the CFT of a periodic scalar field at $c=1$; its primary fields are vertex operators $V_p$ labeled by momenta that depend on a compactification radius $R$, and it carries an affine (current) symmetry: an abelian $\widehat{u}(1)$ Lie algebra extending the Virasoro algebra. Affine Ward identities make its correlation functions nearly trivial. The Ashkin–Teller (AT) model — two coupled copies of the Ising model on the square lattice at criticality — is the $\mathbb{Z}_2$ orbifold of this theory: one quotients by the boson sign flip $X\mapsto -X$. The quotient introduces twist fields $T$ (branch-point operators implementing the $\mathbb{Z}_2$ monodromy, of dimension $1/16$), higher twist fields, and organizes the spectrum into vertex, degenerate, and twist sectors. Solving the AT model 'from the point of view of Virasoro symmetry' is strictly finer than the affine-level solution: one must also handle the infinite tower of Virasoro primary fields that are affine descendants, and their blocks.

A degenerate representation of the Virasoro algebra is a highest-weight representation containing a null vector (a state killed by all $L_{n>0}$), labeled by Kac-table indices $\langle r,s\rangle$. Degenerate fields make four-point conformal blocks obey the Belavin–Polyakov–Zamolodchikov (BPZ) differential equations, whose finite order depends on the null vector. For generic (non-degenerate) channel fields, Zamolodchikov's recursive representation gives conformal blocks as a convergent series in a function of the cross-ratio; it becomes singular at rational values of the central charge. Nemkov and Ribault summarized how to treat degenerate blocks in two conjectures: at irrational $c$, a degenerate block is the limit of generic blocks in the channel dimension (Conjecture 1); at rational $c_0$, it must instead be computed by continuing to generic $c$ — choosing a generic-$c$ degenerate representation $\mathcal{R}^{(c)}$ with the same number of states at each level as the target representation $\mathcal{R}$, and continuing the external dimensions accordingly — and then taking $c\to c_0$ (Conjecture 2). The AT solution also produced explicit results: structure constants built from Barnes' $G$-function, degenerate $c=1$ blocks (starting with the identity block) that are generalized theta functions — whereas Al. Zamolodchikov's simple explicit expression for the blocks appearing in four-twist correlation functions holds only in the non-degenerate case — and degenerate fusion kernels at $c=1$. Earlier work (Javerzat–Santachiara–Foda 2018; Ribault 2019) had checked that the Zamolodchikov recursion has a finite limit as $c$ becomes rational but found no hint that the limit could be written explicitly.

The 4-state Potts model (a lattice spin model with four states per site) is expected to be described at criticality by the AT model at the special radius $R=2$; its global symmetry is the symmetric group $S_4$ of permutations of the four states. At $R=2$ the vertex-sector momenta $p_{(n,w)}=n+\frac{w}{4}$ become degenerate for even winding $w$ and coincide with twist-sector momenta for odd $w$, so $S_4$ mixes the vertex, degenerate, and twist sectors, and it does not commute with the affine symmetry. Finally, the model's fate away from $c=1$ involves the parametrization $c=13-6\beta^2-6\beta^{-2}$: the compactified free boson continues to generic $c$ with quantized radius (Ribault 2014), and the $R=2$ model has the known $Q$-state Potts continuation, but with a complicated spectrum and large multiplicities.

Problem Statement

Complete the exact-solvability program opened by Nemkov and Ribault's analytic-conformal-bootstrap solution of the Ashkin–Teller CFT (the $\mathbb{Z}_2$ orbifold of the compactified free boson at $c=1$), by resolving the four questions the authors explicitly left open:

1. The 4-state Potts point ($S_4$ completion). At the special radius $R=2$, organize the Ashkin–Teller Virasoro primary fields into representations of the symmetric group $S_4$ and prove that correlation functions are covariant under $S_4$. This requires deriving the nontrivial identities between structure constants, and between conformal blocks, that are implied by the mixing of the vertex, degenerate, and twist sectors (where $p_{(n,w)}=n+\frac{w}{4}$ degenerates for even $w$ and coincides with twist momenta for odd $w$). Delivering this settles whether the 4-state Potts model is solved as a CFT with its full global symmetry: organizing the fields into $S_4$ representations with covariant correlators establishes that claim, while a demonstration that the fields cannot be so organized refutes it.

2. Domain of validity of the central-charge-continuation prescription. Determine for which rational central charges $c_0$ (in the source's convention, rationality means $\beta^2\in\mathbb{Q}$ with $c=13-6\beta^2-6\beta^{-2}$) the prescription of Conjecture 2 holds — computing a degenerate block as

$$\mathcal{F}_{\mathcal{R}}(c_0|(\Delta_i)|z) = \lim_{c\to c_0}\mathcal{F}_{\mathcal{R}^{(c)}}(c|(\Delta_i^{(c)})|z)$$

with $\mathcal{R}^{(c)}$ a generic-$c$ degenerate representation having the same number of states at each level as $\mathcal{R}$ — and relax or reformulate the conjecture where its assumptions (the existence of such a continuation $\mathcal{R}^{(c)}$) are too restrictive, notably for minimal models.

3. Computability of degenerate blocks at other rational central charges. Determine whether closed-form expressions (generalizing the $c=1$ generalized theta functions) or stable recursive representations of degenerate conformal blocks exist at rational central charges other than $c=1$, and produce them or establish their impossibility.

4. Continuation to generic central charge. Determine whether there exists a solvable, non-diagonal continuation of the Ashkin–Teller ($\mathbb{Z}_2$-orbifold) CFT away from $c=1$ — possibly one that preserves the affine symmetry, for instance by orbifolding the generic-$c$ compactified free boson with its quantized radius — and, if so, construct it; in particular, resolve the continuation of the twist-field dimension between the Potts-type value $\Delta_{(0,\frac12)}=\frac{8-4\beta^2-3\beta^{-2}}{16}$ and the geometric $\mathbb{Z}_2$-twist value $\frac{c}{16}=\frac{13-6\beta^2-6\beta^{-2}}{16}$, or show that no such continuation exists.

A resolution of this problem requires all four deliverables; no proper subset of them resolves it. They jointly complete the solvability structure of the model: item 1 finishes the solution at the 4-state Potts point; items 2 and 3 establish the degenerate-block machinery at rational central charge on which the solution method rests; item 4 extends the model itself beyond $c=1$.

References

1. Nikita Nemkov and Sylvain Ribault, "Analytic conformal bootstrap and Virasoro primary fields in the Ashkin-Teller model", SciPost Phys. 11, 089 (2021), DOI: 10.21468/SciPostPhys.11.5.089, arXiv:2106.15132, https://arxiv.org/abs/2106.15132
2. Rongvoram Nivesvivat and Sylvain Ribault, "Logarithmic CFT at generic central charge: from Liouville theory to the Q-state Potts model", SciPost Phys. 10, 021 (2021), DOI: 10.21468/SciPostPhys.10.1.021, arXiv:2007.04190, https://arxiv.org/abs/2007.04190
3. Rongvoram Nivesvivat, "Global symmetry and conformal bootstrap in the two-dimensional Q-state Potts model", SciPost Phys. 14, 155 (2023), DOI: 10.21468/SciPostPhys.14.6.155, arXiv:2205.09349, https://arxiv.org/abs/2205.09349
4. Sylvain Ribault, "Exactly solvable conformal field theories", SciPost Phys. Lect. Notes 130 (2026), DOI: 10.21468/SciPostPhysLectNotes.130, arXiv:2411.17262, https://arxiv.org/abs/2411.17262
5. Sylvain Ribault and Ioannis Tsiares, "On the Virasoro fusion kernel at c=25", SciPost Phys. 17, 058 (2024), DOI: 10.21468/SciPostPhys.17.2.058, arXiv:2310.09334, https://arxiv.org/abs/2310.09334
6. Julien Roussillon and Ioannis Tsiares, "On the Virasoro Crossing Kernels at Rational Central Charge", SciPost Phys. 20, 167 (2026), DOI: 10.21468/SciPostPhys.20.6.167, arXiv:2512.03172, https://arxiv.org/abs/2512.03172
7. Augustin Lafay, Eveliina Peltola, and Julien Roussillon, "Fused Specht Polynomials and c=1 Degenerate Conformal Blocks", arXiv:2410.09798, https://arxiv.org/abs/2410.09798
8. Augustin Lafay, Ian Le, and Julien Roussillon, "Degenerate conformal blocks for the W_3 algebra at c=2 and connection probabilities in the triple dimer model", arXiv:2402.12013, https://arxiv.org/abs/2402.12013
9. Alex Karrila, Eveliina Peltola, and Lukas Schoug, "Level lines of the Gaussian free field and c=1 degenerate conformal blocks", arXiv:2606.22228, https://arxiv.org/abs/2606.22228
10. Lorenz Eberhardt, "Notes on crossing transformations of Virasoro conformal blocks", arXiv:2309.11540, https://arxiv.org/abs/2309.11540
11. Yuto Moriwaki, "Conformal blocks, parenthesized braid operad, and c=1/2 Virasoro vertex operator algebra", arXiv:2606.23076, https://arxiv.org/abs/2606.23076
12. Nina Javerzat, Raoul Santachiara, and Omar Foda, "Notes on the solutions of Zamolodchikov-type recursion relations in Virasoro minimal models", JHEP 08, 183 (2018), DOI: 10.1007/JHEP08(2018)183, arXiv:1806.02790, https://arxiv.org/abs/1806.02790
13. Sylvain Ribault, "On 2d CFTs that interpolate between minimal models", SciPost Phys. 6, 075 (2019), DOI: 10.21468/SciPostPhys.6.6.075, arXiv:1809.03722, https://arxiv.org/abs/1809.03722
14. Sylvain Ribault, "Conformal field theory on the plane", arXiv:1406.4290, https://arxiv.org/abs/1406.4290