{"id":"a6df6385-d54e-4643-8bbd-306d6aced9b3","arxiv_id":"2607.21968","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Solutions of the nonlocal linear transport equation ∂_t u^ε + B·∇(η_ε*u^ε)=0 converge to the local transport equation ∂_t u + B·∇u=0 as ε→0 for measure initial data and in arbitrary dimension.","lead":"This math paper proves that a nonlocal version of the linear transport equation converges to the standard local transport equation as the nonlocal smoothing is removed. The result is a rigorous justification of a limit that is often assumed in models of traffic flow and kinetic theory, and it holds for measure initial data and in arbitrary dimension.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1.3 is stated as strong L2([0,T];H^{-s}) convergence, but the proof in Section 4 establishes only subsequential weak convergence; the final uniqueness argument cannot upgrade weak convergence to the norm convergence claimed.","rationale":"The reader's main concern about the convolution convention in (2.1) does not appear to me to be the strongest weakness. The manuscript defines \\tilde\\eta(x)=\\eta(-x) just before Definition 2.2 (this is the only sensible reading of the displayed definition), and the weak form with \\tilde\\eta*(B\\varphi) is exactly the adjoint of the flux B\\cdot\\nabla(\\eta*u); the appearance of \\hat\\eta(-\\varepsilon\\xi) in the Fourier formula (3.4) is consistent with this convention. So the sign of B in the solved equation matches (1.1). The genuine issue is in Theorem 1.3. The proof in Section 4 obtains a weak limit by Lemma 2.5 and then shows the limit solves the local equation; the final sentence about uniqueness of the limit is the standard criterion for weak convergence of the whole family, not for convergence in norm. Since the theorem states a norm limit in L^2([0,T];H^{-s}), the burden is to control \\|u^\\varepsilon-u\\| in that norm. No such control appears: there is no estimate on the difference, no compactness in L^2H^{-s}, and no Fourier dominated-convergence argument like the one used successfully in Theorems 1.1 and 1.2. Positivity and the uniform total-variation estimate (4.3) might allow a repair, but the proof as written does not supply it. Thus the main claim of Theorem 1.3 is unproven as stated, and the paper should either complete that argument or weaken the theorem's conclusion.","tokens_in":19644,"tokens_out":25615,"duration_ms":232993,"concrete_test":"Inspect the final paragraph of Section 4 and test whether replacing the stated strong convergence by weak convergence in L^2([0,T];H^{-s}) makes every displayed step correct. If the proof contains no estimate of \\|u^\\varepsilon-u\\|_{L^2([0,T];H^{-s})} and no compactness beyond Lemma 2.5, then the theorem as stated is not established; the necessary repair is either a tightness/DCT argument using the uniform total-variation bound (4.3) or a weakened statement.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim of Theorem 1.3 is that \\|u^\\varepsilon-u\\|_{L^2([0,T];H^{-s}(\\mathbb{R}))}\\to 0. The proof, however, only shows: (i) u^\\varepsilon is bounded in L^\\infty([0,T];H^{-s}) via (4.3); (ii) by Lemma 2.5 any sequence \\varepsilon_k has a weakly convergent subsequence u^{\\varepsilon_k}\\rightharpoonup u in L^2([0,T];H^{-s}); (iii) passing to the limit in the weak formulation shows u solves (1.2); (iv) uniqueness of (1.2) forces every weakly convergent subsequence to have the same weak limit u. This is exactly the standard argument for weak convergence of the whole family, and it never produces a bound on \\|u^\\varepsilon-u\\|. There is no estimate of the H^{-s} norm of the difference, no compactness in L^2([0,T];H^{-s}) (Lemma 2.5 is only weak compactness), and no dominated-convergence argument as in Theorems 1.1 and 1.2. Since weak convergence in a Hilbert space does not imply norm convergence, the displayed conclusion of Theorem 1.3 does not follow from the proof as written. The intended fix might be to weaken the theorem to weak convergence or to add a tightness/positivity argument showing u^\\varepsilon(t)\\to u(t) pointwise in Fourier with an integrable majorant; neither is present. This is a load-bearing gap because Theorem 1.3 is one of the three main results advertised in the introduction.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript introduces a nonlocal linear transport equation ∂_t u^ε + B·∇_x(η_ε∗u^ε)=0 with measure initial data, develops a well-posedness theory for its distributional solutions, and proves convergence to the local transport equation ∂_t u + B·∇_x u = 0 as ε→0. Three regimes are treated: constant vector field B in arbitrary dimension (Theorem 1.1), free transport B(x,v)=(v,0) (Theorem 1.2), and one-dimensional non-positive B with anisotropic kernel (Theorem 1.3). The proofs use Fourier representations and a weak-compactness argument. The claimed convergence is in H^{-s} uniformly in time for Theorems 1.1–1.2 and in L^2([0,T];H^{-s}) for Theorem 1.3.","tokens_in":20141,"tokens_out":10639,"duration_ms":89421,"significance":"The problems addressed are natural and, if established, the results would extend the nonlocal-to-local literature to arbitrary dimension, measure initial data, and general kernels, going beyond the one-dimensional results available for Burgers-type equations. The paper offers explicit Fourier formulas, a positivity lemma for anisotropic kernels, and a well-posedness framework for distributional solutions. However, the sign inconsistency identified below affects the well-posedness theory and the main convergence theorem, and the proof of Theorem 1.3 does not establish the stated mode of convergence. As written, the central claims are not supported.","major_comments":[{"comment":"The paper never specifies the convolution convention, and this leads to a systematic sign error. Under the standard convolution (η∗f)(x)=∫η(x−y)f(y)dy, the identity stated in Remark 2.3, ∫(η∗f)g=∫f(η∗g), is false unless η is even; the correct identity is ∫(η∗f)g=∫f(η̃∗g) with η̃(x)=η(−x). Consequently, the weak form (2.1), which contains +div_x(η∗(Bφ)), is the adjoint of the operator u↦−B·∇_x(η∗u), not of u↦B·∇_x(η∗u). Consistently, the integral formulation (2.2) is u(t)=u_0+∫_0^t B·∇_x(η∗u)dτ, which is the sign-flipped version of (1.1). The Fourier multiplier bη(−εξ) in Eq. (3.4) confirms that the equation being solved is ∂_t u = B·∇_x(η∗u), not (1.1). Thus Theorem 1.1 and the well-posedness theorems in Section 2, as written, concern a different equation. This is load-bearing and must be fixed by adopting a consistent convention and replacing η by η̃ in (2.1) (or changing the sign in (2.2)), with corresponding adjustments in (3.4) and in the proofs of Theorems 1.1–1.3.","section":"Definition 2.2, Eq. (2.1), Eq. (2.2), and Eq. (3.4)"},{"comment":"Theorem 1.3 claims strong convergence ∥u^ε−u∥_{L^2([0,T];H^{-s})}→0, but the proof only establishes: (i) uniform boundedness of {u^ε} in L^∞([0,T];H^{-s}) via (4.3); (ii) existence of weakly convergent subsequences in L^2([0,T];H^{-s}) by Lemma 2.5; (iii) that any weak limit solves (1.2); and (iv) uniqueness of the local solution, forcing all subsequential weak limits to coincide. This is exactly the standard argument for weak convergence of the whole family, and it gives no control on ∥u^ε−u∥. Weak convergence in a Hilbert space does not imply norm convergence, and no compensating compactness or Fourier-domain dominated-convergence estimate is supplied. Therefore the stated conclusion of Theorem 1.3 does not follow from the proof. The theorem must either be weakened to weak convergence or supplemented with an additional estimate proving strong convergence.","section":"Section 4, proof of Theorem 1.3"}],"minor_comments":[{"comment":"The reference to 'the existence proof in Theorem 1.1' should presumably be to Theorem 2.6, since Remark 2.7 is about the regularized approximation used in the well-posedness proof.","section":"Remark 2.7"},{"comment":"The assumption \\widehat{u_0}(ξ,ζ)≠0 for all (ξ,ζ) is very restrictive and is not discussed; since it is used only to take a logarithm of the Fourier transform, the manuscript should either justify that this is natural for the intended applications or relax it.","section":"Theorem 1.2"},{"comment":"The statement 'motivated by the identity ∫(η∗f)g = ∫f(η∗g)' is incorrect for general η under the standard convolution convention; this is not only a matter of presentation because it is the source of the sign error in the weak form, and the text should be corrected together with the convention.","section":"Remark 2.3"}],"recommendation":"major_revision","confidential_remarks":"The sign inconsistency and the strong-versus-weak gap in Theorem 1.3 are substantial, but both appear repairable within the manuscript's scope: the sign issue requires a consistent convolution convention and corresponding changes in the weak form and Fourier formulas, while Theorem 1.3 needs either a weakened statement or an additional argument. The novelty claim in the introduction is somewhat overstated given the existing works cited in [4] and [16], but this is not a blocking issue. I recommend major revision rather than rejection because the overall approach and the Fourier-based estimates are sound in spirit."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The key takeaway: this is a new and mostly sound contribution to the nonlocal-to-local limit, but the manuscript has a sign/convention error in the distributional formulation and a gap between the statement and proof of Theorem 1.3.\n\nWhat is genuinely new: the paper proves nonlocal-to-local limits for linear transport with measure initial data, in arbitrary dimension for constant and free transport, and for general BV kernels in the constant-velocity case. The well-posedness theory for distributional solutions with measure data is a real service. The Fourier-based proofs are standard but clean, and the nonvanishing-Fourier assumption is stated openly. The literature review is accurate and current; the citation pattern is fine.\n\nSoft spots, in proportion. First, Definition 2.2 and Remark 2.3 have a real flaw. The identity invoked, ∫(η*f)g = ∫ f(η*g), is false; the reflected kernel η(-x) belongs on the right. As written, (2.1) is the weak form of ∂_t u + B·∇(η~*u)=0, not of (1.1). The later Fourier formula (3.4) uses η̂(-εξ), which matches the reflected version. So Theorem 1.1 currently proves convergence for the equation with the reflected kernel, which differs from (1.1) for non-even η. Fix: state the convolution convention and replace η by η~ consistently in (2.1)–(3.4).\n\nSecond, Theorem 1.3's conclusion, strong convergence in L²([0,T];H^{-s}), is not established by its proof. The proof extracts a weakly convergent subsequence, shows the limit solves (1.2), and invokes uniqueness. That is the textbook recipe for weak convergence of the family, not norm convergence. No compactness or direct estimate for u^ε−u is supplied. Either weaken the theorem or add a tightness argument.\n\nMinor: the nonvanishing Fourier assumption in Theorems 1.2 and 2.11 excludes initial data whose Fourier transform has zeros, which is restrictive and should be flagged as such.\n\nFor people working on nonlocal-to-local limits or nonlocal transport, this is a useful reference after fixes. The central claims are plausible and the core technique is reusable. The paper deserves a serious referee, but it needs major revision before it is citable as stated.\n\nMy recommendation: send to peer review, and require the convention/sign fix and the Theorem 1.3 repair in the report.","headline":"New and mostly sound results on nonlocal-to-local limits for linear transport with measures, but a sign/convention error in the weak form and a strong-convergence gap in Theorem 1.3 need fixing before this is citable.","tokens_in":20448,"tokens_out":6517,"would_cite":false,"duration_ms":53130,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35B25","35B40","35D30","35L45","35R09"],"pacs":[],"model":"deepseek-v4-flash","headline":"Nonlocal linear transport equations converge to their local limits even for signed measure initial data.","keywords":["nonlocal-to-local limit","linear transport equation","measure initial data","distributional solutions","Fourier transform","anisotropic kernel","negative Sobolev space","free transport"],"falsifier":"Take $d=1$, $B=1$, an asymmetric kernel such as $\\eta=\\mathbf{1}_{[0,1]}$, and $u_0=\\delta_0$. Decide which equation Definition 2.2 is the adjoint of by computing $\\langle\\partial_x(\\eta*(B\\varphi)),u^\\varepsilon\\rangle$ against a classical solution of (1.1); if the pairing does not vanish, the solution concept corresponds to the reflected kernel or the opposite sign of $B$, settling whether Theorem 1.1 applies to the equation as printed.","tokens_in":19478,"feed_emoji":"","tokens_out":18860,"duration_ms":149417,"temperature":0.7,"pith_summary":"The paper introduces a nonlocal version of the linear transport equation, $\\partial_t u^\\varepsilon + B\\cdot\\nabla_x(\\eta_\\varepsilon*u^\\varepsilon)=0$, where $\\eta_\\varepsilon$ is a scaled kernel of unit mass, and asks whether its distributional solutions converge as $\\varepsilon\\to0$ to the solution of the local transport equation $\\partial_t u+B\\cdot\\nabla_x u=0$. It proves convergence in the negative-order Sobolev space $H^{-s}$ (a norm strong enough to measure signed finite Radon measures) for constant velocity fields in any dimension, for free transport $B(x,v)=(v,0)$ in any dimension, and for arbitrary non-positive velocity fields in one dimension when the kernel is anisotropic and the initial data is a nonnegative measure. The paper also develops a well-posedness theory for distributional solutions of the nonlocal equation with measure initial data, which makes these limit statements meaningful. The limit is worth caring about because it holds without sign restrictions on the data in the main cases, and because the constant- and free-transport proofs work in arbitrary dimension for a fairly general class of kernels.","feed_headline":"Convergence holds: nonlocal transport reaches its local limit","feed_subtitle":"The proof works for signed measure data in any dimension, with a one-dimensional anisotropic case.","key_machinery":"The machinery has three pieces. First, a distributional solution concept for (1.1) defined by pairing against test functions through $\\langle\\partial_\\tau\\varphi,u\\rangle+\\langle\\operatorname{div}_x(\\eta*(B\\varphi)),u\\rangle$, which avoids forming $\\eta*u$ when $u$ is a measure. Second, the Fourier transform: for constant and linear $B$, the transformed solution solves an explicit first-order transport equation in Fourier variables, yielding the formula above; the requirement that $\\eta$ be even in Theorem 1.2 makes $\\widehat{\\eta}$ real-valued, which is what lets the Fourier-side well-posedness estimate close. Third, for the one-dimensional anisotropic case, a positivity-preservation lemma for regularized solutions, obtained by testing against sign and using the one-sided monotone structure of the kernel; the even/odd decomposition of $\\eta$ then lets the nonlocal term pass to the local limit by dominated convergence.","core_discovery":"The central claim, stated in Theorems 1.1-1.3, is that the nonlocal equation (1.1) has a unique distributional solution $u^\\varepsilon\\in L^\\infty([0,T];H^{-s})$ for $u_0\\in H^{-s}\\cap\\mathcal{M}$, and that as $\\varepsilon\\to0$ this solution converges to the unique distributional solution of the local equation (1.2) in $H^{-s}$. For constant $B$ the convergence is uniform on $[0,T]$; for free transport it is also uniform on $[0,T]$; for one-dimensional non-positive $B$ it is in $L^2([0,T];H^{-s})$. In the constant and free-transport cases the proof identifies the limit explicitly: the Fourier transform of the solution is $\\widehat{u^\\varepsilon}(t,\\xi)=e^{-itB\\cdot\\xi\\,\\widehat{\\eta}(-\\varepsilon\\xi)}\\widehat{u_0}(\\xi)$, which visibly converges to $\\widehat{u}(t,\\xi)=e^{-itB\\cdot\\xi}\\widehat{u_0}(\\xi)$ as $\\varepsilon\\to0$. The one-dimensional result instead uses a weak-compactness argument together with a splitting of the kernel into even and odd parts, exploiting the anisotropy of $\\eta$ to preserve positivity of the approximating solutions.","pith_inferences":["Inference: with the standard convolution convention, the pairing in Definition 2.2 is the adjoint of the reflected-kernel operator $B\\cdot\\nabla_x(\\tilde\\eta*u)$ rather than $B\\cdot\\nabla_x(\\eta*u)$; since the paper never states which convolution order it uses, a reader applying Theorem 1.1 to a concrete asymmetric kernel should first verify which nonlocal equation is being solved. The local limit","Inference: the explicit Fourier formula suggests that convergence rates can be read off from the decay of $1-\\widehat{\\eta}(\\varepsilon\\xi)$ and from the Sobolev regularity of $u_0$; the paper proves only qualitative convergence, so a quantitative rate is a natural next step rather than a result in the text.","Inference: the one-dimensional argument's positivity step uses only the one-sided, monotone structure of the kernel, a mechanism close to the entropy arguments used for nonlocal conservation laws, so the technique may transfer to Burgers-type singular limits when the velocity is non-positive."],"forward_implications":["Constant-transport solutions converge uniformly on $[0,T]$ in $H^{-s}$ for any dimension, for any $\\eta\\in BV$ with integral one and either real-valued or having nonvanishing real Fourier transform, and for any signed finite measure initial data.","Free-transport solutions converge uniformly on $[0,T]$ in $H^{-s}$ for any dimension when the kernel is even and Schwartz and the initial measure has nonvanishing Fourier transform.","In one dimension, any non-positive smooth enough $B$ is allowed if the kernel is one-sided and monotone and the initial data is a nonnegative measure; the limit holds in $L^2([0,T];H^{-s})$.","The well-posedness theorems provide existence and uniqueness of distributional solutions for (1.1) both for bounded Lipschitz $B$ and for the linear-growth free-transport field $B(x,v)=(v,0)$.","Because the limit is proven on the Fourier side, the same arguments give uniform-in-time control of the difference $u^\\varepsilon-u$ in $H^{-s}$, which is stronger than a mere weak-compactness passage in the constant and free-transport cases."],"supporting_citations":[{"why":"Supplies the approximation of monotone BV kernels used in the positivity-preservation proof of Lemma 4.1.","marker":"[8]"},{"why":"The prior higher-dimensional nonlocal-to-local result for viscous conservation laws, which the paper's non-viscous arbitrary-dimension result extends.","marker":"[5]"},{"why":"The prior derivation of a one-dimensional linear transport equation coupled to Burgers, the problem this paper generalizes.","marker":"[4]"},{"why":"A kernel-symmetry assumption that Theorems 1.1-1.2 remove; used as a comparison baseline.","marker":"[15]"},{"why":"Another symmetry-based kernel condition invoked to frame the generality of the new results.","marker":"[21]"}],"fun_headline_variants":["Nonlocal transport reaches local limit for measure data","Uniform convergence for nonlocal transport with measures","Nonlocal-to-local limit proven for signed measure data","Transport equations: nonlocal limit matches local solution","Measure initial data: nonlocal transport converges locally"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof treats the nonlocal term as if one specific convolution order were in force, and the paper never says which order that is; if it is the standard one, the theorems solve the equation with the opposite sign of the velocity field, not the equation printed in (1.1).","fun_headline_variants_meta":{"raw":{"variants":["Nonlocal transport reaches local limit for measure data","Uniform convergence for nonlocal transport with measures","Nonlocal-to-local limit proven for signed measure data","Transport equations: nonlocal limit matches local solution","Measure initial data: nonlocal transport converges locally"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000248,"raw_usage":{"total_tokens":1506,"prompt_tokens":864,"completion_tokens":642,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":480,"completion_tokens_details":{"reasoning_tokens":585}},"tokens_in":480,"tokens_out":642,"duration_ms":5968,"temperature":1.0,"reasoning_tokens":585,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T15:30:02.896996+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take $d=1$, $B=1$, an asymmetric kernel such as $\\eta=\\mathbf{1}_{[0,1]}$, and $u_0=\\delta_0$. Decide which equation Definition 2.2 is the adjoint of by computing $\\langle\\partial_x(\\eta*(B\\varphi)),u^\\varepsilon\\rangle$ against a classical solution of (1.1); if the pairing does not vanish, the solution concept corresponds to the reflected kernel or the opposite sign of $B$, settling whether Theorem 1.1 applies to the equation as printed.","supporting_citations":[{"cited_title":"Colombo, G","cited_arxiv_id":null,"evidence_quote":"Supplies the approximation of monotone BV kernels used in the positivity-preservation proof of Lemma 4.1."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"The prior derivation of a one-dimensional linear transport equation coupled to Burgers, the problem this paper generalizes."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"A kernel-symmetry assumption that Theorems 1.1-1.2 remove; used as a comparison baseline."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Another symmetry-based kernel condition invoked to frame the generality of the new results."}],"review_version":2}