{"id":"ceb8253a-ce7e-4169-bbab-9ba4a9550964","arxiv_id":"2607.28578","paper_version":1,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Otto and Stein geometries are two Hilbert selections of particle velocity from the same continuity operator; an effective mobility M_ρ decides exact, time-changed, observed, and quantitative agreement of their evolutions.","lead":"The paper builds a common geometric hierarchy linking particle motion, density evolution, and functional gradients in diffusion, and shows when Otto (Wasserstein) and Stein geometries agree via an effective mobility operator. It gives precise criteria for when the two descriptions match on particles, laws, clocks, or observations.","discovery_kind":"unification","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified","rationale":"The central claim is a fibrewise comparison theory on the Fréchet manifold of smooth positive densities, not a global flow or bundle theorem. Every step cited in the strongest claim is proved under the standing closed-manifold hypotheses with classical tools (Lax–Milgram, elliptic regularity, Riesz, quotient Hilbert spaces). The author explicitly quarantines the stronger global and noncompact statements. The reader's CONDITIONAL verdict already encodes exactly this scoping; no further downgrade or upgrade is warranted. The suggested re-derivation is a short algebraic check that would catch any hidden identification error in the mobility operator, which is the single hinge of the comparison theory.","tokens_in":41702,"tokens_out":517,"duration_ms":10943,"concrete_test":"Independently re-derive the identity K^S_ρ f = A_ρ M_ρ grad f (Lemma 7.1 / Thm 7.2) from the definitions of I_ρ, P^hor_ρ and the continuity pairing (3.1) alone, without invoking later sections; confirm that the vertical remainder lies in Ker A_ρ and that the ˙H^{-1} defect formula (7.4) follows by isometry of A_ρ on the horizontal space.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The reader's weakest-assumption note (fibrewise Hilbert pairs; global Stein bundle/flow needing uniform kernel-range control) is already stated by the author in Remark 1.1 and at the close of Theorem 19.1, and is not used as a hidden premise for the main claim. On the closed-manifold smooth core the constructions are standard: continuity operator via Moser/Ebin–Marsden (Lemmas 3.1–3.2, Prop. 3.3), Otto pair by weighted Poincaré + Riesz (Thm 5.1), Stein pair by RKHS inclusion + quotient (Thm 6.1), and the mobility identity K^S = A_ρ M_ρ (Lemma 7.1) which immediately yields the exact/particle/time-change/observation criteria of Thm 7.2 and Cor. 7.3. Finite-rank realisation (Prop. 7.6) is elementary linear algebra on a finite-dimensional horizontal subspace. No internal inconsistency or unstated analytic gap appears in the load-bearing chain of Theorem 19.1(i)–(vi).","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The paper treats the Fréchet manifold of smooth positive probability densities on a closed Riemannian manifold and organises the particle–field–empirical–law–functional hierarchy of diffusion around the continuity operator A_ρv = −div(ρv). Two Hilbert completions of admissible velocities—weighted L²(ρ) (Otto/Wasserstein) and a vector-valued RKHS (Stein)—produce fibrewise tangent–cotangent pairs with Onsager maps K^•_ρ = A_ρ B^•_ρ. Their relation is encoded by the effective mobility M_ρ = P^hor_ρ I_ρ I^*_ρ on the Otto horizontal space, so that the Stein law tangent is A_ρ M_ρ grad f. Exact particle agreement, law agreement, time-change equivalence, observation equivalence, spectral comparability, and finite-rank realisation of prescribed responses are characterised. Relative entropy, exponential families, Gaussian affine lifts, empirical mean-field limits, diffusion currents, resolvents, Feynman–Kac reaction, and abstract Wiener space are developed as instances of the same hierarchy. The main synthesis is Theorem 19.1.","tokens_in":41896,"tokens_out":1391,"duration_ms":33964,"significance":"If the fibrewise comparison theory is accepted, the paper supplies a clean common language for Otto geometry and Stein variational calculus and separates several notions of ‘equivalence’ (particles, laws, clocks, observations, dissipation, fluctuation actions) that are often conflated. The mobility identity K^S_ρ f = A_ρ M_ρ grad f and the finite-rank design result (Prop. 7.6) are concrete and usable. The work is largely a careful reorganisation of standard tools (Moser/Ebin–Marsden, weighted elliptic theory, Riesz representation, RKHS inclusions, JKO/Otto, Nüsken–Renger) rather than a single deep new theorem; its value is taxonomic and comparative. Strengths include explicit disclosure that all Hilbert pairs are fibrewise (Remark 1.1, close of Thm 19.1), clear proofs on the closed-manifold smooth core, and honest labelling of formal large-deviations material. This is a solid foundations contribution for math.PR / geometric analysis of gradient flows, provided the journal wants synthesis papers of this length.","major_comments":[{"comment":"Theorem 19.1 and §7 are fibrewise; the abstract’s claim of a ‘partial universalisation of the microscopic–mesoscopic–macroscopic hierarchy’ is stronger than what is proved. Global Stein flows, connections, or smooth dependence of completed fibres on ρ are repeatedly deferred to ‘uniform range and nullspace control’ (Remark 1.1, end of Thm 19.1, Appendix B) that is not established. The main theorem statement should be rephrased to match the fibrewise scope, and the abstract should not suggest a completed hierarchy beyond the closed-manifold smooth core.","section":"Theorem 19.1; Remark 1.1; Abstract"},{"comment":"§14.3 presents the Stein many-particle action (14.6)–(14.7) as formal and cites Nüsken–Renger for long-time variational statements while calling the pathwise LDP formal. Large-deviations equivalence is then used interpretively in §7.6 and §19 as a distinct level of geometric equivalence. Either supply hypotheses under which I^S is a genuine rate function on the manifold setting of the paper, or clearly quarantine §14.3 (and the corresponding clause in Thm 19.1’s interpretive wrap-up) as heuristic so it cannot be read as load-bearing for the comparison theory.","section":"§14.3, Eqs. (14.6)–(14.7); §7.6; §19"}],"minor_comments":[{"comment":"Title and running heads contain spacing artefacts: ‘P ASSAGE’, ‘THEOR Y’, ‘Fr´ echet’, ‘H¨ ormander’, etc. Normalise LaTeX accents and spacing throughout.","section":"Title page; passim"},{"comment":"Abstract: typo ‘conintuity’ → ‘continuity’.","section":"Abstract"},{"comment":"The manuscript is very long (~55 pp.) and encyclopedic (§§11–18 largely instantiate the hierarchy). Consider moving Gaussian verification, normalisations, and some path-space material to appendices or a companion note so the core comparison (§§2–7, 19) is easier to extract.","section":"Organisation; §§11–18"},{"comment":"Notation for Onsager maps switches between K^W_ρ / K^S_ρ and grad^• F; a single dictionary table early in §4 or §5 would help.","section":"§4–§5"},{"comment":"Prop. 7.6 constructs a finite-rank kernel fibrewise; a one-sentence remark on whether the resulting k can be chosen measurable/smooth in ρ when E_ρ and R_ρ vary smoothly would align with Appendix B.","section":"Proposition 7.6"},{"comment":"References: several arXiv-only or recent ML venue items (e.g. BBG25, CS25, HBSL25) are fine, but check final bibliographic consistency (accents, capitalisation of ‘Wasserstein’, ‘Fokker–Planck’).","section":"References"}],"recommendation":"minor_revision","confidential_remarks":"The skeptic’s clean bill on the load-bearing chain (A_ρ surjectivity, Otto/Stein Riesz pairs, M_ρ identities, Thm 7.2/Cor. 7.3, Prop. 7.6) matches my reading; I did not find an internal inconsistency. The paper is more synthesis than a single sharp theorem—acceptable for a foundations-oriented PR venue, but the editor may wish to confirm that the journal wants a long comparative geometry paper rather than a short note extracting §§2–7+19. Novelty relative to Duncan–Nüsken–Szpruch and Nüsken–Renger should be stated more sharply in the introduction if priority disputes are a concern; the M_ρ packaging and the multi-level equivalence taxonomy appear to be the authors’ organising contribution."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"The one thing worth knowing is that this paper cleanly factors Stein response through Otto’s horizontal space as the mobility operator M_ρ = P_hor I I*, then uses that single object to separate particle agreement, law agreement, time-change, observation equivalence, and quadratic-cost comparison. That taxonomy, plus the elementary finite-rank kernel design that realises any positive self-adjoint response on a finite force subspace, is the actual new package.\n\nWhat it does well is the bookkeeping. Continuity operator as diffeomorphism differential, weighted elliptic surjectivity, Otto and Stein Riesz pairs by quotient, and the identity K^S = A M are standard analysis applied carefully on the closed-manifold smooth core. Entropy, exponential families, Gaussian affine lifts, and the particle-to-functional diagram all sit inside the same language without forcing false equalities. Citations to Otto/JKO, Nüsken–Renger, Ambrosio–Gigli–Savaré, and the Stein VG literature are in the right places; circularity is essentially zero.\n\nSoft spots are real but already labelled. Everything Hilbert is fibrewise; a smooth Stein bundle or global nonlinear flow needs uniform range/nullspace control that is not proved here (Remark 1.1 and the close of Thm 19.1). Path-space large-deviation actions and some infinite-dimensional statements remain formal or cited. Those are scope limits, not hidden load-bearing gaps in the main theorem.\n\nThis is for people who already live in geometric Markov analysis, optimal transport, or Stein variational methods and want a common dictionary. It will not change practice outside that circle, but the comparison calculus is usable. I would send it to referees; the core is sound enough to deserve a serious read rather than a desk reject. Engage if the Otto–Stein interface is on your desk; otherwise file it as a clean reference.","headline":"Solid fibrewise comparison of Otto and Stein via the mobility M_ρ; organises known geometries rather than solving a hard open problem, and the author already flags the global-flow limits.","tokens_in":42569,"tokens_out":479,"would_cite":true,"duration_ms":11152,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["49Q22","46T05","58B20","60H10","35Q84","47D07","53B12","60F10"],"pacs":[],"model":"grok-4.5","headline":"Two geometries of diffusion—Otto and Stein—agree exactly when a single positive mobility operator acts as the identity on forces.","keywords":["Otto geometry","Stein geometry","continuity operator","effective mobility","Wasserstein gradient flow","reproducing kernel","Markov diffusion","probability densities"],"falsifier":"Pick a concrete kernel and a force (for example relative-entropy force log(ρ/π)) on the circle or torus; compute M grad f and check whether it equals grad f. If the resulting Otto and Stein continuity equations produce different density curves while M claims to fix the force, the central equivalence fails.","tokens_in":42498,"feed_emoji":"↔️","tokens_out":1162,"duration_ms":21819,"temperature":0.7,"pith_summary":"Diffusion can be described at many levels at once: random particle paths, the vector fields that move them, the empirical clouds they form, the smooth probability laws those clouds approximate, and the energies or observables assigned to those laws. The paper builds a common hierarchy linking these levels on the space of smooth positive densities, and isolates the single choice that turns a force into motion: a Hilbert norm on admissible particle velocities. Two classical choices give Otto geometry (weighted L2) and Stein geometry (reproducing-kernel Hilbert space). Both begin from the same scalar force; they differ only in the response rule that selects a velocity. That difference is completely encoded by one positive self-adjoint operator M on the space of horizontal forces. Law evolutions agree exactly when M fixes the force; particle fields agree only under the stronger condition that the raw kernel map fixes it; weaker notions (time change, shared moments, comparable dissipation) are likewise read off M. The result is a precise dictionary saying when two geometric descriptions of the same diffusion are equivalent and when they are not.","feed_headline":"When Otto and Stein diffusion geometries agree","feed_subtitle":"One positive mobility operator decides particle, law, and dissipation equivalence","key_machinery":"The effective mobility M_ρ = P_hor I_ρ I*_ρ on the Otto horizontal space. It is the single positive operator that converts every comparison of Otto and Stein evolutions—particle fields, law tangents, time changes, observed moments, dissipation rates—into a linear-algebra statement about forces.","core_discovery":"On a closed Riemannian manifold the continuity operator A_ρv = −div(ρv) identifies density tangents with particle velocities modulo divergence-free rearrangements. Weighted L2 and reproducing-kernel norms produce fibrewise Otto and Stein Hilbert pairs whose Onsager maps factor as K = A B. Their law tangents for a regular force grad f are A grad f and A M grad f, with M the horizontal projection of the kernel inclusion; the tangents agree if and only if M grad f = grad f, while the particle fields agree if and only if the unprojected kernel map fixes grad f. Any positive self-adjoint finite-dimensional response is realised by a finite-rank kernel.","pith_inferences":["The same mobility test should decide when other kernelised particle methods (beyond Stein variational gradient descent) are macroscopically indistinguishable from Wasserstein gradient flow.","Designing kernels whose M is a controlled preconditioner rather than the identity gives a systematic way to accelerate sampling while preserving the target law trajectory up to time change.","Extending the fibrewise dictionary to a genuine connection on a Stein bundle would require proving that the range of I_ρ varies smoothly—an analytic problem the paper isolates but leaves open.","The path-space and abstract-Wiener sections suggest the same hierarchy can organise infinite-dimensional sampling and conditioned diffusions once closability is secured."],"forward_implications":["Equality of Otto and Stein entropy flows reduces to the single algebraic test M u = u on the score u = grad log(ρ/π).","Any prescribed positive response on a finite-dimensional force subspace can be engineered by a finite-rank vector-valued kernel.","Law-equivalent particle fields may still differ by measure-preserving rearrangements, so finite empirical configurations can distinguish lifts that the limiting density cannot see.","Deterministic gradient-flow agreement does not force agreement of large-deviation fluctuation costs; the full actions coincide only when the tangent and cotangent norms agree off the zero-cost curve.","On regular exponential families, Stein solutions of the Poisson equation realise Fisher mirror descent by particle transport once the fields lie in the chosen kernel space."],"fun_headline_variants":["When Otto and Stein geometries agree on closed manifolds","Continuity operator links Otto and Stein diffusion pairs","Otto-Stein Hilbert pairs agree iff kernel fixes grad f","One continuity operator mediates particle-to-law hierarchy","Fibrewise Otto and Stein norms via weighted L2 completions"],"cache_read_input_tokens":32896,"weakest_assumption_plain":"All comparisons are fibrewise at each fixed density; a smoothly varying kernel geometry or a globally well-posed nonlinear Stein flow needs extra uniform control of how the kernel’s range and nullspace change with the density.","fun_headline_variants_meta":{"raw":{"variants":["When Otto and Stein geometries agree on closed manifolds","Continuity operator links Otto and Stein diffusion pairs","Otto-Stein Hilbert pairs agree iff kernel fixes grad f","One continuity operator mediates particle-to-law hierarchy","Fibrewise Otto and Stein norms via weighted L2 completions"]},"model":"grok-4.5","effort":"low","cost_usd":0.002587,"raw_usage":{"total_tokens":1029,"prompt_tokens":788,"num_sources_used":0,"completion_tokens":78,"cost_in_usd_ticks":25868000,"prompt_tokens_details":{"text_tokens":788,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":163,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":788,"tokens_out":78,"duration_ms":3847,"temperature":1.0,"reasoning_tokens":163,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-31T03:13:14.972690+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Pick a concrete kernel and a force (for example relative-entropy force log(ρ/π)) on the circle or torus; compute M grad f and check whether it equals grad f. If the resulting Otto and Stein continuity equations produce different density curves while M claims to fix the force, the central equivalence fails.","supporting_citations":[],"review_version":1}