Recognition: unknown
Bosonic Ghost Correlators: A Case Study
Pith reviewed 2026-05-09 15:15 UTC · model grok-4.3
The pith
The bosonic ghost system has four-point correlation functions with logarithmic singularities.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The authors use differential equations satisfied by the bosonic ghost correlators to verify that four-point functions exist with logarithmic singularities, demonstrating a complexity in the analytic data that goes beyond what the free-field nature of the theory would suggest.
What carries the argument
Differential equations obtained from the bosonic ghost system's properties, which fix the functional form of the correlation functions and allow for logarithmic terms.
If this is right
- Some four-point functions in the model must be expressed using logarithms in addition to powers.
- The analytic data of the bosonic ghost system is richer than expected from free-field considerations.
- Further refinement of these correlators is possible using Coulomb gas and bootstrap techniques.
- Logarithmic singularities form part of the complete set of correlation functions needed for logarithmic models.
Where Pith is reading between the lines
- The same differential-equation approach may reveal logarithmic terms in higher-point functions of this model.
- This explicit example could serve as a test case for general conjectures on the structure of correlation functions in other logarithmic theories.
- The presence of logs may affect how the theory behaves under fusion or how its partition functions are constructed.
Load-bearing premise
The differential equations derived from the bosonic ghost system fully determine the correlators and capture all logarithmic singularities without missing contributions.
What would settle it
An explicit computation of one of the four-point functions by an independent method that yields only power-law dependence with no logarithmic terms.
Figures
read the original abstract
There has been a lot of recent work addressing the representation theory that underlies logarithmic conformal field theories. A full understanding of these models will however also need analytic data, in particular the correlation functions. Here, we explore the correlators of one of the most fundamental of all logarithmic models: the bosonic ghost system. In this first part, we use differential equations to show that the correlation functions exhibit a richness beyond what one might have expected, given the free-field nature of the theory. Our main result is the verification that there are four-point functions with logarithmic singularities. In a sequel, we will employ Coulomb gas and bootstrap methods to further refine the results presented here.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript studies correlation functions in the bosonic ghost system, a basic example of a logarithmic conformal field theory. It derives differential equations from the system's structure and uses them to verify that certain four-point functions exhibit logarithmic singularities, indicating greater richness than expected from the free-field realization. The work is presented as the first part, with a sequel planned to apply Coulomb gas and bootstrap techniques.
Significance. If the central verification holds, the paper supplies concrete analytic data on correlators in logarithmic CFT, complementing the existing emphasis on representation theory. Explicit four-point functions with logarithmic singularities for the bosonic ghost system would provide a useful case study for how indecomposable modules affect correlation functions.
major comments (2)
- [Abstract and main result] The main result (stated in the abstract and introduction) asserts that differential equations derived from the bosonic ghost system verify four-point functions with logarithmic singularities. However, the manuscript provides no explicit form of these equations, no derivation steps from Ward identities or null-vector conditions, and no demonstration that the solution space necessarily includes log terms forced by the indecomposable module structure rather than arising optionally in the generic sector.
- [Differential equations derivation] The approach relies on the assumption that the differential equations fully capture the logarithmic singularities without missing contributions from the Jordan-block action of L_0 or the fusion rules of the logarithmic modules. The text does not show how the representation-theoretic data (indecomposability) is incorporated to fix the coefficients in the solution basis, leaving open whether the logs are forced or merely possible.
minor comments (1)
- [Abstract] The phrase 'richness beyond what one might have expected' in the abstract would benefit from a brief statement of what the naive free-field expectation was, to make the contrast with the logarithmic singularities clearer.
Simulated Author's Rebuttal
We thank the referee for their careful reading of the manuscript and for highlighting areas where greater clarity is needed regarding the differential equations and their connection to the representation theory. We address the major comments point by point below and will make the corresponding revisions to strengthen the presentation.
read point-by-point responses
-
Referee: [Abstract and main result] The main result (stated in the abstract and introduction) asserts that differential equations derived from the bosonic ghost system verify four-point functions with logarithmic singularities. However, the manuscript provides no explicit form of these equations, no derivation steps from Ward identities or null-vector conditions, and no demonstration that the solution space necessarily includes log terms forced by the indecomposable module structure rather than arising optionally in the generic sector.
Authors: We agree that the explicit differential equations, the derivation steps from the Ward identities and null-vector conditions, and the demonstration that logarithmic terms are forced by the indecomposable module structure were not presented with sufficient detail. The manuscript's emphasis was on the verification that four-point functions exhibit logarithmic singularities beyond free-field expectations, but the intermediate steps were omitted. In the revised version we will include the explicit forms of the equations, outline their derivation, and show how the solution basis is constrained by the indecomposable modules so that the log terms are required rather than optional. revision: yes
-
Referee: [Differential equations derivation] The approach relies on the assumption that the differential equations fully capture the logarithmic singularities without missing contributions from the Jordan-block action of L_0 or the fusion rules of the logarithmic modules. The text does not show how the representation-theoretic data (indecomposability) is incorporated to fix the coefficients in the solution basis, leaving open whether the logs are forced or merely possible.
Authors: We acknowledge that the manuscript does not explicitly demonstrate how the Jordan-block structure of L_0 and the fusion rules of the logarithmic modules are used to fix the coefficients in the solution basis. While the differential equations were constructed from the representation data of the bosonic ghost system, the step-by-step incorporation of indecomposability to force the logarithmic singularities was not shown. We will revise the text to provide this explicit connection, confirming that the logs arise necessarily from the module structure. revision: yes
Circularity Check
No circularity; derivation uses independent differential equations from theory structure
full rationale
The paper's main result follows from deriving differential equations based on the bosonic ghost system's properties (Ward identities and null-vector conditions) and solving them to exhibit logarithmic singularities in four-point functions. This chain does not reduce any prediction to a fitted input, self-definition, or self-citation by construction. The equations are presented as external constraints from the representation theory and free-field structure, with the solution space analyzed directly rather than assumed. No load-bearing self-citations, ansatzes, or renamings are required for the central claim, rendering the verification self-contained against the theory's axioms.
Axiom & Free-Parameter Ledger
Reference graph
Works this paper leans on
-
[1]
Classification of irreducible modules of certain subalgebras of free boson vertex algebra.J
D Adamovi ´c. Classification of irreducible modules of certain subalgebras of free boson vertex algebra.J. Algebra, 270:115–132, 2003. arXiv:math.QA/0207155
-
[2]
On fusion rules and intertwining operators for the Weyl vertex algebra.J
D Adamovi ´c and V Pedi´c. On fusion rules and intertwining operators for the Weyl vertex algebra.J. Math. Phys., 60:081701, 2019. arXiv:1903.10248 [math.QA]
-
[3]
R Allen and S Wood. Bosonic ghostbusting — the bosonic ghost vertex algebra admits a logarithmic module category with rigid fusion. Comm. Math. Phys., 390:959–1015, 2022.arXiv:2001.05986 [math.QA]. 20 X LI, D RAJBHANDARI AND D RIDOUT
-
[4]
Generalized hypergeometric functions and Meijer G-function
R Askey and A Olde Daalhuis. Generalized hypergeometric functions and Meijer G-function. In F Olver, D Lozier, R Boisvert and C Clark, editors,NIST Handbook of Mathematical Functions, chapter 16. Cambridge University Press, 2010
2010
-
[5]
Infinite chiral symmetry in four dimensions.Comm
C Beem, M Lemos, P Liendo, W Peelaers, L Rastelli and B van Rees. Infinite chiral symmetry in four dimensions.Comm. Math. Phys., 336:1359–1433, 2015.arXiv:1312.5344 [hep-th]
-
[6]
Free field approach to two-dimensional conformal field theories.Progr
P Bouwknegt, J McCarthy and K Pilch. Free field approach to two-dimensional conformal field theories.Progr. Theoret. Phys. Suppl., 102:67–135, 1990
1990
-
[7]
Logarithmic conformal field theory: beyond an introduction.J
T Creutzig and D Ridout. Logarithmic conformal field theory: beyond an introduction.J. Phys., A46:494006, 2013.arXiv:1303.0847 [hep-th]
-
[8]
Coset constructions of logarithmic(1, 𝑝)-models.Lett
T Creutzig, D Ridout and S Wood. Coset constructions of logarithmic(1, 𝑝)-models.Lett. Math. Phys., 104:553–583, 2014. arXiv:1305.2665 [math.QA]
-
[9]
Graduate Texts in Contemporary Physics
P Di Francesco, P Mathieu and D S ´en´echal.Conformal Field Theory. Graduate Texts in Contemporary Physics. Springer–Verlag, New York, 1997
1997
-
[10]
A family of representations of affine Lie algebras.Russian Math
B Feigin and E Frenkel. A family of representations of affine Lie algebras.Russian Math. Surveys, 43:221–222, 1988
1988
-
[11]
Conformal invariance, supersymmetry and string theory.Nucl
D Friedan, E Martinec and S Shenker. Conformal invariance, supersymmetry and string theory.Nucl. Phys., B271:93–165, 1986
1986
-
[12]
Indecomposable fusion products.Nucl
M Gaberdiel and H Kausch. Indecomposable fusion products.Nucl. Phys., B477:293–318, 1996.arXiv:hep-th/9604026
-
[13]
Logarithmic operators in conformal field theory,
V Gurarie. Logarithmic operators in conformal field theory.Nucl. Phys., B410:535–549, 1993.arXiv:hep-th/9303160
-
[14]
Quantum reduction for affine superalgebras.Comm
V Kac, S Roan and M Wakimoto. Quantum reduction for affine superalgebras.Comm. Math. Phys., 241:307–342, 2003. arXiv:math-ph/0302015
-
[15]
Hypergeometric functions with integral parameter differences.J
P Karlsson. Hypergeometric functions with integral parameter differences.J. Math. Phys., 12:270–271, 1971
1971
-
[16]
Thec𝑠𝑢(2)−1/2 WZW model and the𝛽𝛾system.Nucl
F Lesage, P Mathieu, J Rasmussen and H Saleur. Thec𝑠𝑢(2)−1/2 WZW model and the𝛽𝛾system.Nucl. Phys., B647:363–403, 2002. arXiv:hep-th/0207201
-
[17]
Logarithmic lift of thec𝑠𝑢(2)−1/2 model.Nucl
F Lesage, P Mathieu, J Rasmussen and H Saleur. Logarithmic lift of thec𝑠𝑢(2)−1/2 model.Nucl. Phys., B686:313–346, 2004. arXiv:hep-th/0311039
-
[18]
The physics superselection principle in vertex operator algebra theory.J
H Li. The physics superselection principle in vertex operator algebra theory.J. Algebra, 196:436–457, 1997
1997
-
[19]
The bosonic ghost system in conformal field theory
X Li. The bosonic ghost system in conformal field theory. Master’s thesis, University of Melbourne, 2022
2022
-
[20]
F Malikov, V Schechtman and A Vaintrob. Chiral de Rham complex.Comm. Math. Phys., 204:439–473, 1999.arXiv:math.AG/9803041
-
[21]
Classification of irreducible weight modules.Ann
O Mathieu. Classification of irreducible weight modules.Ann. Inst. Fourier (Grenoble), 50:537–592, 2000
2000
-
[22]
Imperial College Press, London, 2010
V Mazorchuk.Lectures on𝔰𝔩 2 (ℂ)-Modules. Imperial College Press, London, 2010
2010
-
[23]
Quasirational fusion products.Int
W Nahm. Quasirational fusion products.Int. J. Mod. Phys., B8:3693–3702, 1994.arXiv:hep-th/9402039
-
[24]
b𝔰𝔩(2) −1/2: A case study.Nucl
D Ridout. b𝔰𝔩(2) −1/2: A case study.Nucl. Phys., B814:485–521, 2009.arXiv:0810.3532 [hep-th]
-
[25]
b𝔰𝔩(2) −1/2 and the triplet model.Nucl
D Ridout. b𝔰𝔩(2) −1/2 and the triplet model.Nucl. Phys., B835:314–342, 2010.arXiv:1001.3960 [hep-th]
-
[26]
Fusion in fractional level b𝔰𝔩 (2)-theories with𝑘=− 1 2 .Nucl
D Ridout. Fusion in fractional level b𝔰𝔩 (2)-theories with𝑘=− 1 2 .Nucl. Phys., B848:216–250, 2011.arXiv:1012.2905 [hep-th]
-
[27]
Bosonic ghosts at𝑐=2 as a logarithmic CFT.Lett
D Ridout and S Wood. Bosonic ghosts at𝑐=2 as a logarithmic CFT.Lett. Math. Phys., 105:279–307, 2015.arXiv:1408.4185 [hep-th]
-
[28]
The Verlinde formula in logarithmic CFT.J
D Ridout and S Wood. The Verlinde formula in logarithmic CFT.J. Phys. Conf. Ser., 597:012065, 2015.arXiv:1409.0670 [hep-th]
-
[29]
Quantum field theory for the multivariable Alexander–Conway polynomial.Nucl
L Rozansky and H Saleur. Quantum field theory for the multivariable Alexander–Conway polynomial.Nucl. Phys., B376:461–509, 1992. (Xueting Li)School of Engineering, Swinburne University of Technology, Hawthorn, Australia, 3122. Email address:kittyli@swin.edu.au (Damodar Rajbhandari)School of Mathematics and Statistics, University of Melbourne, Parkville, A...
1992
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.