Recognition: 2 theorem links
· Lean TheoremModular Properties of Symplectic Fermion Generalised Gibbs Ensemble
Pith reviewed 2026-05-15 08:10 UTC · model grok-4.3
The pith
The generalized Gibbs ensemble for symplectic fermions admits exact modular S-transforms in each sector.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We derive exact expressions for the modular S-transforms in each sector of the symplectic fermion (and so of the whole GGE) and further extract the expressions in the asymptotic regime where the chemical potentials go to zero. For the case in which the charge is identified with the zero mode W0 of the W3 algebra, we obtain asymptotic behaviour in precise agreement with the conjecture proposed in the companion paper; for the KdV subset we obtain results which exactly mirror the case for a single free fermion. Finally we identify the GGE with a translation invariant and purely transmitting defect for the symplectic fermion fields.
What carries the argument
The modular S-transforms of the GGE partition functions built from the zero modes of the W(1,2) triplet model.
If this is right
- The asymptotic large-volume behaviour for the W3 zero-mode charge exactly reproduces the conjecture stated in the companion paper.
- The KdV subset of charges produces modular properties identical to those of a single free fermion.
- The full GGE is equivalent to a translation-invariant, purely transmitting defect in the symplectic fermion theory.
- Subsets of the charges reproduce the KdV and Boussinesq integrable hierarchies.
Where Pith is reading between the lines
- The same modular construction may extend to other W_n algebras once their corresponding charge towers are identified.
- The defect interpretation opens a route to studying how generalised ensembles affect correlation functions across a cut in two-dimensional CFT.
- Truncations of the charge tower could be used to test whether the exact S-transform expressions remain accurate for finite numbers of charges.
Load-bearing premise
The infinite family of mutually commuting conserved charges can be identified with the zero modes of the W(1,2) triplet model and with the KdV/Boussinesq hierarchies without additional constraints.
What would settle it
A direct numerical computation, for a finite truncation of the charge tower, of the modular S-transform of the GGE partition function that deviates from the closed-form expression given in the paper.
read the original abstract
The symplectic fermion is a much-studied non-unitary conformal field theory with $c=-2$ and is known to contain an infinite family of mutually commuting conserved charges. We derive expressions for the conserved charges on the cylinder and use these to construct Generalised Gibbs Ensembles (GGEs) in the particular case of the ${W}(1,2)$ triplet model. We derive exact expressions for the modular $S$-transforms in each sector of the symplectic fermion (and so of the whole GGE) and further extract the expressions in the asymptotic regime where the chemical potentials go to zero. Subsets of the conserved charges are known to reproduce the KdV and Boussinesq hierarchies. For the case in which the charge is identified with the zero mode $W_0$ of the $W_3$ algebra, we obtain asymptotic behaviour in precise agreement with the conjecture proposed in our companion paper [1]; for the KdV subset we obtain results which exactly mirror the case for a single free fermion. Finally we identify the GGE with a translation invariant and purely transmitting defect for the symplectic fermion fields, and make some comments on the relation to other $W_n$ algebras.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper derives explicit expressions for the infinite family of mutually commuting conserved charges of the symplectic fermion on the cylinder, uses them to construct generalized Gibbs ensembles (GGEs) for the W(1,2) triplet model, obtains exact modular S-transforms in each sector, and extracts the asymptotic forms in the limit of vanishing chemical potentials. Subsets of the charges are shown to reproduce the KdV and Boussinesq hierarchies; the W0 case is reported to agree precisely with a conjecture from a companion paper, while the KdV subset mirrors the single free-fermion case. The GGE is further identified with a translation-invariant, purely transmitting defect.
Significance. If the central identification of the full charge family holds, the exact S-transform formulas constitute a concrete advance in the modular properties of GGEs for non-unitary logarithmic CFTs, providing a direct link between integrable hierarchies, W-algebra zero modes, and defect interpretations. The parameter-free asymptotic agreement with the companion conjecture and the exact mirroring of the free-fermion KdV case are notable strengths that could be used for further checks in related W_n models.
major comments (1)
- The derivation of the cylinder charges and the subsequent exact S-transform expressions (including their asymptotic limits) rests on the claim that the full infinite family of mutually commuting charges can be identified with the zero modes of the W(1,2) triplet model without additional constraints on the fields or modes. While the manuscript verifies this for subsets (KdV, Boussinesq) and checks the W0 case against the companion conjecture, no explicit verification is supplied that the complete family commutes and generates the GGE in the claimed generality; if implicit constraints are required, the S-transform formulas would not hold as stated.
minor comments (1)
- The notation for the chemical potentials and the precise definition of the asymptotic regime (chemical potentials to zero) should be stated explicitly in the main text rather than only in the abstract, to avoid ambiguity when comparing to the free-fermion limit.
Simulated Author's Rebuttal
We thank the referee for their careful reading and constructive comments on our manuscript. We address the major concern regarding the identification and commutation of the full charge family below, and we will revise the manuscript to incorporate additional details.
read point-by-point responses
-
Referee: The derivation of the cylinder charges and the subsequent exact S-transform expressions (including their asymptotic limits) rests on the claim that the full infinite family of mutually commuting charges can be identified with the zero modes of the W(1,2) triplet model without additional constraints on the fields or modes. While the manuscript verifies this for subsets (KdV, Boussinesq) and checks the W0 case against the companion conjecture, no explicit verification is supplied that the complete family commutes and generates the GGE in the claimed generality; if implicit constraints are required, the S-transform formulas would not hold as stated.
Authors: The infinite family of conserved charges is constructed explicitly by mapping the zero modes of the W(1,2) generators to the cylinder, and their mutual commutation follows directly from the closed commutation relations of the W-algebra without requiring additional constraints on the fields or modes. We have verified commutation explicitly for the KdV and Boussinesq subsets, and the W0 identification matches the companion conjecture exactly. The GGE and S-transforms are then built from this family in each sector. To address the concern about explicit verification for the complete family, we will add a dedicated paragraph or short appendix in the revised manuscript that recalls the relevant W-algebra relations and confirms closure for the general case. revision: yes
Circularity Check
No significant circularity; derivations of cylinder charges and S-transforms are independent of inputs
full rationale
The paper starts from the known infinite family of mutually commuting conserved charges in the symplectic fermion (explicitly stated as 'known to contain'), derives cylinder expressions for them, constructs the GGE for the W(1,2) case, and obtains exact modular S-transforms sector by sector plus asymptotic limits. These steps are presented as direct derivations rather than tautological. Agreement with the companion paper conjecture for the W0 case is reported as a verification outcome, not an input that forces the S-transform formulas. No equation or step reduces by construction to a fitted parameter, self-definition, or self-citation chain; the central results remain self-contained against the stated assumptions.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Symplectic fermion CFT with c=-2 possesses an infinite family of mutually commuting conserved charges.
- domain assumption Subsets of the charges reproduce the KdV and Boussinesq hierarchies.
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We derive exact expressions for the modular S-transforms in each sector of the symplectic fermion (and so of the whole GGE) and further extract the expressions in the asymptotic regime where the chemical potentials go to zero. Subsets of the conserved charges are known to reproduce the KdV and Boussinesq hierarchies.
-
IndisputableMonolith/Foundation/ArithmeticFromLogic.leanLogicNat recovery theorem unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
the charges are bilinear in the fermion modes... their action on the Hilbert space is easy to calculate... exact expression for the GGE
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.
Reference graph
Works this paper leans on
-
[1]
M. Downing, F. Karimi, T. Sengupta, A. Sudhakar and G.M.T. Watts,Modular Properties of W3 Generalised Gibbs Ensembles,2508.16258
-
[2]
B.A. Kupershmidt and P. Mathieu,Quantum Korteweg-de Vries Like Equations and Perturbed Conformal Field Theories,Phys. Lett. B227(1989) 245
work page 1989
-
[3]
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,Nucl. Phys. B622 (2002) 475 [hep-th/0105177]
work page internal anchor Pith review Pith/arXiv arXiv 2002
- [4]
-
[5]
B. Feigin and E. Frenkel,Free field resolutions in affine Toda field theories,Phys. Lett. B 276(1992) 79
work page 1992
- [6]
-
[7]
X. Shen,W infinity and string theory,Int. J. Mod. Phys. A7(1992) 6953 [hep-th/9202072]
work page internal anchor Pith review Pith/arXiv arXiv 1992
-
[8]
Integrability of the quantum KdV equation at c = -2
P. Di Francesco, P. Mathieu and D. Senechal,Integrability of the quantum KdV equation at c = -2,Mod. Phys. Lett. A7(1992) 701 [hep-th/9112063]
work page internal anchor Pith review Pith/arXiv arXiv 1992
-
[9]
M. Downing and G.M.T. Watts,Free fermions, KdV charges, generalised Gibbs ensembles and modular transforms,JHEP06(2022) 036 [2111.13950]
-
[10]
From Quantum Chaos and Eigenstate Thermalization to Statistical Mechanics and Thermodynamics
L. D’Alessio, Y. Kafri, A. Polkovnikov and M. Rigol,From quantum chaos and eigenstate thermalization to statistical mechanics and thermodynamics,Adv. Phys.65(2016) 239 [1509.06411]. – 49 –
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[11]
M. Gutperle and P. Kraus,Higher Spin Black Holes,JHEP05(2011) 022 [1103.4304]
work page internal anchor Pith review Pith/arXiv arXiv 2011
-
[12]
Higher Spin Black Holes from CFT
M.R. Gaberdiel, T. Hartman and K. Jin,Higher Spin Black Holes from CFT,JHEP04 (2012) 103 [1203.0015]
work page internal anchor Pith review Pith/arXiv arXiv 2012
-
[13]
A. Dymarsky and S. Sugishita,KdV-charged black holes,JHEP05(2020) 041 [2002.08368]
-
[14]
Modular properties of characters of the W3 algebra
N.J. Iles and G.M.T. Watts,Modular properties of characters of the W 3 algebra,JHEP01 (2016) 089 [1411.4039]
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[15]
Thermal Correlation Functions of KdV Charges in 2D CFT
A. Maloney, G.S. Ng, S.F. Ross and I. Tsiares,Thermal Correlation Functions of KdV Charges in 2D CFT,JHEP02(2019) 044 [1810.11053]
work page internal anchor Pith review Pith/arXiv arXiv 2019
-
[16]
A. Dymarsky and K. Pavlenko,Generalized Gibbs Ensemble of 2d CFTs at large central charge in the thermodynamic limit,JHEP01(2019) 098 [1810.11025]
-
[17]
A. Dymarsky and K. Pavlenko,Exact generalized partition function of 2D CFTs at large central charge,JHEP05(2019) 077 [1812.05108]
-
[18]
A. Dymarsky, A. Kakkar, K. Pavlenko and S. Sugishita,Spectrum of quantum KdV hierarchy in the semiclassical limit,JHEP09(2022) 169 [2208.01062]
-
[19]
E.M. Brehm and D. Das,Korteweg–de Vries characters in large central charge CFTs,Phys. Rev. D101(2020) 086025 [1901.10354]
-
[20]
M. Downing and G.M.T. Watts,Free fermions, KdV charges, generalised Gibbs ensembles, modular transforms and line defects,JHEP01(2024) 041 [2311.04564]
-
[21]
M. Downing,Modular transform of free fermion generalised Gibbs ensembles and generalised power partitions,2310.07601
-
[22]
M. Downing and F. Karimi,Modular Properties of Generalised Gibbs Ensembles,SciPost Phys.18(2025) 085 [2410.06288]
- [23]
-
[24]
From boundary to bulk in logarithmic CFT
M.R. Gaberdiel and I. Runkel,From boundary to bulk in logarithmic CFT,J. Phys. A41 (2008) 075402 [0707.0388]
work page internal anchor Pith review Pith/arXiv arXiv 2008
-
[25]
Chiral Deformations of Conformal Field Theories
R. Dijkgraaf,Chiral deformations of conformal field theories,Nucl. Phys. B493(1997) 588 [hep-th/9609022]
work page internal anchor Pith review Pith/arXiv arXiv 1997
-
[26]
H.G. Kausch,Symplectic fermions,Nucl. Phys. B583(2000) 513 [hep-th/0003029]
work page internal anchor Pith review Pith/arXiv arXiv 2000
-
[27]
Logarithmic Conformal Field Theory: Beyond an Introduction
T. Creutzig and D. Ridout,Logarithmic Conformal Field Theory: Beyond an Introduction, J. Phys. A46(2013) 4006 [1303.0847]
work page internal anchor Pith review Pith/arXiv arXiv 2013
-
[28]
A Local Logarithmic Conformal Field Theory
M.R. Gaberdiel and H.G. Kausch,A Local logarithmic conformal field theory,Nucl. Phys. B 538(1999) 631 [hep-th/9807091]
work page internal anchor Pith review Pith/arXiv arXiv 1999
-
[29]
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
-
[30]
A.M. Gainutdinov and I. Runkel,The non-semisimple Verlinde formula and pseudo-trace functions,J. Pure Appl. Algebra223(2019) 660 [1605.04448]
-
[31]
A general transformation formula for conformal fields
M. Gaberdiel,A General transformation formula for conformal fields,Phys. Lett. B325 (1994) 366 [hep-th/9401166]. – 50 –
work page internal anchor Pith review Pith/arXiv arXiv 1994
-
[32]
NIST Digital Library of Mathematical Functions
“NIST Digital Library of Mathematical Functions.”https://dlmf.nist.gov/25.11, Release 1.2.4 of 2025-03-15
work page 2025
-
[33]
D. Zagier,Power partitions and a generalized eta transformation property,Hardy-Ramanujan JournalVolume 44 - Special Commemorative volume in honour of Srinivasa Ramanujan - 2021(2022) 1
work page 2021
-
[34]
D. Zagier,Appendix: The mellin transform and other useful analytic techniques, inQuantum Field Theory I: Basics in Mathematics and Physics. A Bridge Between Mathematicians and Physicists, (Berlin-Heidelberg-New York), pp. 305–323, Springer-Verlag (2006), DOI
work page 2006
-
[35]
Zhu,Modular invariance of characters of vertex operator algebras,J
Y. Zhu,Modular invariance of characters of vertex operator algebras,J. Amer. Math. Soc.9 (1996)
work page 1996
-
[36]
Integrable Structure of Conformal Field Theory, Quantum KdV Theory and Thermodynamic Bethe Ansatz
V.V. Bazhanov, S.L. Lukyanov and A.B. Zamolodchikov,Integrable structure of conformal field theory, quantum KdV theory and thermodynamic Bethe ansatz,Commun. Math. Phys. 177(1996) 381 [hep-th/9412229]
work page internal anchor Pith review Pith/arXiv arXiv 1996
-
[37]
Zamolodchikov,Infinite Additional Symmetries in Two-Dimensional Conformal Quantum Field Theory,Theor
A.B. Zamolodchikov,Infinite Additional Symmetries in Two-Dimensional Conformal Quantum Field Theory,Theor. Math. Phys.65(1985) 1205
work page 1985
-
[38]
J.L. Cardy and I. Peschel,Finite Size Dependence of the Free Energy in Two-dimensional Critical Systems,Nucl. Phys. B300(1988) 377
work page 1988
-
[39]
V.A. Fateev and S.L. Lukyanov,The Models of Two-Dimensional Conformal Quantum Field Theory with Z(n) Symmetry,Int. J. Mod. Phys. A3(1988) 507
work page 1988
-
[40]
Triality in Minimal Model Holography
M.R. Gaberdiel and R. Gopakumar,Triality in Minimal Model Holography,JHEP07(2012) 127 [1205.2472]
work page internal anchor Pith review Pith/arXiv arXiv 2012
-
[41]
Classification of Structure Constants for W-algebras from Highest Weights
K. Hornfeck,Classification of structure constants for W algebras from highest weights,Nucl. Phys. B411(1994) 307 [hep-th/9307170]
work page internal anchor Pith review Pith/arXiv arXiv 1994
-
[42]
R. Blumenhagen, M. Flohr, A. Kliem, W. Nahm, A. Recknagel and R. Varnhagen,W algebras with two and three generators,Nucl. Phys. B361(1991) 255
work page 1991
-
[43]
H.G. Kausch and G.M.T. Watts,A Study of W algebras using Jacobi identities,Nucl. Phys. B354(1991) 740
work page 1991
-
[44]
W-algebras with set of primary fields of dimensions (3, 4, 5) and (3,4,5,6)
K. Hornfeck,W algebras with set of primary fields of dimensions (3, 4, 5) and (3, 4, 5, 6), Nucl. Phys. B407(1993) 237 [hep-th/9212104]
work page internal anchor Pith review Pith/arXiv arXiv 1993
-
[45]
Eigensystem and Full Character Formula of the W_{1+infinity} Algebra with c=1
H. Awata, M. Fukuma, S. Odake and Y.-H. Quano,Eigensystem and full character formula of the W(1+infinity) algebra with c = 1,Lett. Math. Phys.31(1994) 289 [hep-th/9312208]
work page internal anchor Pith review Pith/arXiv arXiv 1994
-
[46]
Representation theory of the vertex algebra $W_{1 + \infty}$
V. Kac and A. Radul,Representation theory of the vertex algebra W(1+infinity), hep-th/9512150
work page internal anchor Pith review Pith/arXiv arXiv
-
[47]
M. Mulokwe and K. Zoubos,Free fermions, neutrality and modular transformations,J. Phys. A57(2024) 395401 [2403.08531]
-
[48]
Integrals of Motion for Critical Dense Polymers and Symplectic Fermions
A. Nigro,Integrals of Motion for Critical Dense Polymers and Symplectic Fermions,J. Stat. Mech.0910(2009) P10007 [0903.5051]
work page internal anchor Pith review Pith/arXiv arXiv 2009
-
[49]
D. Chernyak, A.M. Gainutdinov and H. Saleur,U qsl2-invariant non-compact boundary conditions for the XXZ spin chain,JHEP11(2022) 016 [2207.12772]
-
[50]
Universal TT- and TQ-relations via centrally extended q-Onsager algebra
P. Baseilhac, A.M. Gainutdinov and G. Lemarthe,Universal TT- and TQ-relations via centrally extended q-Onsager algebra,2511.15876. – 51 –
work page internal anchor Pith review Pith/arXiv arXiv
-
[51]
M. Downing, S. Murthy and G.M.T. Watts,Modular symmetry of massive free fermions, Commun. Num. Theor. Phys.19(2025) 197 [2302.01251]
- [52]
-
[53]
Y-System and Deformed Thermodynamic Bethe Ansatz
D. Masoero,Y-System and Deformed Thermodynamic Bethe Ansatz,Lett. Math. Phys.94 (2010) 151 [1005.1046]
work page internal anchor Pith review Pith/arXiv arXiv 2010
-
[54]
On the ODE/IM correspondence for minimal models
P. Dorey, C. Dunning, F. Gliozzi and R. Tateo,On the ODE/IM correspondence for minimal models,J. Phys. A41(2008) 132001 [0712.2010]
work page internal anchor Pith review Pith/arXiv arXiv 2008
-
[55]
Spectral determinants for Schroedinger equation and Q-operators of Conformal Field Theory
V.V. Bazhanov, S.L. Lukyanov and A.B. Zamolodchikov,Spectral determinants for Schrodinger equation and Q operators of conformal field theory,J. Statist. Phys.102(2001) 567 [hep-th/9812247]
work page internal anchor Pith review Pith/arXiv arXiv 2001
-
[56]
Differential equations and integrable models: the SU(3) case
P. Dorey and R. Tateo,Differential equations and integrable models: The SU(3) case,Nucl. Phys. B571(2000) 583 [hep-th/9910102]
work page internal anchor Pith review Pith/arXiv arXiv 2000
-
[57]
Pseudo-differential equations, and the Bethe Ansatz for the classical Lie algebras
P. Dorey, C. Dunning, D. Masoero, J. Suzuki and R. Tateo,Pseudo-differential equations, and the Bethe ansatz for the classical Lie algebras,Nucl. Phys. B772(2007) 249 [hep-th/0612298]
work page internal anchor Pith review Pith/arXiv arXiv 2007
-
[58]
M. Kudrna and T. Proch´ azka,On W-algebras and ODE/IM correspondence,2508.20793
-
[59]
D. Fioravanti and M. Rossi,On the origin of the correspondence between classical and quantum integrable theories,Phys. Lett. B838(2023) 137706 [2106.07600]
-
[60]
D. Zagier,Elliptic modular forms and their applications, inThe 1-2-3 of Modular Forms: Lectures at a Summer School in Nordfjordeid, Norway, K. Ranestad, ed., (Berlin, Heidelberg), pp. 1–103, Springer Berlin Heidelberg (2008)
work page 2008
-
[61]
Classification of irreducible modules of W_3 algebra with c = -2
W.-q. Wang,Classification of irreducible modules of W-3 algebra with c=-2,Commun. Math. Phys.195(1998) 113 [q-alg/9708016]
work page internal anchor Pith review Pith/arXiv arXiv 1998
-
[62]
Probing integrable perturbations of conformal theories using singular vectors
P. Mathieu and G. Watts,Probing integrable perturbations of conformal theories using singular vectors,Nucl. Phys. B475(1996) 361 [hep-th/9603088]. – 52 –
work page internal anchor Pith review Pith/arXiv arXiv 1996
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.