Pith. sign in

REVIEW 1 major objections 3 minor 30 references

Imaginary Liouville theory inherits local conformal symmetry from its zero-mode contour, provided the Laplace transform of its imaginary multiplicative chaos decays as a power law.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · deepseek-v4-flash

2026-08-04 05:02 UTC pith:KG77BTMB

load-bearing objection Conditional but real progress on imaginary Liouville: the fusion estimates are new, but the stated Seiberg bound in Definition 2.5 is off by a factor of β and the main theorem's domain needs correction. the 1 major comments →

arxiv 2608.02543 v1 pith:KG77BTMB submitted 2026-08-03 math-ph hep-thmath.MPmath.PR

On the local conformal structure of Imaginary Liouville theory

Baptiste Cercl\'e , Romain Usciati This is my paper
classification math-ph hep-thmath.MPmath.PR MSC 81T4060G60
keywords Imaginary Liouville theoryconformal Ward identitiesBPZ equationsGaussian multiplicative chaosconformal bootstrapcentral charge less than onezero-mode integralfusion estimates
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

Imaginary Liouville theory is a path-integral construction of a conformal field theory whose central charge is below one, a regime where rigorous results are scarce. This paper shows that, assuming one explicitly named conjecture about the decay of the Laplace transform of imaginary Gaussian multiplicative chaos, the correlation functions of the theory satisfy the local Ward identities and the BPZ differential equations that encode conformal symmetry. The consequences are concrete: the stress-energy tensor acts as expected, degenerate vertex operators obey second-order differential equations, and the path is opened toward a rigorous conformal bootstrap program for central charge less than one. The proof works by regulating the Gaussian free field, deriving fusion estimates that act as an operator product expansion, and controlling the zero-mode integral through a KPZ-type identity. If the conjecture is true, the path-integral formalism is consistent with the exact three-point functions predicted previously.

Core claim

The central claim is that local conformal structure emerges from the path-integral definition of Imaginary Liouville theory: assuming a precise conjecture on the rate of decay of E[e^{-μM_β(f)}] as μ→∞, the descendant Ward identities and the BPZ equations hold for the correlation functions defined by the zero-mode contour integral. The stress-energy tensor is not introduced through a mode expansion but as a functional of the regularized Gaussian free field, and descendant fields are defined through Wick-ordered derivatives. The mechanism is made explicit: a KPZ-type identity removes metric-dependent terms, and new fusion estimates control the collision of two insertion points. For the degene

What carries the argument

The central object is the zero-mode integral over the U-shaped complex contour γ₀ connecting -i∞ to 2π/β - i∞ through the interval [0, 2π/β]. Correlation functions are expressed as contour integrals of E[exp(-μe^{iβc} M_β(e^{iβH}))] against an oscillatory factor e^{isβc}, where M_β is the imaginary Gaussian multiplicative chaos — the random complex measure obtained by exponentiating iβ times the Gaussian free field. Convergence of these integrals rests on exponential moments and the conjectured power-law decay of the Laplace transform. The proof of the Ward identities then uses a KPZ-type identity to eliminate metric-dependent remainders, fusion estimates to control boundary terms when two i

Load-bearing premise

The load-bearing premise is Conjecture 1: the Laplace transform E[e^{-μM_β(fe^u)}] decays at least as μ^{-λ} for some λ>0, uniformly over separated insertions and bounded u; if the decay is slower or the uniformity fails, the zero-mode integral defining the correlation functions may diverge, and the paper's own Appendix A notes that the predicted exponent differs slightly from an exact circle-limit computation, so even the rate is not settled.

What would settle it

For N=1 with f(x)=|x|^{βα} e^{2h(x)} and α just above Q, compute E[e^{-μM_β(f)}] numerically at large μ and check whether sup_{μ≥1} μ^{λ} |E[e^{-μM_β(f)}]| stays bounded uniformly as x ranges over separated points; a decay rate slower than μ^{-λ} or a breakdown of uniformity would falsify Conjecture 1. Alternatively, locate the poles of the analytically continued moment function m_s: the claimed algebraic decay requires poles at s = -2(α-Q)/β and s = -4/β² with residues matching the Mellin transform.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • If Conjecture 1 is correct, the path-integral correlation functions satisfy the descendant Ward identities, giving a rigorous local conformal structure for a non-rational CFT with central charge less than one.
  • The BPZ equation for degenerate insertions α₁ ∈ {-β/2, 2/β} then provides a differential equation that, when combined with global conformal covariance, would reduce four-point functions to hypergeometric equations and open a route toward exact structure constants.
  • The newly derived fusion estimates describe an operator product expansion whose structure suggests that Imaginary Liouville theory's spectrum may contain discrete contributions in addition to the continuous part, contrary to some earlier proposals.
  • In the charge-neutrality regime the correlation functions are obtained unconditionally as Dotsenko-Fateev integrals, and the vanishing for negative integer total charge is consistent with the Imaginary DOZZ formula.
  • The stress-energy tensor Ward identity, recovered as a special case, confirms that the SET insertion acts on primary fields with the expected conformal dimensions Δ_α = (α/2)(α/2 - Q).

