{"id":"8ce4440e-6f0d-4889-9bfa-4c6dd902a8fa","arxiv_id":"2412.00834","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Non-degenerate McKean-Vlasov SDEs with bounded α-Hölder coefficients have unique weak solutions, proven via a new fixed-point argument in a dual-Hölder metric on flows of marginal laws.","lead":"This math paper gives a shorter proof that a family of random motion equations, known as McKean-Vlasov equations, has exactly one solution when the interaction only needs mild fractional smoothness. Generalists may care because these equations are the standard limiting descriptions of large interacting particle systems, and the new proof technique may extend to harder degenerate cases.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Display (3.3) is miswritten: its left side must be M_α(Φ(μ),Φ(ν)), not M_α(μ,ν). As printed, the contraction argument is a non-sequitur; with that correction the intended contraction appears to go through.","rationale":"I focused on the printed proof of Theorem 1.3, since that is the central claim. The inversion lemma (2.3) is algebraically correct: the sign and the forward/backward Kolmogorov structure match, and the Gaussian/potential estimates cited are the standard vehicle for the interchange. The contraction estimate (3.4) is also the familiar Schauder bound once the quantity on the left is identified correctly. The paper's own display (3.3) is the single point where the logic breaks: the quantity I^{μ,ν}_s(f) is the difference of the two pushed-forward marginals, so the supremum over f equals the distance between Φ(μ) and Φ(ν), not between μ and ν. Because the subsequent text explicitly combines (3.3) with (3.4) to conclude M_α(μ,ν) ≤ c T^{α/2} M_α(μ,ν), the printed argument is a non-sequitur. This is not an attack on the theorem; the fix is a one-line correction. I also note the reader's separate concern that the parabolic estimates are cited rather than stated; that is a real but secondary verification issue, and my concrete test addresses the primary displayed mistake. I agree with the reader's CONDITIONAL verdict: the theorem is plausible and repairable, but the preprint as written requires correction.","tokens_in":6389,"tokens_out":19417,"duration_ms":186510,"concrete_test":"Perform the following manuscript check: replace (3.3) by the identity M_α(Φ(μ),Φ(ν)) = max_{s∈[0,T]} sup_{‖f‖≤1} I^{μ,ν}_s(f), then re-derive the chain (3.4) and verify the final inequality is M_α(Φ(μ),Φ(ν)) ≤ c T^{α/2} M_α(μ,ν). If the corrected chain holds, the displayed error is a repairable typo; if any step in the corrected chain fails, the contraction argument is genuinely incomplete and the central claim is unsupported.","verdict_should_be":"UNCHANGED","load_bearing_attack":"In Section 3, the quantity I^{μ,ν}_s(f) defined in (2.3) equals ∫ f d([X^μ_s] − [X^ν_s]), so max_s sup_{‖f‖≤1} I_s(f) is exactly M_α(Φ(μ),Φ(ν)), where Φ(μ) denotes the flow [X^μ_t] and Φ(ν) the flow [X^ν_t]. The paper prints (3.3) as M_α(μ,ν) = max_s sup_f I^{μ,ν}_s(f). This identity is generally false: the right-hand side depends on the initial law μ₀ and on the two linearized generators, not on the flows μ and ν in the way required. The estimates in (3.4) give |I_s(f)| ≤ c T^{α/2} M_α(μ,ν) [f]_{C^α}, and after the correction the correct conclusion is M_α(Φ(μ),Φ(ν)) ≤ c T^{α/2} M_α(μ,ν), a genuine contraction for small T. As printed, however, combining (3.3) with (3.4) yields the circular inequality M_α(μ,ν) ≤ c T^{α/2} M_α(μ,ν), which proves nothing. This is the most direct obstruction in the central argument: the proof does not establish Theorem 1.3 unless (3.3) is repaired.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims to give a streamlined proof of weak well-posedness for non-degenerate McKean-Vlasov SDEs with Hölder continuous coefficients (Assumptions 1.1 and 1.2), via a contraction argument on the space C([0,T];P(R^d)) equipped with the dual-Hölder metric M_α. For each frozen flow μ, the linearized SDE (2.1) has a transition density p^μ; Lemma 2.1 expresses the difference between two such flows through the inversion formula (2.3). Section 3 aims to show that the fixed-point map is a contraction for small T, using estimates (3.1)-(3.4). The intended argument is elegant, but the central identity (3.3) is misstated and, as printed, the proof does not establish the contraction.","tokens_in":6500,"tokens_out":10689,"duration_ms":94101,"significance":"If the proof is repaired, the paper provides a genuinely useful simplification of Chaudru de Raynal's well-posedness theorem: it avoids derivatives with respect to the measure variable, relies only on Gaussian estimates for uniformly parabolic PDEs, and is designed to extend to hypoelliptic settings. The inversion lemma is a nice adaptation of a formula of Kolokoltsov, and the contraction scheme has no fitted constants or normalization tricks. These strengths make the paper worth pursuing, but the misstated identity in Section 3 is a load-bearing error that must be corrected before the main theorem is established.","major_comments":[{"comment":"The displayed identity is incorrect: the right-hand side max_{s∈[0,T]} sup_{‖f‖_{bC^α}≤1} I_s^{μ,ν}(f) equals M_α(Φ(μ),Φ(ν)), where Φ(μ)_t = [X_t^μ] and Φ(ν)_t = [X_t^ν], not M_α(μ,ν). As printed, combining (3.3) with (3.4) yields the circular inequality M_α(μ,ν) ≤ cT^{α/2}M_α(μ,ν), which proves nothing. The intended argument is recovered by replacing the left-hand side of (3.3) with M_α(Φ(μ),Φ(ν)) and then concluding from (3.4) that M_α(Φ(μ),Φ(ν)) ≤ cT^{α/2}M_α(μ,ν), which gives a genuine contraction for T small. The final sentence of Section 3 should also be revised to state this corrected contraction inequality explicitly.","section":"Section 3, Eq. (3.3)"},{"comment":"The proof relies on a package of parabolic estimates for the operator ∂_t + A^μ_{t,x} with coefficients B^μ, C^μ that are only bounded and α-Hölder in x and merely measurable in t, since Assumption 1.1 is in L∞([0,T]; bC^α). The needed estimates are: existence of a fundamental solution with Gaussian upper bounds, derivative bounds such as ‖∂_{x_i x_j} P^ν_{t,s} f‖_∞ ≤ c(s-t)^{-(1-α/2)}[f]_{C^α}, and potential estimates justifying the interchanges in Lemma 2.1, all uniformly over frozen flows μ. The manuscript cites [4] and [8] for these facts in the time-continuous case and relegates the measurable-in-time case to a footnote saying the proof 'proceeds in a similar manner'. This is load-bearing: if these uniform estimates fail, both Lemma 2.1 and the contraction bound (3.4) collapse. The authors should state a precise theorem covering the measurable-in-time case with uniform constants, give a reference that explicitly covers it, or modify Assumption 1.1 to include time-continuity.","section":"Section 2, paragraph after (2.2) and footnote 1"}],"minor_comments":[{"comment":"In the sentence defining test functions, 'for any test function ϕ ∈ C∞_0 ∈ ]t, T] × R^d' should read 'for any test function ϕ ∈ C∞_0(]t, T] × R^d)'.","section":"Lemma 2.1, proof"},{"comment":"The symbol m_α is used for two different metrics: in (1.5) it is defined with the bC^α norm, while Remark 1.6 and the Appendix introduce a variant using only the C^α seminorm. This reuse of notation is confusing; please use a different symbol for the second metric, such as ṁ_α.","section":"Remark 1.6 and Appendix"},{"comment":"The corollary states strong well-posedness when σ is Lipschitz in x, but no proof or reference is given. Since B remains only Hölder in x, pathwise uniqueness is not a formal consequence of Theorem 1.3 alone; please add a precise statement or citation (for example, to Veretennikov's pathwise-uniqueness results) explaining how strong well-posedness follows.","section":"Corollary 1.4"}],"recommendation":"major_revision","confidential_remarks":"The central proof contains a decisive but local error in Eq. (3.3); the intended contraction argument is clearly visible and appears correct once the left-hand side is changed to M_α(Φ(μ),Φ(ν)). I therefore recommend major revision rather than rejection. The second major point, on the measurable-in-time parabolic estimates, should also be addressed carefully, since the main theorem's assumptions are weaker than the classical framework cited in the proof."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The genuine novelty here is Theorem 1.3: weak well-posedness for non-degenerate McKean–Vlasov equations whose drift and diffusion are of interaction form, B=∫b dμ and Σ=∫σ dμ, with b,σ only α-Hölder in (x,y), and for any initial law. That is a real extension of Chaudru de Raynal, whose drift is β(t,x,∫φ dμ) and requires differentiability in the third argument. The proof strategy is right: freeze the measure, solve the linearized SDE classically, then invert the flow via the identity in Lemma 2.1, which avoids any derivative with respect to the measure. The Schauder-type estimate (3.4) then gives a contraction on the space of continuous flows of marginals. This is a short, elegant note and the central idea is sound.\n\nThe soft spots are real but mostly cosmetic. The most consequential is display (3.3): the right side, max_s sup_f I_s^{μ,ν}(f), is exactly M_α(Φ(μ),Φ(ν)), the distance between the two flows of laws, not M_α(μ,ν). As printed, combining (3.3) with (3.4) yields the circular M_α(μ,ν) ≤ c T^{α/2} M_α(μ,ν), which proves nothing. The fix is obvious: replace the left side by M_α(Φ(μ),Φ(ν)), and the same estimates give the genuine contraction for small T. This is a typographical error, not a hidden mathematical gap, but a referee must catch it.\n\nCorollary 1.4 is asserted without proof; it likely follows from standard Yamada–Watanabe logic, but needs a few lines. The abstract and introduction promise applicability to hypoelliptic equations, but the body only says that is future work. That oversells slightly. The analytic inputs — Gaussian bounds, derivative estimates, potential estimates — are imported from Friedman and Pascucci's book rather than proved here; acceptable for a note, though the measurable-in-time footnote deserves scrutiny.\n\nWho is this for? People working on McKean–Vlasov equations with rough coefficients, and anyone who wants a concise example of the fixed-point method for flows of marginals. It deserves a serious referee and, after fixing (3.3) and adding a word on Corollary 1.4, should be published.","headline":"A clean fixed-point proof of weak well-posedness for McKean–Vlasov SDEs with Hölder interaction kernels, but the contraction display (3.3) is miswritten and must be corrected.","tokens_in":7270,"tokens_out":3288,"would_cite":true,"duration_ms":30859,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["60H10","60J60"],"pacs":[],"model":"deepseek-v4-flash","headline":"McKean–Vlasov equations with Hölder coefficients admit a unique weak solution for every initial law.","keywords":["McKean–Vlasov equations","Hölder continuous coefficients","weak well-posedness","contraction mapping","dual-Hölder metric","Gaussian estimates","stochastic differential equations","Markov processes"],"falsifier":"Find one pair of coefficients satisfying Assumptions 1.1 and 1.2 for which the required estimate $\\|\\partial_{x_ix_j}\\vec{P}^{\\nu}_{t,s}f\\|_\\infty\\le c(s-t)^{-(1-\\alpha/2)}[f]_{C^\\alpha}$ fails for the frozen-flow transition density; then Lemma 2.1 and the contraction bound (3.4) would collapse, and Theorem 1.3 as proved would be false.","tokens_in":5980,"feed_emoji":"🎲","tokens_out":7390,"duration_ms":67843,"temperature":0.7,"pith_summary":"The paper establishes that a McKean–Vlasov stochastic differential equation with bounded Hölder-continuous coefficients and a uniformly non-degenerate diffusion has exactly one weak solution for any prescribed initial law. The proof works by freezing the flow of marginal laws, solving the resulting linear diffusion, and showing that the map from a frozen flow to its output flow is a contraction in a dual-Hölder metric on continuous paths of probability measures. This yields a fixed point whose associated diffusion is the unique weak solution. The argument avoids derivatives with respect to the measure argument, relying only on standard Gaussian estimates for uniformly parabolic equations, and the authors indicate the same strategy should extend to degenerate, hypoelliptic settings.","feed_headline":"Unique weak solutions for Hölder McKean-Vlasov equations","feed_subtitle":"No derivatives in the measure variable; standard parabolic Gaussian estimates are enough.","key_machinery":"The central object is the inversion lemma (Lemma 2.1), which expresses the difference of two push-forward semigroups acting on an initial law as the integral $\\int \\bar{\\mu}_0(dx)\\int_0^s \\vec{P}^{\\mu}_{0,t}(A^\\mu_{t,\\cdot}-A^\\nu_{t,\\cdot})\\vec{P}^{\\nu}_{t,s}f(x)\\,dt$. This identity turns the contraction estimate into a bound on the difference of the infinitesimal generators, controlled by $M_\\alpha(\\mu,\\nu)$, together with a bound on spatial derivatives of $\\vec{P}^{\\nu}_{t,s}f$, controlled by Gaussian estimates for the fundamental solution of a uniformly parabolic operator with Hölder coefficients. The dual-Hölder metric $m_\\alpha$ is the norm induced on probability measures by test functions of bounded $\\alpha$-Hölder norm; it makes the space of flows of marginals complete and yields the preliminary estimate $\\|C^\\mu-C^\\nu\\|_{\\infty}+\\|B^\\mu-B^\\nu\\|_{\\infty}\\le cM_\\alpha(\\mu,\\nu)$.","core_discovery":"Theorem 1.3 states that under Assumptions 1.1 and 1.2, for every $T>0$ and every initial law $\\bar{\\mu}_0\\in\\mathcal{P}(\\mathbb{R}^d)$, there exists a unique weak solution of the McKean–Vlasov equation (1.1). The construction is a contraction mapping on $C([0,T];\\mathcal{P}(\\mathbb{R}^d))$ equipped with the metric $M_\\alpha(\\mu,\\nu)=\\max_{t\\in[0,T]} m_\\alpha(\\mu_t,\\nu_t)$, where $m_\\alpha$ is the dual-Hölder distance between probability measures. For each frozen flow $\\mu$, the linearized equation has a transition density $p^\\mu$, and the map $\\mu\\mapsto [X^\\mu_\\cdot]$ is shown to satisfy $M_\\alpha(\\mu,\\nu)\\le c T^{\\alpha/2} M_\\alpha(\\mu,\\nu)$, giving a fixed point for small time horizons and then for all horizons by continuation. As a corollary, if $\\sigma$ is additionally Lipschitz continuous in the spatial variable, the unique weak solution is in fact a unique strong solution.","pith_inferences":["A natural test of the method would be to check whether the same contraction estimate survives when the linearized equation is degenerate but hypoelliptic, since the paper's own extension plan points exactly to kinetic Langevin systems with rough coefficients.","Because the dual-Hölder metric is weaker than total variation or Wasserstein metrics with higher moments, the uniqueness statement is tied to this particular metric; switching to a stronger metric could break the contraction argument without necessarily breaking well-posedness in another sense.","The contraction constant scales like $cT^{\\alpha/2}$, so for very small Hölder exponents the admissible time step shrinks; numerical or analytic continuation to a fixed horizon would then require many small steps, a practical issue the paper does not address.","The paper establishes weak well-posedness but only proves pathwise uniqueness when $\\sigma$ is Lipschitz; an interesting open direction would be to determine whether merely Hölder $\\sigma$ can admit more than one strong solution in this McKean–Vlasov setting."],"forward_implications":["If the theorem is correct, every non-degenerate McKean–Vlasov equation with bounded $\\alpha$-Hölder coefficients has a well-defined nonlinear flow of marginals, namely the unique fixed point of $\\mu\\mapsto [X^\\mu_{\\cdot}]$.","Adding Lipschitz continuity of $\\sigma$ in the spatial variable upgrades the result from existence and uniqueness of weak solutions to existence and uniqueness of strong solutions.","The result holds for coefficients of the form $B(t,x,\\mu)=\\int b(t,x,y)\\mu(dy)$ and $\\Sigma(t,x,\\mu)=\\int \\sigma(t,x,y)\\mu(dy)$, and Remark 1.5 extends it to any bounded coefficients satisfying a joint Hölder condition in $(x,\\mu)$ with respect to the dual-Hölder metric.","Because the proof relies only on Gaussian bounds for linearized parabolic operators, the same contraction scheme is expected to work for degenerate kinetic equations, such as Langevin-type systems, whenever matching Gaussian estimates are available for the hypoelliptic fundamental solution.","The coefficients are allowed to be merely measurable in time, not continuous, as long as they are bounded and Hölder continuous in the spatial variables."],"supporting_citations":[{"why":"Supplies the earlier well-posedness result for non-degenerate McKean–Vlasov equations with Hölder drift that this paper revisits and extends.","marker":"[2]"},{"why":"Provides the classical Gaussian estimates, fundamental solution theory, and potential estimates for uniformly parabolic operators used in Lemma 2.1 and the contraction bound.","marker":"[4]"},{"why":"Gives a modern presentation of the same parabolic estimates, including the derivative bounds $\\|\\partial_{x_ix_j}\\vec{P}^{\\nu}_{t,s}f\\|_\\infty\\le c(s-t)^{-(1-\\alpha/2)}[f]_{C^\\alpha}$ used in inequality (3.4).","marker":"[8]"},{"why":"Contains the push-forward versus pull-back inversion formula that Lemma 2.1 adapts to the present setting.","marker":"[5]"},{"why":"Establishes completeness of the space of probability measures under the bounded-Lipschitz type metric $m_\\alpha$, needed for Proposition 4.1.","marker":"[1]"},{"why":"Provides completeness of the 1-Wasserstein space on the metric space $(\\mathbb{R}^d,|x-y|^\\alpha)$, used in Proposition 4.1 for the alternative metric.","marker":"[10]"}],"fun_headline_variants":["Gaussian estimates bypass measure derivatives for McKean-Vlasov","Unique weak solutions for Hölder McKean-Vlasov SDEs","Streamlined proof: Hölder McKean-Vlasov existence and uniqueness","No measure derivatives: cleaner route to McKean-Vlasov uniqueness","Hölder McKean-Vlasov well-posedness via standard parabolic estimates"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof assumes that classical parabolic theory delivers Gaussian upper bounds and derivative estimates for the transition densities of every linearized equation, uniformly over all frozen flows of measures, even when the coefficients are merely measurable in time.","fun_headline_variants_meta":{"raw":{"variants":["Gaussian estimates bypass measure derivatives for McKean-Vlasov","Unique weak solutions for Hölder McKean-Vlasov SDEs","Streamlined proof: Hölder McKean-Vlasov existence and uniqueness","No measure derivatives: cleaner route to McKean-Vlasov uniqueness","Hölder McKean-Vlasov well-posedness via standard parabolic estimates"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000243,"raw_usage":{"total_tokens":1472,"prompt_tokens":834,"completion_tokens":638,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":450,"completion_tokens_details":{"reasoning_tokens":538}},"tokens_in":450,"tokens_out":638,"duration_ms":5654,"temperature":1.0,"reasoning_tokens":538,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T05:02:24.052103+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find one pair of coefficients satisfying Assumptions 1.1 and 1.2 for which the required estimate $\\|\\partial_{x_ix_j}\\vec{P}^{\\nu}_{t,s}f\\|_\\infty\\le c(s-t)^{-(1-\\alpha/2)}[f]_{C^\\alpha}$ fails for the frozen-flow transition density; then Lemma 2.1 and the contraction bound (3.4) would collapse, and Theorem 1.3 as proved would be false.","supporting_citations":[{"cited_title":"Partial differential equations of parabolic type","cited_arxiv_id":null,"evidence_quote":"Provides the classical Gaussian estimates, fundamental solution theory, and potential estimates for uniformly parabolic operators used in Lemma 2.1 and the contraction bound."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Contains the push-forward versus pull-back inversion formula that Lemma 2.1 adapts to the present setting."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Establishes completeness of the space of probability measures under the bounded-Lipschitz type metric $m_\\alpha$, needed for Proposition 4.1."},{"cited_title":"Optimal transport, vol","cited_arxiv_id":null,"evidence_quote":"Provides completeness of the 1-Wasserstein space on the metric space $(\\mathbb{R}^d,|x-y|^\\alpha)$, used in Proposition 4.1 for the alternative metric."}],"review_version":1}