{"id":"4fbb03b1-1c5a-43bc-afaf-6ce8eab65208","arxiv_id":"2607.13849","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A penalized rearranged stochastic heat equation with entropy-gradient drift is well-posed, and its marginal law has a density solving a corrected Dean–Kawasaki SPDE.","lead":"This paper adds an entropy-lowering drift to a one-dimensional random evolution of probability measures, the rearranged stochastic heat equation, and proves the resulting penalized equation is well-posed. It also shows the evolving distribution has a density satisfying a regularized Dean–Kawasaki equation, a step toward mean-field systems with both common and idiosyncratic noise.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Renormalization condition (iv) in Definition 6.1 is imposed rather than derived; uniqueness and the Dean–Kawasaki derivation both lean on it, so the claimed well-posedness is only for a restricted solution class.","rationale":"The reader's weakest_assumption correctly identifies the renormalization condition (iv) as the most fragile part of the well-posedness theorem. It is a genuinely load-bearing assumption: the uniqueness proof (Prop 6.4) and the drift identification in Prop 5.9 both require the renormalization constant to be exactly t. The paper is honest that this condition is imposed rather than derived. I do not see a fatal error in the proofs given the imposed definition, so the central theorem is internally consistent. However, the condition restricts the solution class, and the paper does not demonstrate that all reasonable weak solutions satisfy it. This is an addressable gap, not a contradiction, so the verdict remains CONDITIONAL. The reader and I agree on the main weak point; the recommended action is unchanged.","tokens_in":63208,"tokens_out":26432,"duration_ms":217014,"concrete_test":"Check whether condition (iv) is redundant: try to prove from (i)–(iii) alone that lim_{ε↓0} E∫ e^{εΔ}D_xX/D_xX dx exists and equals t. If a counterexample is needed, attempt to construct a weak solution of (6.1) by a modified splitting scheme where the Gaussian convolution Γ_h is replaced by a different mollifier with the same variance (e.g., a Student-t kernel); if the weak limit still satisfies (i)–(iii) but the renormalization limit is c·t with c≠1, then (iv) is not canonical and the uniqueness theorem fails outside the imposed class.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central well-posedness result, Theorem 6.5, is established for the class of solutions satisfying the renormalization condition (iv) in Definition 6.1: E∫ e^{εΔ}D_xX/D_xX dx → t as ε→0. This condition is not a consequence of the equation (6.1) plus integrability of 1/|D_xX|; it imposes a specific value on a singular limit. If D_xX vanishes on a set of positive measure the ratio is undefined, and even when D_xX>0 a.e. the condition can fail: for example, if D_xX has a linear zero, the regularized ratio has a logarithmic divergence. Remark 6.2 explicitly states the condition 'must be imposed,' so the existence proof (Prop 5.9) only shows that the splitting-scheme limit satisfies it, not that every reasonable weak solution does. Uniqueness (Prop 6.4) and the drift identification (5.29) both rely on this limit being exactly t. If a natural weak solution of (5.21) satisfied (i)–(iii) but with a different renormalization limit, uniqueness in any broader class would fail and the density evolution in Theorem 7.5 could change. This is a genuine limitation: the paper defines well-posedness inside an ansatz rather than proving it for the raw equation.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces a splitting scheme for the rearranged stochastic heat equation (RSHE) in which each RSHE step is followed by a Gaussian convolution of the law of the state, i.e. a quantile update Φ^{(h)}. It proves tightness in the Skorokhod space, identifies the weak limit as equation (5.21) with the entropy-gradient drift −(1/2)D_x(1/D_x X), defines weak solutions through Definition 6.1, proves pathwise uniqueness in Proposition 6.4, and establishes existence/uniqueness in Theorem 6.5. It then shows that the law of the solution admits a square-integrable density (Theorem 7.1) and derives the corrected Dean–Kawasaki SPDE (7.34) in Theorem 7.5. The central results are obtained by a long, multi-step argument relying substantially on the authors' earlier work [7,8]; the entropy-gradient coefficient is derived from the Gaussian convolution and the energy identity of Lemma 3.1, not fitted.","tokens_in":63586,"tokens_out":5627,"duration_ms":75622,"significance":"If the proofs hold up, Theorems 6.5 and 7.5 are substantial contributions: they provide a well-posed entropy-penalized Wasserstein diffusion with Gaussian smoothing, a density result with compact support, and a concrete stochastic Fokker–Planck/Dean–Kawasaki equation. The paper gives a serious proof structure: tightness in D([0,T],H^{-1}), identification of the limit as (5.21), pathwise uniqueness in Proposition 6.4, and density via weak compactness in Theorem 7.1. The coefficient 1/2 in the drift is forced by the L^2 identity of Lemma 3.1, and no free parameters appear. However, the well-posedness statement is for the restricted class singled out by the renormalization condition (iv) of Definition 6.1, and some load-bearing integration theory is only sketched.","major_comments":[{"comment":"The renormalization condition (iv) in Definition 6.1 is imposed rather than derived. It is used essentially in the uniqueness proof (Proposition 6.4) and in the drift identification (5.29)/(5.35). Thus Theorem 6.5 proves uniqueness only within this solution class; the paper does not show that every weak solution of (6.1) satisfying (i)–(iii) and the integrability conditions in (i) must satisfy (iv). A natural weak solution with a different singular limit would not be covered and could modify both the uniqueness statement and the Dean–Kawasaki equation (7.34). The authors should either prove that all weak limits/solutions satisfy (iv) or state explicitly in the abstract and in Theorem 6.5 that well-posedness is conditional on this normalization.","section":"Definition 6.1, Remark 6.2, Prop. 6.4"},{"comment":"Theorem 5.7 defines the integral with respect to ζ, J, and η, and is load-bearing for the Itô formula (5.22), for Definition 6.1(iv), and for the uniqueness proof in Proposition 6.4. However, the proof is only sketched: the text says 'We just provide a sketch of the proof as most of the ingredients are similar to [8]'. Since the integrators have only H^{-(3+δ)} regularity and the test functions are merely H^4, the approximation in items (2) and (4) is non-trivial. Please provide a complete proof, or a precise statement of the corresponding result in [8] with a detailed account of the modifications listed as (i)–(iii).","section":"Theorem 5.7"},{"comment":"The Itô formula (7.9) is the basis of the Dean–Kawasaki derivation, but its proof is presented as a summary. The passage to the limit of the stochastic integral in (7.31) is delegated to [19,20] without a complete argument, and the joint convergence of the various terms is asserted rather than demonstrated. Since this is central to Theorem 7.5, the proof should be expanded to a full argument or replaced by a complete auxiliary lemma with all hypotheses verified.","section":"Proposition 7.2 and proof of Theorem 7.5"}],"minor_comments":[{"comment":"Stray comma in 'by, penalizing' in the abstract.","section":"Abstract"},{"comment":"'regulazised' should be 'regularized'.","section":"Section 1.1 heading"},{"comment":"'inversep −1 t' has a spacing/typesetting issue; the inverse should be 'p_t^{-1}'.","section":"Page 4, Section 1.3"},{"comment":"This remark is very long and contains substantial proof details. It would improve readability to place the full argument in an appendix or to state it as a formal proposition.","section":"Remark 6.8"},{"comment":"Several references have inconsistent spacing, e.g. [15], [17], and [23]. A careful copyedit of the bibliography is recommended.","section":"Bibliography"}],"recommendation":"major_revision","confidential_remarks":"The main issue is not the correctness of the constructed solutions but the scope of the renormalization condition and the sketched integration theorem. Both are fixable: a full proof of Theorem 5.7 and either a proof or an explicit scoping of the uniqueness claim would strengthen the paper considerably. If these are supplied, I would expect the paper to be suitable for publication."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThis is a real advance, not a packaging job: they combine the rearranged SHE with an entropy-gradient drift and get existence and uniqueness for the limit equation, plus an L2 density satisfying a corrected Dean–Kawasaki equation. If I worked on Wasserstein diffusions I would want this on my desk. The splitting scheme is a natural construction and the tightness argument in D([0,T],H^{-1}) is serious work.\n\nThe genuinely new pieces are equation (1.2), the convolution splitting scheme (3.1), and the density/Dean–Kawasaki part. The identification of the entropy term through the jump process is a nice idea, and the Polya–Szego discussion explains why there is no common Lyapunov functional.\n\nThe soft spots, in proportion. First, the renormalization condition in Definition 6.1(iv) is imposed, not derived. The paper says this explicitly. Uniqueness and the Dean–Kawasaki derivation lean on the limit being exactly t, so Theorem 6.5 is well-posedness for the class satisfying that condition, not for every natural weak solution. That is not fatal—existence for that class is still a result—but it is a genuine restriction, and the worry about logarithmic divergences when D_x X has linear zeros is not answered. A referee should ask whether the condition can be justified for a broader class or only for the scheme limit.\n\nSecond, Theorem 5.7 is the integration tool for the singular reflection and its proof is only sketched. It is load-bearing, and the dependence on [8] is heavy. Third, Proposition 7.2’s Itô formula relies on an unproved analog of [7, Lemma 2.3]; Lemma 7.3 partially fills the gap, but not completely. Fourth, strong Feller appears only as a sketch in Remark 6.8, so the abstract’s claim that smoothing properties persist is not fully demonstrated in the paper.\n\nNone of these look like fatal errors. The paper reads like a solid research article with a few loose ends that can be tightened. It is for researchers in stochastic PDEs on Wasserstein space and Dean–Kawasaki theory, and it deserves a serious referee: the main theorem is important enough that leaving the sketched parts unverified would be worse for the field. My recommendation: send it to referees and require the sketched parts to be completed or clearly labeled as conditional.","headline":"A serious, original step for Wasserstein diffusions, but the headline well-posedness result is conditional on an imposed renormalization and two key technical pieces are sketches.","tokens_in":64066,"tokens_out":2514,"would_cite":true,"duration_ms":38825,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["60H15","60G57","47D07","60H50"],"pacs":[],"model":"deepseek-v4-flash","headline":"Adding an entropy-driven gradient-descent term to the rearranged stochastic heat equation yields a well-posed diffusion on probability measures whose densities solve a corrected Dean–Kawasaki equation.","keywords":["rearranged stochastic heat equation","entropy gradient","Dean–Kawasaki equation","Wasserstein diffusion","quantile function","stochastic Fokker–Planck equation","splitting scheme","strong Feller property"],"falsifier":"Exhibit a process satisfying Definition 6.1(i)–(iii) but not (iv)—for instance, a continuous U^2(S)-valued path solving the weak equation with a flat region where D_xX = 0 on a set of positive measure—and show the smoothed integral E∫_0^t∫_S (e^{εΔ}D_xX/D_xX) dxdr is strictly less than t; then uniqueness and the density equation fail because both rely on (iv).","tokens_in":63105,"feed_emoji":"🎲","tokens_out":4433,"duration_ms":46600,"temperature":0.7,"pith_summary":"The paper extends the rearranged stochastic heat equation—a reflected heat equation on quantile functions that serves as a diffusion on the space of probability measures—by adding an entropy-driven gradient-descent term. The central claim is that this penalized equation is well-posed, even though rearrangement and entropy minimization act in opposite directions. The proof constructs the solution as the limit of a splitting scheme that alternates short rearranged-heat-evolution steps with Gaussian convolution of the law. The paper then shows the solution admits a square-integrable density with compact support, and that this density satisfies a corrected version of the Dean–Kawasaki equation. This matters because it gives a concrete mathematical model for coupling common noise with idiosyncratic noise in mean-field systems.","feed_headline":"Entropy gradient makes quantile diffusion well-posed","feed_subtitle":"Unique solutions exist; their densities obey a corrected Dean–Kawasaki equation with finite-speed support.","key_machinery":"The central mechanism is the splitting scheme that alternates the rearranged stochastic heat equation with the map Φ^(h), which replaces the law of the current quantile function by its convolution with a Gaussian of variance h. In the limit, this convolution becomes the quantile-space entropy gradient, encoded in the drift D_x(1/D_x X). The argument is carried by the theory of pathwise integration against non-decreasing distribution-valued processes developed in Theorem 5.7, and by the renormalization condition (iv) of Definition 6.1, which fixes the limit of the smoothed ratio e^{εΔ}D_xX/D_xX to be t. That condition is needed because D_xX cannot be guaranteed bounded away from zero.","core_discovery":"The paper starts from the fact that simply adding a Brownian motion to the rearranged stochastic heat equation does not capture idiosyncratic noise, since the relevant object is the law of the quantile function. Instead, it inserts the heat flow on the level of the law: each small time step, the law is convolved with a Gaussian of variance h. As the step h tends to zero, this convolution produces the drift −(1/2)D_x(1/D_x X), which Remark 6.3 identifies as exactly the derivative of the entropy in quantile coordinates. Theorem 6.5 establishes existence and uniqueness of weak solutions to the limiting equation under a renormalization condition on the quantile derivative. Theorem 7.5 derives th","pith_inferences":["The renormalization condition (iv) may be the correct general notion of 'no extra mass at the boundary' for quantile-valued diffusions; analogous balance conditions may appear when the entropy is replaced by other convex functionals.","The finite-speed support growth is an observable signature: simulations should show the density's support expanding at most linearly in time despite the Gaussian convolution; checking this scaling would test the corrected equation against naive heat smoothing.","The same splitting idea could be extended to higher dimensions by replacing rearrangement with optimal transport maps, though the quantile-coordinate identity D_x(1/D_x X) would then be replaced by the Jacobian of the transport map.","If the renormalization (iv) fails for some natural weak solution, uniqueness and the Dean–Kawasaki derivation would collapse; constructing such a solution would precisely delineate the boundary of the well-posedness regime."],"forward_implications":["The entropic correction regularizes the rearranged SHE enough to produce a genuine square-integrable density, whereas the unpenalized equation only guarantees no atoms.","The density has compact support and is positive on the interior, so probability mass propagates at finite speed—a signature of the balance between the competing mechanisms.","The corrected Dean–Kawasaki equation is driven by colored noise, avoiding the ill-posedness of the classical white-noise version.","The semigroup remains strong Feller in positive time, mapping bounded measurable functions to Lipschitz functions, so the smoothing properties of the original equation persist.","The model provides a first concrete coupling of common and idiosyncratic noise at the level of laws, a step toward diffusive McKean–Vlasov equations with common noise."],"fun_headline_variants":["Quantile SPDE well-posed via entropy gradient","Entropy penalty tames rearranged heat flow","Corrected Dean-Kawasaki from entropy descent","Entropy-driven stability for quantile diffusion"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"Everything hinges on the imposed renormalization that the smoothed ratio of the quantile derivative to itself integrates to t; if the quantile derivative vanishes on a large enough set, this condition could fail, and with it uniqueness and the Dean–Kawasaki equation.","fun_headline_variants_meta":{"raw":{"variants":["Quantile SPDE well-posed via entropy gradient","Entropy penalty tames rearranged heat flow","Corrected Dean-Kawasaki from entropy descent","Entropy-driven stability for quantile diffusion"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000328,"raw_usage":{"total_tokens":1609,"prompt_tokens":621,"completion_tokens":988,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":365,"completion_tokens_details":{"reasoning_tokens":929}},"tokens_in":365,"tokens_out":988,"duration_ms":35608,"temperature":1.0,"reasoning_tokens":929,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-02T03:30:53.973516+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Exhibit a process satisfying Definition 6.1(i)–(iii) but not (iv)—for instance, a continuous U^2(S)-valued path solving the weak equation with a flat region where D_xX = 0 on a set of positive measure—and show the smoothed integral E∫_0^t∫_S (e^{εΔ}D_xX/D_xX) dxdr is strictly less than t; then uniqueness and the density equation fail because both rely on (iv).","supporting_citations":[],"review_version":1}