Where Pith is reading between the lines

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

  • The paper's Appendix A points toward a Mellin-transform proof of Conjecture 1 via analytic continuation of the moment functions; if the poles are located where the authors expect, the route to a full bootstrap derivation of the Imaginary DOZZ formula becomes concrete, though the paper stops short of that step.
  • The fusion estimates imply a testable prediction: solving the BPZ equation for four-point functions and comparing with existing numerical bootstrap proposals should reveal whether discrete operator contributions are actually present in the spectrum.
  • The proof isolates imaginary-shift invariance of the zero-mode contour as the source of local conformal symmetry, while real-shift invariance would be needed for global conformal covariance; this suggests that a modified contour or a corrected zero-mode measure may be needed to restore the full Weyl anomaly.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

1 major / 3 minor

Summary. The paper proposes a probabilistic path-integral construction of imaginary Liouville theory at central charge c<1, following [UGRS26]. Correlation functions are defined by a complex zero-mode contour integral; their convergence is conditional on Conjecture 1 on the algebraic decay of the Laplace transform of imaginary Gaussian multiplicative chaos. The main results, Theorems 2.12–2.14, establish descendant Ward identities and BPZ differential equations for these correlation functions, assuming either charge neutrality or membership in the admissible charge set A_N. The proofs rely on detailed fusion/OPE estimates (Lemma 3.4) and a KPZ-type identity (Proposition 3.5). The paper is careful to flag Conjecture 1 as the key open point and provides heuristic evidence in Appendix A.

Significance. If the conditional results hold, they supply the first rigorous local conformal structure for a non-rational CFT with central charge less than one defined by a path integral, and a concrete step toward a conformal bootstrap. The paper's strengths are its transparent statement of the unproved conjecture, the explicit construction of descendant fields and stress-energy tensor, and the new fusion estimates for imaginary GMC. The proofs are detailed and appear largely correct modulo the domain issue discussed below. The main results are genuinely conditional, so the value of the paper is as a framework and a series of reduction steps rather than a complete theorem.

major comments (1)
  1. [Definition 2.5; Conjecture 2 (Eq. 2.12); Lemma 3.1] Definition 2.5 defines A_N by Σα−2Q<λ, but the zero-mode tail in (2.19) converges only if s+λ>0, i.e. Σα−2Q<λβ. For β<1 the latter is strictly stronger. Example: β=0.5, Q=−3.75, N=1, α=−2.1: α>Q, λ=6.6, α−2Q=5.4<6.6, so α∈A_1; also α>−3/(2β)−β/2 and α>−1/β−β/2, and (α,β,β)∈A_3, so Thm 2.12/2.14 hypotheses hold. But s=−10.8 and s+λ=−4.2, so the tail ∫e^{−β(s+λ)c}dc diverges. Lemma 3.1 invokes 'the global Seiberg bound, s+λ>0' without it being implied by A_N. Hence the correlation functions (2.18) are not finite on the stated domain and the main theorems are not established as stated. Correct the domain to Σα−2Q<λβ and update Conjecture 2.
minor comments (3)
  1. [§2.1.1, Eq. (2.2)] The covariance in Eq. (2.2) has an extraneous factor 2π; it is inconsistent with Eq. (2.5) and with the conformal dimensions used throughout. With this factor the variance of the regularized field would be 2π(−ln ε−W), changing all OPE exponents. The factor should be removed (or Eq. (2.5) adjusted).
  2. [Theorem 2.14, Eq. (2.30)] The sum in the BPZ equation runs from k=1 and includes a singular 1/(x_1−x_1) term. It should start at k=2, as in Eq. (1.5) in the introduction.
  3. [Throughout] Minor typographical issues: 'defition', 'contruction', 'litterature', 'adress'. Also, the phrase 'global Seiberg bound' in Lemma 3.1 is used without a formal definition; after correcting Definition 2.5 it should be stated explicitly.

