{"id":"42ee96af-077c-407a-b6cb-c563f2c193f5","arxiv_id":"2501.09677","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The pure-noise Dean-Kawasaki equation with any bounded drift has no measure-valued martingale solutions.","lead":"This paper proves that a widely studied noisy equation for particle densities has no solutions at all when the noise is pure white noise and the drift is bounded. The result closes a gap in the mathematical theory of the Dean-Kawasaki equation and clarifies why approximate, smoothed noise is essential.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1.2 is false as stated if M_b^+ includes the zero measure: the zero process solves Definition 1.1, and the proof's c = µ_0(M_d) > 0 is an unstated extra hypothesis.","rationale":"The reader's verdict focused on the Brownian scaling typo in Step 2 and on the singular-set construction. The scaling typo is minor: replacing W_t = B_t/c by B_t/√c repairs the Lévy characterization, and the contradiction still follows because B_T has a Gaussian distribution with variance cT. The reader's weakest_assumption about the singular set concerns the scope (flat/torus) and is handled by the authors. The more serious issue is the zero initial measure, which is a direct counterexample to the literal statement of Theorem 1.2. The proof's own first line assumes c > 0, so the theorem's 'any µ_0 ∈ M_b^+' is inaccurate unless M_b^+ is defined to exclude zero. Since this is easily corrected, the verdict remains CONDITIONAL, but the conditions should include the nonzero-mass hypothesis.","tokens_in":8612,"tokens_out":21545,"duration_ms":216125,"concrete_test":"Verify whether the paper's convention for M_b^+ includes the zero measure. Then set µ_t ≡ 0 and check Definition 1.1: M^f_t ≡ 0 is a continuous martingale with [M^f]_t = 0 for every f ∈ C^2_b, so it is a solution. If so, Theorem 1.2 needs the added hypothesis µ_0(M_d) > 0 (or an explicit exclusion of the zero measure from M_b^+).","verdict_should_be":"UNCHANGED","load_bearing_attack":"The theorem asserts non-existence for every µ_0 ∈ M_b^+. But M_b^+ is defined as the space of positive finite Borel measures, which includes the zero measure by the standard convention. For µ_0 = 0, the constant process µ_t ≡ 0 is a solution to (1.1) in the sense of Definition 1.1: for every f ∈ C^2_b, M^f_t = 0 - 0 - ∫ 0 ds = 0 is a martingale with quadratic variation ∫ 0 |∇f|^2 ds = 0. Thus the conclusion is false for c = 0. The proof begins by setting c := µ_0(M_d) > 0, so it implicitly restricts to nonzero initial measures; the statement as written is missing this condition. This is load-bearing because the abstract and theorem claim 'any initial measure'.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the Dean-Kawasaki-type SPDE (1.1) on R^d or T^d in the case alpha = 0, with drift G(mu) = div(mu H(mu)) for a bounded Borel map H on the space of finite positive measures. Theorem 1.2 asserts that this equation admits no continuous measure-valued martingale solutions for any initial measure and any such bounded H. The proof assumes a solution, constructs a piecewise affine test function g whose singular set avoids the atoms of a time-averaged projected measure, regularizes g to obtain C^2 approximations, passes to the limit via Proposition 2.3 to obtain a continuous martingale B with quadratic variation c t (where c = mu_0(M_d)), and then obtains a contradiction by producing a positive-probability event on which mu_T f < 0 while f is nonnegative. Section 3 discusses possible extensions to manifolds and explicitly identifies the cut-locus obstruction.","tokens_in":8751,"tokens_out":5657,"duration_ms":60918,"significance":"For nonzero initial measures, the result is significant: it completes the picture begun in earlier work for alpha > 0 and sharply contrasts with the known existence of solutions for unbounded H, showing that the pure-noise Dean-Kawasaki equation with bounded drift is ill-posed on flat spaces and tori. The proof is largely self-contained and transparent, and Proposition 2.3, which extends the martingale formulation to non-smooth test functions under an L^1(integral mu_s ds) convergence condition, is a useful standalone tool. The authors are also honest about the limitations of the argument on general manifolds, which is a strength of the exposition.","major_comments":[{"comment":"The theorem as stated includes the zero initial measure mu_0 = 0 if M_b^+ is understood in the standard sense of nonnegative finite Borel measures. But the proof starts with c := mu_0(M_d) > 0, which excludes this case. Indeed, for mu_0 = 0 the constant process mu_t = 0 satisfies Definition 1.1 with M^f_t = 0 and quadratic variation 0 for every f in C^2_b, so the theorem's conclusion is false as stated. Please add the explicit hypothesis mu_0 != 0 (or define M_b^+ to consist of nonzero measures) and adjust the abstract accordingly.","section":"Section 1.1, Theorem 1.2 and proof of Theorem 1.2"},{"comment":"The normalization in the Lévy characterization step is incorrect. From [B]_t = c t, the process W_t := B_t / sqrt(c) is a standard Brownian motion, not W_t := B_t / c, since [B_t / c]_t = t / c. The contradiction argument is easily repaired: with the correct scaling, the event {B_T < -c ||H||_0 T} equals {W_T < -sqrt(c) ||H||_0 T}, which has positive probability for a standard Brownian motion. This is a local but load-bearing fix, since the current text invokes Lévy's characterization for a process that is not a Brownian motion unless c = 1.","section":"Section 2, proof of Theorem 1.2, Step 2"}],"minor_comments":[{"comment":"The text says '(nabla f)(x) = g'_epsilon(x_1) = 1 on Sigma_f^c', but the function being differentiated is f(x) = g(x_1), so this should read g'(x_1), not g'_epsilon(x_1).","section":"Proof of Theorem 1.2, after equation (2.12)"},{"comment":"The notation k in Z^pm is nonstandard and slightly confusing; please define explicitly that Z^+ = {1,2,...} and Z^- = {-1,-2,...}, or use separate indices.","section":"Lemma 2.2"},{"comment":"The phrase 'any initial measure' should be qualified to refer to nonzero initial measures, as discussed in the first major comment.","section":"Abstract and Theorem 1.2"},{"comment":"The statement that mu_s |nabla f|^2 = mu_s 1 is 'a.s. well-defined for a.e. s' follows from (2.11), but the wording is terse; a short explanatory sentence would improve readability.","section":"Step 1 of the proof of Theorem 1.2"}],"recommendation":"major_revision","confidential_remarks":"The two issues identified are both repairable within the manuscript's scope: the zero-measure case is a genuine counterexample to the stated theorem and must be excluded explicitly, and the Brownian normalization in Step 2 needs a square-root correction. The central argument is otherwise sound. I see no concerns about novelty or citation practices; the paper fits the journal well."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"First, the substance: the paper closes the alpha=0 case for bounded drift, and the proof is a genuine improvement over the rigidity arguments in [21,22]. The watching-function construction is neat: a piecewise affine function with |grad f| = 1 off a small singular set, then Proposition 2.3 passes the martingale problem to the singular function. The contradiction is clean, and the sharpness examples for unbounded H are appropriately cited. This is worth refereeing.\n\nNow the soft spots.\n\nThe zero-measure issue is not merely pedantic: M_b^+ as defined includes the zero measure, and for mu_0 = 0 the constant process mu_t = 0 satisfies Definition 1.1 trivially. So Theorem 1.2's 'any initial condition' is false as stated. The proof sets c := mu_0(M_d) > 0, so the intended statement is 'any initial measure with positive total mass'. This needs to be fixed in the statement and abstract.\n\nSecond, the scaling in Step 2. The process B has quadratic variation c t, so W_t = B_t/c is not standard Brownian motion; the normalization should be B_t/sqrt(c). That said, the event E = {B_T < -c ||H|| T} still has positive probability directly from Brownian scaling, so the contradiction survives. It's a typo in the proof, not a load-bearing gap. Worth checking [4, Lem. B.11] when the revision comes in.\n\nThe rest of the proof checks out: Lemma 2.2 supplies a nonnegative piecewise affine g with countable singular set avoiding the atoms of the projected time-average measure; Step 1's vanishing of the singular-set integral follows because a countable set outside the atoms has measure zero; Step 2's inequality is correct once you normalize properly. The paper also honestly flags the cut-locus obstruction on general manifolds, which is the right caveat.\n\nBottom line: this is a solid result with a sloppy statement. A referee should ask for the zero-measure exclusion and the sqrt(c) correction, but the core theorem is true for the intended domain. Send it out; the authors will need to make a small revision.","headline":"The result is real and nearly right; two fixable glitches — zero initial measure and a Brownian normalization typo — keep it from being claimable as stated.","tokens_in":9294,"tokens_out":3267,"would_cite":true,"duration_ms":36102,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["60H15","60G57","82C31"],"pacs":[],"model":"deepseek-v4-flash","headline":"The pure-noise Dean-Kawasaki equation has no solutions for any finite initial measure when the drift is bounded.","keywords":["Dean-Kawasaki equation","pure-noise SPDE","martingale solution","measure-valued diffusion","ill-posedness","space-time white noise","Wasserstein diffusion","finite Borel measures"],"falsifier":"Exhibit a finite positive Borel initial measure and a bounded measurable drift $H$ for which the martingale problem in Definition 1.1 admits a continuous solution on $\\mathbb{R}^d$ or $\\mathbb{T}^d$. Theorem 1.2 asserts that no such pair exists, so any explicit example would refute it; short of that, checking the key identity (2.11) on a candidate solution would pinpoint where the argument must break.","tokens_in":8379,"feed_emoji":"","tokens_out":7982,"duration_ms":79184,"temperature":0.7,"pith_summary":"The paper proves that the Dean-Kawasaki-type stochastic partial differential equation with a square-root multiplicative white noise and a bounded measurable drift term has no continuous measure-valued martingale solutions for any finite initial measure on Euclidean space or the flat torus. This includes the pure-noise case, where the drift is absent, so the failure is not caused by a particular drift choice. The proof assumes a solution exists, uses the solution's total mass and time-averaged marginals to build a test function whose gradient has absolute value one almost everywhere, and then extracts a Brownian motion that forces the solution to assign negative mass to a nonnegative function. If correct, the equation is ill-posed in the strongest possible sense: no initial condition admits a solution in this class.","feed_headline":"Pure-noise Dean-Kawasaki equation admits no solutions","feed_subtitle":"Even with bounded drift, no finite initial measure allows a continuous measure-valued martingale solution.","key_machinery":"The central object is a bounded, nonnegative, piecewise affine function $f(x)=g(x_1)$ on $\\mathbb{R}^d$ or $\\mathbb{T}^d$ whose gradient satisfies $|\\nabla f|=1$ almost everywhere and whose singular set $\\Sigma_f$ has zero solution measure in time average, as in equation (2.11). The proof regularizes $f$ to smooth test functions $f_n$, uses Proposition 2.3 to pass the martingale property to the limit, and obtains a martingale $B_t$ with quadratic variation $ct$; L\\'evy's characterization then turns $B_t/c$ into a standard Brownian motion. The negative tail of that Brownian motion makes $\\mu_T f<0$ with positive probability, contradicting the nonnegativity of $f$ and of the measure-valued solution.","core_discovery":"Theorem 1.2 asserts that for $\\alpha=0$ and $G(\\mu)=\\nabla\\cdot(\\mu H(\\mu))$ with $H:\\mathcal{M}_b^+\\to\\mathbb{R}^d$ bounded and Borel measurable, equation (1.1) has no solutions for any initial condition $\\mu_0\\in\\mathcal{M}_b^+$ on $\\mathbb{R}^d$ or $\\mathbb{T}^d$. The proof constructs a bounded nonnegative piecewise affine function $f$ with $|\\nabla f|=1$ almost everywhere and with singular set that is never charged by the solution in time average; this lets the authors pass from regularized smooth test functions to $f$ in the martingale problem. The resulting process is a martingale with quadratic variation $ct$, so by L\\'evy's characterization it is a Brownian motion, and its negative tail makes $\\mu_T f$ negative with positive probability, contradicting $f\\ge 0$ and the nonnegativity of the measure-valued solution.","pith_inferences":["Editorial inference: the proof technique should transfer to other measure-valued SPDEs with the same square-root noise structure, where extracting a Brownian motion and testing against a nonnegative sawtooth function can yield nonexistence even when the drift has a different form.","Editorial inference: the sharp bounded-versus-unbounded drift boundary suggests that any well-posed regularisation of the pure-noise equation must either smooth the noise or allow $H$ to grow without bound; discrete-particle models correspond to the second option through singular empirical drifts.","Editorial inference: on manifolds whose cut locus is large, the theorem leaves open the possibility that solutions exist; if so, the obstruction is genuinely geometric rather than analytical.","Editorial inference: a concrete numerical check would be to approximate the equation with a vanishing viscosity and bounded $H$; the theorem predicts no limiting continuous measure-valued solution, so the approximations must show developing singularities or sign-changing approximants."],"forward_implications":["The pure-noise equation ($H\\equiv 0$) is not merely non-unique or unstable: no finite initial measure admits a continuous martingale solution, so the ill-posedness is total within this solution class.","Allowing unbounded drift is the only known route to solvability: the singular drift in equation (1.3) has solutions, so the boundedness assumption in Theorem 1.2 marks a sharp boundary.","The same nonexistence holds on the flat torus $\\mathbb{T}^d$, ruling out explanations based on noncompactness of the spatial domain.","On manifolds with one chart and on standard spheres the proof extends, suggesting the obstruction is a structural feature of the equation rather than of flat space.","For $\\alpha>0$, solutions exist exactly when the initial datum is an empirical measure of particles with mass $1/\\alpha$; for $\\alpha=0$ no initial datum works, so the parameter $\\alpha=0$ is a singular limit."],"supporting_citations":[{"why":"introduces the martingale-solution formulation for the free Dean-Kawasaki equation and establishes the rigidity picture for $\\alpha>0$ that Theorem 1.2 extends.","marker":"[21]"},{"why":"defines the martingale problem with the drift term $G(\\mu)=\\nabla\\cdot(\\mu H(\\mu))$ that the main theorem rules out for bounded $H$.","marker":"[22]"},{"why":"constructs solutions with unbounded singular drift on the real line, establishing the sharpness contrast with bounded $H$.","marker":"[24, 25]"},{"why":"supplies the martingale convergence lemma used to pass from regularized test functions to the limiting test function in Proposition 2.3.","marker":"[4]"},{"why":"gives the Brownian-motion facts used to identify the extracted process and to control its negative tail in the final contradiction.","marker":"[19]"},{"why":"extends existence for the singular-drift equation to compact manifolds, framing the extension discussion in Section 3.","marker":"[9]"}],"fun_headline_variants":["Pure-noise Dean-Kawasaki: no solutions for any measure","Dean-Kawasaki pure-noise equation admits no solutions","Ill-posed pure-noise Dean-Kawasaki: zero solutions","No measure yields pure-noise Dean-Kawasaki solution","Pure-noise Dean-Kawasaki impossible for all measures"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The contradiction rests on the existence of a nonnegative piecewise affine function whose gradient has absolute value one almost everywhere and whose singular set is not charged by the time-averaged solution measure; on $\\mathbb{R}^d$ and $\\mathbb{T}^d$ this follows because a finite measure has only countably many atoms, while on a general manifold the cut locus may make the singular set too large.","fun_headline_variants_meta":{"raw":{"variants":["Pure-noise Dean-Kawasaki: no solutions for any measure","Dean-Kawasaki pure-noise equation admits no solutions","Ill-posed pure-noise Dean-Kawasaki: zero solutions","No measure yields pure-noise Dean-Kawasaki solution","Pure-noise Dean-Kawasaki impossible for all measures"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000209,"raw_usage":{"total_tokens":1355,"prompt_tokens":839,"completion_tokens":516,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":455,"completion_tokens_details":{"reasoning_tokens":450}},"tokens_in":455,"tokens_out":516,"duration_ms":4643,"temperature":1.0,"reasoning_tokens":450,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T19:46:08.072930+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Exhibit a finite positive Borel initial measure and a bounded measurable drift $H$ for which the martingale problem in Definition 1.1 admits a continuous solution on $\\mathbb{R}^d$ or $\\mathbb{T}^d$. Theorem 1.2 asserts that no such pair exists, so any explicit example would refute it; short of that, checking the key identity (2.11) on a candidate solution would pinpoint where the argument must break.","supporting_citations":[{"cited_title":"Karatzas and S","cited_arxiv_id":null,"evidence_quote":"gives the Brownian-motion facts used to identify the extracted process and to control its negative tail in the final contradiction."},{"cited_title":"Dello Schiavo","cited_arxiv_id":null,"evidence_quote":"extends existence for the singular-drift equation to compact manifolds, framing the extension discussion in Section 3."}],"review_version":1}