{"id":"9203bee7-2b36-42b5-86e3-884b0a98076b","arxiv_id":"2605.27086","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":7.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Defines the Wasserstein-Ebin metric on Riemannian metrics such that the volume map is a Riemannian submersion to the Wasserstein-Fisher-Rao metric on densities, plus related static divergences.","lead":"The paper introduces the Wasserstein-Ebin metric on the space of Riemannian metrics via a dynamic variational extension of unbalanced optimal transport, with the volume map acting as a Riemannian submersion to the Wasserstein-Fisher-Rao metric on densities. A smart generalist might read it to see how geometric optimal transport ideas can be lifted to richer structures used in shape modeling and data on manifolds.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"The reader's weakest assumption correctly isolates the definitional step on which the submersion rests. Because the full text presents the construction and states that the main result follows, and no further hidden assumption or circularity is detectable, the verdict remains UNVERDICTED pending a detailed line-by-line check of the proof rather than a change to ACCEPT or REJECT.","tokens_in":1763,"tokens_out":335,"duration_ms":34069,"concrete_test":"Extract the explicit formula for the Wasserstein-Ebin inner product (presumably in the dynamic formulation section) and evaluate it on a pair of tangent vectors whose transport component is zero and whose source component lies in the kernel of the differential of the volume map; confirm that the norm is strictly positive unless the vector is identically zero.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is that the volume map is a Riemannian submersion from the newly defined Wasserstein-Ebin metric to the Wasserstein-Fisher-Rao metric. The construction proceeds by defining a dynamic formulation that augments transport by a source term, then equips the tangent space to the manifold of metrics with an inner product that uses the L2 metric on the transport vector field and the Ebin metric on the source component. The paper states that this choice yields a Riemannian metric and proves the submersion property. No internal inconsistency, missing hypothesis, or non-obvious failure of positive-definiteness or surjectivity of the differential is apparent from the stated construction; the result is presented as a direct consequence of the chosen penalization.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript introduces dynamic and static formulations that extend unbalanced optimal transport from positive densities to the space of Riemannian metrics. It defines the Wasserstein-Ebin metric via a dynamic variational problem in which metric evolution is driven by a transport vector field (penalized by the L² metric) together with a source term (penalized by the Ebin metric). The central result asserts that the volume map is a Riemannian submersion from this new metric to the Wasserstein-Fisher-Rao metric on densities. An additional submersion is constructed from the automorphism group of the tangent bundle onto the space of metrics, generalizing Otto's geometric picture. Two Kullback-Leibler-type divergences on metrics are proposed for a static formulation, though the link between static and dynamic versions is left open.","tokens_in":1897,"tokens_out":485,"duration_ms":33046,"significance":"If the constructions and submersion property are rigorously established, the work supplies a parameter-free geometric lift of unbalanced optimal transport to the manifold of Riemannian metrics, directly generalizing Otto's description of the Wasserstein metric. The explicit use of the L² metric on the transport component and the Ebin metric on the source component, together with the submersion result, provides a clean geometric relationship between metrics and their volume densities that may prove useful in shape analysis and geometric evolution equations.","major_comments":[],"minor_comments":[{"comment":"§3 (dynamic formulation): the precise domain and regularity assumptions on the source term in the tangent space to the space of metrics should be stated explicitly so that the inner-product definition is manifestly well-defined on the correct bundle.","section":"§3"},{"comment":"The two proposed Kullback-Leibler-type divergences on metrics are introduced without explicit formulas; adding the expressions (even if only for the matrix-information-geometry version) would make the static formulation easier to compare with the dynamic one.","section":"§6"},{"comment":"The proof that the chosen penalization yields a positive-definite inner product (hence a genuine Riemannian metric) is asserted but would benefit from a short self-contained verification that the resulting bilinear form is non-degenerate on the tangent space.","section":"§3.2"}],"recommendation":"minor_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for their careful reading, positive assessment of the significance of the Wasserstein-Ebin metric construction, and recommendation for minor revision. The referee's summary correctly captures the dynamic and static formulations, the Riemannian submersion property of the volume map, and the open question regarding the link between static and dynamic versions.","responses":[],"tokens_in":1345,"tokens_out":83,"duration_ms":26516,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The core contribution is a new Riemannian metric on the space of metrics that combines L2 penalization on the transport field with the Ebin metric on the source term, plus the claim that the volume map becomes a submersion onto the unbalanced Wasserstein metric on densities. They also give a submersion from the automorphism group of the tangent bundle, generalizing Otto's picture.\n\nThis is a clean extension of existing geometric optimal transport ideas. The dynamic formulation is set up in a way that directly produces the desired inner product on tangent spaces, and the submersion property follows from the choice of penalization without obvious gaps in the construction. The static KL-type divergences on metrics are a reasonable addition even if the link back to the dynamic side is left open.\n\nThe main limitation is that everything stays at the formal level of smooth densities and metrics; there is no discussion of regularity issues or how the constructions behave under approximation. The static-dynamic equivalence is explicitly noted as future work, which is honest but leaves one direction incomplete.\n\nThis is for people working in geometric analysis or shape spaces who already know the Wasserstein and Ebin geometries. It is a specialized but self-contained advance that deserves referee time because the central construction is new and the submersion result is stated cleanly.","headline":"The paper defines a Wasserstein-Ebin metric on Riemannian metrics via dynamic unbalanced transport and proves the volume map is a Riemannian submersion to the Wasserstein-Fisher-Rao metric.","tokens_in":2361,"tokens_out":338,"would_cite":false,"duration_ms":12508,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"The volume map defines a Riemannian submersion from the Wasserstein-Ebin metric on Riemannian metrics to the Wasserstein-Fisher-Rao metric on densities.","keywords":["Wasserstein-Ebin metric","unbalanced optimal transport","Riemannian submersion","volume map","Wasserstein-Fisher-Rao metric","Riemannian metrics","dynamic formulation","Kullback-Leibler divergence"],"falsifier":"An explicit computation of the differential of the volume map that checks whether it satisfies the Riemannian submersion condition with respect to the Wasserstein-Ebin inner product, or a pair of nearby metrics whose Wasserstein-Ebin distance fails to equal the Wasserstein-Fisher-Rao distance of their volumes.","tokens_in":2668,"feed_emoji":"","tokens_out":782,"duration_ms":31092,"temperature":0.7,"pith_summary":"The paper extends unbalanced optimal transport from positive densities to the full space of Riemannian metrics through both dynamic and static formulations. In the dynamic version, metric evolution combines a transport vector field penalized by the L2 metric with a source term penalized by the Ebin metric, producing the Wasserstein-Ebin metric. The central result establishes that sending each metric to its volume density yields a Riemannian submersion onto the space equipped with the Wasserstein-Fisher-Rao metric. The work also constructs a submersion from the automorphism group of the tangent bundle onto the space of metrics, generalizing Otto's classical picture, and introduces two Kullback-Leibler-type divergences for a static formulation whose connection to the dynamic one is left open.","feed_headline":"Volume map is Riemannian submersion under Wasserstein-Ebin metric","feed_subtitle":"The construction lifts unbalanced transport geometry from densities to the space of Riemannian metrics via a dynamic penalization scheme.","key_machinery":"The Wasserstein-Ebin metric, obtained from the dynamic formulation that penalizes transport by the L2 metric and source by the Ebin metric on the evolution of Riemannian metrics.","core_discovery":"The authors construct the Wasserstein-Ebin metric on the manifold of Riemannian metrics via a dynamic variational problem in which the evolution is driven by transport and source, with the L2 metric penalizing the vector field and the Ebin metric penalizing the source. They prove that the volume map is a Riemannian submersion from this metric to the Wasserstein-Fisher-Rao metric on smooth densities and construct a Riemannian submersion from the automorphism group of the tangent bundle onto the space of Riemannian metrics.","pith_inferences":["The submersions suggest that horizontal lifts could be used to solve metric-valued optimization problems by reducing them to density-valued ones.","The static divergences may connect the construction to matrix information geometry and allow direct comparison of metrics without solving a dynamic problem.","If the open link between static and dynamic formulations is closed, the resulting theory would parallel the equivalence of static and dynamic unbalanced optimal transport on densities."],"forward_implications":["Horizontal geodesics in the Wasserstein-Ebin metric project to geodesics in the Wasserstein-Fisher-Rao space of densities.","The automorphism group of the tangent bundle supplies a geometric description of the Wasserstein-Ebin metric that generalizes Otto's construction for the Wasserstein metric.","Two new Kullback-Leibler-type divergences on the space of Riemannian metrics furnish a static formulation of unbalanced metric transport.","Distances and optimal paths between metrics can be studied by lifting problems already solved on their volume densities."],"fun_headline_variants":["Wasserstein-Ebin metric lifts unbalanced transport to Riemannian metrics","Volume map Riemannian submersion from Wasserstein-Ebin to WFR metric","Dynamic penalization defines Wasserstein-Ebin metric on metrics","Riemannian submersion from tangent bundle automorphisms to metrics"],"cache_read_input_tokens":64,"weakest_assumption_plain":"The chosen L2 and Ebin penalizations produce a well-defined Riemannian metric on the manifold of Riemannian metrics when formally extending unbalanced optimal transport.","fun_headline_variants_meta":{"raw":{"variants":["Wasserstein-Ebin metric lifts unbalanced transport to Riemannian metrics","Volume map Riemannian submersion from Wasserstein-Ebin to WFR metric","Dynamic penalization defines Wasserstein-Ebin metric on metrics","Riemannian submersion from tangent bundle automorphisms to metrics"]},"model":"grok-4.3","cost_usd":0.006141,"raw_usage":{"total_tokens":2925,"prompt_tokens":722,"num_sources_used":0,"completion_tokens":70,"cost_in_usd_ticks":61412000,"prompt_tokens_details":{"text_tokens":722,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":2133,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":722,"tokens_out":70,"duration_ms":26287,"temperature":1.0,"reasoning_tokens":2133,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-29T15:55:14.751235+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"An explicit computation of the differential of the volume map that checks whether it satisfies the Riemannian submersion condition with respect to the Wasserstein-Ebin inner product, or a pair of nearby metrics whose Wasserstein-Ebin distance fails to equal the Wasserstein-Fisher-Rao distance of their volumes.","supporting_citations":[],"review_version":1}