REVIEW 4 major objections 4 minor 1 cited by
Modular Properties of $\mathcal{W}_3$ Generalised Gibbs Ensembles
T0 review · 4 major / 4 minor · reviewed 2026-08-05 · deepseek-v4-flash
Pith's one-line read This paper proposes the full asymptotic expansion of the modular S-transform for a W_3 generalised Gibbs ensemble that includes the first nontrivial charge W_0, equivalent to the S-transform of traces of arbitrary powers of the zero mode W_
desk verdict A clearly framed W3 GGE S-transform proposal with honest checks, but the all-orders claim rides on conjectured inputs and finite-order evidence. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is the modular S-transform of the one-parameter W_3 GGE trace Z(τ,y) = Tr(q^{L_0-c/24} y^{W_0}), where W_0 is the zero mode of the spin-3 W field. The engine of the argument is Zhu's recursion for zero-mode insertions in vertex-operator-algebra characters: it converts traces with W_0^n insertions into modular differential operators acting on ordinary characters, giving exact low-order coefficients. Those coefficients are matched against the conjectured W_3 Verma module character data, and against the exact c = -2 realisation, to fix the complete asymptotic series.
What would settle it
Compute the next coefficient at generic central charge using only the independent Zhu-recursion method and compare it with the paper's proposed formula; any mismatch at an order beyond the low-order checks, especially one that cannot be traced to the conjectured Verma input, would falsify the all-orders claim.
Extended reading notes
Core claim
In the paper's own terms, the central proposal is that the modular S-transform of the W_3 GGE partition function Z(τ, y) = Tr(q^{L_0 - c/24} y^{W_0}) — equivalently, the trace of arbitrary powers of W_0 — has a definite asymptotic expansion after the transformation τ → -1/τ. The coefficients of that expansion are fixed by W_3 representation data: the conjectured Verma module characters and their modular behaviour. The paper shows that the first few coefficients reproduce Zhu's recursion exactly, that the full series is consistent with the exact c = -2 realisation, and uses those checks to propose the all-orders form. In other words, once the W_3 module content is known, no further dynamical
Load-bearing premise
The entire all-orders expansion rests on the conjectured Verma module characters and structure of W_3 at general central charge; if those conjectures are wrong or hold only in a restricted range of c, the proposed S-transform expansion is not established.
Editorial extensions
If this is right
- If the proposal is correct, the modular S-transform of any one-charge W_3 GGE is known to all orders from W_3 module data alone; no additional physical input is required.
- The low-order coefficients, which are exact by Zhu's recursion, serve as a cross-check on the conjectured Verma module input at all orders.
- The same strategy should apply to Virasoro/KdV charges, giving the modular S-transform of GGEs that include higher KdV conserved charges.
- It should also extend to GGEs with arbitrary finite sets of W_3 charges, with the asymptotic expansion depending on the full set of chemical potentials.
- The c = -2 exact agreement provides a benchmark where the full proposal can be tested analytically.
Reading between the lines
- Because the all-orders form uses conjectured Verma module character results, the proposal is conditional: a proof or counterexample of those Verma module results would either upgrade or falsify the expansion, and the paper does not itself prove them.
- The low-order Zhu-recursion checks plus one special value of c may not uniquely fix an infinite asymptotic series; a second exact central charge or an independent numerical computation at generic c would substantially narrow that gap.
- If the structure found here generalises as the authors expect, modular properties of higher-spin GGEs become computable data attached to W-algebra module categories, giving a practical route to high-temperature expansions of generalised free energy in integrable and holographic settings.
- A testable extension is to use the same Zhu-recursion machinery at another rational or free-field central charge to compute the first few coefficients directly and compare them with the proposed formula, which would either confirm the series or expose missing primaries at higher orders.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proposes asymptotic expansions for the modular S-transform of a W_3 generalised Gibbs ensemble (GGE), i.e. for traces of q^{L_0-c/24} y^{W_0} where the ensemble includes the first nontrivial W_3 charge. The central claim is explicitly a proposal rather than a proof, and the evidence consists of exact low-order results from Zhu's recursion, results that use conjectured Verma-module data, and an exact check at c=-2. The authors state expectations that the same structure generalises to Virasoro/KdV charges and to GGEs with multiple charges.
Significance. If correct, the proposal would resolve a long-standing technical problem in the modular properties of higher-spin generalised Gibbs ensembles and would provide a concrete target for similar results in other W-algebra hierarchies. The paper has positive features: it checks against an external recursion (Zhu), includes an exact limiting case (c=-2), and appears not to introduce free parameters. However, the central claim is only as strong as the conjectured Verma-module inputs, and the all-orders nature of the expansion is not established by the finite-order checks presented. The significance is therefore conditional on closing that gap.
major comments (4)
- [Abstract; Section 4] The abstract states that the derivation uses 'conjectured results for Verma modules.' These conjectured inputs are load-bearing: they fix the coefficients that are not already fixed by Zhu recursion. The manuscript does not appear to provide a proof or a precise statement of these Verma-module results, nor an exact reference with theorem numbers. Please either prove the needed statements, give precise references, or explicitly declare the full set of assumptions as part of a conjecture and state which terms of the final expansion depend on each assumption.
- [Zhu-recursion checks (tables in Sections 3-4)] Zhu's recursion computes finitely many coefficients, so matching it at low orders does not certify an all-orders asymptotic series. The claim 'traces of arbitrary powers of W_0' requires that every coefficient in the q,y expansion be determined by the proposed module data. No recursion or generating-function argument establishing this all-orders statement is visible. Please supply such an argument, or explicitly restrict the claim to finite-order matching.
- [Exact c=-2 section] The exact result at c=-2 provides a valuable consistency check, but c=-2 is a degenerate/logarithmic point in W_3 representation theory, where the module structure is not generic. Agreement at this single value does not fix the generic-c behaviour of higher-order coefficients. Please include checks at generic values of c (for example, one or two non-degenerate c values at the next few orders) or give a structural argument showing that the c=-2 limit is representative.
- [Abstract and Conclusion framing] The abstract calls the result a 'solution to a long-standing problem', while simultaneously describing it as a 'proposal' that relies on 'conjectured results'. This framing is stronger than the presented evidence supports. Please align the language with the proof status, distinguishing proven statements, conjectural inputs, and finite-order checks throughout.
minor comments (4)
- [Notation] Please define the normalization of W_0 and the range of the chemical potential y explicitly. In particular, the eigenvalue convention for W_0 on a highest-weight state should be stated before the S-transform expansion is introduced.
- [Zhu recursion references] The paper refers to Zhu's recursion but does not give the precise theorem or equation number used. Adding the exact statement would help the reader verify the low-order checks.
- [Tables] The tables comparing the proposed expansion with Zhu-recursion results would be easier to use if each row explicitly stated which coefficient is being matched and the order in q and y at which the agreement holds.
- [Conclusions] The expected generalisation to Virasoro/KdV and multi-charge GGEs is announced only in the abstract. A short subsection in the conclusions with a precise conjecture, even a provisional one, would make the proposal more testable.
Circularity Check
No significant circularity: the proposal is tested against independent external data (Zhu recursion and the c=-2 case); the reliance on conjectured Verma-module results is an explicit evidential limitation, not a circular reduction.
full rationale
The paper is framed as a proposal, not a derivation from the target result. Its stated evidence consists of (i) exact results using Zhu's recursion, which is an independent, established computational method; (ii) results using conjectured Verma-module data, which the abstract explicitly labels as conjectural rather than as consequences of the proposed S-transform expansion; and (iii) exact results at the special value c=-2, which serve as an external benchmark. Nothing in the abstract or the supplied text indicates that a parameter was fitted and then renamed as a prediction, that the target expansion is used to define its own inputs, or that the load-bearing step is a self-citation whose content is identical to the claim. The skeptical concern that low-order Zhu results plus a single special value do not by themselves certify the all-orders series is an underdetermination / evidence-strength objection, not circularity: it does not show that the output equals the input by construction. The only flagged limitation is the abstract's own admission that some ingredients are conjectured; this reduces certainty but does not make the derivation circular.
Assumptions & free parameters
assumptions (3)
- standard math Zhu's recursion gives exact S-transform data for W_3 characters and applies at the needed orders.
- domain assumption The conjectured results for W_3 Verma modules used in the derivation are correct.
- domain assumption The asymptotic S-transform of the W_3 GGE is captured by the module content used in the proposal, with no other primaries or structures contributing at the relevant orders.
Cite this review
Pith. "Pith review of Modular Properties of $\mathcal{W}_3$ Generalised Gibbs Ensembles." pith.science (2026). https://pith.science/paper/RKBFTKRA
@misc{pith2026250816258,
author = {Pith},
title = {Pith review of: Modular Properties of $\mathcalW_3$ Generalised Gibbs Ensembles},
year = {2026},
howpublished = {\url{https://pith.science/paper/RKBFTKRA}},
note = {Machine review of arXiv:2508.16258}
}
abstract
In this paper we make a proposal for the solution to a long-standing problem - the asymptotic expansions of the modular $S$-transform of a generalised Gibbs ensemble (GGE) in a theory with $\mathcal{W}_3$ symmetry where the GGE includes the first non-trivial charge. Equivalently, we give a proposal for the modular $S$-transform of traces of arbitrary powers of the zero mode $W_0$. We provide evidence in the form of exact results using Zhu's recursion, results obtained using conjectured results for Verma modules, and exact results for the particular value $c=-2$. We expect these have generalisations to other symmetry algebras/hierarchies such as the Virasoro algebra/KdV charges, and to GGEs with arbitrary finite sets of charges.
Forward citations
Cited by 1 Pith paper
-
Universal Modular Properties of Generalized Gibbs Ensembles and Chiral Deformations
Modular S-transforms of chirally deformed CFT partition functions are determined iteratively by second-order OPE poles of the deforming currents, with explicit multiplicities.
Reference graph
Works this paper leans on
-
[1]
" write newline "" before.all 'output.state := FUNCTION blank.sep after.quote 'output.state := FUNCTION fin.entry output.state after.quoted.block = 'skip 'add.period if write newline FUNCTION new.block output.state before.all = 'skip output.state after.quote = after.quoted.block 'output.state := after.block 'output.state := if if FUNCTION new.sentence out...
-
[2]
P. Di Francesco, P. Mathieu and D. Senechal, Conformal Field Theory , Graduate Texts in Contemporary Physics. Springer-Verlag, New York, 1997, 10.1007/978-1-4612-2256-9 https://doi.org/10.1007/978-1-4612-2256-9
-
[3]
J. L. Cardy, Operator Content of Two-Dimensional Conformally Invariant Theories , https://doi.org/10.1016/0550-3213(86)90552-3 Nucl. Phys. B 270 (1986) 186
-
[4]
R. Sasaki and I. Yamanaka, Virasoro Algebra, Vertex Operators, Quantum Sine-Gordon and Solvable Quantum Field Theories , https://doi.org/10.2969/aspm/01610271 Adv. Stud. Pure Math. 16 (1988) 271
- [5]
-
[6]
F. H. L. Essler, G. Mussardo and M. Panfil, Generalized Gibbs Ensembles for Quantum Field Theories , https://doi.org/10.1103/PhysRevA.91.051602 Phys. Rev. A 91 (2015) 051602 [ https://arxiv.org/abs/1411.5352 1411.5352 ]
work page Pith review arXiv 2015
-
[7]
P. Kraus and E. Perlmutter, Partition functions of higher spin black holes and their CFT duals , https://doi.org/10.1007/JHEP11(2011)061 JHEP 11 (2011) 061 [ https://arxiv.org/abs/1108.2567 1108.2567 ]
arXiv 2011
-
[8]
M. R. Gaberdiel, T. Hartman and K. Jin, Higher Spin Black Holes from CFT , https://doi.org/10.1007/JHEP04(2012)103 JHEP 04 (2012) 103 [ https://arxiv.org/abs/1203.0015 1203.0015 ]
arXiv 2012
Show all 42 references
-
[9]
Dymarsky and S
A. Dymarsky and S. Sugishita, KdV-charged black holes , https://doi.org/10.1007/JHEP05(2020)041 JHEP 05 (2020) 041 [ https://arxiv.org/abs/2002.08368 2002.08368 ]
2020 arXiv
-
[10]
Dymarsky and K
A. Dymarsky and K. Pavlenko, Generalized Gibbs Ensemble of 2d CFTs at large central charge in the thermodynamic limit , https://doi.org/10.1007/JHEP01(2019)098 JHEP 01 (2019) 098 [ https://arxiv.org/abs/1810.11025 1810.11025 ]
2019 arXiv
-
[11]
Dymarsky and K
A. Dymarsky and K. Pavlenko, Exact generalized partition function of 2D CFTs at large central charge , https://doi.org/10.1007/JHEP05(2019)077 JHEP 05 (2019) 077 [ https://arxiv.org/abs/1812.05108 1812.05108 ]
2019 arXiv
-
[12]
Dymarsky, A
A. Dymarsky, A. Kakkar, K. Pavlenko and S. Sugishita, Spectrum of quantum KdV hierarchy in the semiclassical limit , https://doi.org/10.1007/JHEP09(2022)169 JHEP 09 (2022) 169 [ https://arxiv.org/abs/2208.01062 2208.01062 ]
2022 arXiv
-
[13]
D. Zagier, Power partitions and a generalized eta transformation property , https://doi.org/10.46298/hrj.2022.8932 Hardy-Ramanujan Journal Volume 44 - Special Commemorative volume in honour of Srinivasa Ramanujan - 2021 (2022)
2022
-
[14]
Downing and G
M. Downing and G. M. T. Watts, Free fermions, KdV charges, generalised Gibbs ensembles, modular transforms and line defects , https://doi.org/10.1007/JHEP01(2024)041 JHEP 01 (2024) 041 [ https://arxiv.org/abs/2311.04564 2311.04564 ]
2024 arXiv
-
[15]
Downing, Modular transform of free fermion generalised Gibbs ensembles and generalised power partitions , https://arxiv.org/abs/2310.07601 2310.07601
M. Downing, Modular transform of free fermion generalised Gibbs ensembles and generalised power partitions , https://arxiv.org/abs/2310.07601 2310.07601
-
[16]
Downing and F
M. Downing and F. Karimi, Modular Properties of Generalised Gibbs Ensembles , https://doi.org/10.21468/SciPostPhys.18.3.085 SciPost Phys. 18 (2025) 085 [ https://arxiv.org/abs/2410.06288 2410.06288 ]
2025 arXiv
-
[17]
Downing and G
M. Downing and G. M. T. Watts, Free fermions, KdV charges, generalised Gibbs ensembles and modular transforms , https://doi.org/10.1007/JHEP06(2022)036 JHEP 06 (2022) 036 [ https://arxiv.org/abs/2111.13950 2111.13950 ]
2022 arXiv
-
[18]
Maloney, G
A. Maloney, G. S. Ng, S. F. Ross and I. Tsiares, Thermal Correlation Functions of KdV Charges in 2D CFT , https://doi.org/10.1007/JHEP02(2019)044 JHEP 02 (2019) 044 [ https://arxiv.org/abs/1810.11053 1810.11053 ]
2019 arXiv
-
[19]
A. B. Zamolodchikov, Infinite Additional Symmetries in Two-Dimensional Conformal Quantum Field Theory , https://doi.org/10.1007/BF01036128 Theor. Math. Phys. 65 (1985) 1205
1985 doi
-
[20]
B. A. Kupershmidt and P. Mathieu, Quantum Korteweg-de Vries Like Equations and Perturbed Conformal Field Theories , https://doi.org/10.1016/S0370-2693(89)80030-9 Phys. Lett. B 227 (1989) 245
1989 doi
-
[21]
V. V. Bazhanov, A. N. Hibberd and S. M. Khoroshkin, Integrable structure of W(3) conformal field theory, quantum Boussinesq theory and boundary affine Toda theory , https://doi.org/10.1016/S0550-3213(01)00595-8 Nucl. Phys. B 622 (2002) 475 [ https://arxiv.org/abs/hep-th/010517...
2002 arXiv
-
[22]
Gutperle and P
M. Gutperle and P. Kraus, Higher Spin Black Holes , https://doi.org/10.1007/JHEP05(2011)022 JHEP 05 (2011) 022 [ https://arxiv.org/abs/1103.4304 1103.4304 ]
2011 arXiv
-
[23]
N. J. Iles and G. M. T. Watts, Characters of the W_3 algebra , https://doi.org/10.1007/JHEP02(2014)009 JHEP 02 (2014) 009 [ https://arxiv.org/abs/1307.3771 1307.3771 ]
2014 arXiv
-
[24]
N. J. Iles and G. M. T. Watts, Modular properties of characters of the W _ 3 algebra , https://doi.org/10.1007/JHEP01(2016)089 JHEP 01 (2016) 089 [ https://arxiv.org/abs/1411.4039 1411.4039 ]
2016 arXiv
-
[25]
Dijkgraaf, Chiral deformations of conformal field theories , https://doi.org/10.1016/S0550-3213(97)00153-3 Nucl
R. Dijkgraaf, Chiral deformations of conformal field theories , https://doi.org/10.1016/S0550-3213(97)00153-3 Nucl. Phys. B 493 (1997) 588 [ https://arxiv.org/abs/hep-th/9609022 hep-th/9609022 ]
1997 arXiv
-
[26]
Z. Gui, S. Li and X. Tang, Contact Term Algebras and Dijkgraaf's Master Equation , https://arxiv.org/abs/2506.13194 2506.13194
-
[27]
Zhu, Vertex operator algebras, elliptic functions and modular forms
Y. Zhu, Vertex operator algebras, elliptic functions and modular forms. Yale University, 1990
1990
-
[28]
Gaberdiel, A General transformation formula for conformal fields , https://doi.org/10.1016/0370-2693(94)90026-4 Phys
M. Gaberdiel, A General transformation formula for conformal fields , https://doi.org/10.1016/0370-2693(94)90026-4 Phys. Lett. B 325 (1994) 366 [ https://arxiv.org/abs/hep-th/9401166 hep-th/9401166 ]
1994 arXiv
-
[29]
S. K. Ashok, S. Parihar, T. Sengupta, A. Sudhakar and R. Tateo, Integrable structure of higher spin CFT and the ODE/IM correspondence , https://doi.org/10.1007/JHEP07(2024)179 JHEP 07 (2024) 179 [ https://arxiv.org/abs/2405.12636 2405.12636 ]
2024 arXiv
-
[30]
Creutzig and D
T. Creutzig and D. Ridout, Logarithmic Conformal Field Theory: Beyond an Introduction , https://doi.org/10.1088/1751-8113/46/49/494006 J. Phys. A 46 (2013) 4006 [ https://arxiv.org/abs/1303.0847 1303.0847 ]
2013 arXiv
-
[31]
H. G. Kausch, Symplectic fermions , https://doi.org/10.1016/S0550-3213(00)00295-9 Nucl. Phys. B 583 (2000) 513 [ https://arxiv.org/abs/hep-th/0003029 hep-th/0003029 ]
2000 arXiv
-
[32]
Karimi and G
F. Karimi and G. M. T. Watts, Work In Preparation ,
-
[33]
Campoleoni, S
A. Campoleoni, S. Fredenhagen, S. Pfenninger and S. Theisen, Asymptotic symmetries of three-dimensional gravity coupled to higher-spin fields , https://doi.org/10.1007/JHEP11(2010)007 JHEP 11 (2010) 007 [ https://arxiv.org/abs/1008.4744 1008.4744 ]
2010 arXiv
-
[34]
Henneaux and S.-J
M. Henneaux and S.-J. Rey, Nonlinear W_ infinity as Asymptotic Symmetry of Three-Dimensional Higher Spin Anti-de Sitter Gravity , https://doi.org/10.1007/JHEP12(2010)007 JHEP 12 (2010) 007 [ https://arxiv.org/abs/1008.4579 1008.4579 ]
2010 arXiv
-
[35]
Hartman, C
T. Hartman, C. A. Keller and B. Stoica, Universal Spectrum of 2d Conformal Field Theory in the Large c Limit , https://doi.org/10.1007/JHEP09(2014)118 JHEP 09 (2014) 118 [ https://arxiv.org/abs/1405.5137 1405.5137 ]
2014 arXiv
-
[36]
S. K. Ashok, S. Parihar, T. Sengupta, A. Sudhakar and R. Tateo, Thermal Correlators and Currents of the W _3 Algebra , https://arxiv.org/abs/2410.11748 2410.11748
-
[37]
Otter, The number of trees, https://doi.org/0.2307/1969046 Annals of Mathematics 49 (1948) 583
R. Otter, The number of trees, https://doi.org/0.2307/1969046 Annals of Mathematics 49 (1948) 583
1948
-
[38]
Zagier, Elliptic Modular Forms and Their Applications, pp
D. Zagier, Elliptic Modular Forms and Their Applications, pp. 1--103. Springer Berlin Heidelberg, Berlin, Heidelberg, 2008
2008
-
[39]
Zhu, Modular invariance of characters of vertex operator algebras , https://doi.org/10.1090/s0894-0347-96-00182-8 J
Y. Zhu, Modular invariance of characters of vertex operator algebras , https://doi.org/10.1090/s0894-0347-96-00182-8 J. Am. Math. Soc. 9 (1996) 237
1996 doi
-
[40]
Addabbo and C
D. Addabbo and C. A. Keller, Modularity of Vertex Operator Algebra Correlators with Zero Modes , https://arxiv.org/abs/2411.08008 2411.08008
-
[41]
Mansfield and B
P. Mansfield and B. J. Spence, Toda theories, the geometry of W algebras and minimal models , https://doi.org/10.1016/0550-3213(91)90565-F Nucl. Phys. B 362 (1991) 294
1991 doi
-
[42]
H. G. Kausch and G. M. T. Watts, A Study of W algebras using Jacobi identities , https://doi.org/10.1016/0550-3213(91)90375-8 Nucl. Phys. B 354 (1991) 740
1991 doi
Reviewed August 5, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.