Circularity Check

0 steps flagged

No significant circularity: the Ward identities are conditional theorems derived from an explicit conjecture, not the conjecture restated as a result.

full rationale

The paper's central results (Theorems 2.12 and 2.14) are conditional: if Conjecture 1 holds, then the correlation functions defined in Definition 2.5 satisfy the descendant Ward identities and BPZ equations. The proof chain is substantive: it uses Gaussian integration by parts, the KPZ identity (Proposition 3.5), fusion estimates, and boundary-term analysis. The conclusion is not built into the definition of the correlation functions, nor is any fitted parameter relabeled as a prediction. Conjecture 1 is explicitly labeled as the missing key input: 'This conjecture is the key point that is currently missing in our analysis' (Section 2.1.3), so using it as an assumption is an honest dependency, not circularity. The reliance on the authors' earlier construction [UGRS26] is likewise acknowledged as the starting point and is not cited as if it were an established theorem. The apparent mismatch between the domain A_N in Definition 2.5 and the 'global Seiberg bound, s+λ>0' used in Lemma 3.1 is a plausible mathematical gap or proof defect, but it would make the proof incomplete, not make the theorem equivalent to its input. No self-citation is used to forbid alternatives or to import an unverified uniqueness result. The score reflects only the acknowledged fact that the main theorem depends on the authors' own conjectural framework, which lowers independence but is not circular.

Axiom & Free-Parameter Ledger

1 free parameters · 6 axioms · 0 invented entities

The central theorem is conditional on two conjectures from the authors' own program, and the proofs import analytic-continuation and exponential-moment facts from prior work [GKR25]. No new particles, forces, dimensions, or other entities are introduced; the contour U is adopted from UGRS26.

free parameters (1)
  • λ (Laplace-transform decay exponent) = Conjecture 2: min_j 2(α_j−Q)/β ∧ 4/β²
    Conjecture 2 supplies the exponent λ used in the Seiberg bound A_N (Definition 2.5). It is not proven; the paper provides only heuristic residue arguments in Appendix A. The main theorems depend on the charge set A_N built from this λ.
axioms (6)
  • domain assumption Conjecture 1: algebraic decay of E[e^{-μM_β(fe^u)}] with some λ>0, uniformly over separated insertions and bounded u.
    This is the central unproved input, stated in Section 2.1.3. It is used in Definition 2.5 to justify convergence of correlation functions and throughout the proofs to justify interchange of limits.
  • ad hoc to paper Conjecture 2: λ = min_j 2(α_j−Q)/β ∧ 4/β².
    Introduced here and in Appendix A as a refinement of Conjecture 1. It sets the explicit charge domain A_N used in the theorems.
  • domain assumption Existence and exponential moments of imaginary Gaussian multiplicative chaos, including |E[e^{-M_β(f)}]| < ∞ for f of the required form.
    Lemma 2.3, imported from GKR25 Prop 5.3/6.4. Needed to define correlation functions and to justify the contour integrals.
  • domain assumption Analytic continuation of the Girsanov shift in the imaginary direction.
    Used in Section 2.2.1 to rewrite the path-integral expectation; cited to GKR25 Theorem 6.11(1). This is a nontrivial analytic-continuation step.
  • domain assumption β ∈ (0, √2) and α_k > Q for all vertex operators.
    Imported from the probabilistic construction in UGRS26 and GKR25. These inequalities ensure the relevant integrals have a chance to converge.
  • standard math Selberg-type integral evaluation used in the computation of ρ(a,b) in Lemma 3.4.
    The paper cites FW08 p. 504 for the explicit value of the integral; this is an established mathematical identity.

pith-pipeline@v1.3.0-daily-deepseek · 25792 in / 18481 out tokens · 196867 ms · 2026-08-04T05:02:25.277462+00:00 · methodology

0 comments
read the original abstract

Imaginary Liouville theory was recently proposed as a path integral construction of a non-rational conformal field theory (CFT) with central charge less than one (Usciati et al. 2026). In the present work, we establish Ward identities and Belavin-Polyakov-Zamolodchikov differential equations in this framework, assuming a precise conjecture on the decay of the Laplace transform of Imaginary Gaussian multiplicative chaos. These results provide a first step towards a rigorous implementation of the conformal bootstrap program for conformal field theories with central charge lower than one. This work is the first to investigate the intrinsic properties of Imaginary Liouville theory beyond exact computations.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

