{"id":"a07d254c-bd8d-42c9-aee9-0d305a71691d","arxiv_id":"1908.09704","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The mu-term corrections from bound-state quantization are reproduced exactly as residues of the F-term integral for elementary non-diagonal form factors, confirming the connection between the two formalisms.","lead":"This MSc thesis shows that two different mathematical routes to the leading exponential volume corrections of non-diagonal form factors in the scaling Lee-Yang model give the same answer. One route starts from bound-state quantization, the other from the mirror-model F-term integral, and the thesis proves they agree.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The central correspondence is conditional on a squared-delta regularization that the thesis extends from the one-particle case in [28] to multiparticle form factors without an independent derivation; if that regularization fails for N>1, the F-term integral (4.11) and hence the residue derivation…","rationale":"I read the thesis as a derivation that the F-term integral (4.11), with the contour rule (3.30), reproduces the independently derived mu-term formula (4.5) for elementary non-diagonal form factors in the Lee-Yang model. The calculation in §4.2.2 and App. C is detailed and uses standard form-factor axioms; I did not find an algebraic error in the residue expansion itself. The numerical TCSA comparison in Fig. 5.1 (imported from [16]) gives some support for the F-term formula in the two-particle case. However, the derivation of the F-term formula (4.8) itself rests on regularizing a squared Dirac delta in a way that was only explicitly checked in [28] for a one-particle form factor. The thesis states this and then proceeds by 'using this everywhere'. This is a real gap: the N>1 case introduces S-matrix prefactors and an N-particle form factor in the disconnected term, so the pole structure of the double-delta integral is more involved. Since the central claim is exactly about the F-term integral of the regulated form factor, the correspondence inherits this gap. The reader's verdict (CONDITIONAL) appropriately reflects that, and my read does not change it. The general non-diagonal extension is argued rather than shown in full; I regard that as secondary to the regularization issue. I propose a concrete analytical check of the two-particle case that would settle whether the concern lands.","tokens_in":48881,"tokens_out":14416,"duration_ms":137514,"concrete_test":"Independently re-derive the F-term integral (4.8) for the two-particle elementary form factor ⟨0|O|θ_1,θ_2⟩_L in the sinh-Gordon model. Instead of the contour-shift shortcut in §4.2.1, insert the regularization 2πδ(u−v) = i/(u−v+iϵ) − i/(u−v−iϵ) into the double-delta product of the mirror-model trace, perform the u and v integrals with ϵ kept finite (e.g., with a CAS or by contour integration keeping track of the pole at u−v=−iϵ), and take ϵ→0 analytically. Compare the result term-by-term with Eq. (4.8) including the S-matrix factors and the F_N disconnected term. If the explicit ϵ→0 limit disagrees with the 'shift the v-contour above iϵ' result, the multiparticle F-term formula is not established; if it agrees, the residue correspondence in §4.2.2 is safe at least for elementary two-particle form factors.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The load-bearing assumption is in §4.2.1: the F-term formula (4.8)–(4.10) is obtained from a mirror-model trace by regularizing the squared delta function through 2πδ(u−v) = i/(u−v+iϵ) − i/(u−v−iϵ), with the statement that this 'was shown to be correct in [28] for the one-particle form factor. By using this everywhere...'. The thesis then uses the resulting regulated form factor F^r in the integral (4.11) and computes its residues at v=θ_k±iπ/6 to reproduce the mu-term expression (4.5). If the regularization is not valid for the multiparticle matrix element, the F-term integral itself is not the true O(e^{−mL}) correction, and the agreement with (4.5) would either be accidental or an artifact of an unjustified prescription. This is not a purely formal worry: the N=1 case in [28] has no S-matrix prefactors in the crossed part, whereas (4.7)–(4.8) for N>1 contain products ∏_j S((ϑ_j+iπ/2)−v) and ∏_k S(v−(θ_k−iπ/2)) and an N-particle form factor in the disconnected term, so the double-pole residue structure is genuinely more complex. The thesis acknowledges that the explicit calculation is done only for elementary form factors (Ch. 4, footnote 1) and argues the general non-diagonal case by non-mixing; this is an omission, but the regularization is the more fundamental step. The TCSA check imported from [16] (Fig. 5.1) supports the numerical value for one particular two-particle state, but without error bars it does not prove the analytic regularization.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This MSc thesis develops the leading exponential finite-volume corrections to non-diagonal form factors in the scaling Lee-Yang model. It first reviews integrable quantum field theory, the bootstrap, and finite-volume methods, then derives the μ-term correction δ^(μ)F_N from bound-state quantization (§4.1, App. B) and the F-term correction from the mirror-model trace (§4.2.1, Eqs. (4.8)–(4.10)). The central result is that evaluating the F-term integral (4.11) with the contour prescription (3.30) and taking the residues at v=θ_k±iπ/6 reproduces the μ-term formula (4.5), thereby establishing the suspected F/μ correspondence for elementary form factors. The appendices contain the residue algebra and the derivation of the μ-term from bound-state quantization.","tokens_in":49261,"tokens_out":7871,"duration_ms":81135,"significance":"If the correspondence holds, the thesis provides a nontrivial consistency check between two independent finite-volume schemes: the bound-state quantization of [15] and the mirror-model F-term formula of [16]. The residue calculation in App. C is detailed and internally consistent as far as the text allows one to check, and the matching with (4.5) is not a trivial identity. The pedagogical introduction is also useful. However, the proof is conditional on a regularization of the squared delta function whose multiparticle validity is not established, and the explicit computation covers only elementary form factors; the generalization to arbitrary non-diagonal matrix elements is asserted rather than demonstrated.","major_comments":[{"comment":"The multiparticle F-term formula relies on regularizing the squared delta function as 2πδ(u−v)=i/(u−v+iϵ)−i/(u−v−iϵ) and on the statement that this is correct 'by using this everywhere'. The reference [28] justifies this regularization for the one-particle form factor only. For N>1 the integrand contains S-matrix prefactors and multiparticle form factors in the disconnected terms, and the residue calculation at v=θ_k±iπ/6 depends directly on the resulting double-pole structure. The validity of the regularization for the multiparticle matrix element is therefore load-bearing and is not derived. Please provide a derivation, or an explicit reduction to the one-particle case, or state clearly that the equality between the residues of (4.11) and the μ-term (4.5) is conditional on this regularization.","section":"§4.1–§4.2, footnote 1"},{"comment":"The explicit residue calculation is performed only for elementary form factors ⟨0|O|{n}⟩_L, while the title and abstract claim the result for general non-diagonal form factors ⟨{m}|O|{n}⟩_L. The extension is justified by a non-mixing argument stated in a footnote: poles belonging to the in- or outgoing set do not contribute to the μ-terms of the other set. This assertion is not demonstrated. Because the F-term integrand (4.8) and the residue formula (4.14) contain products over both sets of rapidities, an explicit argument is needed to show that the two sets decouple. Without it, the paper's central claim is established only for elementary form factors, and the general statement should be presented as an extrapolation unless the missing argument is supplied.","section":"Chapter 4, footnote 1"},{"comment":"The F-term formula (4.8)–(4.10) and the contour rule (3.30) are imported from [16], which is co-authored by the thesis author. The comparison with the μ-term from bound-state quantization is therefore a consistency check between two prescriptions rather than an independent derivation of the F-term formula. This is a legitimate and useful result, but the abstract's wording — 'proves the suspected relation' and 'underpins the formal derivation' — overstates the logical status. The paper should state explicitly that the F-term formula is assumed and that the calculation verifies the residue/μ-term correspondence conditional on that assumption and on the delta-function regularization.","section":"Abstract and §4.2"}],"minor_comments":[{"comment":"In the displayed formula for δ^(μ)F_N, the first sum appears to contain δ¯u_k both inside and outside the braces, which would give a term quadratic in δ¯u_k and contradict Eq. (4.5). Please check whether this is a typographical error and correct it.","section":"Eq. (C.6)"},{"comment":"There are minor typographical issues: 'model sepcific' should be 'model specific', and 'Schwartz's theorem' should be 'Schwarz's theorem'.","section":"§2.1.2 and §2.2"},{"comment":"The TCSA comparison shown in Fig. 5.1 is imported from [16] and is presented without error bars. Please state the numerical uncertainty of the TCSA data or refer the reader to the original source for the error estimate.","section":"Figure 5.1"},{"comment":"The term 'F-term' is used for both the exponential integral in Eq. (3.15) and the derivative correction to the rapidities. Consider using a consistent notation (e.g., 'F-term integral' and 'F-term rapidity shift') to avoid confusion.","section":"§3.2.3"}],"recommendation":"major_revision","confidential_remarks":"This is an MSc thesis whose main new contribution is a detailed residue calculation verifying a relation proposed in [16]. The principal technical risk is the multiparticle extension of the squared-delta regularization; if the authors can supply a derivation or an explicit justification, the result would be a publishable consistency check. Given the overlap with [16], the independent verification is limited, and the manuscript should be framed accordingly. The thesis is otherwise careful and pedagogically valuable."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"This MSc thesis does exactly what it claims: it shows, for elementary finite-volume form factors in the Lee-Yang model, that the residues of the F-term integral reproduce the mu-terms from bound-state quantization. The residue algebra in Appendices B and C is careful and appears internally consistent, and the match with (4.5) is a genuine cross-check between two independent methods. What is new is the explicit N-particle residue calculation; the one-particle vacuum case was already known to Bajnok, and the F-term formula itself comes from the thesis author's own paper [16].\n\nThe thesis also does several things well. The organization is clear, the pedagogical introduction to integrable QFT is readable, and the technical core is honest about where the explicit calculation stops. Footnote 1 of Chapter 4 concedes that only elementary form factors are computed and that the general non-diagonal case is argued by non-mixing. That is a real limitation, but it is modest and stated plainly.\n\nThe soft spot is the one flagged in the stress test. The derivation starts from the F-term formula (4.8)-(4.10), and that formula depends on regularizing the squared delta function via 2πδ(u−v)=i/(u−v+iϵ)−i/(u−v−iϵ). In [28] this was justified for the one-particle form factor. Here it is extended \"everywhere\" to multiparticle matrix elements, where the crossed part contains S-matrix prefactors and an N-particle form factor in the disconnected term. The double-pole structure is genuinely more complex, and no independent derivation of the regularization is given. So the agreement with the mu-term is evidence, but not a proof; if the regularization is only valid for N=1, the equality could be accidental. I do not think that kills the paper—the calculation remains a meaningful check—but it is the load-bearing assumption.\n\nTwo smaller points. The numerical TCSA comparison is imported from [16] without error bars, so it supports the result but does not independently pin down the analytic regularization. And the self-citation point is real but not a flaw: the F-term formula is not assumed in the mu-term derivation, and the two routes are genuinely different. The circularity burden is moderate, not fatal.\n\nWho is this for? Specialists working on finite-volume form factors in integrable QFTs. It will not change the direction of the field, but it is a useful technical check and a detailed companion to [16]. I would send it to a competent referee rather than desk reject it, with the instruction to focus on the regularization step. As a standalone journal article it is thin; as a thesis chapter or technical note it deserves to be available.","headline":"A careful and internally consistent residue calculation that cross-checks the F-term formula against mu-terms, conditional on a one-particle regularization that is extended to multiparticle form factors without proof.","tokens_in":49769,"tokens_out":2567,"would_cite":false,"duration_ms":27341,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that mu-term corrections to non-diagonal finite-volume form factors are residues of the F-term integral.","keywords":["finite volume form factors","mu-term corrections","F-term corrections","scaling Lee-Yang model","integrable quantum field theory","bound-state quantization","residue calculus","volume dependence"],"falsifier":"Compute the F-term integral (4.11) numerically for a two-particle state in the scaling Lee-Yang model without using the residue expansion, and compare it with the mu-term formula (4.5). Any disagreement beyond the stated exponential accuracy would disprove the claimed identity. A direct test is to compare the residue-corrected analytic prediction for $\\langle 0|\\Phi|\\{1,-1\\}\\rangle_L$ with the exact finite-volume value obtained by the truncated conformal-space numerical method at volumes $mL\\sim 6$ to $12$; a systematic gap at the expected order would refute the paper's central claim.","tokens_in":48682,"feed_emoji":"🧮","tokens_out":11784,"duration_ms":105842,"temperature":0.7,"pith_summary":"This thesis establishes that the mu-term corrections to finite-volume non-diagonal form factors in the scaling Lee-Yang model are not an independent effect: they are exactly the residues that the F-term integral picks up when its integration contour is deformed around the S-matrix poles. The proof is explicit for elementary form factors, where the residue sum of the regulated F-term integrand reproduces, term by term, the mu-term formula obtained earlier from bound-state quantization. This agreement matters because it validates the formal F-term formula for general multiparticle states and shows that two apparently different correction schemes are two views of the same analytic structure. If the relation holds generally, it provides a practical dictionary: one contour prescription generates both the leading exponential volume corrections and the bound-state corrections for finite-volume matrix elements.","feed_headline":"F-term residues reproduce the mu-term corrections","feed_subtitle":"One contour prescription unifies the two leading finite-size corrections for non-diagonal form factors.","key_machinery":"The load-bearing object is the regulated form factor $F^r_{M+N+2}(v+i\\pi,\\{\\vartheta+i\\pi/2\\},v,\\{\\theta-i\\pi/2\\})$, defined by subtracting the kinematical pole of the pair of mirror particles symmetrically, together with the contour rule (3.30): the F-term integral is evaluated by averaging two contours that pick residues at $v=\\theta_k\\pm i\\pi/6$, where the two S-matrix poles of the Lee-Yang model sit. The residues of the integrand evaluate to $\\pm 2i\\,\\delta u_{k\\mp}$, the same corrections to the fusion angle that bound-state quantization produces from the exponentialized Bethe-Yang equations (3.23). The bootstrap equation $S(\\theta)=S(\\theta+iu)S(\\theta-iu)$ and the S-matrix pole structure at the fusion angle connect these residues to the mu-term formula (4.5).","core_discovery":"The paper's central discovery is a contour-residue identity. For a non-diagonal finite-volume form factor with elementary in-state rapidities $\\{\\bar\\theta^{(0)}\\}$, the mu-term correction $\\delta^{(\\mu)}F_N(\\{\\bar\\theta^{(0)}\\})$ of equation (4.5)—derived by representing each physical particle as a pair of constituents with complex rapidities $\\bar\\theta^{(0)}_k\\pm i(u+\\delta\\bar u_k)$ and expanding the finite-volume normalization—equals the sum of residues $$\\frac12\\sum_{k,\\pm}\\pm i\\,\\mathrm{Res}_{v\\to\\bar\\$theta^{{(0)}}$_k\\mp i\\pi/6}\\left\\{F^r_{N+2}(v+i\\pi,v,\\{\\bar\\$theta^{{(0)}}$_j-i\\pi/2\\})e^{-mL\\$\\cosh$ v}\\right\\},$$ where $F^r$ is the regulated form factor with the kinematical pole subtracted. The equality is shown by computing the residues of the S-matrix poles in the F-term integrand and using the bootstrap equation to convert the residue terms into the $\\delta u_{k\\pm}$ quantities of bound-state quantization. This proves the suspected relation between the F-term and mu-term formalisms and thereby underpins the formal derivation of the F-term formula.","pith_inferences":["The same mechanism suggests a numerical shortcut: for multi-particle states, one could evaluate the F-term correction by the residue sum at the shifted rapidities instead of the full integral, isolating the bound-state contributions directly.","The contour picture suggests that mu-term and F-term corrections are two residues of a single meromorphic integrand; iterating the bound-state expansion to higher orders could yield a constructive route to higher exponential corrections.","A testable extension is to repeat the residue calculation in another integrable theory with a fusion channel, replacing the Lee-Yang fusion angle by the model-specific value; agreement would indicate the relation is generic rather than model-dependent."],"forward_implications":["The F-term integral, evaluated with the contour rule (3.30), contains the mu-term corrections; no separate treatment of bound-state constituents is needed to obtain the leading exponential volume dependence.","The equality confirms the formal F-term formula of the companion paper for non-diagonal form factors, since the same residue structure that reproduces the mu-terms is built into the regulated form factor.","The dictionary between the two schemes can be run in reverse: higher-order corrections from bound-state quantization suggest how to construct the corresponding integral terms for higher exponential orders.","Because the derivation uses only the form-factor axioms and the S-matrix pole structure, the same F-term/mu-term equivalence is expected in other diagonal scattering theories with fusion, with the fusion angle $u$ replaced by the model-specific value.","In the diagonal limit, the relation connects the non-diagonal F-term to the known exact finite-volume diagonal form factors, providing an independent consistency check on both approaches."],"supporting_citations":[{"why":"justifies the squared-delta regularization used to define the regulated F-term integrand, the step the multiparticle extension depends on.","marker":"[28]"},{"why":"proposed the formal F-term formula for non-diagonal form factors whose residue structure this thesis verifies.","marker":"[16]"},{"why":"derived the mu-term corrections from bound-state quantization, the expressions the residue calculation must reproduce.","marker":"[15]"},{"why":"supplies the finite-volume form-factor formula with density of states that the mu-term derivation expands.","marker":"[23]"},{"why":"gives the Lee-Yang S-matrix that fixes the fusion angle and pole positions used in the residue calculation.","marker":"[10]"}],"fun_headline_variants":["Contour shift unifies finite-size corrections","Residues prove mu-term from F-term","Mu-terms from F-term residues","One contour rule for form factor corrections","Bootstrap identity links F and mu terms"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The calculation assumes that the regularization of the squared delta function, $2\\pi\\delta(u-v)=i/(u-v+i\\epsilon)-i/(u-v-i\\epsilon)$, justified for the one-particle form factor, remains valid when applied to the general multiparticle matrix element; if it does not, the residue sum need not produce the mu-terms.","fun_headline_variants_meta":{"raw":{"variants":["Contour shift unifies finite-size corrections","Residues prove mu-term from F-term","Mu-terms from F-term residues","One contour rule for form factor corrections","Bootstrap identity links F and mu terms"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000178,"raw_usage":{"total_tokens":1291,"prompt_tokens":935,"completion_tokens":356,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":551,"completion_tokens_details":{"reasoning_tokens":291}},"tokens_in":551,"tokens_out":356,"duration_ms":3625,"temperature":1.0,"reasoning_tokens":291,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T11:03:53.728475+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the F-term integral (4.11) numerically for a two-particle state in the scaling Lee-Yang model without using the residue expansion, and compare it with the mu-term formula (4.5). Any disagreement beyond the stated exponential accuracy would disprove the claimed identity. A direct test is to compare the residue-corrected analytic prediction for $\\langle 0|\\Phi|\\{1,-1\\}\\rangle_L$ with the exact finite-volume value obtained by the truncated conformal-space numerical method at volumes $mL\\sim 6$ to $12$; a systematic gap at the expected order would refute the paper's central claim.","supporting_citations":[{"cited_title":"Field theoretical derivation of L\\\"uscher's formula and calculation of finite volume form factors","cited_arxiv_id":"1802.04021","evidence_quote":"justifies the squared-delta regularization used to define the regulated F-term integrand, the step the multiparticle extension depends on."},{"cited_title":"Leading exponential finite size corrections for non-diagonal form factors","cited_arxiv_id":"1904.00492","evidence_quote":"proposed the formal F-term formula for non-diagonal form factors whose residue structure this thesis verifies."},{"cited_title":"Luscher's mu-term and finite volume bootstrap principle for scattering states and form factors","cited_arxiv_id":"0803.4445","evidence_quote":"derived the mu-term corrections from bound-state quantization, the expressions the residue calculation must reproduce."}],"review_version":1}