REVIEW 3 major objections 4 minor 27 references
Deforming the Double Liouville String
T0 review · 3 major / 4 minor · reviewed 2026-08-11 · deepseek-v4-flash
Pith's one-line read The deformed double Liouville string's sphere partition function is computed exactly in the central charges through third order in the deformation coupling, and the complex version has no odd-order corrections.
desk verdict A serious, explicit computation whose load-bearing analytic continuation is frankly labeled an educated proposal; the abstract oversells exactness, but the work deserves a serious referee. 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 Coulomb gas representation of the sphere partition function of the deformed theory, equation (30), in which the $k$-th order in $\lambda$ is a multiple integral over $k$ deformation insertions plus $s^\pm_k$ screening charges, with $s^+_k=1+b_+^{-2}-k a_+/b_+$ and $s^-_k=2-k-s^+_k$. Since $s^\pm_k$ are not generally integers, the calculation uses the product continuation (33) to extend the screening products from non-negative integers to negative and complex values. The integrals are evaluated in terms of $\Gamma$-functions; the $\Upsilon_b$ identities, especially the relation (43) with Jacobi elliptic functions, are what separates the complex Liouville string from the Virasoro minimal string. A universal $\Gamma(0)$ divergence appears at every order and is factored out to define the finite partition function $\bar Z$.
What would settle it
Evaluate the first-order CLS coefficient $Z^{(1)}$ by a second, independent method, such as a direct numerical integration of (30) for non-integer $s^\pm_1$ or a finite-part extraction from the gravitational path integral, and check whether it vanishes and whether the $\lambda^2$ coefficient matches (40). A non-zero $\lambda$ or $\lambda^3$ term, or a different $\lambda^2$ coefficient, would refute the paper's main result.
Extended reading notes
Core claim
At the heart of the paper is equation (48), $$\bar Z_{\mathrm{CLS}}[\$\lambda$] = $Z^{{(0)}}$ + \$lambda^{2}$ $Z^{{(2)}}$ + O(\$lambda^{4}$),$$ with $Z^{(0)}$ and $Z^{(2)}$ given explicitly by (35) and (40). The same Coulomb gas machinery applied to the Virasoro minimal string produces instead $\bar Z_{\mathrm{VMS}}[\lambda] = Z^{(0)} + \lambda Z^{(1)} + \lambda^2 Z^{(2)} + \lambda^3 Z^{(3)} + \cdots$, with the odd coefficients (37) and (41) nonzero. The difference is traced to Jacobi elliptic functions: in the complex Liouville string case the $k=1,3$ coefficients contain quotients of $\vartheta_1$ functions, such as (46) and (47), which vanish identically, while in the Virasoro minimal string case the timelike Liouville sector has a non-trivial dimension-zero operator that keeps $Z^{(1)}$ finite. The bar on $\bar Z$ records that a $\Gamma(0)$ divergence, the same one that appears in the timelike three-point function, has been isolated and a finite part defined.
Load-bearing premise
The calculation rests on a single educated analytic continuation: integrals valid for whole numbers of screening insertions are extended to non-integer complex values by a specific product rule, and the resulting infinite factor is discarded as a universal divergence that defines a finite part.
Editorial extensions
If this is right
- For the Virasoro minimal string, the undeformed sphere partition function $Z^{(0)}$ is recovered when $a_\mp=0$, and the higher orders reorganize into the same partition function with $\mu_\pm$ shifted by $\lambda$, confirming that the deformation degenerates to a cosmological-constant shift in that limit.
- At the conformal points $a_+ = \frac{m}{2b_+}+\frac{b_+}{2}$ with $m\in\mathbb{Z}_{>0}$, the anomalous dimension of the deforming operator vanishes and the computed corrections $Z^{(k>0)}$ vanish, so the partition function reduces to $Z^{(0)}$.
- For the complex Liouville string, the sphere partition function of the deformed theory has no $O(\lambda)$ or $O(\lambda^3)$ term, so the first correction is second order in the deformation coupling.
- The marginal operator maps, under the sine-dilaton field redefinition, to a real potential in the two-dimensional gravity theory, which becomes an integer phase exactly at the points where all computed corrections vanish.
Reading between the lines
- If the finite-part prescription is right, the complex Liouville string free energy on the sphere is even in $\lambda$ at least to this order, suggesting the deformation parameter may effectively enter as $\lambda^2$ in that theory; the paper does not make this all-orders claim.
- The same analytic continuation could be applied to higher-genus partition functions or to correlators of the deformed theory; one would expect the elliptic-function identities to produce additional vanishing coefficients in the complex Liouville string.
- In the de Sitter and sine-dilaton picture, the points where the corrections vanish correspond to integer phases of the dilaton; whether these are distinguished vacua or symmetry points of the gravitational theory is a question the paper leaves open.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper considers a two-parameter family of marginal deformations of the double Liouville string, a theory formed by two Liouville fields with total central charge 26 on a fluctuating sphere. The Virasoro Minimal String (VMS) and the Complex Liouville String (CLS) are obtained as special cases. The main technical result is the sphere partition function of the deformed theory through third order in the deformation coupling lambda, exact in the Liouville parameter b_+ (equivalently in the central charges). For VMS, the coefficients Z^(0), Z^(1), Z^(2), Z^(3) are given in Eqs. (35), (37), (40), (41). For CLS, the odd-order coefficients are claimed to vanish because of zeros of elliptic functions, leading to the central result Zbar_CLS[lambda] = Z^(0) + lambda^2 Z^(2) + O(lambda^4) in Eq. (48). The derivation uses a Coulomb gas integral representation, an analytic continuation of products to negative screening numbers via Eq. (33), and the absorption of an overall Gamma(0) divergence to define a finite part. The authors themselves describe the CLS result as an 'educated proposal' and note that Z_CLS is infinite, with only a proposed finite part.
Significance. If the analytic continuation and the finite-part prescription are unique, the paper provides a substantial explicit result: an exact-in-b_+ third-order partition function for a family of non-rational two-field Liouville theories, with a clear structural difference between VMS and CLS at first order in the deformation. The computation is derived from previously published ingredients (spacelike DOZZ, timelike structure constants, timelike sphere partition function) rather than fitted, and it passes several non-trivial consistency checks: independence of the choice of PSL(2,C) fixing, exchange symmetry between the two Liouville fields, and the shift-of-mu organization at the special point a_- = 0. These checks and the explicit formulas are valuable even if the regularization is not fully rigorous. The connection to double-scaled SYK and de Sitter/JT gravity makes the result potentially interesting beyond the immediate CFT context.
major comments (3)
- [Section IV.B, Eq. (48)] The central CLS result is presented as a computation, but the manuscript itself calls it an 'educated proposal' and the note added explains that Z_CLS is infinite, with only a proposed finite part. The vanishing of the odd-order coefficients (46)-(47) depends on the analytic continuation (33) and on the Gamma(0) subtraction, neither of which is shown to be unique. A different legitimate continuation, for example the integration-cycle prescription of [17] or the gravitational path integral of [25], could alter the finite part by terms analytic in lambda, including odd powers, and therefore change (48). Please state the uniqueness criterion that fixes the continuation, or present (48) explicitly as a conditional regularized proposal rather than an exact computation.
- [Section IV.A, Eqs. (30)-(33)] The load-bearing step is the analytic continuation of the Coulomb gas integral (30) from non-negative integer screening numbers to the complex values s^\pm_k in (31). The continuation is implemented by the product identity (33) and by isolating an overall Gamma(0) factor. The manuscript does not prove that these prescriptions are unique, and the text around Eq. (20) itself notes that for generic complex b^2 there are two distinct Liouville structure constants, so the choice of analytic continuation is not automatic. Because the explicit coefficients (35), (37), (40), (41) and the elliptc-function factors (46)-(47) all depend on this continuation, the derivation is not complete without a uniqueness argument or a comparison against an independent definition.
- [Section IV.B, Eqs. (46)-(48)] The claim that Z^(1) and Z^(3) vanish for CLS is not uniform in a_+. At a_+ = 0, the marginal operator (28) reduces to e^{2 b_- \phi_-}, which by the argument of Section III.B is a shift of \mu_-. Hence Z^(1) must equal \partial Z^(0)/\partial \mu_- (up to normalization), which is generically non-zero for the Z^(0) in (35). The quotient displayed in (46) is of the form 0/0 at a_+ = 0 and vanishes on a punctured neighbourhood, so the conclusion 'these coefficients vanish' cannot hold at that point. Please clarify the domain of a_+ on which (48) applies, and explain how the \mu_- shift consistency check is satisfied for CLS, or restrict the statement to generic a_+ with the special points handled separately.
minor comments (4)
- [Section III.A] The text uses 'VML' where it should read 'VMS'.
- [Section IV.B] There is a typo: 'eduucated' should be 'educated'.
- [Eqs. (46)-(47)] The elliptic-function quotients are not displayed with an unambiguous fraction bar in the text; please present them as explicit ratios so the numerator and denominator are clear.
- [Abstract and Section I] The phrase 'exactly in 1/c_\pm' could be misread as an asymptotic expansion; the results are exact in b_+, which is a finite parameter, so consider rephrasing to 'exact in the central charges' or 'exact in b_+'.
Circularity Check
No significant circularity: the partition-function coefficients are computed from published Liouville input and the paper's own Coulomb gas integrals, with no fitted target parameter.
full rationale
The central computation starts from the Coulomb gas integral representation (30), whose ingredients are the published spacelike and timelike Liouville three-point functions and sphere partition functions (DOZZ [10,11]; timelike [14,16-18]). The coefficients Z^(0) through Z^(3) in (35)-(41) are obtained by evaluating integrals and simplifying gamma functions; no parameter is fitted to the final partition function, and the target result (48) is not assumed in the derivation. The analytic continuation (33) and the Gamma(0) subtraction are explicitly flagged by the authors as a proposal (Section IV.B: 'strictly speaking, ours is an educated proposal'), which is a validity caveat rather than a circularity. Self-citations to [14], [18], and [22] refer to earlier independent derivations of the timelike structure constants and partition function; these are not the target result and are corroborated by external references [16,17]. The note added correctly disambiguates the divergence of Z_CLS from the proposed finite part, so the claim is conditional but not circular. No equation in the paper reduces to its own input by construction.
Assumptions & free parameters
assumptions (7)
- domain assumption DOZZ formula (7) for the spacelike Liouville three-point function
- domain assumption Timelike Liouville three-point function (18) and sphere partition function (23) obtained by the continuous Coulomb gas approach
- ad hoc to paper Product continuation Pi(f|n) extended to negative n via equation (33)
- ad hoc to paper The Gamma(0) divergence in the deformed partition function can be absorbed as an overall factor, leaving a unique finite part Zbar
- standard math Identity (43) relating products of Upsilon_b and Upsilon_{ib} to Jacobi theta functions
- domain assumption Marginality condition (29) together with b_minus = i b_plus
- ad hoc to paper The O(lambda) VMS coefficient (37) is obtained by multiplying a divergent timelike structure constant with a vanishing spacelike one and identifying the finite product
Cite this review
Pith. "Pith review of Deforming the Double Liouville String." pith.science (2026). https://pith.science/paper/NS7BZTCM
@misc{pith2026241218411,
author = {Pith},
title = {Pith review of: Deforming the Double Liouville String},
year = {2026},
howpublished = {\url{https://pith.science/paper/NS7BZTCM}},
note = {Machine review of arXiv:2412.18411}
}
abstract
We consider a generalization of the double Liouville theory, which can be thought of as a two-parameter family of marginal deformations of the so-called Virasoro Minimal String (VMS). The latter consists of a timelike ($c_{-}<1$) and a spacelike ($c_{+}>25$) Liouville field theory formulated on a fluctuating Riemann surface. For the deformed theory, we compute the sphere partition function exactly in $1/c_{\pm}$ and at third order in the coupling constant ($\lambda $) that controls the deformation. We also discuss the analogous computation in the case of the Complex Liouville String (CLS) theory, which is defined as two spacelike Liouville theories with complex central charges $c_{\pm }=13\pm i\mathbb{R}_{>0}$. We show that the partition functions of VMS and CLS differ at leading order in $\lambda $ due to the presence of elliptic functions in the observables of the latter. Both VMS and CLS theories have recently been studied in relation to many interesting models, including the double scaled Sachdev-Ye-Kitaev model, matrix models, and de Sitter gravity in 2 and 3 dimensions. We comment on the interpretation of the marginal deformation in some of these contexts.
Reference graph
Works this paper leans on
-
[25]
The dilaton gravity hologram of double-scaled SYK,
A. Blommaert, T. G. Mertens and J. Papalini, “The dilaton gravity hologram of double-scaled SYK,” [arXiv:2404.03535 [hep-th]]
-
[17]
Perturbed conformal field theory on fluctuating sphere,
A. B. Zamolodchikov, “Perturbed conformal field theory on fluctuating sphere,” [arXiv:hep-th/0508044 [hep-th]]
-
[1]
In particular, the limit ˆC(0, α 2, α 3) does not vanish for α 2 ⁄= α 3
Formula (18) exhibits very special features which are not common in standard CFT. In particular, the limit ˆC(0, α 2, α 3) does not vanish for α 2 ⁄= α 3. Γ(0) is specific to the timelike theory since the analogous computation of the spacelike DOZZ formula (7) does not yield such a factor. It is probably worth mentioning that the main trick to produce a fo...
-
[2]
S. Collier, L. Eberhardt, B. Mühlmann and V. A. Rodriguez, “The complex Liouville string,” [arXiv:2409.17246 [hep-th]]
-
[3]
S. Collier, L. Eberhardt, B. Mühlmann and V. A. Rodriguez, “The Virasoro minimal string,” SciPost Phys. 16, 057 (2024) [arXiv:2309.10846 [hep-th]]
arXiv 2024
-
[4]
The complex Liouville string : the matrix integral,
S. Collier, L. Eberhardt, B. Mühlmann and V. A. Rodriguez, “The complex Liouville string : the matrix integral,” [arXiv:2410.07345 [hep-th]]
-
[5]
The complex Liouville string : the worldsheet,
S. Collier, L. Eberhardt, B. Mühlmann and V. A. Rodriguez, “The complex Liouville string : the worldsheet,” [arXiv:2409.18759 [hep-th]]
-
[6]
SYK Correlators from 2D Liouville-de Sitter Gravity,
H. Verlinde and M. Zhang, “SYK Correlators from 2D Liouville-de Sitter Gravity,” [arXiv:2402.02584 [hep-th ]]
Show all 27 references
-
[7]
The complex Liouville string : worldsheet boundaries and non-perturbative effects,
S. Collier, L. Eberhardt, B. Mühlmann and V. A. Rodriguez, “The complex Liouville string : worldsheet boundaries and non-perturbative effects,” [arXiv:2410.09179 [hep-th]]
-
[8]
Semiclassical geometry in double-scaled SYK,
A. Goel, V. Narovlansky and H. Verlinde, “Semiclassical geometry in double-scaled SYK,” JHEP 11, 093 (2023) [arXiv:2301.05732 [hep-th]]
2023 arXiv
-
[9]
Double-scaled SYK and de Sitter Holography,
V. Narovlansky and H. Verlinde, “Double-scaled SYK and de Sitter Holography,” [arXiv:2310.16994 [hep-th]]
-
[10]
Two and three point functions in Liouville theory,
H. Dorn and H. J. Otto, “Two and three point functions in Liouville theory,” Nucl. Phys. B 429, 375 (1994) [arXiv:hep-th/9403141 [hep-th]]
1994 arXiv
-
[11]
Notes on quantum Liouville theory and quantum gravity,
N. Seiberg, “Notes on quantum Liouville theory and quantum gravity,” Prog. Theor. Phys. Suppl. 102, 319-349 (1990)
1990
-
[12]
Correlation functions in Liouville theory,
M. Goulian and M. Li, “Correlation functions in Liouville theory,” Phys. Rev. Lett. 66, 2051 (1991)
1991
-
[13]
Structure constants and conformal bootstrap in Liouville field theory,
A. B. Zamolodchikov and A. B. Zamolodchikov, “Structure constants and conformal bootstrap in Liouville field theory,” Nucl. Phys. B 477, 577 (1996) [arXiv:hep-th/9506136 [hep-th]]
1996 arXiv
-
[14]
2D quantum gravity partition function on the fluctuating sphere,
G. Giribet and M. Leoni, “2D quantum gravity partition function on the fluctuating sphere,” JHEP 09, 126 (2022) [arXiv:2206.05546 [hep-th]]
2022 arXiv
-
[15]
Four Point Correlation Functions and the Operator Algebra in the Two-Dimensional Conformal Invariant Theories with the Central Charge c<1,
V. S. Dotsenko and V. A. Fateev, “Four Point Correlation Functions and the Operator Algebra in the Two-Dimensional Conformal Invariant Theories with the Central Charge c<1,” Nucl. Phys. B 251, 691 (1985)
1985
-
[16]
This turns out to be very important for the calculation of the timelike partition function ˆZL[µ ]
for a detailed explanation. This turns out to be very important for the calculation of the timelike partition function ˆZL[µ ]. In fact, the timelike structure constant obeys ˆC(b, b, b ) = 0 , (21) which turns out to be an obstruction to compute ˆZL[µ ] in the way we did it f...
-
[18]
Three-point function in the minimal Liouville gravity,
A. B. Zamolodchikov, “Three-point function in the minimal Liouville gravity,” Theor. Math. Phys. 142, 183 (2005) [arXiv:hep-th/0505063 [hep-th]]
2005 arXiv
-
[19]
Analytic Continuation of Liouville Theory,
D. Harlow, J. Maltz and E. Witten, “Analytic Continuation of Liouville Theory,” JHEP 12, 071 (2011) [arXiv:1108.4417 [hep-th]]
2011 arXiv
-
[20]
On the timelike Liouville three-point function,
G. Giribet, “On the timelike Liouville three-point function,” Phys. Rev. D 85, 086009 (2012) [arXiv:1110.6118 [hep-th]]
2012 arXiv
-
[21]
Non-rational 2-D quantum gravity. I. World sheet CFT,
I. K. Kostov and V. B. Petkova, “Non-rational 2-D quantum gravity. I. World sheet CFT,” Nucl. Phys. B 770, 273-331 (2007) [arXiv:hep-th/0512346 [hep-th]]
2007 arXiv
-
[22]
Rolling tachyons from Liouville theory ,
V. Schomerus, “Rolling tachyons from Liouville theory ,” JHEP 11, 043 (2003) [arXiv:hep-th/0306026 [hep-th]]
2003 arXiv
-
[23]
Correlators in time - like bulk Liouville theory,
A. Strominger and T. Takayanagi, “Correlators in time - like bulk Liouville theory,” Adv. Theor. Math. Phys. 7, no.2, 369 (2003) [arXiv:hep-th/0303221 [hep-th]]
2003 arXiv
-
[24]
Correlators in AdS(3) string theory,
G. Giribet and C. A. Nunez, “Correlators in AdS(3) string theory,” JHEP 06, 010 (2001) [arXiv:hep-th/0105200 [hep-th]]
2001 arXiv
-
[26]
A symmetry algebra in double-scaled SYK,
H. W. Lin and D. Stanford, “A symmetry algebra in double-scaled SYK,” SciPost Phys. 15, 234 (2023) [arXiv:2307.15725 [hep-th]]
2023 arXiv
-
[27]
The complex Liouville string : the gravitational path integral,
S. Collier, L. Eberhardt and B. Mühlmann, “The complex Liouville string : the gravitational path integral,” [arXiv:2501.10265 [hep-th]]
Reviewed August 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.