30 extracted references · 10 canonical work pages

  1. [1]

    Integrability of

    Ang, Morris and Cai, Gefei and Sun, Xin and Wu, Baojun , year = 2024, month = dec, number =. Integrability of. Preprint , publisher =. doi:10.48550/arXiv.2107.01788 , urldate =. 2107.01788 , primaryclass =

    Pith/arXiv arXiv doi:10.48550/arxiv.2107.01788 2024

  2. [2]

    Aubin, Thierry , year = 1998, series =. Some

    1998

  3. [3]

    Boundary Timelike

    Bautista, Teresa and Bawane, Aditya , year = 2022, month = dec, journal =. Boundary Timelike. doi:10.1103/PhysRevD.106.126011 , urldate =

    work page doi:10.1103/physrevd.106.126011 2022

  4. [4]

    Nuclear Physics B , volume =

    Infinite Conformal Symmetry in Two-Dimensional Quantum Field Theory , author =. Nuclear Physics B , volume =. doi:10.1016/0550-3213(84)90052-X , urldate =

    doi:10.1016/0550-3213(84)90052-x

  5. [5]

    On the Analytical Continuation of Lattice

    Cao, Xiangyu and Santachiara, Raoul and Usciati, Romain , year = 2023, month = mar, journal =. On the Analytical Continuation of Lattice. doi:10.1007/JHEP03(2023)061 , urldate =. 2301.07454 , primaryclass =

    Pith/arXiv arXiv 2023

  6. [6]

    Ward Identities in the Sl\_3

    Cercl. Ward Identities in the Sl\_3. Communications in Mathematical Physics , volume =. doi:10.1007/s00220-022-04370-5 , urldate =. 2105.01362 , primaryclass =

    Pith/arXiv arXiv

  7. [7]

    Liouville

    David, Fran. Liouville. Communications in Mathematical Physics , volume =. doi:10.1007/s00220-016-2572-4 , urldate =

    work page doi:10.1007/s00220-016-2572-4

  8. [8]

    Journal of Physics A: Mathematical and Theoretical , volume =

    On Three-Point Connectivity in Two-Dimensional Percolation , author =. Journal of Physics A: Mathematical and Theoretical , volume =. doi:10.1088/1751-8113/44/3/032001 , urldate =. 1009.1314 , primaryclass =

    Pith/arXiv arXiv

  9. [9]

    and Otto, H.-J

    Dorn, H. and Otto, H.-J. , year = 1994, month = oct, journal =. Two and Three-Point Functions in. doi:10.1016/0550-3213(94)00352-1 , urldate =. hep-th/9403141 , pages =

    Pith/arXiv arXiv 1994

  10. [10]

    Dotsenko, Vi S and Fateev, V. A. , doi =

  11. [11]

    Conformal Algebra and Multipoint Correlation Functions in

    Dotsenko,. Conformal Algebra and Multipoint Correlation Functions in. Nuclear Physics B , volume =. doi:10.1016/0550-3213(84)90269-4 , urldate =

    doi:10.1016/0550-3213(84)90269-4

  12. [12]

    and Warnaar, S

    Forrester, Peter J. and Warnaar, S. Ole , year = 2008, month = jan, journal =. The Importance of the. doi:10.1090/S0273-0979-08-01221-4 , urldate =

    doi:10.1090/s0273-0979-08-01221-4 2008

  13. [13]

    The Disk 1-Point Function in Timelike

    Giribet, Gaston and Sivilotti, Bruno , year = 2026, month = mar, journal =. The Disk 1-Point Function in Timelike. doi:10.48550/arXiv.2603.12084 , urldate =. 2603.12084 , primaryclass =

    doi:10.48550/arxiv.2603.12084 2026

  14. [14]

    Timelike

    Giribet, Gaston , year = 2012, month = apr, journal =. Timelike. doi:10.1103/PhysRevD.85.086009 , urldate =

    work page doi:10.1103/physrevd.85.086009 2012

  15. [15]

    Compactified Imaginary

    Guillarmou, Colin and Kupiainen, Antti and Rhodes, R. Compactified Imaginary. Communications of the American Mathematical Society , volume =. doi:10.1090/cams/54 , urldate =

    work page doi:10.1090/cams/54

  16. [16]

    Conformal Bootstrap in

    Guillarmou, Colin and Kupiainen, Antti and Rhodes, R. Conformal Bootstrap in. Acta Mathematica , volume =. doi:10.4310/ACTA.2024.v233.n1.a2 , urldate =

    doi:10.4310/acta.2024.v233.n1.a2 2024

  17. [17]

    Publications math\'ematiques de l'IH\'ES , volume =

    Polyakov's Formulation of 2d Bosonic String Theory , author =. Publications math\'ematiques de l'IH\'ES , volume =. doi:10.1007/s10240-019-00109-6 , urldate =

    work page doi:10.1007/s10240-019-00109-6

  18. [18]

    Review on the Probabilistic Construction and

    Guillarmou, Colin and Kupiainen, Antti and Rhodes, R. Review on the Probabilistic Construction and. Preprint , number =. doi:10.48550/arXiv.2403.12780 , urldate =. 2403.12780 , primaryclass =

    Pith/arXiv arXiv doi:10.48550/arxiv.2403.12780

  19. [19]

    Analytic Continuation of

    Harlow, Daniel and Maltz, Jonathan and Witten, Edward , year = 2011, month = dec, journal =. Analytic Continuation of. doi:10.1007/JHEP12(2011)071 , urldate =

    doi:10.1007/jhep12(2011)071 2011

  20. [20]

    Three-Point Functions in c

    Ikhlef, Yacine and Jacobsen, Jesper Lykke and Saleur, Hubert , year = 2016, month = mar, journal =. Three-Point Functions in c. doi:10.1103/PhysRevLett.116.130601 , urldate =. 1509.03538 , primaryclass =

    Pith/arXiv arXiv 2016

  21. [21]

    and Petkova, V.B

    Kostov, I.K. and Petkova, V.B. , year = 2007, month = may, journal =. Non-Rational. doi:10.1016/j.nuclphysb.2007.02.014 , urldate =

    work page doi:10.1016/j.nuclphysb.2007.02.014 2007

  22. [22]

    Integrability of

    Kupiainen, Antti and Rhodes, R. Integrability of. Annals of Mathematics , volume =. doi:10.4007/annals.2020.191.1.2 , urldate =

    doi:10.4007/annals.2020.191.1.2 2020

  23. [23]

    Kupiainen, Antti and Rhodes, R. Local. Communications in Mathematical Physics , volume =. doi:10.1007/s00220-018-3260-3 , urldate =

    work page doi:10.1007/s00220-018-3260-3

  24. [24]

    Lacoin, Hubert and Rhodes, R. Complex. Communications in Mathematical Physics , volume =. doi:10.1007/s00220-015-2362-4 , urldate =

    doi:10.1007/s00220-015-2362-4

  25. [25]

    Liouville Theory with a Central Charge Less than One , author =. J. High Energ. Phys. , volume =. doi:10.1007/JHEP08(2015)109 , urldate =

    work page doi:10.1007/jhep08(2015)109 2015

  26. [26]

    Rolling Tachyons from

    Schomerus, Volker , year = 2003, month = nov, journal =. Rolling Tachyons from. doi:10.1088/1126-6708/2003/11/043 , urldate =

    work page doi:10.1088/1126-6708/2003/11/043 2003

  27. [27]

    Teschner, J. On the. Physics Letters B , volume =. doi:10.1016/0370-2693(95)01200-A , urldate =. hep-th/9507109 , pages =

    Pith/arXiv arXiv

  28. [28]

    Probabilistic

    Usciati, Romain and Guillarmou, Colin and Rhodes, Remi and Santachiara, Raoul , year = 2026, month = jan, journal =. Probabilistic. doi:10.1103/d723-gk4m , urldate =

    work page doi:10.1103/d723-gk4m 2026

  29. [29]

    and Zamolodchikov,

    Zamolodchikov, A. and Zamolodchikov,. Conformal Bootstrap in. Nuclear Physics B , volume =. doi:10.1016/0550-3213(96)00351-3 , urldate =

    doi:10.1016/0550-3213(96)00351-3

  30. [30]

    Zamolodchikov, Al , year = 2005, month = feb, journal =. On the. doi:10.1007/s11232-005-0003-3 , urldate =. hep-th/0505063 , pages =

    Pith/arXiv arXiv 2005