{"id":"caa2eb4a-8b60-4df9-ba37-29668caf9dc1","arxiv_id":"2412.18411","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For a two-parameter deformation of double Liouville string theory, the sphere partition function is computed to third order in the deformation coupling, with the Complex Liouville String differing from the Virasoro Minimal String at leading order.","lead":"This paper computes a new quantity in a family of two-dimensional quantum gravity theories called double Liouville strings, including their sphere partition function under a marginal deformation to third order in the deformation strength. It shows that two recently studied versions, the Virasoro Minimal String and the Complex Liouville String, behave differently at first order, with elliptic functions appearing only in the latter.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The central result (48) is a regularized proposal, not an exact computation: the analytic continuation (33) and Γ(0) subtraction are not shown unique, and the authors themselves call the CLS result an educated proposal; the abstract overstates the claim.","rationale":"The reader's weakest-assumption diagnosis is correct: the uniqueness of the analytic continuation and of the Gamma(0) subtraction is the condition on which the whole explicit result (48) depends. In good faith, the paper is transparent about this fragility — Section IV.B and the note added both say the CLS result is a proposal and that the underlying partition function is divergent. That self-identified limitation is exactly the soft spot: the abstract and the main claim present the odd-order vanishing and the explicit coefficients as computed facts, whereas the derivation is conditional on a chosen continuation. My read therefore does not change the reader's verdict: CONDITIONAL is appropriate, since the issue is addressable by an independent regularization check rather than a demonstrated contradiction. I agree with the reader's weakest_assumption and would keep the verdict unchanged.","tokens_in":13448,"tokens_out":8433,"duration_ms":83921,"concrete_test":"Perform an independent derivation of the O(λ) and O(λ^3) CLS coefficients using the Zamolodchikov trick: compute -∂^3 Z_CLS/∂λ ∂μ_+ ∂μ_- from the product of the two DOZZ three-point functions C(b_+,b_+,a_+) C(b_-,b_-,a_-) with b_-=i b_+, using identity (43), and integrate over μ before subtracting Γ(0). If the finite part of the odd orders is nonvanishing for generic a_+ or depends on the order of the μ integration, then eq. (48) is not regularization-independent. This directly tests whether (46)-(47) are artifacts of the product-continuation prescription (33).","verdict_should_be":"UNCHANGED","load_bearing_attack":"The load-bearing step is in Section IV: eq. (30) is derived for non-negative integer screening numbers, and the passage to complex s_±^k uses the product continuation (33). On top of that, every order receives an overall Γ(0) divergence that is absorbed to define the finite part \\bar Z. For the CLS claim (48), the odd-order coefficients are set to zero from the elliptic quotients (46)-(47), which are obtained only after this continuation and subtraction. Nothing in the paper proves that this continuation and finite part are unique. The paper itself notes around eq. (20) that for generic complex b^2 two distinct Liouville structure constants exist, so the choice of analytic continuation is not automatic. A different legitimate continuation — for instance the integration-cycle prescription of Harlow–Maltz–Witten [17] or the gravitational path integral of [25] — could shift the finite part by a term analytic in λ, including odd powers, or alter the prefactors in (46)-(47) before the ϑ_1(0) factor is isolated. The manuscript flags this internally: Section IV.B says 'strictly speaking, ours is an educated proposal', and the note added concedes Z_CLS is divergent with the finite part only proposed. Thus the abstract's claim of an exact computation at third order exceeds what is established; the result is a conditionally valid regularized proposal.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":13744,"tokens_out":24537,"duration_ms":199088,"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":[{"comment":"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":"Section IV.B, Eq. (48)"},{"comment":"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":"Section IV.A, Eqs. (30)-(33)"},{"comment":"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.","section":"Section IV.B, Eqs. (46)-(48)"}],"minor_comments":[{"comment":"The text uses 'VML' where it should read 'VMS'.","section":"Section III.A"},{"comment":"There is a typo: 'eduucated' should be 'educated'.","section":"Section IV.B"},{"comment":"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.","section":"Eqs. (46)-(47)"},{"comment":"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_+'.","section":"Abstract and Section I"}],"recommendation":"major_revision","confidential_remarks":"The paper contains a potentially interesting calculation, and the consistency checks are a genuine strength. However, the main CLS result (48) is explicitly a regularized proposal, and the abstract overstates its status. More seriously, the claim that odd-order CLS coefficients vanish appears to fail at a_+ = 0 because the deformation becomes a shift of \\mu_-; if this is not resolved, the result may need to be restricted to generic a_+. I would suggest the authors address the uniqueness of the analytic continuation and the a_+ = 0 exclusion before publication. The manuscript's engagement with the subsequent work [25] in the note added is fair and should be integrated into the main discussion."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The new thing here is real: explicit sphere partition functions at O(λ^3) for the deformed double Liouville string, exact in b_+, and the CLS result (48) where odd orders vanish through elliptic-function quotients. That CLS/VMS distinction at leading order is new, and the computation is heavy enough that getting it to close is itself evidence of care. The consistency checks (independence of PSL(2,C) fixing, symmetry under exchanging the two fields, the μ-shift organization at a_±=0) are non-trivial and they pass. The paper is also honest: it calls the continuation an educated proposal and the note added concedes that Z_CLS is divergent, not rendered finite.\n\nThe soft spot is exactly where the stress-test points. The Coulomb gas integral (30) is proven for non-negative integer screening numbers; the passage to complex s via (33) and the Γ(0) subtraction are not shown unique. The paper itself reminds us (around eq. 20) that generic complex b^2 admits two distinct Liouville structure constants, so the continuation choice matters. A different integration-cycle prescription—say Harlow–Maltz–Witten or the gravitational path integral of [25]—could shift the finite part by terms analytic in λ, including odd powers, or alter the elliptic prefactors before the ϑ_1(0) factor vanishes. The formulas (35)–(41) and therefore (48) are determined only if that continuation is the right one. The VMS result is on slightly firmer ground because it can be cross-checked by integrating structure constants, but it relies on the same machinery.\n\nSo the abstract overstates the case: this is a conditionally valid regularized proposal, not an exact computation in the sense of a theorem. That is a fixable presentation issue if the authors either justify uniqueness or reframe the abstract and main text. The mathematics itself is coherent and the claims are precise enough to audit. Who benefits: anyone working on VMS, CLS, double-scaled SYK, or the de Sitter/JT link; the sine/sinh-dilaton rewrite in Section V is a useful bridge.\n\nSend it to a serious referee. I would not desk-reject it. With a request to reframe and to address the uniqueness question, it can be publishable. My own verdict: conditional.","headline":"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.","tokens_in":14271,"tokens_out":1474,"would_cite":true,"duration_ms":16508,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["11.25.Hf","04.60.Kz"],"model":"deepseek-v4-flash","headline":"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.","keywords":["Liouville field theory","Virasoro minimal string","Complex Liouville string","sphere partition function","Coulomb gas","marginal deformation","Jacobi theta functions","double-scaled SYK"],"falsifier":"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.","tokens_in":13203,"feed_emoji":"🧮","tokens_out":11279,"duration_ms":95702,"temperature":0.7,"pith_summary":"This paper asks what happens to the double Liouville string, a pair of Liouville conformal field theories on a fluctuating sphere, when a marginal operator labeled by $a_+$ and coupling $\\lambda$ is added to the action. It claims that the sphere partition function of the deformed theory can be computed exactly in the central charges, and it gives the first four coefficients for the Virasoro minimal string and the two non-zero coefficients for the complex Liouville string. The result is an explicit formula, equation (48) for the complex Liouville string and the set (35), (37), (40), (41) for the Virasoro minimal string, that distinguishes the two theories at order $\\lambda$ through the presence or absence of elliptic-function zeros. A sympathetic reader would care because these two string theories are current candidates for describing double-scaled SYK, matrix models, and de Sitter gravity in two and three dimensions, and the marginal deformation studied here probes how those models respond to a tunable perturbation.","feed_headline":"Deformed Liouville string partition function computed to third order","feed_subtitle":"Virasoro and complex Liouville strings differ at first order: elliptic zeros kill odd terms in the complex case.","key_machinery":"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$.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Defines the Virasoro minimal string that the paper deforms and whose coefficients are compared.","marker":"[1]"},{"why":"Defines the complex Liouville string whose odd-order coefficients are shown to vanish.","marker":"[2]"},{"why":"Supplies the Coulomb gas realization of Liouville correlators that equation (30) extends to the deformed partition function.","marker":"[12]"},{"why":"Provides the timelike Liouville sphere partition function and the zero-mode integration that the present calculation generalizes.","marker":"[14]"},{"why":"Sets up perturbed conformal field theory on the fluctuating sphere and the one-point-function discussion behind the finite Virasoro minimal string first-order term.","marker":"[15]"},{"why":"Explains the two analytic solutions for Liouville structure constants and the elliptic-function relation that drives the CLS/VMS difference.","marker":"[16]"},{"why":"Gives the Liouville three-point structure constants and the $\\Upsilon_b$ identities used to evaluate the conformal integrals.","marker":"[11]"}],"fun_headline_variants":["Complex Liouville string skips odd deformation orders","Virasoro vs complex Liouville: odd terms distinguish them","Elliptic functions erase odd-order terms in complex Liouville","Deformed Liouville strings: odd orders vanish for complex case","Complex Liouville deformation skips first-order term"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Complex Liouville string skips odd deformation orders","Virasoro vs complex Liouville: odd terms distinguish them","Elliptic functions erase odd-order terms in complex Liouville","Deformed Liouville strings: odd orders vanish for complex case","Complex Liouville deformation skips first-order term"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000656,"raw_usage":{"total_tokens":3041,"prompt_tokens":1019,"completion_tokens":2022,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":635,"completion_tokens_details":{"reasoning_tokens":1948}},"tokens_in":635,"tokens_out":2022,"duration_ms":15962,"temperature":1.0,"reasoning_tokens":1948,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T04:41:16.402071+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[{"cited_title":"In particular, the limit ˆC(0, α 2, α 3) does not vanish for α 2 ⁄= α 3","cited_arxiv_id":null,"evidence_quote":"Defines the Virasoro minimal string that the paper deforms and whose coefficients are compared."},{"cited_title":"Correlation functions in Liouville theory,","cited_arxiv_id":null,"evidence_quote":"Supplies the Coulomb gas realization of Liouville correlators that equation (30) extends to the deformed partition function."},{"cited_title":"Four Point Correlation Functions and the Operator Algebra in the Two-Dimensional Conformal Invariant Theories with the Central Charge c<1,","cited_arxiv_id":null,"evidence_quote":"Sets up perturbed conformal field theory on the fluctuating sphere and the one-point-function discussion behind the finite Virasoro minimal string first-order term."},{"cited_title":"This turns out to be very important for the calculation of the timelike partition function ˆZL[µ ]","cited_arxiv_id":null,"evidence_quote":"Explains the two analytic solutions for Liouville structure constants and the elliptic-function relation that drives the CLS/VMS difference."},{"cited_title":"Notes on quantum Liouville theory and quantum gravity,","cited_arxiv_id":null,"evidence_quote":"Gives the Liouville three-point structure constants and the $\\Upsilon_b$ identities used to evaluate the conformal integrals."}],"review_version":1}