{"id":"fa1ad3e4-f487-4d12-b974-8e2d465b83f7","arxiv_id":"2502.03894","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper derives closed, convergent integral formulas for truncated multipoint correlation functions in the Sinh-Gordon model in the space-like regime.","lead":"Exact formulas are derived for a restricted class of multipoint correlation functions in the Sinh-Gordon quantum field theory, a benchmark integrable model in 1+1 dimensions. The work gives researchers the first closed expressions for correlations at more than two space-time points and a route toward proving the theory's Wightman axioms.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 4.9 is proven only for K-transform type form factors; the paper itself states that the converse is not established, so the central claim is conditional on a completeness conjecture.","rationale":"I read the paper as proving a detailed, technically ambitious result about a precisely delimited class of form factors: those given by (2.23) with p_n satisfying (a)–(d). Within that class, the derivation of Theorem 4.9 appears coherent: the smeared representation in Proposition 3.2, the bounds in Lemmas 4.2–4.6, and the contour deformation in Proposition 4.8 are all structured consistently. The statement itself is careful to restrict to this class, and the manuscript flags the completeness question in Section 2.2 and again implicitly in the proof of Lemma 4.2. The single load-bearing concern is therefore not an internal inconsistency but the gap between the theorem's domain and the abstract's reference to the Sinh-Gordon model as a whole. Since this is exactly the reader's weakest-assumption identification, my stress-test does not change the conditional verdict. No independent numerical verification or machine-checked proof is present, so the residual correctness risk remains medium.","tokens_in":69539,"tokens_out":6678,"duration_ms":80067,"concrete_test":"Independently characterize all solutions of Bootstrap Axioms I–IV at the first nontrivial order, e.g. n=3, for fixed admissible parameters (ω_O, s_O, w_O), without assuming the K-transform representation. Compare this solution space with the image of (2.23) under constraints (a)–(d). If the image is a proper subset, Theorem 4.9 misses legitimate operators; if the spaces coincide, the completeness concern is neutralized at that order and the theorem's domain restriction is harmless.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central formula (4.108) is derived from the representation (2.23) of all form factors as K-transforms of functions satisfying conditions (a)–(d), and the estimates in Section 4.1, especially Lemma 4.2, rely on this representation. The paper explicitly states in Section 2.2 that it has not been established that every solution of the bootstrap axioms I–IV is of this form. If there exist admissible form factors outside the K-transform class, the corresponding operators are legitimate Sinh-Gordon fields but are not covered by Theorem 4.9, and their truncated k-point functions need not equal W_r(x_1,...,x_k). Thus the theorem is internally sound for the stated class, but it does not prove the abstract's broad claim about 'the Sinh-Gordon quantum field theory' unless the completeness conjecture holds. This is the same load-bearing weakness identified by the reader, and it is not resolved inside the manuscript.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper develops a bootstrap derivation of r-truncated k-point Wightman functions for the 1+1-dimensional Sinh-Gordon model. After setting up the Fock space, S-matrix and form-factor axioms, the authors recall the K-transform representation (2.23) of form factors, prove several equivalent combinatorial representations of the multi-particle kernels M_{n;m}^{(O)}, and use them to convert the smeared correlation function into a finite sum over rapidity integrals. The main technical work is in Section 4: Lemmas 4.2–4.6 supply bounds and a chain-factorization that justify the ε→0 limits, and Propositions 4.7–4.8 establish well-definedness. Theorem 4.9 then gives the explicit smooth density W_r(x_1,...,x_k) on the totally space-like region D_{space;+}, Eq. (4.108), as a finite sum of absolutely convergent integrals; the untruncated k-point function is stated as Conjecture 4.10. The proof is explicitly restricted to form factors of K-transform type, and the paper states in Section 2.2 that the completeness of this class is not established.","tokens_in":69703,"tokens_out":6177,"duration_ms":64333,"significance":"If the result is read as a theorem about the K-transform class, it is a substantial and credible advance: it gives the first closed rigorous expressions for multipoint (k≥3) truncated correlators in the Sinh-Gordon bootstrap program, with explicit estimates, no fitted parameters, and a clear falsifiable formula. The paper is also honest about its limitations, notably the conjectural nature of the full series and the explicit restriction to space-like separated supports. However, because the completeness of the K-transform representation is open, the unqualified claim that the paper supplies the truncated k-point function of \"the Sinh-Gordon quantum field theory\" is not established. This is a load-bearing qualification rather than a presentation issue.","major_comments":[{"comment":"Theorem 4.9 is proved only for operators whose form factors are of K-transform type (2.23) with p_n satisfying (a)–(d). The paper itself states in Section 2.2 that it has not been established that every solution of the form-factor bootstrap axioms is of this form. Since Lemma 4.2 and the estimates in §4.1 use the representation (2.23) in an essential way, Theorem 4.9 cannot be read as a theorem about arbitrary admissible Sinh-Gordon fields unless that completeness conjecture is true. The abstract and the final sentence of the Introduction overstate the result. I ask the authors to either prove the completeness of the K-transform class or explicitly state Theorem 4.9 and the abstract-level claim with the class restriction, moving the unrestricted statement to a conjecture.","section":"§2.2, Eq. (2.23); Theorem 4.9, Eq. (4.108)"},{"comment":"Proposition 2.1 is quoted without proof from [3] and is the only bridge between the bootstrap axioms and the explicit representation used throughout. Because the present paper's goal is rigorous derivation, the dependence on this external result should be made fully precise: if [3] contains a proof, give the exact statement and location; otherwise, mark Proposition 2.1 as an assumption. This is not a mere formality: without it, the derivation does not start from the axioms alone.","section":"§2.2, Proposition 2.1"}],"minor_comments":[{"comment":"The heading \"A premilinary expression\" contains a typo; it should read \"A preliminary expression\".","section":"§3.1, heading"},{"comment":"In the proof of Lemma 4.4, the sentence \"one infers (4.30)\" appears to refer to the Lemma's own bound (4.35); please fix the cross-reference.","section":"§4.1, proof of Lemma 4.4"},{"comment":"Theorem 4.9 uses the notation η^{(ba)} in (4.108) without repeating the hierarchy (4.91) from Proposition 4.8; please add a sentence specifying that the same order is assumed or that the integral is independent of the chosen sequence.","section":"Theorem 4.9, Eq. (4.108)"},{"comment":"The text contains numerous grammatical and typographical slips, for example \"Taken the L2-structure\", \"an operator O(x) on hShG as an integral operator\", and \"in a strip of fixed with\" in §4.1. A careful proofreading pass is recommended.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The paper is essentially sound within the class of form factors it explicitly chooses, and the authors are transparent about the completeness obstruction. I recommend major revision rather than rejection because the main theorem can be repaired by a careful restatement of the claims; rejection would only be appropriate if the authors insist on claiming the unrestricted Sinh-Gordon statement without addressing the completeness issue."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nThis is the first paper to give a closed, rigorous formula for truncated k-point functions with k>=3 in the Sinh-Gordon model. That part is real. Theorem 4.9 is a finite sum of absolutely convergent rapidity integrals that defines a smooth function on the totally space-like region, and the machinery needed to get there—especially the combinatorial master representation and the contour-shift estimates—is substantial and looks sound. No fitted parameters, no normalization games. The paper earns its technical reputation.\n\nThe soft spots are not hidden, which I respect. The main one is the completeness of the K-transform class: the paper only proves the theorem for form factors of the form (2.23), and Section 2.2 explicitly says the converse is not established. So the result is conditional on a reasonable but open conjecture about the full operator content of the model. The abstract oversells this by saying \"the Sinh-Gordon quantum field theory\" without the qualifier. That is a presentation issue; the body is honest. A revised version should fix the abstract and state the theorem as conditional on the K-transform completeness, or prove that completeness.\n\nSecond, Proposition 2.1 from Babujian-Karowski is imported without proof. That is standard, but here the whole representation theory rests on it, so the referee should ask for a proof or a very precise citation with the result stated verbatim.\n\nThird, the theorem covers only the totally space-like ordered region D_{space;+}. The paper says as much, but the abstract skips it. The extension to other space-like chambers is sketched via Proposition B.1 and is not fully carried out. Time-like separations remain open.\n\nThe stress-test note is correct but it does not describe a flaw the paper tries to hide. It is a declared limitation. So my verdict is conditional, not negative. The central argument holds up for the class it claims.\n\nWho should read this: anyone working on the bootstrap program, integrable QFT, or Wightman-axiom checks for non-perturbative models. The introduction and Theorem 4.9 give a good entry point; Section 4 is for the dedicated referee.\n\nI would send this to a serious referee. The result is important enough to warrant careful checking, even if the completeness conjecture means it is not the fully general statement the abstract implies.","headline":"First closed formula for truncated k-point functions in Sinh-Gordon bootstrap, rigorous within a declared class but conditional on a completeness conjecture the paper does not prove.","tokens_in":70220,"tokens_out":2925,"would_cite":true,"duration_ms":32008,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81T40","82B23","81U15"],"pacs":[],"model":"deepseek-v4-flash","headline":"Theorem 4.9 proves that truncated k-point correlation functions of the sinh-Gordon model are smooth functions of space-like separated points, given by finite sums of absolutely convergent rapidity integrals.","keywords":["sinh-Gordon model","integrable quantum field theory","form factor bootstrap","correlation functions","multi-point functions","K-transform","S-matrix","rapidity integrals"],"falsifier":"To falsify the paper's claim, it would suffice to exhibit a solution of the form-factor bootstrap axioms I–IV that is not of the K-transform form (2.23), or to find a point in the totally space-like region where the finite sum in (4.108) fails to converge absolutely, e.g. by checking numerically a small truncation level for k=3 at a configuration with large rapidity differences.","tokens_in":2033,"feed_emoji":"📐","tokens_out":2537,"duration_ms":153573,"temperature":0.7,"pith_summary":"This paper proves that the truncated k-point correlation functions of the integrable 1+1-dimensional $\\sinh$-Gordon quantum field theory are smooth functions of the field positions whenever those positions are pairwise space-like separated, and writes each of them explicitly as a finite sum of absolutely convergent multiple integrals over rapidity variables. The integrands are assembled entirely from the model's scattering data: the two-body S-matrix, the form factors of the quantum fields (meromorphic functions encoding the fields' matrix elements between multi-particle states), and plane-wave factors $e^{ip(\\gamma)\\cdot x}$. Rigorous control in this bootstrap framework previously stopped at two-point functions, with only partial three- and four-point results in the literature, so the paper fills a genuine gap. Theorem 4.9 is, however, conditional: it covers form factors of the K-transform type, and the paper states in Section 2.2 that it is a reasonable but unproven conjecture that every solution of the form-factor bootstrap axioms is of this form.","feed_headline":"Sinh-Gordon k-point functions made explicit","feed_subtitle":"A rigorous finite-sum formula turns truncated space-like correlators into smooth functions of position.","key_machinery":"The argument rides on four interlocking objects. First, the K-transform representation of form factors, $F^{(O)}_n(\\beta_n)=\\prod_{a<b} F(\\beta_{ab})\\, K_n[p^{(O)}_n](\\beta_n)$ (equation (2.23)): the discrete summation $K_n$ converts a comparatively simple, $2i\\pi$-periodic, holomorphic function $p^{(O)}_n$ into a solution of the bootstrap Riemann–Hilbert axioms, and Lemma 4.2 turns this into a contour-integral bound that controls all derivatives. Second, the recursive definition of the multi-particle kernels $M^{(O)}_{n;m}$ through Axiom V (shifted concatenation and reduction by Dirac masses), which Lemmas 2.4–2.10 resolve into partition sums over subsets of rapidity variables with product-of-$S$-matrix weights. Third, the master combinatorial representation (Proposition B.1) that, after enforcing the Dirac constraints, factorizes the denominator structure into independent chains of rapidity differences (Lemma 4.6), producing denominators $\\gamma - \\gamma' - i\\epsilon$ along ordered chains. Fourth, the analytic engine: Propositions 4.7 and 4.8 deform each integration contour into $R+i\\eta^{(ba)}$ with strictly decreasing imaginary parts, so that all denominator singularities are pushed away and the integral converges absolutely; dominated convergence then justifies the $\\epsilon\\to 0^+$ limits and supplies the smoothness in $x$-space.","core_discovery":"The central claim, Theorem 4.9, is stated on the model's own terms: for smooth compactly supported test functions $g_1,\\dots,g_k$ whose supports sit in the totally space-like region $\\mathbb{D}_{\\rm space;+}$ (defined by $x_{ab}^2<0$ and $x_{a;1}>x_{b;1}$ for all $a<b$), the distribution induced by the truncated $k$-point function $(f_{\\rm vac}, O_1[g_1] O_2^{(r_1)}[g_2]\\cdots O_k^{(r_{k-1})}[g_k] f_{\\rm vac})$ is given by a smooth function $W_{\\bf r}(x_1,\\dots,x_k)$. The paper computes this function in closed form, equation (4.108): it is the finite sum over integer vectors ${\\bf n}\\in\\mathbb{N}_{\\bf r}$ of integrals over rapidities $\\gamma^{(ba)}$, each carried on a horizontal contour $R+i\\eta^{(ba)}$ with strictly decreasing heights, of the product of the S-matrix factor $S(\\gamma)$, one form factor $F^{(O_p)}$ per operator evaluated at mixed rapidity arguments with a $+i\\pi$ shift, and the oscillatory factor $\\prod_{b>a} e^{ip(\\gamma^{(ba)})\\cdot x_{ba}}$, all divided by ${\\bf n}!(2\\pi)^{|{\\bf n}|}$ times a phase $e^{-2i\\pi n_{ba}\\omega_{ba}}$. Each of these integrals converges absolutely, so the representation is meaningful pointwise, not only in the distributional sense.","pith_inferences":["Reading Lemma 4.6 structurally, each summand of (4.108) corresponds to wiring the rapidity variables $\\gamma^{(ba)}$ into ordered chains $a_0<a_1<\\dots<a_\\ell$ with denominators $\\gamma-\\gamma'-i\\epsilon$ along the chain; the paper does not pursue this diagrammatic reading, but it suggests graph-organized resummations and sampling schemes that could be developed independently.","A natural next step the paper does not attempt: use the uniform estimates behind Proposition 4.8 to attack the ${\\bf r}$-series of Conjecture 4.10 directly, e.g. by proving a summability bound over ${\\bf n}\\in\\mathbb{N}_{\\bf r}$; success would promote the conjectured full $k$-point formula to a theorem.","If the completeness conjecture on the K-transform class were to fail, Theorem 4.9 would still hold for every operator whose form factors fall in the class, making the paper's results conditional but not empty; the practical question is therefore the scope of the class, not the validity of the formula.","A successful verification of the Wightman axioms from these representations would make the paper's construction a complete constructive definition of the sinh-Gordon model, a long-standing goal for interacting quantum field theories; this consequence is an inference from the announced program, not something the paper claims to have achieved."],"forward_implications":["For any fixed truncation ${\\bf r}$, the $k$-point function on space-like configurations is now an explicitly computable finite sum of absolutely convergent integrals, so it can be evaluated pointwise and, in principle, numerically to any desired accuracy.","The mixed representation of Proposition 4.11 is constructed precisely so that the paper (in a planned companion work) can verify the local commutativity property of the fields; combined with the present rigorous construction, that would establish the Wightman axioms for the truncated correlators whenever the remaining convergence assumption holds.","The same bootstrap-plus-reduction scheme is expected by the authors to yield closed multipoint formulas for other integrable models with diagonal scalar S-matrices, such as the sine-Gordon model, whose form factors are of the same general type.","The full (untruncated) $k$-point function is conjectured to be the sum over ${\\bf r}$ of the newly constructed $W_{\\bf r}$ (Conjecture 4.10); what is missing is only a proof of absolute convergence of that series, which the paper leaves open.","For $k=2$ the framework reproduces the structure whose convergence had already been settled, so the result upgrades the known rigorous two-point theory to arbitrary $k$ at space-like separation."],"supporting_citations":[{"why":"Supplies the K-transform representation of form factors (Proposition 2.1) that defines the class of operators to which Theorem 4.9 applies.","marker":"[3]"},{"why":"Established absolute convergence of the two-point form-factor expansion, the rigorous benchmark the present work extends to k points and space-like separations.","marker":"[15]"},{"why":"Gives the partial three- and four-point results for the sinh-Gordon and related models that the present closed formula supersedes.","marker":"[4]"},{"why":"Proposes the exact sinh-Gordon S-matrix that is the model's input data.","marker":"[10]"},{"why":"Provides the bootstrap-program framework and form-factor axioms on which the whole construction rests.","marker":"[18]"},{"why":"Completed the S-matrix of the Thirring model, the companion example showing how scattering data determine the theory.","marker":"[12]"},{"why":"The direct/indirect action method invoked in the proof of the direct multi-particle kernel representation (Lemma 2.4).","marker":"[17]"},{"why":"The multivariate Faà di Bruno formula used in Lemma 4.4 to bound derivatives of the phase integral.","marker":"[8]"}],"fun_headline_variants":["Sinh-Gordon k-point functions in closed form","Explicit finite-sum Sinh-Gordon correlators","Rigorous smooth Sinh-Gordon correlators","Finite-sum formulas for Sinh-Gordon correlators"],"cache_read_input_tokens":72448,"weakest_assumption_plain":"The whole theorem rests on the assumption that every form factor of the sinh-Gordon model is of the K-transform type (2.23) with p_n satisfying conditions (a)–(d), a conjecture the paper explicitly states is unproven.","fun_headline_variants_meta":{"raw":{"variants":["Sinh-Gordon k-point functions in closed form","Explicit finite-sum Sinh-Gordon correlators","Rigorous smooth Sinh-Gordon correlators","Finite-sum formulas for Sinh-Gordon correlators"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001466,"raw_usage":{"total_tokens":5880,"prompt_tokens":910,"completion_tokens":4970,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":526,"completion_tokens_details":{"reasoning_tokens":4906}},"tokens_in":526,"tokens_out":4970,"duration_ms":35698,"temperature":1.0,"reasoning_tokens":4906,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-09T00:20:10.787113+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"To falsify the paper's claim, it would suffice to exhibit a solution of the form-factor bootstrap axioms I–IV that is not of the K-transform form (2.23), or to find a point in the totally space-like region where the finite sum in (4.108) fails to converge absolutely, e.g. by checking numerically a small truncation level for k=3 at a configuration with large rapidity differences.","supporting_citations":[{"cited_title":"Sine-Gordon breather form factors and quantum field equati ons","cited_arxiv_id":null,"evidence_quote":"Supplies the K-transform representation of form factors (Proposition 2.1) that defines the class of operators to which Theorem 4.9 applies."},{"cited_title":"On convergence of form factor expansions in the infinite vol ume quantum Sinh-Gordon model in 1+1 dimensions","cited_arxiv_id":null,"evidence_quote":"Established absolute convergence of the two-point form-factor expansion, the rigorous benchmark the present work extends to k points and space-like separations."},{"cited_title":"Multipoint Green’s functions in 1 + 1 dimensional inte- grable quantum field theories","cited_arxiv_id":null,"evidence_quote":"Gives the partial three- and four-point results for the sinh-Gordon and related models that the present closed formula supersedes."},{"cited_title":"Two-dimensional quantum field theories having exact solut ions","cited_arxiv_id":null,"evidence_quote":"Proposes the exact sinh-Gordon S-matrix that is the model's input data."},{"cited_title":"F orm factors in completely integrable models of quantum fie ld theory","cited_arxiv_id":null,"evidence_quote":"Provides the bootstrap-program framework and form-factor axioms on which the whole construction rests."},{"cited_title":"Complete S-matrix of the massive Thirring model","cited_arxiv_id":null,"evidence_quote":"Completed the S-matrix of the Thirring model, the companion example showing how scattering data determine the theory."},{"cited_title":"Algebraic Bethe ansatz and correlation functions","cited_arxiv_id":null,"evidence_quote":"The direct/indirect action method invoked in the proof of the direct multi-particle kernel representation (Lemma 2.4)."},{"cited_title":"A multivariate Faa-di-Bruno formula with applications","cited_arxiv_id":null,"evidence_quote":"The multivariate Faà di Bruno formula used in Lemma 4.4 to bound derivatives of the phase integral."}],"review_version":1}