{"id":"64630e4d-6bea-47c2-a264-b351f14da38c","arxiv_id":"2512.13443","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"For a general class of polaron models, the ground state energy is concave as a function of |P|², proved by a new Dyson expansion valid for form-bounded perturbations.","lead":"An abstract Dyson expansion is proved for perturbations that are only required to be form-bounded, and it is applied to polaron-type Hamiltonians. The vacuum heat-kernel expectation is shown to be completely monotone in the squared total momentum, which yields concavity of the polaron ground-state energy for a wide class of models.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Assumption 2 is the unproved bridge for the advertised Nelson application; the standard sharp UV cutoff likely violates it, so the abstract overstates the verified scope.","rationale":"The reader's conditional verdict is appropriate. The most load-bearing point is the Nelson application: Assumption 2 is the bridge from a positive Dyson series to complete monotonicity, and it is not implied by Assumption 1. The verification in (1.8) only works when |v|^2 and e^{-sω} are superpositions of Gaussians; the body itself restricts the Nelson cutoff to 'e.g., via a Gaussian factor.' For a sharp compact-support cutoff, this verification cannot hold, and the Fourier-transform sign test in the concrete check indicates failure. This does not undermine Theorem 1 or Corollary 1 under Assumptions 1–2; it narrows the abstract's 'Nelson models' claim. The Dyck-path formula νπ(j)=(−1)^j in Section 3 is also a typo (should be (−1)^{π^{-1}(j)}, as used in the interlacing definition and Lemma 2); it is confusing but repairable and not the main burden.","tokens_in":11055,"tokens_out":31639,"duration_ms":239519,"concrete_test":"Fix d=3, Λ=1, r=s=1. Compute F(P)=∫_{|k|≤1} |k|^{-1} e^{-|P-k|^2-|k|} dk. Its Fourier transform is (up to a positive constant) \\hat F(p)= e^{-|p|^2/4} (4π/p) ∫_0^1 e^{-q} sin(pq) dq. Evaluate at p=20: the integral equals [1 - e^{-1}(20 sin 20 + cos 20)]/(1+20^2), which is negative. Since a completely monotone radial function of |P|^2 necessarily has a nonnegative Fourier transform, a negative value shows Assumption 2 fails for the sharp-cutoff Nelson model, so the abstract's Nelson claim must be qualified.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Corollary 1 rests on Assumption 2: the map |P|^2 ↦ ∫ |v(k)|^2 e^{-r|P-k|^2-sω(k)} dk must be completely monotone for every r,s>0. This is the Bernstein bridge that turns the positive Dyson series into a Laplace transform in |P|^2; it is not implied by Assumption 1. The paper verifies Assumption 2 only for v and e^{-sω} that are superpositions of Gaussians (eq. (1.8)). For the Nelson model the text concedes the cutoff must be chosen 'e.g., via a Gaussian factor' (p.3). The abstract nevertheless advertises 'Nelson models' without this qualification. For the standard Nelson ultraviolet cutoff v(k)=|k|^{-1/2} 1_{|k|≤Λ}, the compact-support indicator is not a positive superposition of Gaussians, and the verification in (1.8) does not apply. If Assumption 2 fails for this v, Corollary 1 gives no information for the standard Nelson model. This does not invalidate the conditional theorem, but it is the weakest point of the paper's central claim as advertised.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves an abstract Dyson expansion for self-adjoint semigroups e^{-t(A+B)} when B is merely form-bounded with respect to A with relative bound less than one (Section 2). It then applies this expansion to the polaron-type Hamiltonian H(P)=|P-P_f|^2+dΓ(ω)+Φ(v) (Section 3), obtaining an explicit positive series for the vacuum expectation ⟨Ω|e^{-tH(P)}Ω⟩ (Theorem 1(a)) and a renewal equation (Theorem 1(b)). Under an additional hypothesis, Assumption 2, the authors conclude that |P|^2 ↦ ⟨Ω|e^{-tH(P)}Ω⟩ is completely monotone for every t>0, and hence that the ground-state energy E_0(P) is concave, and strictly concave where a ground state exists (Corollary 1). The applications are to Fröhlich-type models and to Nelson-type models with a Gaussian ultraviolet cutoff.","tokens_in":11219,"tokens_out":10925,"duration_ms":109329,"significance":"If the results stand, this is a valuable contribution: it gives an analytic, non-probabilistic proof of complete monotonicity and concavity of the polaron energy-momentum relation, complementing and extending the probabilistic renewal argument of Polzer. The abstract Dyson expansion for form-bounded perturbations is interesting in its own right and is proved with clean contour-integral and Neumann-series arguments. The paper is careful about the low regularity of the interaction: Lemma 1 supplies the uniform integrability needed to exchange z- and k-integrals, and Lemma 2 gives a rigorous justification of the Wick/pull-through computation. I regard the main conditional theorem as likely correct. The main weakness is that the advertised scope for the Nelson model is broader than what is actually verified, because Assumption 2 is only checked for Gaussian-type cutoffs; this needs to be corrected either by proving Assumption 2 for the standard sharp cutoff or by qualifying all claims.","major_comments":[{"comment":"The proof of Corollary 1(a) rests on the claim (4.4) that, for every rotation-invariant positive quadratic form Q, the integral in (4.4) is the Laplace transform of a positive measure. The induction argument is only sketched: after applying (4.3) to the last integration variable, the remaining quadratic form depends on the integration variable λ, and the induction hypothesis must be applied for each λ. One needs a precise construction of μ_{Q,s}, including measurability in λ, so that the final measure is obtained by integration over λ. This step is the bridge between Assumption 2 and the complete monotonicity of the Dyson series, so it is central. I believe the claim is true and the gap is fixable, but the proof should be written out in enough detail to make the induction and the measure-theoretic construction unambiguous.","section":"§4.2, Eq. (4.4)"}],"minor_comments":[{"comment":"There is a typo: 'very usual' should be 'very useful' in the sentence after Theorem 1.","section":"§1, p.3"},{"comment":"The caption says 'Dyck pack'; this should presumably be 'Dyck path'.","section":"Figure 2 caption"},{"comment":"The sentence 'for any β≥0' should be qualified: β must also satisfy Assumption 1, and for ω≡1 the relevant range is (d-2)/2<β<d/2. The case β=0 is not covered by Assumption 1 in d≥2.","section":"§1, paragraph after (1.8)"},{"comment":"The sentence 'By absorbing a into A, we can set a=0 without loss of generality, and assume that A has a bounded inverse' is slightly misleading: one needs the shift by a to obtain invertibility. Wording such as 'after replacing A by A+a' would be clearer.","section":"§2, beginning"},{"comment":"The notation μ_{Q,s} is introduced informally. A precise definition of the measure, with its dependence on the quadratic form Q and the parameters s, would improve readability.","section":"§4.2, Eq. (4.4)"}],"recommendation":"major_revision","confidential_remarks":"The paper is technically strong and the main conditional theorem appears correct. My main concern is the mismatch between the advertised application to 'Nelson models' and the actual verification of Assumption 2, which is limited to Gaussian-type cutoffs. This is fixable by an honest qualification, but it affects the central claim as stated in the abstract. The proof of (4.4) also deserves a fuller write-up. I would be happy to see a revised version."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The main event is Section 2: an abstract Dyson expansion for perturbations that are only form-bounded, with explicit convergence bounds. That genuinely looks new, and the paper is upfront that even the operator-bounded case was not fully resolved. The contour-integral Neumann series argument is clean, the norm bounds are useful, and the later application to the polaron problem hangs together. The proof of Theorem 1 and Corollary 1 is coherent; Lemmas 1 and 2 provide the needed estimates and the Wick-combinatorics control. The renewal equation in part (b) is a nice extension of Polzer's probabilistic argument to operator-theoretic language.\n\nThe weak point is definitely Assumption 2. The stress-test is right: it is the Bernstein bridge that turns the positive Dyson series into a Laplace transform in |P|^2, it is not implied by Assumption 1, and the verification in the paper only covers v and e^{-sω} that are superpositions of Gaussians. For the Nelson model, the text itself concedes that the UV cutoff has to be chosen with a Gaussian factor. The abstract says 'including the Fröhlich and Nelson models' without that qualification. For the standard sharp cutoff v(k) ∝ |k|^{-1/2} 1_{|k|≤Λ}, the verification does not apply, so the advertised scope is broader than what the proof delivers. This is fixable by rewording the abstract and making the Gaussian-cutoff caveat front and center, but it is a real mismatch between advertisement and proof.\n\nThe other issue is the definition of the Dyck path associated to a Wick pairing: ν_π(j) = (−1)^j is internally inconsistent with the decomposition W_{2n} = ∪_ν W^ν_{2n}. Almost certainly a typo, probably ν_π(j) = (−1)^{π^{-1}(j)}, but it sits in the middle of the combinatorial setup and should be corrected before publication.\n\nCitation pattern looks fine. The paper credits Polzer, Lieb–Yamazaki, the earlier Dyson-expansion literature, and the relevant functional-analytic background. No red flags there.\n\nWho is this for? People working on polaron-type models, energy-momentum concavity, or abstract semigroup expansions. They will want to know about Section 2 even if the Nelson nuance matters to them. I would send it to a serious referee; the main theorem appears correct, the caveats are fixable, and the abstract Dyson expansion is reusable. I would not cite it for 'Nelson models' as advertised until the scope statement is corrected.","headline":"A genuinely new abstract Dyson expansion for form-bounded perturbations, applied to extend Polzer's concavity result; the Nelson-model claim in the abstract outruns what Assumption 2 actually covers.","tokens_in":11840,"tokens_out":1544,"would_cite":true,"duration_ms":15319,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81Q10","47D03","82B10"],"pacs":[],"model":"deepseek-v4-flash","headline":"A Dyson expansion for form-bounded perturbations proves the polaron ground-state energy is concave in the squared total momentum.","keywords":["Dyson expansion","form-bounded perturbations","polaron","heat semigroup","complete monotonicity","ground-state energy concavity","Fröhlich model","Nelson model"],"falsifier":"For a polaron model with a sharp (non-Gaussian) ultraviolet cutoff that satisfies Assumption 1 but not Assumption 2, compute E₀(P) numerically or via other means. If E₀ is not concave in |P|², or if ⟨Ω|e^{−tH(P)}Ω⟩ is not completely monotone, then Assumption 2 is essential and the theorem cannot be extended without it.","tokens_in":10818,"feed_emoji":"⚛️","tokens_out":9517,"duration_ms":80205,"temperature":0.7,"pith_summary":"This paper develops a rigorous Dyson expansion that applies when the interaction is only relatively form-bounded, not operator-bounded, and uses it to study polaron-type Hamiltonians. The main result is that, for a large class of models satisfying two natural assumptions on the form factor and dispersion relation, the vacuum expectation value of the heat semigroup is completely monotone as a function of the squared total momentum. By Bernstein's theorem this makes the ground-state energy a concave function of |P|^2, with strict concavity whenever a ground state exists. The result covers both the Fröhlich model and the Nelson model with a Gaussian ultraviolet cutoff, offering an operator-theoretic alternative to stochastic-integral proofs.","feed_headline":"Dyson expansion proves polaron energy concave in squared momentum","feed_subtitle":"An operator-theoretic proof extends the concavity result to a wide class of polaron Hamiltonians.","key_machinery":"The central object is the Dyson expansion (1.5) for ⟨Ω|e^{−tH(P)}Ω⟩, expressed as a sum over Wick pairings π of integrals of e^{−∑ t_j E_P^{(π,j)}(k)} ∏ |v(k_j)|² dk_j over a simplex. Its convergence is guaranteed by a contour-integral Neumann series that requires only form-boundedness of the interaction (Section 2). Under Assumption 2, each term is shown to be a Laplace transform in |P|² via Bernstein's theorem, yielding complete monotonicity. The renewal equation (1.6), built from interlacing pairings only, is the key to strict concavity.","core_discovery":"Under Assumptions 1 and 2, the map |P|² ↦ ⟨Ω|e^{−tH(P)}Ω⟩ is completely monotone for every t>0—meaning it and all its derivatives alternate in sign, equivalently it is the Laplace transform of a positive measure. Corollary 1 then gives that E₀(P) = inf spec H(P) is concave in |P|², and strictly concave on the set where H(P) has a ground state, provided v≢0. The proof goes through an explicit Dyson expansion (Theorem 1(a)) in which every term is positive, plus a renewal equation (Theorem 1(b)) isolating the indecomposable, interlacing Wick pairings. This gives an operator-theoretic derivation of a concavity property previously obtained for the Fröhlich model via probabilistic methods.","pith_inferences":["The technique likely extends to any interaction whose squared form factor is a superposition of Gaussians and whose dispersion satisfies e^{−sω} has a Gaussian representation; this could cover more general ultraviolet cutoffs than the explicit ones treated here.","The concavity of E₀ in |P|² may have consequences for the effective mass (negative second derivative at P=0 is a bound on the inverse mass), though the paper does not compute such quantities.","The abstract Dyson expansion might be applied to other translation-invariant QFT models where the interaction is form-bounded but not operator-bounded, such as Pauli–Fierz-type systems.","Assumption 2 is the only place where the radial symmetry and Gaussian-representability of the model enter; if it fails, the whole conclusion may break, which is why a sharp cutoff in the Nelson model would require separate treatment."],"forward_implications":["Complete monotonicity of ⟨Ω|e^{−tH(P)}Ω⟩ in |P|² gives a positive-measure (stochastic) representation of the heat kernel as a function of momentum.","The ground-state energy E₀(P) is concave in |P|² for all polaron models satisfying the two assumptions, including Fröhlich and (Gaussian-cutoff) Nelson models.","The Dyson expansion converges uniformly in t>0 despite the interaction being merely form-bounded, opening the technique to other semigroup perturbation problems.","The renewal equation provides an exact t→∞ identity that yields strict concavity on the set where a ground state exists.","The abstract result of Section 2 is a standalone theorem: form-bounded perturbations admit a convergent expansion of e^{−t(A+B)}."],"fun_headline_variants":["Operator proof shows polaron energy concave in momentum squared","Dyson expansion yields concavity in polaron ground state energy","Polaron energy concavity proven via Dyson expansion","New proof: polaron ground state energy concave in |P|²"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The load-bearing premise is Assumption 2: for all r,s>0, the integral ∫|v(k)|² e^{−r|P−k|² − sω(k)} dk must be completely monotone as a function of |P|². If this fails, the positive Dyson series cannot be recognized as a Laplace transform in |P|², and the concavity conclusion does not follow.","fun_headline_variants_meta":{"raw":{"variants":["Operator proof shows polaron energy concave in momentum squared","Dyson expansion yields concavity in polaron ground state energy","Polaron energy concavity proven via Dyson expansion","New proof: polaron ground state energy concave in |P|²"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00049,"raw_usage":{"total_tokens":2201,"prompt_tokens":649,"completion_tokens":1552,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":393,"completion_tokens_details":{"reasoning_tokens":1480}},"tokens_in":393,"tokens_out":1552,"duration_ms":10914,"temperature":1.0,"reasoning_tokens":1480,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-03T16:25:50.152868+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For a polaron model with a sharp (non-Gaussian) ultraviolet cutoff that satisfies Assumption 1 but not Assumption 2, compute E₀(P) numerically or via other means. If E₀ is not concave in |P|², or if ⟨Ω|e^{−tH(P)}Ω⟩ is not completely monotone, then Assumption 2 is essential and the theorem cannot be extended without it.","supporting_citations":[],"review_version":1}