{"id":"71e24372-82a5-4104-a395-106bbf48a5ec","arxiv_id":"2607.05286","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"For a class of polaron-type models, the energy-momentum relation is bounded below by the vacuum overlap and spectral gap, the effective mass equals the inverse limiting variance of the path measure, and vanishing variance characterizes absence of ground states at large momentum.","lead":"This paper proves a lower bound on how the ground-state energy of a polaron grows with total momentum, and shows that the effective mass equals the inverse of the path measure's diffusion constant for a broad class of models. A generalist might read it because it rigorously connects a quantum quantity (effective mass) to a probabilistic one (diffusion), and gives a criterion for when the polaron has no ground state at large momentum.","discovery_kind":"unclear","skeptic_critique":{"model":"glm-5.2","headline":"No significant objection identified. The proof chain for Theorem 1 is sound: the v ∉ L² case is handled via approximation in Proposition 7, inequality (29) is purely Gaussian, and the rank-one perturbation argument is self-contained.","rationale":"The reader identified the renewal transform identification and inequality (29) for v ∉ L² as the weakest assumption. Having traced the argument, this concern does not land: Proposition 7 explicitly extends the representation to v ∉ L² via monotone approximation, Proposition 4 relies on the Dyson expansion from [DS25] which is valid under Assumption 1, and inequality (29) is a purely Gaussian statement independent of v. The proof of Theorem 1 is self-contained once Propositions 2, 4, 5, and 7 are established, and each of these is proved in detail. The rank-one perturbation argument (Sherman–Morrison formula plus the bound on s(λ)) is standard and correct. The right-continuity assumption in Theorem 3(2) is a real but clearly acknowledged limitation that does not affect the central claim (Theorem 1). The paper makes three distinct contributions with detailed proofs, no circularity, and honest discussion of limitations. The ACCEPT verdict with HIGH confidence is appropriate.","tokens_in":19843,"tokens_out":8296,"duration_ms":139744,"concrete_test":"Numerically verify Theorem 1 for the Fröhlich polaron at weak coupling (e.g., α = 0.1): compute E(P), ρ(0), and Δ(0) using known perturbative formulas, then check that the lower bound E(P) ≥ E(0) + (1/2)(Δ(0)+δ) − √((1/4)(Δ(0)+δ)² − Δ(0)ρ(0)δ) is satisfied for several values of |P| > 0. If the bound is violated at any point, the inequality chain in the proof of Theorem 1 has an error; if it holds with the expected slack, the argument is confirmed.","verdict_should_be":"UNCHANGED","load_bearing_attack":"I traced the proof of Theorem 1 in detail. The key chain is: (1) Corollary 8 expresses the ratio of partition functions as an expectation of e^{-δ σ²_T} under Θ̂_{P₀,T}; (2) inequality (29) gives D̂_T ≤ σ²_T, so since δ ≥ 0, e^{-δ σ²_T} ≤ e^{-δ D̂_T}; (3) integrating out u gives E_{Ξ̂_{P₀,T}}[e^{-δ D̂_T}]; (4) Propositions 2 and 5 identify this with the rank-one perturbation ratio ⟨Ω, e^{-TA(P)}Ω⟩/⟨Ω, e^{-TH(P₀)}Ω⟩; (5) the Sherman–Morrison formula and the upper bound on s(λ) yield the explicit lower bound. Each step checks out. The reader's concern about v ∉ L² does not actually land: Proposition 4 (the point process representation) relies on the Dyson expansion from [DS25], which is valid under Assumption 1 including v ∉ L². Proposition 7 explicitly handles the v ∉ L² case via the v_ε approximation and monotone convergence. Inequality (29) is a statement about Gaussian measures P_{ξ,u} and is independent of v. Proposition 5's proof uses only the product structure of F_T and Proposition 4, both valid under Assumption 1. The right-continuity assumption in Theorem 3(2) is a genuine limitation but is clearly stated, doesn't affect Theorem 1, and is known to hold for the Fröhlich polaron (where ρ is analytic on I₀). The bound on s(λ) uses that the spectral measure of H(P₀) is supported on {E(P₀)} ∪ [E(P₀)+Δ(P₀),∞), which follows from the definitions of ρ and Δ. The suboptimality at large P is acknowledged by the author. I find no load-bearing concern.","agreement_with_reader":"disagree"},"referee_report":{"model":"glm-5.2","summary":"The paper establishes a lower bound on the energy-momentum relation E(P) for a class of polaron-type models satisfying Assumption 1. The bound (Theorem 1) is expressed in terms of the vacuum overlap rho(P0) and the spectral gap Delta(P0) of H(P0), and holds for all P with |P| >= |P0|. The proof proceeds via a renewal transform framework (building on [HP25]) applied to a rank-one perturbation A(P) = H(P0) + delta<Omega, .>Omega, combined with a point process representation of the partition function derived from the Dyson expansion of [DS25]. Additionally, Theorem 2 establishes a Feynman-Kac formula valid for v not in L^2, Theorem 3 proves convergence of the rescaled mean square displacement to the inverse effective mass under right-continuity of rho, and Corollary 1 gives a necessary and sufficient criterion for boundedness of I_0 for the Frohlich polaron.","tokens_in":20577,"tokens_out":1749,"duration_ms":119177,"significance":"The paper makes several contributions of genuine interest to the polaron and mathematical physics community. The lower bound in Theorem 1 is parameter-free, expressed purely in spectral quantities (rho and Delta), and applies to a broad class of models including the Frohlich polaron and the Nelson model. The extension of the Feynman-Kac formula (Theorem 2) to the v not in L^2 case via the Dyson expansion approach is a useful technical contribution. Theorem 3 answers a question raised in [BSS25b] by establishing m_eff^{-1} = lim sigma_hat^2_T for general polaron models under right-continuity of rho, and Corollary 1 provides a clean probabilistic criterion for the boundedness of I_0. The proof chain is carefully executed: the renewal transform identification (Proposition 2), the point process representation (Proposition 4), the Gaussian rewriting (Proposition 7), and the final rank-one perturbation argument via Sherman-Morrison are all clearly laid out. The v not in L^2 case is handled via the v_epsilon approximation and monotone convergence in Proposition 7, and inequality (29) is a purely Gaussian statement independent of v.","major_comments":[{"comment":"Theorem 1, proof (Section 4): The key inequality chain is E(P) >= inf supp mu_P, where mu_P is the spectral measure of A(P) = H(P0) + delta<Omega, .>Omega. The bound on s(lambda) uses that the spectral measure of H(P0) is supported on {E(P0)} union [E(P0)+Delta(P0), infinity), which follows from the definitions. The upper bound s(lambda) <= rho(P0)/(E(P0)-lambda) + (1-rho(P0))/(E(P0)+Delta(P0)-lambda) then yields the explicit lower bound by solving equation (34). This argument is sound. However, the step from E(P) >= inf supp mu_P to the explicit bound deserves one clarification: the claim that f(P) is an atom of mu_P when f(P) < E(P0) + Delta(P0) follows from the Sherman-Morrison formula and the fact that finite-rank perturbations leave the essential spectrum invariant, but the argument that f(P) cannot lie in the continuous spectrum of mu_P below E(P0) + Delta(P0) is only implicitly sk","section":null},{"comment":"Theorem 3, part (2): The right-continuity assumption on rho is a genuine limitation, but it is clearly stated and does not affect Theorem 1. The author notes that it holds for the Frohlich polaron where rho is analytic on I_0. The proof uses the right-continuity to show lim sup f(T) >= 1, where f(T) is the ratio of partition functions at P_T and P. The argument that lim sup f(T) >= lim sup rho(P_T)/rho(P) = 1 under right-continuity is correct, but the intermediate step (the '+o(T)' term in the displayed equation following the definition of f(T)) is not explicitly justified. A brief comment on why the o(T) term vanishes in the limit would strengthen the proof.","section":null},{"comment":"Proposition 5: The identification of the finite-volume renewal transform P_{P,T} with the distribution of (Y_hat_t) under Xi_hat_{P,T} relies on the product structure of F_T under disjoint clusters of intervals. The proof verifies this on an intersection-stable generator (finite sets of time points where Y_hat = 0), which is sufficient by the pi-lambda theorem. This is correct. One minor concern: the proof uses the independence of eta_{r_i, r_{i+1}} for disjoint intervals, which follows from the Poisson property, but the conditional independence argument on the event A (where no intervals cross the partition points) should perhaps note that A is independent of the restrictions eta_{r_i, r_{i+1}} precisely because of the Poisson structure. This is implicit but could be stated more explicitly.","section":null}],"minor_comments":[{"comment":"In the proof of Theorem 1, the notation delta(P, P0) is used for both the scalar 1/2(|P|^2 - |P0|^2) and as a parameter in the rank-one perturbation. While context disambiguates, a brief remark would improve readability.","section":null},{"comment":"The notation for the measures (e.g., Xi_hat_{P,T}, Theta_hat_{P,T}, bP_{alpha,t}) uses hats and tildes in a way that is sometimes hard to distinguish. A summary table of notation would help the reader.","section":null},{"comment":"In equation (34) and the surrounding text, the variable lambda ranges over (E(P0), E(P0)+Delta(P0)), but the spectral measure of H(P0) may have support below E(P0)+Delta(P0) if there are excited eigenvalues. The bound uses that any such eigenvalues would only decrease s(lambda), which is correct, but a brief remark clarifying this point would align better with the spectral setup.","section":null},{"comment":"The paper states that the lower bound is suboptimal at large P (the limit as P -> infinity is Delta(P0)*rho(P0), which is strictly less than E_ess(P0) - E(P0)). This is an honest acknowledgment, but a brief discussion of whether the bound could be improved by a different choice of rank-one perturbation or a multi-step argument would add context.","section":null},{"comment":"In Proposition 7, the v not in L^2 case is handled by approximating v with v_epsilon defined via mu_epsilon. The monotone convergence argument is correct, but the statement that |v_epsilon|^2 increases to |v|^2 should perhaps note that this follows from the monotone convergence of the measures mu_epsilon to mu.","section":null},{"comment":"Reference [DS25] is cited as a preprint. If it has been accepted for publication, the reference should be updated.","section":null},{"comment":"In the definition of sigma^2_T(xi, u) following equation (27), it would be helpful to clarify that this is well-defined because P_{xi,u} is a Gaussian measure on path space and X_{0,T} is a linear functional.","section":null}],"recommendation":"minor_revision","confidential_remarks":"The paper builds on the author's prior work [Pol23] (Frohlich-specific) and [HP25] (renewal transform), but the combination with the Dyson expansion from [DS25] and the extension to general models under Assumption 1 represents sufficient novelty. The self-citation pattern is appropriate and not excessive. The fit with the journal's scope is good. The stress-test concern about v not in L^2 does not land: Proposition 7 explicitly handles this case, and inequality (29) is purely Gaussian. I recommend minor revision to address the presentation issues listed above."},"author_rebuttal":{"model":"glm-5.2","summary":"The authors thank the referee for a careful and constructive report. All three major comments request clarifications that can be incorporated in a minor revision. The standing objections list is empty.","responses":[{"response":"We thank the referee for this observation. The argument is indeed correct but should be stated more explicitly. The key point is as follows. By Weyl's theorem, the essential spectrum is invariant under finite-rank perturbations, so the essential spectrum of A(P) = H(P0) + delta<Omega, .>Omega coincides with that of H(P0). Since the spectral measure of H(P0) is supported on {E(P0)} union [E(P0)+Delta(P0), infinity), the essential spectrum of A(P) is contained in [E(P0)+Delta(P0), infinity). Therefore, the spectrum of A(P) below E(P0)+Delta(P0) consists entirely of isolated eigenvalues of finite multiplicity, i.e., it is purely discrete. In particular, if f(P) = inf supp mu_P < E(P0)+Delta(P0), then f(P) lies in the discrete spectrum of A(P), hence is an eigenvalue, and therefore f(P) is an atom of mu_P. We will add a sentence spelling out this Weyl theorem argument explicitly in the revision.","revision_made":"yes","referee_comment":"Theorem 1, proof (Section 4): The claim that f(P) is an atom of mu_P when f(P) < E(P0) + Delta(P0) follows from the Sherman-Morrison formula and the fact that finite-rank perturbations leave the essential spectrum invariant, but the argument that f(P) cannot lie in the continuous spectrum of mu_P below E(P0) + Delta(P0) is only implicitly sketched."},{"response":"The referee is correct that this step deserves justification. The notation '+o(T)' is imprecise; what is meant is that the contributions from the continuous spectrum decay exponentially in T. More precisely, we have the spectral decomposition: <Omega, e^{-T(H(P)-E(P))} Omega> = rho(P) + integral over [E(P)+Delta(P), infinity) of e^{-T(x-E(P))} mu_P(dx), where mu_P is the spectral measure of H(P) with respect to Omega. The integral term is bounded by e^{-T Delta(P)} (since the integrand is at most e^{-T Delta(P)} times the total mass, which is at most 1), and hence is o(1) as T -> infinity. The same applies to the numerator with P replaced by P_T. Therefore f(T) = [rho(P_T) + o(1)] / [rho(P) + o(1)], and since rho(P) > 0 by assumption, we obtain lim sup f(T) >= lim sup rho(P_T)/rho(P) = 1 by right-continuity of rho. We will replace the imprecise '+o(T)' notation with the explicit exponential decay bound and add a brief justification in the revised proof.","revision_made":"yes","referee_comment":"Theorem 3, part (2): The intermediate step (the '+o(T)' term in the displayed equation following the definition of f(T)) is not explicitly justified. A brief comment on why the o(T) term vanishes in the limit would strengthen the proof."},{"response":"We agree that this point should be stated more explicitly. The independence of the event A = {N(tilde{eta}_{0,r_1}) = ... = N(tilde{eta}_{r_{k-1},r_k}) = 0} from the restrictions (eta_{0,r_1}, eta_{r_1,r_2}, ..., eta_{r_k,T}) follows directly from the Poisson property: the restrictions of a Poisson point process to disjoint measurable subsets are independent random variables. Since A is defined entirely in terms of the restrictions to the 'off-diagonal' regions (r_i, r_{i+1}] x (r_{i+1}, T], which are disjoint from the 'on-diagonal' regions (r_i, r_{i+1}] x (r_i, r_{i+1}] that determine eta_{r_i, r_{i+1}}, the independence follows. We will add a sentence making this Poisson independence explicit in the revision.","revision_made":"yes","referee_comment":"Proposition 5: The conditional independence argument on the event A (where no intervals cross the partition points) should perhaps note that A is independent of the restrictions eta_{r_i, r_{i+1}} precisely because of the Poisson structure. This is implicit but could be stated more explicitly."}],"tokens_in":19779,"tokens_out":2150,"duration_ms":66443,"standing_objections":[]},"desk_editor":{"model":"glm-5.2","letter":"The main thing to know: this paper extends three results from the Fröhlich polaron to a general class of polaron-type models (including the Nelson model) under Assumption 1. The three results are (1) a lower bound on E(P) − E(P₀) in terms of the vacuum overlap ρ(P₀) and spectral gap Δ(P₀), (2) the equality m_eff^{-1} = lim σ̂²_T for general models, and (3) a criterion for ground state absence at large momentum. The Feynman–Kac formula (Theorem 2) valid for v ∉ L², obtained via Bernstein's theorem and the Dyson expansion from [DS25], is the genuine new technical contribution. That formula alone justifies the paper for people working on path measure representations of polaron models. The extension of the effective mass formula (Theorem 3) to general models under Assumption 1 goes beyond the Fröhlich-specific results of [DS20, BP22] and answers a question raised in [BSS25b] about whether sub-diffusivity implies infinite effective mass. The proof of Theorem 1 is clean. The chain goes: Corollary 8 expresses a partition function ratio as an expectation of e^{-δσ²_T}, inequality (29) gives D̂_T ≤ σ²_T so the exponential bounds go the right direction, Propositions 2 and 5 identify the result with a rank-one perturbation ratio, and Sherman–Morrison plus the spectral support bound on s(λ) yield the explicit lower bound. I traced each step and it checks out. The v ∉ L² case is handled in Proposition 7 via a v_ε approximation and monotone convergence — this is where the paper could have cut corners but didn't. The stress-test concern about whether the v ∉ L² case is actually rigorous does not land: Proposition 4 relies on [DS25, Theorem 1], which is valid under Assumption 1 including v ∉ L², and inequality (29) is purely Gaussian, independent of v. Two genuine but minor limitations. First, the right-continuity of ρ needed for the equality in Theorem 3(2) is assumed, not proven. The author is upfront about this, and it doesn't affect Theorem 1. For the Fröhlich polaron, ρ is analytic on I₀ so the assumption is satisfied there. Second, the lower bound in Theorem 1 is suboptimal at large P — the author acknowledges this explicitly, noting the limit is Δ(P₀)ρ(P₀), strictly below E_ess(P₀) − E(P₀). This means the bound alone cannot resolve the conjecture that I₀ is bounded for the Fröhlich polaron, though Corollary 1 gives a clean necessary and sufficient criterion in terms of the path measure. No circularity issues. The self-citations to [Pol23] and [HP25] are to the renewal transform framework, which is a parameter-free construction applied to spectral measures, not something that would make the claims tautological. The paper is for mathematical physicists working on polaron and Nelson models, particularly those using path measure and probabilistic techniques. It deserves a serious referee — the proofs are detailed, the main results are new, and the technical contributions (especially the Feynman–Kac formula for v ∉ L²) are substantive enough to warrant careful checking.","headline":"Solid paper extending polaron energy-momentum bounds and effective mass formula beyond the Fröhlich model; the Feynman–Kac formula for v not in L² is the real technical contribution.","tokens_in":21042,"tokens_out":801,"would_cite":true,"duration_ms":52463,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"glm-5.2","headline":"Lower bound links polaron energy to vacuum overlap and spectral gap","keywords":[],"falsifier":"Exhibit a polaron model satisfying Assumption 1 for which the bound of Theorem 1 is violated, i.e., find P, P0 with |P| >= |P0| such that E(P) < E(P0) + (1/2)(Delta(P0) + delta) - sqrt((1/4)(Delta(P0) + delta)^2 - Delta(P0) rho(P0) delta). Alternatively, find a model where the renewal transform identification (Proposition 5) or the dormant-time bound (equation 29) fails.","tokens_in":20052,"feed_emoji":"🔬","tokens_out":1072,"duration_ms":47475,"temperature":0.7,"pith_summary":"The paper proves a quantitative lower bound on how the ground-state energy of a polaron-type model grows with total momentum. For any two momenta P and P0 with |P| >= |P0|, the energy difference E(P) - E(P0) is bounded below by an explicit formula involving only the vacuum overlap rho(P0) (the squared projection of the ground state onto the field vacuum) and the spectral gap Delta(P0) (the energy distance from the ground state to the next spectral threshold) at the reference momentum P0. The bound is derived by representing the polaron's partition function through a Poisson point process of intervals on [0,T], identifying the finite-volume renewal transforms of the spectral measure with this path measure, and then comparing the spectral measure of the full Hamiltonian H(P) with that of a rank-one perturbation H(P0) + delta<Omega, .>Omega whose ground-state energy can be computed in closed form via the Sherman-Morrison formula. The key stochastic input is that the dormant time of the renewal process is bounded above by the variance of the associated Gaussian, which yields the comparison inequality. Beyond the lower bound, the paper proves that the inverse effective mass equals the limiting rescaled mean-square displacement of the polaron path measure (under right-continuity of the vacuum overlap), and gives a necessary and sufficient probabilistic criterion for the Fröhlich polaron to lack a ground state at large momentum: I0 is bounded if and only if the limiting mean-square displacement vanishes at some finite momentum.","feed_headline":"Lower bound links polaron energy to vacuum overlap and spectral gap","feed_subtitle":"Energy-momentum relation bounded below by two spectral quantities, with a probabilistic test for missing ground states","key_machinery":"The renewal transform of a probability measure (from a companion framework by Hinrichs and Polzer), applied to the spectral measure of H(P) with respect to the Fock vacuum. The finite-volume renewal transforms are identified with a Poisson point process representation derived from the Dyson expansion of Desio and Seiringer. A rank-one perturbation comparison via the Sherman-Morrison formula then yields the explicit bound.","core_discovery":"The central mechanism is the identification of the renewal transform of the spectral measure of H(P) with the law of a point process derived from the Dyson expansion. This allows the energy E(P) to be compared to the ground-state energy of a rank-one perturbation A(P) = H(P0) + delta<Omega, .>Omega, whose spectral properties are explicitly computable. The resulting lower bound on E(P) - E(P0) depends only on rho(P0), Delta(P0), and the kinetic energy difference delta = (1/2)(|P|^2 - |P0|^2), making it the first bound of its kind that is expressed purely in terms of spectral data at the reference momentum.","pith_inferences":[],"forward_implications":["For the Fröhlich polaron, the bound provides a concrete lower bound on E(P) - E(0) for all P, expressed in terms of rho(0) and Delta(0), which could be combined with numerical or variational estimates of these quantities to constrain the energy-momentum relation.","The equality m_eff^{-1} = lim sigma_hat^2_T(P) resolves a question raised in the literature about whether sub-diffusivity of the path measure implies infinite effective mass for general polaron-type models, not just the Fröhlich case.","Corollary 1 gives a sharp criterion for boundedness of I0 for the Fröhlich polaron: I0 is bounded if and only if lim inf sigma_hat^2_T(P) = 0 for some P, connecting a spectral question to a purely probabilistic one about the path measure.","The Feynman-Kac formula (Theorem 2) is extended to models where the coupling v is not square-integrable, removing the need for ultraviolet regularization in the path integral representation."],"fun_headline_variants":["Polaron energy bound set by vacuum overlap and spectral gap","Spectral data yields lower bound on polaron energy-momentum","Vacuum overlap and spectral gap bound polaron energy from below","Lower bound ties polaron energy to local spectral data","Probabilistic test flags missing polaron ground states at high momentum"],"cache_read_input_tokens":0,"weakest_assumption_plain":"The proof depends on the inequality that the dormant time of the renewal process is bounded above by the Gaussian variance (equation 29), which links the stochastic representation to the spectral comparison. If this bound or the identification of the renewal transform with the path measure fails for models outside the stated regularity class, the main lower bound would not hold.","fun_headline_variants_meta":{"raw":{"variants":["Polaron energy bound set by vacuum overlap and spectral gap","Spectral data yields lower bound on polaron energy-momentum","Vacuum overlap and spectral gap bound polaron energy from below","Lower bound ties polaron energy to local spectral data","Probabilistic test flags missing polaron ground states at high momentum"]},"model":"glm-5.2","effort":"high","cost_usd":0.0,"raw_usage":{"total_tokens":984,"prompt_tokens":378,"completion_tokens":606,"prompt_tokens_details":null},"tokens_in":378,"tokens_out":606,"duration_ms":7048,"temperature":1.0,"reasoning_tokens":611,"cache_read_input_tokens":0,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-07T19:37:16.542820+00:00","model_set":{"reader":"glm-5.2"},"falsifier":"Exhibit a polaron model satisfying Assumption 1 for which the bound of Theorem 1 is violated, i.e., find P, P0 with |P| >= |P0| such that E(P) < E(P0) + (1/2)(Delta(P0) + delta) - sqrt((1/4)(Delta(P0) + delta)^2 - Delta(P0) rho(P0) delta). Alternatively, find a model where the renewal transform identification (Proposition 5) or the dormant-time bound (equation 29) fails.","supporting_citations":[],"review_version":1}