{"id":"e60f63bb-dcbf-47ef-812e-eac0a89a1cec","arxiv_id":"1908.03432","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper rigorously proves (m_eff)^-1 = sigma^2 > 0 for polaron-type models with UV cutoff, and for the Fröhlich polaron outside an intermediate coupling range, using spectral theory and central limit theorems.","lead":"This paper proves that for polaron models the inverse effective mass of the electron equals the diffusion constant of the polaron path measure, and is strictly positive. It settles a long-standing open point for the Fröhlich polaron except for an intermediate coupling range.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 3.2 rests on an unverified relaxation of Mukherjee's CLT: the posted theorem requires W≥0, and the paper only cites author communication that this condition can be dropped.","rationale":"The reader's weakest_assumption correctly identifies the general dependence on external CLT results, but the more specific load-bearing gap is the bracketed admission in Section 2 that the cited CLT [18] requires W≥0, a condition not implied by Condition C for arbitrary g∈L². This matters because Theorem 3.2 is one of the two main theorems, and its proof is a direct invocation of (2.18). If the relaxation of W≥0 cannot be verified, the theorem is not proven for all models satisfying Condition C. The Fröhlich theorem 4.2 remains supported because W_Fr≥0, so the concern does not overturn the paper's main physical application. I therefore recommend a conditional acceptance pending verification of the hypotheses of [18] in its current form, rather than outright rejection. The spectral part of the proof, including the remainder estimate in (3.7), appears sound: the uniform spectral gap above E(0) follows from the isolated simple ground state and resolvent analyticity, so no additional internal objection is raised.","tokens_in":17119,"tokens_out":22815,"duration_ms":241078,"concrete_test":"Consult the latest version of arXiv:1706.09345 and isolate every step in the proof of Theorem 2.1 where W≥0 is used. Verify whether those estimates can be replaced by bounds using only |W|≤C(1+|t|)^{-(2+δ)} together with the specific Fourier form W(x,t)=∫|g(k)|²e^{ikx}e^{-ω(k)|t|}dk. Independently, for a concrete rotation-invariant g∈L² (e.g. d=1, |g(k)|²=1_{[1,2]}(|k|)), evaluate W(x,0) numerically; if min W<0, the nonnegativity hypothesis is not automatic and the quoted relaxation is essential.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"Theorem 3.2 claims (m_eff)^{-1}=σ^2>0 for every polaron-type model satisfying Condition C, with arbitrary α≥0. The proof applies the CLT (2.18) from Mukherjee [18, Thm 2.1]. However, the paper itself notes in Section 2 that the currently posted version of [18] requires W≥0, and that this condition can be dropped only 'as communicated to us by the author'. For a general real rotation-invariant g∈L², W(x,t)=∫ dk |g(k)|² e^{ikx} e^{-ω(k)|t|} is positive definite but not necessarily pointwise nonnegative. Since W≥0 is not implied by Condition C, the validity of (2.18) for all such models is not established by the cited theorem as written. If W≥0 is genuinely used in [18] (for instance, for exponential integrability, positivity of the finite-volume measure, or control of the partition function), then the central UV-cutoff result does not follow from the cited literature. The Fröhlich result Theorem 4.2 is not endangered because W_Fr(x,t)=|x|^{-1}e^{-|t|} is nonnegative, but Theorem 3.2 is a stated central claim covering all g∈L² and all α≥0.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves that, for a class of polaron-type models with ultraviolet cut-off and for the Fröhlich polaron outside an intermediate coupling range, the inverse effective mass equals the diffusion constant obtained from a probabilistic central limit theorem: (m_eff)^{-1} = σ² > 0. The argument combines spectral analyticity of the energy-momentum relation E(P) with known CLTs for the polaron path measure. Section 3 handles general polaron-type models satisfying Condition C for all α ≥ 0; Section 4 treats the Fröhlich polaron for α ∈ [0, α_0) ∪ (α_1, ∞); Section 5 formulates a conjectural two-sided pinning CLT and shows it would imply that the global minimum of E(P) is unique and attained at P = 0.","tokens_in":17372,"tokens_out":8091,"duration_ms":81233,"significance":"If the central results hold, the paper settles the long-standing identity (1.8) in a rigorous way and, as a by-product, proves finiteness of the effective mass for UV-cutoff models at all couplings and for the Fröhlich polaron away from an intermediate coupling interval. The spectral-to-probabilistic bridge is elegant: the CLT limit of the path measure is computed via spectral calculus, giving E''(0) = σ² without uncontrolled second-moment assumptions. The paper is honest about the intermediate-coupling gap inherited from the Mukherjee–Varadhan CLT and about the conditional nature of the Section 5 conjecture. The main weakness is that Theorem 3.2, a central advertised result, relies on a relaxation of a posted theorem that is supported only by personal communication.","major_comments":[{"comment":"The proof of Theorem 3.2 uses the CLT (2.18) for arbitrary g ∈ L² satisfying Condition C. The manuscript itself states that the posted version of [18, Theorem 2.1] requires W ≥ 0 and that this condition can be dropped only \"as communicated to us by the author.\" Since W in Eq. (2.6) is positive definite but not pointwise nonnegative for general rotation-invariant g ∈ L², the cited theorem as written does not establish (2.18) under Condition C. This is load-bearing for the central claim (3.4), which is stated for all α ≥ 0 and all models satisfying Condition C. The authors should either provide a proof or a publicly verifiable reference for the CLT without the W ≥ 0 assumption, or restrict Theorem 3.2 to cases where W ≥ 0 (which includes the Fröhlich kernel (2.7)).","section":"Section 2, Eq. (2.18) and Theorem 3.2"}],"minor_comments":[{"comment":"There are typographical errors: \"direct inegral decompostion\" should read \"direct integral decomposition.\"","section":"Section 2, around Eq. (2.2)"},{"comment":"The name \"Mukerjee\" is spelled inconsistently; the correct spelling in the references is \"Mukherjee.\"","section":"Section 2, paragraph before Eq. (2.18)"},{"comment":"The notation ∑_{j=1,2,3} ω^{-j} and ∑_{j=2,4} ω^{-j} is terse; it would be clearer to write j ∈ {1,2,3} and j ∈ {2,4}.","section":"Section 2, Eq. (2.10)"},{"comment":"The statement that the term in (3.7) \"tends to zero as ǫ → 0 by the spectral calculus\" is correct but would benefit from an explicit mention that H(P) has a uniform spectral gap above E(P) for P near 0, so the exponential decay is uniform in ǫ.","section":"Section 3, proof of Theorem 3.2"},{"comment":"It would help the reader to state explicitly that Conjecture 5.2 is not needed for Theorems 3.2 and 4.2, which depend only on the CLT in Eq. (2.18).","section":"Section 5, Conjecture 5.2"}],"recommendation":"major_revision","confidential_remarks":"The W ≥ 0 issue in Theorem 3.2 is the main obstacle. Relying on an unpublished author communication to remove a condition from a cited theorem is not acceptable in a published paper without independent verification. The Fröhlich result (Theorem 4.2) is not affected because the Fröhlich kernel (2.7) is pointwise nonnegative, and that result alone may justify publication if the authors either prove the needed CLT or narrow the scope of Theorem 3.2."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The headline is simple: this paper gives the first rigorous proof that the inverse effective mass equals the diffusion constant for a fairly general class of polaron models with UV cutoff (all α≥0), and for the Fröhlich polaron outside an intermediate coupling range. The derivation from the available CLT plus spectral theory is clean, and the CLT input is external and clearly cited.\n\nWhat is genuinely new: the identity (m_eff)^{-1} = σ² was previously an argument based on second moments; here it is a theorem. The proof of Theorem 3.2 is short but correct: analyticity of the ground state energy near P=0, the spectral gap, and the CLT convergence of the characteristic function force the curvature to equal the diffusion constant. The two-sided pinning analysis in Section 5 is also new and, though conditional on an unproved conjecture, yields a plausible route to uniqueness of the ground state at zero momentum.\n\nSoft spots, in proportion: The Fröhlich theorem inherits a gap in the intermediate coupling range, exactly because the Mukherjee–Varadhan CLT is not available there. That is honestly stated. The bigger caveat is in Theorem 3.2: the paper applies Mukherjee's CLT for general g∈L², while the currently posted version of [18] requires W≥0, a pointwise nonnegativity that does not follow from Condition C. The paper notes this and cites 'communication with the author' that the condition can be dropped. That is a real soft spot—an unpublished modification under the load-bearing pin—but it is flagged, and for the Fröhlich case W is nonnegative so nothing changes there. A referee should ask for a written proof or a confirming note.\n\nThe conditional Theorem 5.3 is clearly labeled as conditional; not a flaw, just a pointer to future work.\n\nOverall: the central argument is sound, the limitations are transparent, and the paper deserves a serious referee. I'd send it out, and I'd cite it if I were still working on polaron problems.","headline":"First rigorous proof of the effective-mass/diffusion-constant identity for UV-cutoff polaron models and for the Fröhlich polaron outside an intermediate coupling range, with a transparent proof and one citation caveat about W≥0.","tokens_in":17905,"tokens_out":2667,"would_cite":true,"duration_ms":27717,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81Q10","60F05","82B10"],"pacs":[],"model":"deepseek-v4-flash","headline":"For polaron-type models with ultraviolet cut-off, and for the Fröhlich polaron outside an intermediate coupling interval, the paper proves that the inverse effective mass equals the diffusion constant and is strictly positive.","keywords":["Fröhlich polaron","effective mass","diffusion constant","central limit theorem","energy-momentum relation","spectral theory","path measure","strong coupling"],"falsifier":"Compute, for a single Fröhlich coupling inside the intermediate interval $(\\alpha_0,\\alpha_1)$, both the second derivative of the energy-momentum relation at $P=0$ and the diffusion constant of the weighted Brownian motion; if they differ, or if the CLT limit is non-Gaussian, the equality cannot extend to that coupling and the gap in Theorem 4.2 is essential.","tokens_in":16880,"feed_emoji":"⚛️","tokens_out":5830,"duration_ms":60799,"temperature":0.7,"pith_summary":"This paper proves that, for a broad class of polaron Hamiltonians with an ultraviolet cut-off, and for the Fröhlich polaron at all couplings outside a presently unknown intermediate interval, the inverse effective mass equals the diffusion constant of the polaron path measure and is strictly positive. The equality is the functional-integral identity $(m_{\\mathrm{eff}})^{-1}=\\sigma^2$, which physics treatments had long assumed from second-moment heuristics. The proof combines the fibered spectral picture of the Hamiltonian with available central limit theorems for the weighted Brownian motion, and it yields rigorous finiteness of the effective mass in strong coupling. The paper also shows that a slightly stronger two-sided-pinning CLT would settle the long-standing conjecture $E(P)>E(0)$ for $P\\neq 0$.","feed_headline":"Polaron's inverse effective mass equals its diffusion constant","feed_subtitle":"A spectral proof ties the polaron's zero-momentum curvature to its path-measure diffusion constant, outside an intermediate coupling gap.","key_machinery":"The load-bearing object is the normalized characteristic function of the polaron path measure, $G_{0,0}(k,t)=\\langle\\Omega,e^{-tH(k)}\\Omega\\rangle/\\langle\\Omega,e^{-tH(0)}\\Omega\\rangle$, together with its CLT scaling limit $G_{0,0}(\\epsilon k,\\epsilon^{-2}t)\\to e^{-\\frac{1}{2}\\sigma^2|k|^2t}$. Through the fiber decomposition of the Hamiltonian, the same quantity is, by spectral calculus, a ground-state expectation of $e^{-\\epsilon^{-2}t(H(\\epsilon k)-E(0))}$; because $E(P)$ is real analytic and isolated near the origin, this expectation has a Gaussian limit whose variance is exactly $(\\partial^2_{|P|}E_r)(0)$, the inverse effective mass. Comparing the two Gaussian limits identifies the diffusion constant with the inverse effective mass.","core_discovery":"The central discovery is a rigorous derivation of $(m_{\\mathrm{eff}})^{-1}=\\sigma^2>0$: for polaron-type models satisfying Condition C (square-integrable rotation-invariant form factor, massive subadditive dispersion, arbitrary coupling $\\alpha\\ge 0$) and for the Fröhlich polaron for $\\alpha\\in[0,\\alpha_0)\\cup(\\alpha_1,\\infty)$ with $0<\\alpha_0<\\alpha_1<\\infty$, the curvature of the energy-momentum relation at zero momentum is the same positive number as the diffusion constant of the scaled polaron path measure. The proof inserts the CLT scaling into the normalized characteristic function $G_{0,0}(\\epsilon k,\\epsilon^{-2}t)$, expresses it through the fiber Hamiltonians $H(\\epsilon k)$, and lets $\\epsilon\\to0$. The spectral gap and real analyticity of $E(P)$ near zero force the Gaussian factor $e^{-\\frac{1}{2}tk^2(\\partial^2_{|P|}E_r)(0)}$, which must coincide with the CLT Gaussian $e^{-\\frac{1}{2}\\sigma^2k^2t}$. In the final section, a two-sided-pinning CLT is formulated, and the paper proves that such a CLT would imply that the global minimum of $E$ is unique and attained at $P=0$, hence $E(P)>E(0)$ for all $P\\neq 0$ when $d\\ge 2$.","pith_inferences":["The equality may well extend across the intermediate coupling gap: the paper's Conjecture 5.2 identifies exactly the missing CLT input that would close the interval.","The two-sided-pinning argument is not tied to quadratic dispersion or to the specific polaron Hamiltonian, so the same scheme could identify the effective mass at any global minimum of the energy-momentum relation in other translation-invariant quantum systems.","A numerical Monte Carlo evaluation of the diffusion constant for the Fröhlich path measure at an intermediate coupling, compared with a direct computation of $E''_r(0)$, would test whether the gap is a proof artefact or a genuine regime.","If the curvature $E''_r(0)$ vanished in the intermediate regime while $\\sigma^2>0$ remained positive, the usual definition of effective mass by inverse curvature would need to be revisited."],"forward_implications":["For every polaron-type model satisfying Condition C, the effective mass is finite at every coupling strength $\\alpha\\ge 0$.","For the Fröhlich polaron outside the intermediate coupling interval, the effective mass is finite and is given by $\\sigma^{-2}$, including in the strong-coupling regime where it is expected to diverge as $\\alpha\\to\\infty$.","Under Condition C, the diffusion constants obtained from different boundary conditions in the CLT coincide with each other and with the inverse effective mass.","If the two-sided-pinning CLT of Conjecture 5.2 holds, the energy-momentum relation has a unique global minimum at $P=0$ and satisfies $E(P)>E(0)$ for all $P\\neq 0$ in dimension $d\\ge 2$.","The CLT route yields spectral information about the bottom of the spectrum that direct functional-analytic methods have not so far provided."],"supporting_citations":[{"why":"Supplies the central limit theorem for the Fröhlich polaron path measure with strictly positive diffusion constant, for couplings outside the intermediate interval.","marker":"[16]"},{"why":"Supplies a CLT for general square-integrable coupling functions, giving the positive diffusion constant used for the UV-cutoff models at all $\\alpha$.","marker":"[18]"},{"why":"Provides the spectral properties of fiber Hamiltonians: isolated simple ground state, analyticity of the energy-momentum relation, and threshold analysis.","marker":"[14]"},{"why":"Establishes self-adjointness and existence of dressed one-electron states, and gives the Kato inequality underlying $E(0)\\le E(P)$.","marker":"[6]"},{"why":"Supplies nondegeneracy of ground states and norm-resolvent convergence of cut-off Hamiltonians used in the Fröhlich comparison.","marker":"[13]"},{"why":"Provides the original CLT for Gibbs measures relative to Brownian motion, the probabilistic template and stronger functional CLT that the paper compares with.","marker":"[2]"},{"why":"Contains the functional-integral framework and the conjectured identity $(m_{\\mathrm{eff}})^{-1}=\\sigma^2$ that the paper proves rigorously.","marker":"[22]"}],"fun_headline_variants":["Polaron mass-diffusion link proven rigorously","Inverse polaron mass equals diffusion constant","Polaron curvature matches diffusion constant","Mass-diffusion identity for polarons established"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole argument rests on the imported central limit theorem with a strictly positive diffusion constant for the polaron path measure; for the Fröhlich polaron that theorem is currently proved only outside an intermediate coupling interval, so if no such CLT holds there the equality is not established for those couplings.","fun_headline_variants_meta":{"raw":{"variants":["Polaron mass-diffusion link proven rigorously","Inverse polaron mass equals diffusion constant","Polaron curvature matches diffusion constant","Mass-diffusion identity for polarons established"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000205,"raw_usage":{"total_tokens":1399,"prompt_tokens":958,"completion_tokens":441,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":574,"completion_tokens_details":{"reasoning_tokens":384}},"tokens_in":574,"tokens_out":441,"duration_ms":5707,"temperature":1.0,"reasoning_tokens":384,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T14:12:46.661534+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute, for a single Fröhlich coupling inside the intermediate interval $(\\alpha_0,\\alpha_1)$, both the second derivative of the energy-momentum relation at $P=0$ and the diffusion constant of the weighted Brownian motion; if they differ, or if the CLT limit is non-Gaussian, the equality cannot extend to that coupling and the gap in Theorem 4.2 is essential.","supporting_citations":[{"cited_title":"Identification of the Polaron measure I: Fixed coupling regime and the central limit theorem for large times","cited_arxiv_id":"1802.05696","evidence_quote":"Supplies the central limit theorem for the Fröhlich polaron path measure with strictly positive diffusion constant, for couplings outside the intermediate interval."},{"cited_title":"Central limit theorem for Gibbs measures on path spaces including long range and singular interactions and homogenization of the stochastic heat equation","cited_arxiv_id":"1706.09345","evidence_quote":"Supplies a CLT for general square-integrable coupling functions, giving the positive diffusion constant used for the UV-cutoff models at all $\\alpha$."},{"cited_title":"Møller, The polaron revisited, Rev","cited_arxiv_id":null,"evidence_quote":"Provides the spectral properties of fiber Hamiltonians: isolated simple ground state, analyticity of the energy-momentum relation, and threshold analysis."},{"cited_title":"Fr¨ ohlich, Existence of dressed one electron states in a class of persistent models","cited_arxiv_id":null,"evidence_quote":"Establishes self-adjointness and existence of dressed one-electron states, and gives the Kato inequality underlying $E(0)\\le E(P)$."},{"cited_title":"Miyao, Nondegeneracy of ground states in nonrelativistic qu antum field theory","cited_arxiv_id":null,"evidence_quote":"Supplies nondegeneracy of ground states and norm-resolvent convergence of cut-off Hamiltonians used in the Fröhlich comparison."},{"cited_title":"Betz and H","cited_arxiv_id":null,"evidence_quote":"Provides the original CLT for Gibbs measures relative to Brownian motion, the probabilistic template and stronger functional CLT that the paper compares with."},{"cited_title":"Spohn, Effective mass of the polaron: a functional integral approach","cited_arxiv_id":null,"evidence_quote":"Contains the functional-integral framework and the conjectured identity $(m_{\\mathrm{eff}})^{-1}=\\sigma^2$ that the paper proves rigorously."}],"review_version":1}