{"id":"0bced1e7-3bf6-4ec0-984e-57075771ded9","arxiv_id":"2507.11760","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The Liouville S-matrix normal symbol for discrete momenta p=iℏN is derived from recursive equations and matches the authors' earlier contour-integral representation.","lead":"This paper derives recursive equations for the S-matrix of quantum Liouville theory from the relation between asymptotic in and out fields. It then solves these equations for discrete imaginary momenta and recovers a multiple contour integral representation that matches a previous conjecture by the same authors.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The recursion solution (48) is not uniquely determined: it assumes U0(an)=1, and the paper's only check of that assumption invokes the same representation it is used to prove; an independent derivation of the p=0 boundary condition is missing.","rationale":"The paper's goal is to prove the functional-integral representation of [7] for p=iℏN. The derivation is logically: (18) -> (37) -> (42) -> (43) -> (48). The operator relation (18) is not derived, but it is cited to earlier work and is a standard ingredient; I would not base the objection on that. The genuinely internal gap is the boundary condition U0=1. The recursion (43) is a functional equation in p; without an initial condition it determines UiℏN only up to the image of the integral kernel. The paper assumes the physical no-scattering condition U0=1, which is plausible and supported by the low-level check S−1,1(0)=2/ℏ after the factor exp(−2/ℏΣb* a/k) in (41), but this support is not a proof to all orders. The subsequent 'check' of U0=1 in Section 4 is the circular step: it uses the expression (48) whose derivation already used U0=1, together with the generalized Dotsenko-Fateev integrals, to confirm the assumption. That cannot validate the boundary condition independently. A second, related gap is the omitted induction from (45) to (48). Even a correct induction with U0=1 would still not prove the central claim unless U0=1 is established. Both gaps point to the same missing ingredient: an independent control of the p=0 sector. I therefore keep the reader's CONDITIONAL verdict: the result is plausible and the low-level checks are genuine evidence, but the discrete-momentum representation is not proven until U0=1 is derived from (18) or the full functional equation. The proposed test is the minimal check that would settle the issue.","tokens_in":11698,"tokens_out":11360,"duration_ms":121225,"concrete_test":"Set p=0 directly in (42) (equivalently, take the p→0 limit of the operator relation (18)) and solve the resulting functional equation without assuming the answer: U0(b*,a) = ∫0^{2π} dy/(2π) e^{2[a(x+y)+b*(x+y)]} U0(b*_k+iℏ/2 e^{-ikx}, a_k+iℏ/2 e^{ikx}−iℏ e^{ik(x+y)}), where γ0=1. Expand both sides in powers of ak and b*k and solve order by order for the coefficients of U0 with U0(0,0)=1; verify that all coefficients vanish up to, say, level 4. If the only solution is U0=1, the boundary condition is proven; if a non-trivial solution exists, recompute UiℏN from the recursion with that initial datum and compare with (48) and with [7].","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central derivation has two inputs: the operator relation (18), taken from earlier work, and the boundary condition U0(an)=1 used to start the recursion. The latter is the less secure point in the paper's own logic. Equation (43) expresses UiℏN in terms of Uiℏ(N−1); without fixing U0 the recursion has no unique solution. The paper sets U0=1 on physical grounds and then, after deriving (48), states that 'we can explicitly check the assumption U0(a)=1' using the Dotsenko-Fateev integrals of [14] and the functional-integral representation of [6,7]. This is circular if it means checking (48) itself: (48) was obtained from the recursion by assuming U0=1, so any property of (48) is a consistency test of the recursion, not an independent verification of the boundary condition. If U0 were non-trivial, the formula for UiℏN would be the same integral kernel applied N times to U0, generally a different function from (48), so agreement with [7] would fail. The paper also does not supply the induction step from (45) to (48); for N≥3 one must track the prefactor e−iπℏ(N−1) and all branch phases through N−1 contour changes, which is non-trivial. Thus the most load-bearing unproven premise is U0=1 and its circular validation.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript proposes to derive the normal symbol of the Liouville S-matrix at discrete center-of-mass momenta p = iℏN, N a positive integer, starting from the quantum operator relation (18) between out- and in-field vertex operators. The authors define a functional Up[b*, a], derive the recursive equation (43) for p = iℏN, solve it under the initial condition U0 = 1, and obtain the multiple contour integral (48) of generalized Dotsenko-Fateev type. They identify (48) with the finite-dimensional expression obtained earlier from their conjectured functional-integral representation [6,7] and conclude that this representation is now proved for an infinite discrete set of momenta.","tokens_in":11880,"tokens_out":10978,"duration_ms":123906,"significance":"If the derivation were complete, the paper would provide an appealing independent confirmation of the functional-integral representation of [6,7] for an infinite set of discrete momenta, and it would connect the operator approach to Liouville theory with Dotsenko-Fateev-type contour integrals. The N = 1 and N = 2 cases are worked out explicitly, and the first-level amplitude S_{−1,1}(p) obtained from (37) reproduces the known result. The final formula (48) is elegant, and the recursive mechanism is transparent conditional on the stated initial condition. The main limitation is that the proof relies on an assumption whose only check appears circular, so the advertised conclusion is stronger than what is actually established.","major_comments":[{"comment":"The recursion (43) has no unique solution without the initial condition U0(a) = 1, and the manuscript's only check of this condition is circular. The formula (48) was obtained from (43) by setting U0 = 1, so any property of (48), including agreement with the functional-integral representation of [7], is a consistency test of the recursion, not an independent verification of the boundary condition. If U0(a) were nontrivial, the solution would be obtained by applying the same integral operator N times to U0, generally giving a different function from (48). Please either derive U0 = 1 directly from (18) or from a limit argument that does not presuppose the target formula, or state explicitly that U0 = 1 is an additional assumption of the theorem and adjust the claim that the representation has been proved.","section":"Section 4, Eq. (43) and the paragraph after Eq. (48)"},{"comment":"The induction from N = 2 to general N is only sketched with the phrase 'the calculation similar to (46) for general N'. This step requires tracking the prefactor e^{−iπℏ(N−1)} from (45) through N−1 contour changes and fixing the branch conventions for the non-integer powers (ζα − ζβ)^{−2ℏ}. These phases are not cosmetic: already at N = 2 the factors (1 − ζ/ζ1)^ℏ (1 − ζ1/ζ)^{−ℏ} combine to (ζ/ζ1)^ℏ only after a specific branch choice that cancels the explicit prefactor. For N ≥ 3 the same bookkeeping must be carried through all integrations. Please supply the induction step or at least the N = 3 case with the branch conventions stated explicitly.","section":"Section 4, Eqs. (45)-(48)"},{"comment":"The entire recursion and the solution (48) depend on the exact p-dependent factors in the quantum operator relation (18), namely the factors 2sinh(πp) and μ_q^2 = μ^2 sin(πℏ)/(πℏ). This relation is not derived in the present paper; requirements (a)-(f) are listed, but the technical derivation is delegated to references [1,9-11]. The paper's claim to provide an independent derivation of the functional-integral representation is therefore conditional on the correctness of (18). Please state precisely which parts of (18) are imported from earlier work and give a precise pointer to the derivation of the normal-ordering and p-dependent factors, or reproduce the essential steps.","section":"Section 2.2, Eq. (18)"}],"minor_comments":[{"comment":"In the definition of ar a(ar x) the summation index is written as m > 0 but the summand contains ar a_k/k e^{−ikar x}; the index should be the same throughout (e.g., ar a_m).","section":"Section 2.1, Eq. (14)"},{"comment":"The sentence 'the out-field exponentials satisfy the the same causal Poisson brackets' contains a duplicated article 'the'.","section":"Section 2.1, after Eq. (8)"},{"comment":"The word 'explicltly' is a typo and should read 'explicitly'.","section":"Section 4, after Eq. (48)"},{"comment":"The notation γ_{iℏα} in the product over α is defined implicitly through Eq. (34) and Appendix B, but it would be clearer to state the definition at the point of first use.","section":"Section 4, Eq. (48)"}],"recommendation":"major_revision","confidential_remarks":"The central issue is the U0 = 1 boundary condition. If the authors can supply an independent derivation of U0 = 1, or if they explicitly present it as an assumption and soften the claim that the functional-integral representation is proved, the paper would be acceptable for publication. The circular check at the end of Section 4 is the main technical gap; it is not a sign of any other problem, but it does affect the advertised conclusion."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The real content of this paper is a derivation, not a new formula. The authors start from the operator relation (18) between Liouville in- and out-field vertex operators, convert it into a recursion for the normal symbol of the S-matrix at p=iℏN, and solve that recursion as a generalized Dotsenko-Fateev contour integral. Equation (48) was already proposed in their earlier functional-integral work [7]; what is new is that it now follows from a stated set of operator inputs rather than from a conjectured path integral. That is a genuine step forward within their program, and the explicit N=1 and N=2 cases, which reproduce known low-level amplitudes and the second-level results from [13], give real support to the recursion itself.\n\nThe weaknesses are exactly where the stress-test note points. The recursion determines UiℏN from Uiℏ(N−1), so the starting value U0 is load-bearing, and the paper simply assumes U0=1. The physical motivation is solid—scattering should vanish at p=0—and the low-level checks are consistent, but the explicit check offered in the text uses the representation (48) that was derived under that same assumption. That makes the check circular. This does not sink the paper, because U0=1 is a reasonable input rather than an arbitrary one, but it does mean the paper has not fully proven what it claims. The second gap is the induction from (45) to (48): for N≥3 the phase e^{-iπℏ(N−1)} and the branch choices in the contour manipulations need to be tracked carefully, and a one-sentence 'calculation similar to (46)' is not enough for a proof. The operator relation (18) itself is assumed from earlier work; the paper is honest about this, and the requirements in Section 2.2 give it some backing.\n\nWho gets value: people working on exact S-matrices in 2D CFT, especially Liouville theory, will want to see this. It is not a broad-audience paper, and it does not touch real-momentum scattering, which the authors acknowledge. The presentation is clear and the limitations are stated. I would send it to a serious referee; the referee should ask for a written induction step and for an explicit statement that U0=1 is an assumption with physical support rather than a consequence. With those additions, the result would be solid. It is not something I would cite in my own work unless I were active in this subfield, but it is exactly the kind of paper to put in front of a referee and, possibly, a reading group on integrable CFT.","headline":"A plausible new derivation of the discrete-momentum Liouville S-matrix, conditional on an assumed boundary condition and a sketched induction; worth referee time but not a complete proof as it stands.","tokens_in":12496,"tokens_out":5146,"would_cite":false,"duration_ms":55430,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81T40","81U20","81R12","81T10"],"pacs":["11.25.Hf","11.55.Ds"],"model":"deepseek-v4-flash","headline":"For discrete momenta p = iℏN, the Liouville S-matrix is shown to be a multiple contour integral of Dotsenko-Fateev type, proving the previously conjectured functional integral representation.","keywords":["Liouville theory","S-matrix","vertex operators","normal symbol","Dotsenko-Fateev integrals","functional integral representation","integrable field theory","conformal field theory"],"falsifier":"Compute the right-hand side of equation (48) for N = 3 by performing the contour integrals and compare the expansion coefficients in a_n with the transition amplitudes obtained from equation (37) or from the known low-level results; if any coefficient disagrees, the recursive solution or its boundary input is wrong.","tokens_in":11398,"feed_emoji":"🧮","tokens_out":5020,"duration_ms":50923,"temperature":0.7,"pith_summary":"The paper derives an exact formula for the Liouville scattering matrix when the center-of-mass momentum takes discrete imaginary values p = iℏN. It shows that the normal symbol of the S-matrix is a multiple contour integral of generalized Dotsenko-Fateev type, and that this formula coincides with the one previously proposed from a functional-integral representation. A recursive equation coming from the operator relation between in- and out-field vertex operators is the engine of the proof. If correct, the construction validates the functional-integral representation for infinitely many momentum values and gives explicit integral formulas for all Fock-space transition amplitudes at those values.","feed_headline":"Liouville S-matrix pinned down at discrete momenta","feed_subtitle":"A recursion from in/out vertex operators yields exact contour integrals, confirming the functional-integral form for p = iℏN.","key_machinery":"The engine is the operator relation (18) between the out-field vertex operator and an integrated product of in-field vertex operators, with the momentum-dependent factors 2 $\\sinh$(πp) and the quantum-corrected coupling $μ_q^{2}$ = $μ^{2}$ sin(πℏ)/(πℏ). Projecting this relation onto coherent states gives the functional equation (37) for S_p[b^*, a]; passing to the normal symbol U_p and setting p = iℏN turns it into the recursion (43), which lowers N by one unit. The recursion is solved by iterated contour integrals, with the normal-ordered exponential factor and the pair product (ζ_α ζ_β)^ℏ (ζ_α − ζ_β)^{−2ℏ} as the carrying structure, together with the factors 1/γ_{iℏα}. The boundary input is U_0(a_n) = 1, meaning no scattering at zero momentum.","core_discovery":"The central claim is that for every positive integer N, at p = iℏN, the normal symbol U_{iℏN}(a_n) equals the N-fold contour integral in equation (48): the product over α of 1/γ_{iℏα}, times the product over pairs (ζ_α ζ_β)^ℏ (ζ_α − ζ_β)^{−2ℏ}, times the exponential of 2i Σ a_n/n ($ζ_1^{{−n}}$ + ⋯ + $ζ_N^{{−n}}$). This is shown by starting from the quantum vertex-operator relation (18), deriving the recursive equation (42), and solving it with the boundary condition U_0(a_n) = 1. The resulting expression reproduces the functional-integral representation introduced in [7], thereby proving that representation for the discrete momenta. The paper treats evaluation of the integrals beyond low N as open and notes that analytic continuation to real momenta requires a generalization of Dotsenko-Fateev integrals that is not yet known.","pith_inferences":["If equation (48) is taken as evidence that the functional-integral representation is the correct all-order object, the next test would be to find a Dotsenko-Fateev generalization that permits analytic continuation in N to real p; the paper indicates this is the missing step.","The same recursion strategy might apply to other integrable conformal field theories with asymptotic in/out vertex-operator relations, such as the SL(2,R)/U(1) coset model or Toda theories, where analogous functional-integral representations exist.","A numerical evaluation of the N = 2 and N = 3 contour integrals and comparison with directly computed low-level transition amplitudes would provide independent confirmation of the formula without waiting for analytic continuation.","The boundary condition U_0(a_n) = 1 fixes the integration constants of the recursion; deriving this condition from the operator algebra rather than assuming it would make the proof self-contained."],"forward_implications":["The functional-integral representation of the Liouville S-matrix proposed in [6, 7] is proven for p = iℏN, where it reduces to a finite-dimensional contour integral.","All Fock-space transition amplitudes at these discrete momenta are encoded by a single compact formula, so low-level coefficients such as S_{−1,1}(p) follow from expanding (48).","The reflection amplitude R(p) is recovered from the recursion at zero modes, linking the vacuum sector to the two-point function of Liouville theory.","The analytic continuation of the vacuum-to-vacuum product Z_N(ℏ) to real momenta gives a one-dimensional integral representation, showing how part of the discrete formulas may extend off-lattice."],"supporting_citations":[{"why":"Supplies the functional-integral representation of the S-matrix that the new contour formula (48) is shown to agree with.","marker":"[7]"},{"why":"Provides the earlier derivation of S-matrix elements and low-level transition amplitudes that the recursion (37) must reproduce.","marker":"[6]"},{"why":"Gives the Liouville theory review and operator framework underlying the quantum vertex-operator relation (18).","marker":"[1]"},{"why":"Contains the exact operator solution of quantum Liouville theory used to fix the operator ordering in (18).","marker":"[9]"},{"why":"Constructs exponential Liouville field operators and is invoked in the same ordering argument.","marker":"[10]"},{"why":"Provides the operator approach to boundary Liouville theory called upon for the technical derivation of (18).","marker":"[11]"},{"why":"Gives the two- and three-point functions of Liouville theory to which the reflection amplitude (36) corresponds.","marker":"[12]"},{"why":"Supplies known low-level transition amplitudes that the recursion reproduces and supports the boundary condition U_0(a_n) = 1.","marker":"[13]"},{"why":"Provides the generalized Dotsenko-Fateev integrals used to verify the boundary condition U_0(a_n) = 1.","marker":"[14]"},{"why":"Gives the original Dotsenko-Fateev integrals whose generalization the multiple contour integrals (48) represent.","marker":"[15]"}],"fun_headline_variants":["Exact Liouville S-matrix at p = iℏN","N-fold contour integral for Liouville S-matrix at discrete momenta","Recursion yields exact S-matrix for Liouville at quantum momenta","Liouville S-matrix: generalized Dotsenko-Fateev integral confirmed"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The derivation stands or falls on the quantum version of the classical formula that expresses the outgoing field's exponential as an integral of incoming-field exponentials; the operator ordering and the factors 2 $\\sinh$(πp) and $μ_q^{2}$ in that relation have to be exactly right, and on the boundary condition U_0(a_n) = 1 at zero momentum.","fun_headline_variants_meta":{"raw":{"variants":["Exact Liouville S-matrix at p = iℏN","N-fold contour integral for Liouville S-matrix at discrete momenta","Recursion yields exact S-matrix for Liouville at quantum momenta","Liouville S-matrix: generalized Dotsenko-Fateev integral confirmed"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000351,"raw_usage":{"total_tokens":1856,"prompt_tokens":827,"completion_tokens":1029,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":443,"completion_tokens_details":{"reasoning_tokens":952}},"tokens_in":443,"tokens_out":1029,"duration_ms":11143,"temperature":1.0,"reasoning_tokens":952,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T17:02:50.838789+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the right-hand side of equation (48) for N = 3 by performing the contour integrals and compare the expansion coefficients in a_n with the transition amplitudes obtained from equation (37) or from the known low-level results; if any coefficient disagrees, the recursive solution or its boundary input is wrong.","supporting_citations":[{"cited_title":"Generating Functional for the S-Matrix in Liouville Theory,","cited_arxiv_id":null,"evidence_quote":"Supplies the functional-integral representation of the S-matrix that the new contour formula (48) is shown to agree with."},{"cited_title":"On the S-matrix of Liouville theory","cited_arxiv_id":"2011.06876","evidence_quote":"Provides the earlier derivation of S-matrix elements and low-level transition amplitudes that the recursion (37) must reproduce."},{"cited_title":"Liouville theory revisited,","cited_arxiv_id":null,"evidence_quote":"Gives the Liouville theory review and operator framework underlying the quantum vertex-operator relation (18)."},{"cited_title":"An Exact Operator Solution of the Quan- tum Liouville Field Theory,","cited_arxiv_id":null,"evidence_quote":"Contains the exact operator solution of quantum Liouville theory used to fix the operator ordering in (18)."},{"cited_title":"Construction Of Exponential Liouville Field Operators For Closed String Models,","cited_arxiv_id":null,"evidence_quote":"Constructs exponential Liouville field operators and is invoked in the same ordering argument."},{"cited_title":"Operator Approach to Boundary Liouville Theory","cited_arxiv_id":"0801.3206","evidence_quote":"Provides the operator approach to boundary Liouville theory called upon for the technical derivation of (18)."},{"cited_title":"Continous Spins in 2D Gravity: Chiral Vertex Operators and Local Fields","cited_arxiv_id":"hep-th/9405136","evidence_quote":"Provides the generalized Dotsenko-Fateev integrals used to verify the boundary condition U_0(a_n) = 1."},{"cited_title":"Four Point Correlation Functions and the Oper- ator Algebra in the Two-Dimensional Conformal Invariant Theories with the Central Charge c < 1,","cited_arxiv_id":null,"evidence_quote":"Gives the original Dotsenko-Fateev integrals whose generalization the multiple contour integrals (48) represent."}],"review_version":1}