{"id":"8704b1d8-0510-4c4b-8d06-79023fa07ae7","arxiv_id":"2501.16435","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"A unified Wiener-Hopf construction gives all-order trans-series for conserved charges in O(N), SU(N), Lieb-Liniger, Gaudin-Yang and capacitor models, with numerically checked Borel resummation.","lead":"The paper derives a complete weak-coupling trans-series, including all exponentially small corrections, for conserved charges in a broad class of two-dimensional integrable quantum field theories. It connects every correction through resurgence relations and shows numerically that the laterally Borel resummed series matches the exact thermodynamic Bethe ansatz result.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The central completeness claim rests on the unproven identification (88) between the lateral Borel resummation S_+(W_{α,β}) and the exact TBA solution; the only real-Stokes check (supersymmetric O(7)) degrades at v>0.15, so this bridge is not independently established.","rationale":"The reader's weakest-assumption analysis identifies eq. (88) as the load-bearing premise, and my reading of the manuscript agrees. The paper derives a formal trans-series from the Wiener-Hopf solution, verifies resurgence relations from the reality of S_+(W), and checks the result numerically order by order. But none of these steps proves that the exact solution of the original integral equation equals the lateral Borel resummation of the formal trans-series. The authors state this limitation clearly, so the appropriate verdict remains CONDITIONAL rather than ACCEPT or REJECT. I considered other potential concerns: the Appendix A extension to higher-order poles is unchecked, and explicit trans-series for non-relativistic moments are deferred to future work. These are secondary because the main models analyzed have only simple poles, and the paper's central claim is explicitly about the relativistic observables (48). The supersymmetric O(7) comparison is the most relevant test of eq. (88) with a real Stokes constant, but its numerical limitation at larger v prevents it from closing the gap. A rigorous-error TBA calculation in that model would directly test the unproven bridge and would either strengthen the claim or reveal a genuine failure. Since the reader's verdict already reflects this concern, no change to the verdict is needed.","tokens_in":43514,"tokens_out":6074,"duration_ms":64440,"concrete_test":"Check eq. (88) in the supersymmetric O(7) model with a TBA solver that evaluates K(θ) from the exact Fourier transform (31) using interval/ball arithmetic and explicit a posteriori error bounds (high-precision quadrature of the inverse Fourier integral plus Chebyshev collocation with residual estimates). Compare the rigorously bounded TBA value of ϵ/m^2 with the sum S_+(A_{1,1}) + S_+(d_{5/3} A_{1,-5/3}^2) + ... over v ∈ [0.10, 0.25]. If the discrepancy at v>0.15 persists beyond the solver's rigorous error, eq. (88) is falsified in the real-Stokes sector; if it vanishes, the main assumption gains independent quantitative support exactly where it is currently weakest.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central object is the formal trans-series W_{α,β} of eq. (72). Eq. (88) asserts that the physical observable is obtained by S_+(W_{α,β}), and Section 4.2 explicitly labels this 'our main assumption, which we cannot prove.' The derived resurgence relations (90)-(91) and the completeness statements (96)-(99) are consequences of this identification, not independent evidence for it: they follow from the reality of S_+(W), which is itself part of the assumption. The numerical checks that support eq. (88) are strong in the O(3)/O(4) cases, but those models have purely imaginary Stokes constants. The one nontrivial real-Stokes example, the supersymmetric O(7) model, shows a discrepancy for v>0.15 (Section 6.2) that is attributed to the TBA solver without a quantitative error budget. Thus the load-bearing step—that the laterally Borel resummed formal trans-series is the actual solution of the integral equation, not merely an asymptotic solution whose imaginary parts cancel—is untested at the same precision as the rest of the paper's claims. The authors are transparent about this, so the concern does not invalidate the formal trans-series construction, but it is decisive for the word 'complete' as applied to the physical value.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a systematic Wiener-Hopf solution of the single integral equation that describes the thermodynamic ground state of a wide class of two-dimensional integrable models, and organizes the expectation values of conserved charges into an explicit trans-series in the perturbative coupling and the non-perturbative scale. The central structural result is that every observable W_{α,β} can be written in terms of perturbative building blocks A_{α,β} and Stokes data d_{κ_l}, with the universal dressed form of Eq. (72), and that the physical value is obtained by the lateral Borel resummation S_+ stated in Eq. (88). The paper derives differential equations for the building blocks, alien-derivative relations (90)--(91), the median-resummation representations (96)--(99), explicit formulas for bosonic and fermionic models, a trans-series for the free-energy density, and numerical checks against direct solutions of the integral equation, including a case with non-vanishing real Stokes constants.","tokens_in":43730,"tokens_out":4330,"duration_ms":43574,"significance":"If the main identification (88) is correct, the paper provides a remarkably complete and compact description of all perturbative and non-perturbative sectors of conserved-charge observables in a broad family of integrable field theories, going substantially beyond earlier per-model analyses. The explicit building-block formulas, the universal dressed-trans-series form, the alien-derivative relations, and the free-energy trans-series are valuable and internally consistent, and the numerical evidence in the purely imaginary Stokes-constant cases is strong. The paper is also commendably transparent about its central limitation: Eq. (88) is labeled an unprovable assumption, and the numerical verification in the one real-Stokes example degrades at larger coupling. These features make the work significant and promising, but they also mean that the advertised completeness of the physical trans-series is not yet established at the same level as the formal construction.","major_comments":[{"comment":"The identification S_+(W_{α,β}) = physical O_{α,β} is the load-bearing step for the paper's central claim that the trans-series is complete and reproduces the physical result. The authors explicitly state that this is their main assumption, which they cannot prove. The subsequent relations (90)--(91) and (96)--(99) are consequences of the assumed reality of S_+(W_{α,β}) and of the trans-series structure, rather than independent evidence for (88). The manuscript therefore does not establish that the laterally resummed formal trans-series is the actual solution of the integral equation as opposed to an asymptotic solution whose ambiguities cancel. To support the word \"complete\" in the title and abstract, either a proof or a substantially sharper argument for (88) is needed, or the claim should be explicitly qualified.","section":"Section 4.2, Eq. (88)"},{"comment":"The only numerical test involving a non-vanishing real Stokes constant is the supersymmetric O(7) model, and this is exactly the case needed to check Eq. (88) beyond the purely imaginary sectors. The comparison shows a discrepancy for v > 0.15, which the authors attribute to the limited reliability of the TBA solver, without an independent quantitative error estimate. The numerical kernel itself is obtained from an inverse Fourier transform sampled at 5000 points, which further limits the achievable precision. As presented, the real-Stokes case is therefore not verified at the precision of the O(3)/O(4) checks, and the discrepancy weakens the evidence for the main assumption precisely in the regime where that assumption is most nontrivial.","section":"Section 6.2, Eqs. (128)--(133) and Fig. 2"},{"comment":"The convergence analysis at B = 0.1 is presented as evidence that the summed trans-series approaches the physical value, but the final relative deviation is about 8.8 × 10^{-5}, far larger than the 10^{-78} precision quoted for the numerical solution of the integral equation. The tail estimate in Eq. (142) relies on fitting the complex parameters p and q from the n ≥ 7 behavior, which is a reasonable heuristic but not a controlled error bound. This section should be framed as strong numerical evidence for convergence, not as a verification of Eq. (88) at the precision achieved elsewhere in the paper.","section":"Section 7, Eqs. (141)--(142)"}],"minor_comments":[{"comment":"The sentence \"we used Volin's algorithm to generate Nmax = 200 perturbative coefficients up to ? 2200 digits of precision\" contains a stray \"?\" and should read \"up to 2200 digits\" or else specify the intended precision.","section":"Section 6.2, before Eq. (127)"},{"comment":"There is a punctuation error in \"In this section we study the trans-asymptotics of the trans-series., i.e.\"; the period before \"i.e.\" should be removed or the sentence restructured.","section":"Section 7, first sentence"},{"comment":"The symbol L is used both for the system volume in Section 2 and for the arbitrary constant in the running-coupling definition (46); this notational clash is confusing and should be resolved, for example by renaming one of them.","section":"Section 2 and Eq. (46)"},{"comment":"In the definition of A_{α,β} for β = -α, the first and second lines are written as alternatives but it would be clearer to state explicitly that the second line is the pole-removed value, since this quantity is used repeatedly in the dressed trans-series.","section":"Eq. (59)"},{"comment":"The presentation would be easier to use if the model-by-model values of a, b, z_{2k+1}, L, and the pole positions κ_l were collected in a single table, since the current text scatters these definitions across Sections 5.1, 5.2, and Appendix C.","section":"Section 5 and Appendix C"},{"comment":"The free-energy trans-series is derived under the same main assumption (88), but this dependence is only implicit at the start of Section 8; the text should remind the reader that the formula inherits the unproven identification.","section":"Section 8, Eq. (144)"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is honest about its central unproven assumption, and the formal construction is coherent and likely correct. My main reservation is scope: the word \"complete\" in the title and abstract is justified only if Eq. (88) is accepted, and the numerical support in the real-Stokes case is not yet at the standard of the rest of the paper. I recommend major revision rather than rejection, because the load-bearing issue is identifiable and potentially addressable by stronger numerical verification or by a proof of the lateral-resummation identification in a sub-class of models."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe headline: this is the most complete trans-series construction I've seen for conserved charges in integrable field theories, but the word \"complete\" hangs on an assumption the authors themselves flag. Equation (88) asserts that the lateral Borel resummation S_+(W) equals the physical TBA solution, and Section 4.2 calls it \"our main assumption, which we cannot prove.\" Everything downstream — the alien derivative rules (90)-(91), the Stokes automorphism acting as shifts, the completeness statements — follows from that identification plus the reality of S_+. It is coherent and self-consistent, but it is not independent evidence.\n\nWhat is genuinely new: the universal dressed trans-series for arbitrary conserved charges, the lattice-path representation, the action of Stokes automorphism as parameter shifts, and the first real-Stokes example (supersymmetric O(7)) with non-logarithmic cuts. The paper also gives explicit formulas for a broad class of bosonic and fermionic models and connects the free-energy trans-series to the running coupling. The formal derivation is careful; the building blocks satisfy the differential equations as claimed; and the numerical checks against an independent Chebyshev TBA solver are real, not fitted.\n\nThe soft spots are proportionate. The main one is (88). The numerical support is strong for O(3)/O(4), where Stokes constants are purely imaginary, but the one case with non-vanishing real parts (SUSY O(7)) shows a discrepancy for v > 0.15, attributed to the TBA solver without a quantitative error budget. That is not a fatal flaw, but it means the bridge from formal trans-series to physical value is not verified at the same precision where the rest of the paper operates. Appendix A's higher-order pole extension is unchecked, and no code or data ship with the paper. All of these are disclosed, which I respect, but they temper the \"complete\" claim.\n\nWho is this for? Anyone working on resurgence in integrable QFTs or on the Wiener-Hopf/TBA approach. They will find the machinery useful even if the unproven assumption is eventually shown to need modification.\n\nRecommendation: send it to peer review. The formal core is solid, the literature is engaged, and the unproven step is honestly labeled. A good referee can push for a sharper error budget in the SUSY O(7) check and perhaps a test of Appendix A.","headline":"A highly complete formal trans-series machinery for conserved charges, but the physical completion step (88) is explicitly unproven and the one real-Stokes check degrades at moderate coupling.","tokens_in":44331,"tokens_out":2574,"would_cite":true,"duration_ms":23393,"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 claims that every vacuum expectation value of a conserved charge in a wide class of two-dimensional integrable field theories is exactly given by the lateral Borel resummation of a universal dressed trans-series built from…","keywords":["trans-series","resurgence","integrable field theories","Bethe ansatz","Wiener-Hopf method","Borel resummation","conserved charges","non-perturbative corrections"],"falsifier":"For the supersymmetric O(7) sigma model, the authors observe a discrepancy between their resummed trans-series and the numerical TBA solution for couplings $v > 0.15$, which they attribute to the numerical solver; a high-precision independent solution of the integral equation in that region, or an improved solver with a rigorous error estimate, would settle whether the trans-series reproduces the physical value order by order.","tokens_in":43224,"feed_emoji":"⚛️","tokens_out":12747,"duration_ms":102862,"temperature":0.7,"pith_summary":"The paper claims that in a wide family of two-dimensional integrable theories — bosonic and fermionic sigma models, Gross-Neveu models, principal chiral models, Lieb-Liniger and Gaudin-Yang gases, and the disk-capacitor problem — every conserved-charge observable is exactly given by a single 'dressed' trans-series, whose non-perturbative sectors are generated from perturbative building blocks. The authors derive explicit formulas for all sectors, show that they are interrelated by specific resurgence relations (alien derivatives acting on the building blocks), and demonstrate numerically that the laterally Borel-resummed trans-series converges and reproduces the physical solution of the underlying integral equation. The load-bearing statement, which they label as an assumption they cannot prove, is that the lateral Borel resummation equals the physical value. If correct, this turns the weak-coupling expansion of these observables into a fully explicit, complete trans-series, connecting perturbative and instanton/renormalon sectors.","feed_headline":"One trans-series captures every correction in integrable theories","feed_subtitle":"Perturbative and non-perturbative sectors of integrable charges are shown to emerge from one resummation formula.","key_machinery":"The central object is the dressed perturbative basis $\\hat{A}_{\\alpha,\\beta}$, defined by summing chains of perturbative building blocks $A_{\\alpha,\\beta}$ connected by non-perturbative factors $d_{\\kappa_l}$ through the matrix $\\mathcal{A}=(I-DA)^{-1}D$. This matrix is represented graphically as a sum over lattice paths whose vertices are the pole positions $\\kappa_l$; it satisfies the differential equations (67)-(69), so that every building block follows from a single perturbative series (for instance, $A_{1,1}$ from the recursive perturbative algorithm). The lateral Borel resummation $S_+$ is the mechanism that converts the formal trans-series into the physical value, and the alien derivatives $\\dot{\\Delta}_\\kappa$ are the operators that relate different non-perturbative sectors by acting as $-2iS_\\kappa\\partial_{\\sigma_\\kappa}$ on the trans-series parameters.","core_discovery":"On its own terms, the paper's central claim is that the observable $O_{\\alpha,\\beta}=\\frac{1}{2\\pi}\\int_{-B}^{B}\\chi_\\alpha(\\theta)r_\\beta(\\theta)d\\theta$ is computed from the dressed trans-series (72) $W_{\\alpha,\\beta}=\\hat{A}_{\\alpha,\\beta}+d_\\alpha\\hat{A}_{-\\alpha,\\beta}+d_\\beta\\hat{A}_{\\alpha,-\\beta}+d_\\alpha d_\\beta\\hat{A}_{-\\alpha,-\\beta}$ through the lateral Borel resummation (88) $O_{\\alpha,\\beta}=\\frac{e^{(\\alpha+\\beta)B}}{4\\pi}G_+(i\\alpha)G_+(i\\beta)\\,S_+(W_{\\alpha,\\beta})$. Here $\\hat{A}$ is the perturbatively-defined dressed building block, $G_+$ is the upper-half-plane Wiener-Hopf factor, and $d_\\alpha$, $d_{\\kappa_l}$ are non-perturbative coefficients carrying Stokes constants and powers of $e^{-2B}$. The same structure computes boundary rapidity densities $w_\\alpha$, the $\\alpha=0$ and coinciding-index cases, and the free-energy density in the running coupling. The paper further establishes the alien-derivative relations (90)-(91), showing that all non-perturbative sectors are determined by the perturbative series, and expresses the full trans-series as a median resummation of a multi-parameter trans-series (96)-(99). The authors state that (88) is their main assumption, which they cannot prove; their evidence is high-order asymptotic and direct numerical checks, including the supersymmetric O(7) model where Stokes constants have non-zero real parts.","pith_inferences":["If the main assumption is correct, the same dressed-trans-series machinery should extend to two-point functions and condensates, where renormalons have a more direct operator-product interpretation; the paper only lists these as future work.","The numerically observed convergence radius 1 in $e^{-2B}$ implies the resummed trans-series is the reliable object to compare with non-perturbative lattice or cold-atom data, even in the strong-coupling region.","The unified treatment of the disk capacitor suggests that analogous Wiener-Hopf/resurgence derivations could produce exact asymptotic expansions for other classical potential-theory problems governed by Love's equation, a connection the paper leaves implicit.","A route to turn the main assumption into a theorem would be to prove that the lateral Borel resummation satisfies the same differential equations and boundary conditions as the physical solution; the paper does not attempt this."],"forward_implications":["For every model in the class, the complete weak-coupling expansion of any conserved-charge expectation value is explicitly calculable once the running coupling, the pole positions $\\kappa_l$, and the Stokes constants are specified.","The alien-derivative relations (90)-(91) imply that the perturbative series determines all non-perturbative sectors; in models with purely imaginary Stokes constants, the full trans-series is simply the median resummation of the perturbative building block.","The Stokes automorphism acts by shifts of the trans-series parameters, so the physical resummation is the median resummation of a multi-parameter trans-series with Stokes constants set to their real parts.","The resummed trans-series converges with radius 1 in $e^{-2B}$, hence for all physical $B$, as demonstrated numerically in the O(4) model.","The free-energy density in the running coupling makes direct contact with standard perturbative field theory, yielding mass-gap relations of the form (193)-(199)."],"supporting_citations":[{"why":"introduces the recursive perturbative algorithm used to generate the building block $A_{1,1}$ for the O(N) sigma model.","marker":"[38]"},{"why":"develops the functional-equation version of the expansion, enabling high-order perturbative data for the building blocks.","marker":"[39]"},{"why":"extends the perturbative expansion to Gross-Neveu and other fermionic integrable models, providing the fermionic building blocks.","marker":"[42]"},{"why":"identifies the analytic structure of trans-series and locations of renormalons, setting up the non-perturbative sectors generalized here.","marker":"[61]"},{"why":"gives the Wiener-Hopf solution for O(N) free energy and the disk capacitor, including the observable formula in terms of $W_{\\alpha,\\beta}$ used in this paper.","marker":"[59]"},{"why":"supplies the $\\alpha=0$ solution and the recursion used in the convergence analysis of the resummed trans-series.","marker":"[74]"},{"why":"derives the resurgence relation (90) analytically in the O(4) model, a key input for the alien-derivative relations.","marker":"[57]"},{"why":"analyzes the convergence of trans-series in quantum field theory, extended here to laterally resummed terms.","marker":"[63]"}],"fun_headline_variants":["All corrections from one trans-series","Full charge spectrum from a single resummation","Resurgence completes integrable charge calculations","One formula for every correction in integrable theories","Trans-series unifies perturbative and non-perturbative sectors"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The paper's central claim rests on the assumption that the lateral Borel resummation $S_+$ in equation (88) equals the physical solution of the integral equation; the authors state that they cannot prove this.","fun_headline_variants_meta":{"raw":{"variants":["All corrections from one trans-series","Full charge spectrum from a single resummation","Resurgence completes integrable charge calculations","One formula for every correction in integrable theories","Trans-series unifies perturbative and non-perturbative sectors"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000453,"raw_usage":{"total_tokens":2340,"prompt_tokens":1068,"completion_tokens":1272,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":684,"completion_tokens_details":{"reasoning_tokens":1202}},"tokens_in":684,"tokens_out":1272,"duration_ms":8808,"temperature":1.0,"reasoning_tokens":1202,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T13:16:01.042184+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For the supersymmetric O(7) sigma model, the authors observe a discrepancy between their resummed trans-series and the numerical TBA solution for couplings $v > 0.15$, which they attribute to the numerical solver; a high-precision independent solution of the integral equation in that region, or an improved solver with a rigorous error estimate, would settle whether the trans-series reproduces the physical value order by order.","supporting_citations":[{"cited_title":"Quantum integrability and functional equations","cited_arxiv_id":"1003.4725","evidence_quote":"develops the functional-equation version of the expansion, enabling high-order perturbative data for the building blocks."},{"cited_title":"Analytic resurgence in the O(4) model","cited_arxiv_id":"2111.15390","evidence_quote":"derives the resurgence relation (90) analytically in the O(4) model, a key input for the alien-derivative relations."}],"review_version":1}