{"id":"bb2f38ce-6681-4f91-b731-4e2ad42aed70","arxiv_id":"2606.14318","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Sectional curvature of Hellinger-Kantorovich space decomposes into a negative lifted part and a nonnegative twisted part, with explicit formulas on Euclidean space and the torus.","lead":"This paper derives explicit formulas for the sectional curvature of the space of finite measures with the Hellinger-Kantorovich metric, splitting it into a negative 'lifted' part and a nonnegative 'twisted' part. It also introduces a synthetic sectional curvature for geodesic spaces and applies it to the Wasserstein space of probability measures.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Def 4.21 asserts 'one easily verifies' that exp^Me_μ(tφ) is an HK-geodesic; this unproved geodesic property is load-bearing because Sec_μ is defined through these curves and Alexandrov conclusions use Thm 2.4.","rationale":"The reader's weakest_assumption isolates the correct soft spot: the unproved geodesic property of the exponential map in Definition 4.21. My independent reading confirms this is the structurally critical assumption. Without it, the quantity defined in Definition 5.1 is not the sectional curvature of geodesics in the metric sense of Section 2, and the applications to Alexandrov curvature bounds (Theorem 5.18, Corollary 6.16) lose their justification. The paper's own text flags the step only with 'one easily verifies', and no proof or reference is supplied. The geodesic property is not obviously true for arbitrary measures: in the cone picture, the push-forward of a measure under the map x↦exp_x(t(∇φ,2rφ)) is a W2-geodesic in P2(C) only if the velocity field is appropriately c-concave and no cut-locus or vertex issues interfere. For singular measures or supports at distances ≥π/2, this needs a separate argument. The explicit formulas for Sec↑ and Sec∇ may still be correct as limits along the exponential curves, but their interpretation as the metric space's sectional curvature—and the paper's central claim—depends on the missing geodesic verification. I therefore agree with the reader that the paper is a substantial advance but should remain conditional until this step is proved or made an explicit assumption.","tokens_in":45283,"tokens_out":34943,"duration_ms":358024,"concrete_test":"Take M=S^1 (circle), μ=δ_0+δ_π (two atoms at distance π) and φ∈C_c^∞(S^1) with φ(0)=1, φ(π)=0. By Lemma 4.19 the exponential curve is μ_t=(1+2t)^2δ_0+δ_π. Compute HK(μ,μ_t) exactly by optimizing over all lifts: for μ use ν0=αδ_{(0,1/√α)}+(1-α)δ_{(π,1/√(1-α))}, for μ_t use ν1=βδ_{(0,(1+2t)/√β)}+(1-β)δ_{(π,1/√(1-β))}, and compute the W_C Wasserstein distance between ν0 and ν1. Determine whether inf_{α,β, coupling} W_C(ν0,ν1) equals 2t, i.e. t∥φ∥_{H^1(μ)}. If equality holds, the geodesic assertion survives this antipodal test; if the inf is strictly smaller, Def 4.21 is false and the sectional-curvature interpretation fails.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Definition 4.21 introduces the analytic tangent space and exponential map and then states, without proof: 'One easily verifies that for any φ∈C_c^∞(M) and sufficiently small τ>0, the curve t↦exp^Me_μ(tφ) for t∈[0,τ] will be a HK-geodesic in M^e(M).' This is the single most load-bearing claim in the paper. The sectional curvature Sec_μ(φ,ψ) in Definition 5.1 is defined as a limit involving exp^Me_μ(tφ) and exp^Me_μ(tψ). For this limit to be the sectional curvature of the metric space (M^e,HK) in the sense of Section 2, the curves must be genuine geodesics emanating from μ. If they are not, Sec_μ is only a curvature-like quantity along non-geodesic exponential curves, and the interpretation of the explicit formulas as the sectional curvature of (M^e,HK) collapses. Moreover, Theorem 2.4 is used in Theorem 5.18 and Corollary 6.16 to translate signed sectional-curvature values into Alexandrov curvature bounds; if the curves are not geodesics, those consequences do not follow. The assertion is plausible for smooth absolutely continuous measures by local Riemannian transport theory, but it is nontrivial for arbitrary μ (especially singular or with support at distances ≥π/2), where the cone/P_2 optimality of the push-forward under (∇φ,2rφ) requires proof. The paper supplies none.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper develops a synthetic sectional curvature for geodesic metric spaces (Definition 2.3), then applies it to the Hellinger-Kantorovich space (M^e(M),HK) and to the Kantorovich-Wasserstein space (P_2(M),W_2). The central claimed structure is stated in Section 5.1: for every μ in M^e(M) and φ,ψ in C_c^∞(M), the sectional curvature exists and decomposes as Sec_μ(φ,ψ) = Sec^↑_μ(φ,ψ) + Sec^∇_μ(φ,ψ). The lifted part is expressed through the base sectional curvature minus 1; the twisted part is nonnegative and, for Euclidean absolutely continuous μ, is given by the explicit H^1-projection formula (3/Λ) inf_η ∫ [|F−∇η|² + 4η²] dμ, F = ½(∇²φ∇ψ − ∇²ψ∇φ). The torus section gives explicit Fourier formulas, uniform bounds, examples with negative/positive curvature, divergent renormalized Ricci, and a divergence result for the Ricci sum. The P_2 section recovers and extends formulas of Lott. The final conclusions are that (M^e(R^n),HK) and (M^e(T^n),HK) admit no Alexandrov curvature bounds.","tokens_in":45744,"tokens_out":12249,"duration_ms":132582,"significance":"If fully substantiated, this would be a significant contribution. It appears to give the first general curvature formulas for the Hellinger-Kantorovich geometry, reveals a nontrivial competition between a negative lifted part and a positive twisted part, and offers a rigorous optimal-transport route that avoids the Otto-calculus restriction to absolutely continuous measures. The synthetic definition of sectional curvature for geodesic spaces is natural, and the explicit torus calculations are concrete and checkable. The decomposition into lifted and twisted parts, the spatial scaling theorem, and the construction of renormalized Ricci curvature are all valuable. However, several load-bearing assertions are currently unproved: the geodesic property of the exponential map in Definition 4.21, the existence and regularity of the cone optimal map in Theorem 5.8, and the two-parameter limit extension. These gaps must be closed before the advertised interpretation as sectional curvature of the geodesic space is fully justified.","major_comments":[{"comment":"The statement 'One easily verifies that for any φ∈C_c^∞(M) and sufficiently small τ>0, the curve t↦exp^{M^e}_μ(tφ) is an HK-geodesic' is asserted without proof. This is load-bearing: Definition 5.1 and Theorem 5.2 define Sec_μ through these curves, and Theorem 5.18 and Corollary 6.16 use Theorem 2.4 to convert the computed values into Alexandrov curvature statements. The claim is not a routine verification for arbitrary μ. Theorem 4.20 covers only absolutely continuous μ; for singular μ one must prove that tΦ = t r²φ is c-concave on the cone and that exp^C(t∇Φ) induces an optimal W_C coupling from the canonical lift of μ. Without this, the quantity in Definition 5.1 is only a curvature-like limit along pseudo-geodesics, not the sectional curvature of the metric space in the sense of Section 2. Please supply a proof or restrict the main theorem to a class of measures for which the geodesi","section":"§4.4.2, Definition 4.21"},{"comment":"The proof invokes the Pinning Theorem 4.4 together with the McCann–Brenier theorem on the cone to assert the existence of an optimal map T_t on C transporting a lift of α_t to a lift of β_t, and then asserts the special form T_t = exp^C(∇θ_t, 2rθ_t) and smooth dependence of θ_t on t 'by elliptic regularity theory.' None of these steps is justified in the text. Pinning Theorem 4.4 gives equality of HK distance with a W_C distance for some lift of β_t; it does not by itself produce a Monge map. Moreover, the canonical lifts p_t are supported on an n-dimensional graph in the (n+1)-dimensional cone, not absolutely continuous on C, so the usual McCann–Brenier hypothesis is not satisfied. This is precisely where the H^1-projection formula and the explicit twisted curvature arise. A rigorous derivation of the existence, form, and regularity of T_t is needed.","section":"§5.3, Theorem 5.8 proof, step (ii)"},{"comment":"In both proofs, the step labelled 'The final extension to the 2-parameter limit' is dismissed with 'This is easily verified.' This is not a harmless omission. Definition 5.1 (and Definition 3.8) require the limit over all sequences (s_ℓ,t_ℓ) with bounded ratio, whereas the detailed computations establish only the one-parameter limit s=t→0. Since existence of the two-parameter limit is part of the claimed theorem, a uniform-in-ratio estimate is needed. The current assertion leaves the existence of Sec_μ incomplete.","section":"Theorem 3.24 (vi) and Theorem 5.8 (vi)"},{"comment":"Definition 3.8 defines Sec_μ(P,Q) for P,Q in the geometric tangent space using the curves exp(tP), exp(tQ). However, Section 3.1.2 calls these 'pseudo geodesics' and the membership condition in Definition 3.4 only requires W_2(μ,exp(tP)) = t|P|_μ for some t>0, not that exp(tP) is a genuine geodesic for all small t. The synthetic definition in Section 2 and the implications in Theorem 2.4 are formulated for genuine geodesics. If the P_2 results are to be interpreted as sectional curvature of the geodesic space (P_2(M),W_2), this mismatch must be resolved; otherwise the corollaries using Theorem 2.4 for P_2 should state the additional geodesic hypothesis explicitly.","section":"§3.2, Definition 3.8 and §3.1.2"}],"minor_comments":[{"comment":"The displayed claim 'Sec^↑_μ(φ,ψ) ≥ 0' should read 'Sec^∇_μ(φ,ψ) ≥ 0'. The same symbol swap appears in the abstract/introduction summary of the twisted part.","section":"§1(c)"},{"comment":"The sentence 'Finally, observe that F = ∇f for f := (Δ_ρ)^{-1} div_μ F' is false as stated for a general vector field F and is not used in the subsequent self-adjointness identity. It should be removed or corrected.","section":"§5.3, proof of Theorem 5.8, step (v)"},{"comment":"In the upper bound, '≤ 3/2 4^n (|k|²+|ℓ|²)' is missing a multiplication sign; it should read '(3/2)·4^n' or similar.","section":"§6.2, Theorem 6.11"},{"comment":"The sentence 'Now assume that (M^e,HK) where NPC' appears to be missing a word; should be 'satisfies NPC' or 'is NPC'.","section":"§5.6, Theorem 5.18"},{"comment":"The inequality chain near the end has a typo: it should state 1/800 L² C² − 10L² ≥ 1/1000 L² C² for sufficiently large C, not '≥ -10L² ≥ ...'.","section":"§6.4, proof of Theorem 6.15"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is valuable and the formulas are plausible, but the load-bearing geodesic property and the cone-optimal-map regularity are not proved. I do not think this warrants rejection: these gaps may be fillable by standard c-concavity and elliptic-regularity arguments. However, the current text presents them as 'easily verified,' which is not acceptable for the paper's central claim. I would condition acceptance on a rigorous treatment of those points and a careful proofreading pass for the numerous typos."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"What's actually new: explicit sectional curvature formulas for the Hellinger-Kantorovich space (Me(M), HK) — lifted part coming from the base manifold minus 1, twisted part nonnegative with a variational formula in the Euclidean case. The torus computations (Ricci divergence, renormalized Ricci) are concrete and new. For P2, the paper rigorously extends Lott's formal calculations to general measures and geometric tangent spaces. That is substantial.\n\nThe detailed proofs for the Euclidean absolutely continuous case are solid: the four-step transport estimate, the projection onto gradients, the variational characterization. The decomposition theorem 5.2 is clean. The torus Fourier computations are elaborate and, as far as I can tell, correct. The explicit formulas will be widely cited.\n\nNow the soft spots, in proportion. The stress-test note is right: Definition 4.21 states \"One easily verifies\" that exp^Me_mu(t phi) is an HK-geodesic for any mu and any C_c^infty phi. That is not obvious for arbitrary mu. The sectional curvature Sec_mu(phi, psi) in Def. 5.1 is defined as a limit using these exponential curves. If those curves are not genuine geodesics, Sec_mu is only a curvature-like quantity along exponential paths, not the sectional curvature of (Me, HK). The Alexandrov conclusions (Thm 5.18, Cor 6.16) rely on Theorem 2.4, which assumes geodesics. So this is a load-bearing gap, not a cosmetic one. The assertion is plausible — for absolutely continuous mu it follows from the cone version of Brenier–McCann — but for singular mu or mass at distances ≥ π/2, it needs a real argument. The paper does not supply one.\n\nTwo smaller issues: the \"easily verified\" extension from the one-parameter to the two-parameter limit in Theorem 3.24 and Theorem 5.8 is sketched in a sentence; and the passage from smooth absolutely continuous mu to general mu is waved through. These are lesser because the core computation is already long, but they are nontrivial.\n\nAlso minor: the abstract says the lifted part is negative and the twisted part positive; the theorem says Sec^↑ = Sec^M - 1 which is negative for Euclidean, and Sec^∇ ≥ 0. The intro has a typo \"Sec^↑ ≥ 0\" where it should be Sec^∇. Sloppy but not confusing.\n\nWho this is for: metric geometers and optimal transport people. It deserves a serious referee — the formulas are important and likely correct, but the geodesic-property gap needs to be either proved or explicitly assumed. A good referee could sort that out. Send it to review.","headline":"Sturm's explicit HK sectional curvature formulas are a real advance, but the unproved geodesic property of his exponential map is load-bearing and needs fixing before the interpretation and the Alexandrov conclusions hold.","tokens_in":46122,"tokens_out":3310,"would_cite":true,"duration_ms":41771,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C23","53C21","49Q22"],"pacs":[],"model":"deepseek-v4-flash","headline":"On the space of finite measures with the Hellinger-Kantorovich metric, sectional curvature exists for smooth directions and decomposes into a negative lifted part and a nonnegative twisted part.","keywords":["sectional curvature","Hellinger-Kantorovich metric","Kantorovich-Wasserstein metric","geodesic metric spaces","unbalanced optimal transport","cone construction","Ricci curvature","measure-valued geometry"],"falsifier":"Choose M=R, μ=δ_0, and smooth φ; compute the Hellinger-Kantorovich distance between exp^Me_μ(sφ) and exp^Me_μ(tψ) directly from the cone representation for small s,t and check whether it equals |s−t|·(∫(|∇φ|²+4φ²)dμ)^{1/2} up to O(t⁴). If it does not, the exponential curves are not geodesics and the paper's Secμ is not the metric sectional curvature.","tokens_in":45220,"feed_emoji":"📐","tokens_out":7242,"duration_ms":69527,"temperature":0.7,"pith_summary":"The paper establishes an explicit sectional curvature for the metric space of finite measures on a Riemannian manifold carrying the Hellinger-Kantorovich metric. For every measure and every pair of smooth compactly supported functions, the curvature exists and is the sum of two parts: a 'lifted' part coming from the base manifold's own curvature shifted by minus one, and a 'twisted' part that is always nonnegative and reflects the creation and annihilation of mass. In the Euclidean absolutely continuous case the twisted part is given by a closed variational formula, and on the torus all curvature numbers can be computed in a Fourier basis, revealing simultaneously negative directions, positive average curvature, and divergent Ricci curvature. The same geometric framework supplies a rigorous derivation of the sectional curvature of the Kantorovich-Wasserstein space of probability measures, extending previous formal results to arbitrary measures and geometric tangent directions.","feed_headline":"Measure-space curvature splits into negative and positive parts","feed_subtitle":"Explicit formulas tie curvature to the base manifold minus one plus a nonnegative twist term.","key_machinery":"The load-bearing identity is the purely metric formula for sectional curvature in geodesic spaces: for two geodesics α,β from z, Sec_z(α,β) = 3 lim_{t→0} [t² d_z(α,β)² − d²(α_t,β_t)]/(t⁴ Λ). The paper computes this quantity in the Hellinger-Kantorovich space by using the analytic tangent space H¹(μ) (functions with norm ∫(|∇φ|²+4φ²)dμ) and the exponential map exp^Me_μ(tφ), defined by pushing μ forward along geodesics in the metric cone over M. The split into lifted and twisted parts comes from comparing the squared distance in the base cone, integrated over the lifted measure, with the true Hellinger-Kantorovich distance of the pushed-forward measures; their difference is the nonnegative twi","core_discovery":"Sectional curvature of the Hellinger-Kantorovich space of finite measures on a Riemannian manifold is shown to exist for all measures μ and smooth directions φ,ψ, and to decompose as Secμ(φ,ψ) = (1/Λ) ∫_M (Sec^M_x(∇φ,∇ψ)−1)(|∇φ|²|∇ψ|² − ⟨∇φ,∇ψ⟩²)dμ + Sec∇_μ(φ,ψ), with the twisted part Sec∇_μ always ≥ 0. In the Euclidean absolutely continuous case, Sec∇_μ(φ,ψ) = (3/Λ) inf_η ∫ [|F−∇η|²+4η²]dμ, F = ½(∇²φ∇ψ−∇²ψ∇φ), and on the torus the curvature of Fourier modes is given by an explicit universal formula. For the Wasserstein space P2(M), the same construction recovers the formal curvature formulas in full generality, including arbitrary measures and geometric tangent directions.","pith_inferences":["The same decomposition may hold for other interpolated transport metrics (e.g., Gaussian Hellinger-Kantorovich variants), suggesting a general 'base curvature − 1 plus nonnegative interaction' law.","The explicit Euclidean twisted formula gives a ready-made computational tool: for a density ρ, one can evaluate curvature by solving one weighted Poisson equation, which could be used to test geodesic dispersion properties numerically.","The diverging Ricci curvature on the torus suggests that in high-frequency limits the HK geometry becomes strongly curved; the paper's renormalized Ricci curvature may be the correct quantity for statistical applications.","If the exponential-map geodesicity assumption fails for singular μ, the formulas still describe the curvature of the embedded exponential family, which may be the right object for optimization on measures rather than the full metric space."],"forward_implications":["For M=R^n, directions exist where sectional curvature is strictly negative and directions where it is strictly positive, so (Me(M),HK) has neither nonnegative nor nonpositive Alexandrov curvature.","On the n-torus with normalized volume, the curvature between Fourier modes is known explicitly; super-orthogonal modes have curvature between −1 and −1/25, while averages over large balls are positive and Ricci curvature diverges.","The Wasserstein space P2(M) sectional curvature is now rigorous for arbitrary measures and geometric tangent directions; at a Dirac measure it is nonpositive whenever the base has nonpositive sectional curvature, and identically zero for Euclidean base.","In one dimension the twisted part of HK curvature does not vanish (unlike Wasserstein curvature), so even the line or circle carries nontrivial measure-space curvature.","The zero measure has a well-defined geometric tangent space, and all sectional curvatures there vanish."],"fun_headline_variants":["HK space curvature: negative base plus nonnegative twist","Measure-space curvature splits: base term and nonnegative twist","HK curvature: one negative, one nonnegative part","Explicit curvature for measure space has nonnegative twist part"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The paper's interpretation of the computed limits as the actual metric sectional curvature rests on the unproved claim ('one easily verifies') in Definition 4.21 that, for every measure μ and smooth compactly supported φ, the curve t↦exp^Me_μ(tφ) is an HK-geodesic for small t; if that fails, the quantity Secμ(φ,ψ) is not the curvature of geodesics in the sense of Section 2.","fun_headline_variants_meta":{"raw":{"variants":["HK space curvature: negative base plus nonnegative twist","Measure-space curvature splits: base term and nonnegative twist","HK curvature: one negative, one nonnegative part","Explicit curvature for measure space has nonnegative twist part"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001151,"raw_usage":{"total_tokens":4598,"prompt_tokens":725,"completion_tokens":3873,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":469,"completion_tokens_details":{"reasoning_tokens":3808}},"tokens_in":469,"tokens_out":3873,"duration_ms":33404,"temperature":1.0,"reasoning_tokens":3808,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-02T11:28:05.054536+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Choose M=R, μ=δ_0, and smooth φ; compute the Hellinger-Kantorovich distance between exp^Me_μ(sφ) and exp^Me_μ(tψ) directly from the cone representation for small s,t and check whether it equals |s−t|·(∫(|∇φ|²+4φ²)dμ)^{1/2} up to O(t⁴). If it does not, the exponential curves are not geodesics and the paper's Secμ is not the metric sectional curvature.","supporting_citations":[],"review_version":1}