pith. machine review for the scientific record. sign in

arxiv: 2603.19383 · v2 · submitted 2026-03-19 · ✦ hep-th

Recognition: 2 theorem links

· Lean Theorem

Modular Properties of Symplectic Fermion Generalised Gibbs Ensemble

Authors on Pith no claims yet

Pith reviewed 2026-05-15 08:10 UTC · model grok-4.3

classification ✦ hep-th
keywords symplectic fermiongeneralised Gibbs ensemblemodular S-transformW(1,2) triplet modelKdV hierarchyBoussinesq hierarchyconformal field theoryW3 algebra
0
0 comments X

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.

The paper builds generalised Gibbs ensembles for the symplectic fermion theory at central charge -2 by using its infinite set of mutually commuting conserved charges. It obtains closed-form expressions for the modular S-transforms of the resulting partition functions sector by sector. The expressions are then evaluated in the limit of vanishing chemical potentials. A sympathetic reader cares because the result supplies a concrete modular-invariant description of a non-unitary CFT equipped with an infinite tower of charges, and it links the ensemble directly to the KdV and Boussinesq integrable hierarchies.

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

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

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

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

1 major / 1 minor

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)
  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)
  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

1 responses · 0 unresolved

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

0 steps flagged

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

0 free parameters · 2 axioms · 0 invented entities

The work rests on the established existence of an infinite commuting family of charges in the symplectic fermion CFT and on the identification of subsets with known integrable hierarchies.

axioms (2)
  • domain assumption Symplectic fermion CFT with c=-2 possesses an infinite family of mutually commuting conserved charges.
    Stated as known background in the abstract.
  • domain assumption Subsets of the charges reproduce the KdV and Boussinesq hierarchies.
    Invoked to obtain results that mirror the free-fermion case.

pith-pipeline@v0.9.0 · 5510 in / 1254 out tokens · 38462 ms · 2026-05-15T08:10:09.131556+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.

Reference graph

Works this paper leans on

