{"id":"e808c274-490f-417c-822c-3fddec918dae","arxiv_id":"2507.12627","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"Quantum scattering states for the nonlinear Hartree equation converge, via Wigner transforms, to classical Vlasov scattering states in the semiclassical limit, with new uniform-in-Planck-constant dispersion estimates and a low-regularity Vlasov scattering theorem.","lead":"This paper proves that small quantum states for the nonlinear Hartree equation scatter with bounds independent of Planck's constant, and that their Wigner transforms converge to scattering states of the classical Vlasov equation as Planck's constant goes to zero.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The ⟨q−tp⟩-weighted a priori bound in Theorem 2.10(1) is not proven by the cited Lemma 5.5(5.7) (restricted to |t|≤1/√ℏ) and the shear identity used is inexact; however, this bound is not used in the central semiclassical-scattering argument, so the main claim stands.","rationale":"The reader's identified weakness—the unsupported ⟨q−tp⟩-weighted bound—is a genuine gap in the written proof of Theorem 2.10(1). My reading confirms that the proof of Proposition 6.1(2) relies on an inexact shear identity and on Lemma 5.5(5.7), whose |t|≤1/√ℏ restriction prevents a uniform-in-ℏ argument. However, the concern is not load-bearing for the central claim: the bound is not used in the derivation of the Vlasov limit (Proposition 6.2) or in the convergence of scattering states (Proposition 6.4). Those steps use only the L1 and ⟨p⟩-weighted bounds, which are properly justified, and the density bounds (6.2). Moreover, for each fixed t, the |t|≤1/√ℏ condition is eventually satisfied as ℏ_j→0, so a corrected argument could likely recover the pointwise-in-t bound; the statement as written, however, remains unproved. I therefore recommend keeping the reader's CONDITIONAL verdict: the paper should correct or remove the unproved bound, but the main theorems (2.2, 2.5, 2.10(2)(3), 2.14) appear sound. My agreement is partial because the reader framed the barrier as a fixed-time obstacle, while the more precise issue is the failure of the shear identity and the need for a separate uniform-in-t justification.","tokens_in":39701,"tokens_out":38627,"duration_ms":407619,"concrete_test":"Analytical check: for t=1, ℏ=1, take γ=|φ_{0,0}⟩⟨φ_{0,0}| and compute U(−1)Hus[γ] and Hus[U(1)^*γU(1)]; their covariance matrices differ (e.g., the (q,q) entries are 2 vs. 3), confirming the identity in Prop 6.1(2) is false. Then check whether the third bound in (6.1) can be proven directly: for each fixed t, use (5.9) along the sequence ℏ_j with |t|≤1/√ℏ_j and weak lower semicontinuity of the weighted L^r norm to obtain ∥⟨q−tp⟩^σ f(t)∥≤η0; if this succeeds, the theorem is correct but needs a revised proof instead of a flawed identity.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The weakest point is the proof of Theorem 2.10(1), specifically the uniform bound ∥⟨q−tp⟩^{σ}f(t)∥_{Ct(R;L^{r})} ≤ η0 with σ=(1+a+2ε)/2, r=3/(2−a−ε). Proposition 6.1(2) derives this by writing U(−t)Hus[γ^ℏ(t)] = Hus[U^ℏ(t)^*γ^ℏ(t)U^ℏ(t)] and applying Lemma 5.5(5.7)/(5.9), which is stated only for |t|≤1/√ℏ. Two problems arise. First, the equality is not exact: U(−t)(G*f)=((U(−t)G)*(U(−t)f)) by the change-of-variables formula for shears, whereas the proof uses U(−t)(G*f)=G*(U(−t)f); these differ unless U(−t)G=G, which fails for the Gaussian G_ℏ. Second, even accepting the equality, the cited estimate (5.7) is restricted to |t|≤1/√ℏ, so it cannot give a bound uniform over t∈R for each fixed ℏ. For the limiting function f(t) the obstruction is milder: for each fixed t, |t|≤1/√ℏ_j for j large, so a corrected weak-lower-semicontinuity argument would give the pointwise-in-t estimate; the C_t(R) statement and the uniform constant would still need a separate justification. Crucially, the third summand of (6.1) is not used in Proposition 6.2 (derivation of the Vlasov equation) or in Proposition 6.4 (convergence of scattering states); those proofs rely only on the L1 and ⟨p⟩-weighted bounds and the density bounds (6.2), which follow from (2.5) through the p-weighted Wigner estimates. Hence the gap, while real and requiring correction/removal in the statement, does not undermine the central commutation result Theorem 2.10(2)(3) or Corollary 2.14.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the nonlinear Hartree equation (1.1) in three dimensions with interaction w(x)=±|x|^{-a}, 1<a<5/3, uniformly in ℏ∈(0,1]. It proves global-in-time dispersion bounds and small-data scattering that are independent of ℏ (Theorem 2.2 and Corollary 2.5), then shows that for a sequence ℏ_j→0 the Wigner transforms of the quantum scattering states converge weakly to the scattering states of the corresponding Vlasov equation (Theorem 2.10). A corollary is small-data scattering for the Vlasov-Riesz system under a weighted L^r smallness condition with no Sobolev regularity (Corollary 2.14). The strategy combines a new uniform free Schrödinger dispersion estimate (Proposition 3.1), wave-operator bounds for perturbed flows (Proposition 3.4), a uniform bootstrap for the Hartree dynamics, and semiclassical compactness/weak-limit arguments in the Wigner/Husimi formalism.","tokens_in":40123,"tokens_out":46549,"duration_ms":498126,"significance":"The commutation of the semiclassical limit ℏ→0 with the scattering limits t→±∞ for the Hartree-to-Vlasov hierarchy is a genuinely new and natural result; previous semiclassical limits were mostly on finite time intervals, and previous Vlasov scattering results required regularity of initial data. The uniform-in-ℏ dispersion estimate and the wave-operator treatment of the 1/ℏ factor in the Duhamel formula are valuable technical contributions, and the paper is careful about the admissible exponent range 1<a<5/3 and about the non-uniqueness issue for Vlasov solutions. The result is conditional on a few local proof repairs described below, but the overall architecture is coherent and the main semiclassical scattering conclusion appears defensible.","major_comments":[{"comment":"The proof of the a priori bound (6.1) is incomplete. The displayed estimate (6.4) controls only the L2 norm of the p-weighted regularized object, while (6.1) claims an L^r bound with r=3/(2−a−ε)>2; the Banach-Alaoglu passage from L2 to L^r is not valid. The ⟨q−tp⟩^{1+a+2ε} term in (6.1) is equivalent to a ⟨q⟩-moment of g(t), but no proof is given: Lemma 5.5(5.7)/(5.9) holds only for |t|≤1/√ℏ and therefore cannot give a C_t(R) bound for fixed ℏ. A repair is available (apply (5.9) with α=r_ε for each fixed t and then use weak lower semicontinuity/Fatou), but it is not what the manuscript does. Since Propositions 6.2 and 6.4 use only the L1 and ⟨p⟩-weighted L^r bounds, the central commutation result is not invalidated, but Theorem 2.10(1) as stated is overclaimed.","section":"§6.1, Proposition 6.1(2), Eqs. (6.1) and (6.4)"},{"comment":"The displayed identity U(−t)(G_h∗Wig_h[γ])=G_h∗U(−t)Wig_h[γ] used to identify the weak limit of U(−t)Hus_h[γ] and to prove (6.4) is false: U(−t) is the shear (q,p)↦(q−tp,p), not a translation, and the Gaussian G_h is not invariant under it. Explicitly, the left side at (q,p) is ∫G_h(y)Wig_h[γ](q−tp−y_q,p−y_p)dy, whereas the right side is ∫G_h(y)Wig_h[γ](q−y_q−t(p−y_p),p−y_p)dy. The p-weighted bound can be recovered directly because U(−t) commutes with multiplication by ⟨p⟩, and the nonnegativity of g(t) follows directly from the nonnegativity of U(−t)Hus_h[γ]; the proof nevertheless needs to be rewritten, not just polished.","section":"§6.1, proof of Proposition 6.1(2), identity for U(−t)(G_h∗Wig_h[γ])"},{"comment":"The L1 component of (6.1) is not established by the argument given. The boundedness of ⟨p⟩^{σ}U(−t)Hus in L2 does not imply L1 for the weak limit; however, since U(−t)Hus[γ] is nonnegative and its L1 norm equals ∥γ∥_{L1_h}≤η0, a Fatou argument after extracting an a.e. convergent subsequence would give ∥g(t)∥_{L1}≤η0. This repair should be written out because the L1 bound of ρ_f is used in Lemma 6.3 and Proposition 6.2.","section":"§6.1, Proposition 6.1(2), L1 component of (6.1)"}],"minor_comments":[{"comment":"The text says the semi-classical limit of quantum scattering states is '(Theorem 2.2)'; this should read '(Theorem 2.10)'.","section":"§2.4, last sentence"},{"comment":"The right-hand side is singular at t=0; the estimate should be stated for t≠0 or with ⟨t⟩^{-3/r'} in place of |t|^{-3/r'}.","section":"Proposition 3.1, Eq. (3.2)"},{"comment":"The equicontinuity argument is written only for t2≥t1; the negative-time case should be stated explicitly, although it follows by symmetry.","section":"§6.1, proof of Proposition 6.1(1)"}],"recommendation":"major_revision","confidential_remarks":"The paper is worth publishing after revision. The main semiclassical-scattering theorem is plausible and the uniform dispersion part is solid; the problems are concentrated in the a priori bound part of Proposition 6.1, where the proof is overclaimed but locally repairable. I would ask the authors to either prove (6.1) in full or remove the ⟨q−tp⟩ component and the unnecessarily strong L1/p-L^r assertions that are not needed for Theorem 2.10(2)(3), and to rewrite the Husimi-shear identity argument. There is no circularity concern: quantum scattering is proven independently of Vlasov scattering."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"First thing you should know: this is a strong paper, and the main claim survives a close look. It proves, for the first time, that for short-range Hartree interactions the ℏ→0 limit and the t→±∞ scattering limit commute—Wigner transforms of quantum scattering states converge to classical Vlasov scattering states. It also contributes uniform-in-ℏ dispersion estimates for inverse-power-law potentials with 1<a<5/3, and as a byproduct a Vlasov-Riesz scattering result that does not assume regularity of the initial datum. The machinery is nontrivial: the wave-operator formulation, the Z^σ potential class, and the weak compactness argument in Proposition 6.1 are all worked through in detail. The paper is honest about limitations (a<5/3, small data, no uniqueness in Corollary 2.14).\n\nThe soft spot is real but smaller than the abstract makes it look. Theorem 2.10(1) claims a uniform ⟨q−tp⟩-weighted bound for the limit f(t). The proof in Proposition 6.1(2) relies on the identity U(−t)(Gℏ ∗ f) = Gℏ ∗ U(−t)f, which is false: for the free transport flow the correct identity is U(−t)(G∗f)=(U(−t)G)∗(U(−t)f), and U(−t)Gℏ ≠ Gℏ. The intended alternative route through Lemma 5.5(5.7) is only valid on |t|≤1/√ℏ, so it cannot produce a bound uniform in t. This is a genuine gap in the statement of Theorem 2.10(1). However, I checked the uses: the ⟨q−tp⟩ weight is not used in Proposition 6.2 (derivation of the Vlasov equation) or Proposition 6.4 (convergence of scattering states). Those proofs use the L1 and ⟨p⟩-weighted bounds and the density bounds, which are solid. So the central result is not affected; the authors should either repair or remove that item.\n\nThe citation pattern looks fair; the overlap with Huang–Kwon and Choi–Ha is acknowledged and the novelty claims don't overreach. If you send this to a referee, the referee should be told to focus on Prop 6.1(2), but the paper deserves a serious review. I'd take it.","headline":"Main semiclassical-scattering theorem is new and likely correct; one unproved weighted bound in Theorem 2.10(1) is a real gap but does not affect the central argument.","tokens_in":40787,"tokens_out":4935,"would_cite":true,"duration_ms":51872,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q55","35Q83","81S30","35B40"],"pacs":[],"model":"deepseek-v4-flash","headline":"For short-range Hartree dynamics, quantum scattering states converge to classical Vlasov scattering states as Planck's constant goes to zero.","keywords":["nonlinear Hartree equation","Vlasov equation","semiclassical limit","Wigner transform","scattering theory","uniform dispersion estimate","inverse power-law potential","Schatten norm"],"falsifier":"Take the Toeplitz quantization of a compactly supported $f_0$ satisfying (2.11) and compute, along a sequence of times $t_j\\sim1/\\sqrt{\\hbar_j}$ as $\\hbar_j\\to0$, the weighted Husimi norm $\\|\\langle q-tp\\rangle^{(1+a+2\\epsilon)/2}\\mathrm{Hus}_{\\hbar_j}[U^{\\hbar_j}(t_j)\\gamma_0^{\\hbar_j}U^{\\hbar_j}(t_j)^*]\\|_{L^{3/(2-a-\\epsilon)}_{q,p}}$. Lemma 5.5 controls this only up to the borderline $|t|\\le1/\\sqrt{\\hbar}$, so if this norm is unbounded on such a sequence, the global a priori bound in Theorem 2.10(1) fails, and with it the transfer of scattering states.","tokens_in":39392,"feed_emoji":"⚛️","tokens_out":20209,"duration_ms":197868,"temperature":0.7,"pith_summary":"This paper establishes that the long-time scattering behavior of the nonlinear Hartree equation survives the classical limit. For small initial data and the short-range interaction $w(x)=\\pm|x|^{-a}$ with $1<a<5/3$, it proves global dispersion and weighted bounds uniform in $\\hbar\\in(0,1]$, and then shows that as $\\hbar\\to0$ the Wigner transforms of the quantum scattering states converge weakly to the scattering states of the Vlasov equation. In this way, the semiclassical limit and the scattering limit $t\\to\\pm\\infty$ commute for these mean-field models. A byproduct is small-data scattering for the Vlasov equation with no regularity assumption on the initial distribution. The payoff is a comparison of two fundamental mean-field descriptions of many-particle systems at the level of their asymptotic states, not just on finite time intervals.","feed_headline":"Quantum scattering states become classical Vlasov ones as ℏ→0","feed_subtitle":"Uniform-in-ℏ dispersion lets the semiclassical limit commute with scattering; Vlasov scattering then needs no regularity.","key_machinery":"The load-bearing object is a uniform-in-$\\hbar$ dispersion estimate for the free Schrodinger flow (Proposition 3.1): for $1\\le r\\le\\infty$ and $\\sigma>3/(2r')$, $\\|\\rho^{\\hbar}_{U^{\\hbar}(t)\\gamma_0U^{\\hbar}(t)^*}\\|_{L^r_x}\\le C_{\\sigma,r}\\langle t\\rangle^{-3/r'}\\|\\langle x\\rangle^{\\sigma}\\gamma_0\\langle x\\rangle^{\\sigma}\\|_{L^r_{\\hbar}}$, with a parallel bound using $\\langle \\hbar\\nabla\\rangle^{\\sigma}$ and a constant independent of $\\hbar$. This estimate is extended to perturbed flows (Proposition 3.4) through the wave operator $W^{\\hbar}_V(t,0)=U^{\\hbar}(t)^*U^{\\hbar}_V(t,0)$, whose boundedness on weighted Schatten spaces (Lemma 3.5) is proved with the vector field $J^{\\hbar}_t=x+it\\hbar\\nabla$ and its commutator identities. Potentials are controlled in the class $Z^\\sigma(I)$ with $\\|\\langle t\\rangle V\\|_{L^1_t(\\dot W^{1,\\infty}\\cap\\dot W^{\\sigma,3/(\\sigma-1)})}<\\infty$. Writing the nonlinear solution as $\\gamma^{\\hbar}(t)=U^{\\hbar}_{\\Phi}(t,0)\\gamma_0^{\\hbar}U^{\\hbar}_{\\Phi}(t,0)^*$ absorbs the large $1/\\hbar$ factor in the Duhamel term; the Wigner and Husimi transforms and Toeplitz quantization then carry these operator bounds to phase space.","core_discovery":"The central claim is Theorem 2.10: under the smallness hypothesis (2.2), for any sequence $\\hbar_j\\to0$ whose Wigner-transformed initial data $f_0^{\\hbar_j}=\\mathrm{Wig}_{\\hbar_j}[\\gamma_0^{\\hbar_j}]$ converge weakly in $L^2_{q,p}$ to $f_0$, the Wigner transforms of the quantum scattering states $\\gamma_\\pm^{\\hbar_j}$ converge weakly in $L^2_{q,p}$ to $f_\\pm$, where $f(t)$ is a global scattering solution of the Vlasov equation (1.4) with initial data $f_0$ and scattering states $f_\\pm$. The proof first establishes (Theorem 2.2) global-in-time decay bounds for the Hartree density and mean-field potential with constants independent of $\\hbar$, which yield uniform small-data scattering in $L^1_\\hbar$ (Corollary 2.5). Passing to the limit, any weak limit of the Wigner-transformed quantum flow is shown to be a global scattering solution of the Vlasov equation, and the quantum and classical scattering maps coincide. Corollary 2.14 then derives small-data Vlasov scattering with initial data merely in $L^1_{q,p}\\cap L^{3/(2-a-\\epsilon),1+a+2\\epsilon}_{q,p}$.","pith_inferences":["A natural next step, not taken in the paper, is the borderline $a=1$ case: modified scattering states for Hartree and Vlasov-Poisson should match in the semiclassical limit, with modified phases rather than free scattering states.","The $a<5/3$ restriction looks technical; an endpoint refinement of the Hardy-Littlewood-Sobolev step could extend the same uniform argument to more singular potentials.","Since Theorem 2.10 is weak convergence, quantifying the rate of convergence with the available uniform bounds is a plausible strengthening not present in the paper.","Corollary 2.14 gives existence without uniqueness; adding a density bound for the constructed solution could select a unique Vlasov scattering solution in the same small-data class."],"forward_implications":["The semiclassical limit and the scattering limit commute: starting from quantum data, taking $\\hbar\\to0$ after scattering gives the same classical Vlasov scattering states as taking the scattering limit after $\\hbar\\to0$.","Small-data Vlasov scattering holds without regularity assumptions on the initial data, requiring only $L^1_{q,p}\\cap L^{3/(2-a-\\epsilon),1+a+2\\epsilon}_{q,p}$ smallness.","Small-data Hartree scattering has smallness conditions and decay bounds independent of $\\hbar$, so the classical limit is not obstructed by any finite Planck scale.","Singular inverse power-law interactions with $1<a<5/3$ are allowed in the quantum-to-classical scattering correspondence."],"supporting_citations":[{"why":"Supplies the Wigner transform, Weyl quantization, and the weak-convergence framework that converts operator dynamics into phase-space dynamics.","marker":"[47]"},{"why":"Its Lemma 4 underlies the free-flow dispersion estimate (Proposition 3.1), the starting point of the uniform-in-Planck decay.","marker":"[44]"},{"why":"Defines the semi-classically scaled Schatten norms and provides the Toeplitz and Husimi boundedness used for phase-space a priori bounds.","marker":"[42]"},{"why":"Supplies the fractional Leibniz rule used in the proof of the wave-operator boundedness (Lemma 3.5).","marker":"[51]"},{"why":"Establishes fixed-Planck small-data scattering for the nonlinear Hartree equation, which the paper extends to bounds uniform in the Planck constant.","marker":"[55]"},{"why":"Proves small-data scattering for the classical Vlasov equation with short-range forces, the result Corollary 2.14 recovers without regularity assumptions.","marker":"[16]"}],"fun_headline_variants":["Hartree scattering states become Vlasov as ℏ→0","Uniform ℏ dispersion gives Vlasov scattering for small data","Semiclassical limit commutes with scattering in Hartree","Quantum to classical scattering without regularity conditions","Scattering maps coincide in ℏ→0 limit for Hartree"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the interaction is exactly $\\pm|x|^{-a}$ with $1<a<5/3$: $a>1$ makes the scattering integral converge and $a<5/3$ is needed for the Hardy-Littlewood-Sobolev step in Lemma 4.5; in addition, the $\\langle q-tp\\rangle$-weighted quantum bound is only justified for $|t|\\le1/\\sqrt{\\hbar}$, so the far-time part of the semiclassical limit is where the argument is least protected.","fun_headline_variants_meta":{"raw":{"variants":["Hartree scattering states become Vlasov as ℏ→0","Uniform ℏ dispersion gives Vlasov scattering for small data","Semiclassical limit commutes with scattering in Hartree","Quantum to classical scattering without regularity conditions","Scattering maps coincide in ℏ→0 limit for Hartree"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000306,"raw_usage":{"total_tokens":1783,"prompt_tokens":1002,"completion_tokens":781,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":618,"completion_tokens_details":{"reasoning_tokens":698}},"tokens_in":618,"tokens_out":781,"duration_ms":8880,"temperature":1.0,"reasoning_tokens":698,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T16:45:22.174787+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take the Toeplitz quantization of a compactly supported $f_0$ satisfying (2.11) and compute, along a sequence of times $t_j\\sim1/\\sqrt{\\hbar_j}$ as $\\hbar_j\\to0$, the weighted Husimi norm $\\|\\langle q-tp\\rangle^{(1+a+2\\epsilon)/2}\\mathrm{Hus}_{\\hbar_j}[U^{\\hbar_j}(t_j)\\gamma_0^{\\hbar_j}U^{\\hbar_j}(t_j)^*]\\|_{L^{3/(2-a-\\epsilon)}_{q,p}}$. Lemma 5.5 controls this only up to the borderline $|t|\\le1/\\sqrt{\\hbar}$, so if this norm is unbounded on such a sequence, the global a priori bound in Theorem 2.10(1) fails, and with it the transfer of scattering states.","supporting_citations":[{"cited_title":"Lewin and J","cited_arxiv_id":null,"evidence_quote":"Its Lemma 4 underlies the free-flow dispersion estimate (Proposition 3.1), the starting point of the uniform-in-Planck decay."},{"cited_title":"Nahas and G","cited_arxiv_id":null,"evidence_quote":"Supplies the fractional Leibniz rule used in the proof of the wave-operator boundedness (Lemma 3.5)."},{"cited_title":"Choi and S.-Y","cited_arxiv_id":null,"evidence_quote":"Proves small-data scattering for the classical Vlasov equation with short-range forces, the result Corollary 2.14 recovers without regularity assumptions."}],"review_version":1}