62 extracted references · 62 canonical work pages · 29 internal anchors

  1. [1]

    Downing, F

    M. Downing, F. Karimi, T. Sengupta, A. Sudhakar and G.M.T. Watts,Modular Properties of W3 Generalised Gibbs Ensembles,2508.16258

  2. [2]

    Kupershmidt and P

    B.A. Kupershmidt and P. Mathieu,Quantum Korteweg-de Vries Like Equations and Perturbed Conformal Field Theories,Phys. Lett. B227(1989) 245

  3. [3]

    Integrable structure of W_3 Conformal Field Theory, Quantum Boussinesq Theory and Boundary Affine Toda Theory

    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]

  4. [4]

    Ashok, S

    S.K. Ashok, S. Parihar, T. Sengupta, A. Sudhakar and R. Tateo,Integrable structure of higher spin CFT and the ODE/IM correspondence,JHEP07(2024) 179 [2405.12636]

  5. [5]

    Feigin and E

    B. Feigin and E. Frenkel,Free field resolutions in affine Toda field theories,Phys. Lett. B 276(1992) 79

  6. [6]

    Pope, L.J

    C.N. Pope, L.J. Romans and X. Shen,The Complete Structure of W(Infinity),Phys. Lett. B 236(1990) 173

  7. [7]

    W-Infinity and String Theory

    X. Shen,W infinity and string theory,Int. J. Mod. Phys. A7(1992) 6953 [hep-th/9202072]

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

  9. [9]

    Downing and G.M.T

    M. Downing and G.M.T. Watts,Free fermions, KdV charges, generalised Gibbs ensembles and modular transforms,JHEP06(2022) 036 [2111.13950]

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

  11. [11]

    Higher Spin Black Holes

    M. Gutperle and P. Kraus,Higher Spin Black Holes,JHEP05(2011) 022 [1103.4304]

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

  13. [13]

    Dymarsky and S

    A. Dymarsky and S. Sugishita,KdV-charged black holes,JHEP05(2020) 041 [2002.08368]

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

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

  16. [16]

    Dymarsky and K

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

    Dymarsky and K

    A. Dymarsky and K. Pavlenko,Exact generalized partition function of 2D CFTs at large central charge,JHEP05(2019) 077 [1812.05108]

  18. [18]

    Dymarsky, A

    A. Dymarsky, A. Kakkar, K. Pavlenko and S. Sugishita,Spectrum of quantum KdV hierarchy in the semiclassical limit,JHEP09(2022) 169 [2208.01062]

  19. [19]

    Brehm and D

    E.M. Brehm and D. Das,Korteweg–de Vries characters in large central charge CFTs,Phys. Rev. D101(2020) 086025 [1901.10354]

  20. [20]

    Downing and G.M.T

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

    Downing,Modular transform of free fermion generalised Gibbs ensembles and generalised power partitions,2310.07601

    M. Downing,Modular transform of free fermion generalised Gibbs ensembles and generalised power partitions,2310.07601

  22. [22]

    Downing and F

    M. Downing and F. Karimi,Modular Properties of Generalised Gibbs Ensembles,SciPost Phys.18(2025) 085 [2410.06288]

  23. [23]

    Ashok, T

    S.K. Ashok, T. Sengupta, A. Sudhakar and G.M.T. Watts,Universal Modular Properties of Generalized Gibbs Ensembles and Chiral Deformations,2603.28244

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

  25. [25]

    Chiral Deformations of Conformal Field Theories

    R. Dijkgraaf,Chiral deformations of conformal field theories,Nucl. Phys. B493(1997) 588 [hep-th/9609022]

  26. [26]

    Symplectic Fermions

    H.G. Kausch,Symplectic fermions,Nucl. Phys. B583(2000) 513 [hep-th/0003029]

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

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

  29. [29]

    Di Francesco, P

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

    Gainutdinov and I

    A.M. Gainutdinov and I. Runkel,The non-semisimple Verlinde formula and pseudo-trace functions,J. Pure Appl. Algebra223(2019) 660 [1605.04448]

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

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

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

  34. [34]

    Zagier,Appendix: The mellin transform and other useful analytic techniques, inQuantum Field Theory I: Basics in Mathematics and Physics

    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

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

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

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

  38. [38]

    Cardy and I

    J.L. Cardy and I. Peschel,Finite Size Dependence of the Free Energy in Two-dimensional Critical Systems,Nucl. Phys. B300(1988) 377

  39. [39]

    Fateev and S.L

    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

  40. [40]

    Triality in Minimal Model Holography

    M.R. Gaberdiel and R. Gopakumar,Triality in Minimal Model Holography,JHEP07(2012) 127 [1205.2472]

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

  42. [42]

    Blumenhagen, M

    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

  43. [43]

    Kausch and G.M.T

    H.G. Kausch and G.M.T. Watts,A Study of W algebras using Jacobi identities,Nucl. Phys. B354(1991) 740

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

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

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

  47. [47]

    Mulokwe and K

    M. Mulokwe and K. Zoubos,Free fermions, neutrality and modular transformations,J. Phys. A57(2024) 395401 [2403.08531]

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

  49. [49]

    Chernyak, A.M

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

  51. [51]

    Downing, S

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

    Brizio, T

    N. Brizio, T. Morone, N. Primi and R. Tateo,Graded S-Matrices, Generalised Gibbs Ensembles and Fractional-Spin CDD Deformations,2511.03791

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

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

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

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

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

  58. [58]

    Kudrna and T

    M. Kudrna and T. Proch´ azka,On W-algebras and ODE/IM correspondence,2508.20793

  59. [59]

    Fioravanti and M

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

    Zagier,Elliptic modular forms and their applications, inThe 1-2-3 of Modular Forms: Lectures at a Summer School in Nordfjordeid, Norway, K

    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)

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

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