{"id":"c8774834-c140-4ad6-b1d6-0f5bca0475b6","arxiv_id":"2508.00371","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":7.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"On spaces of positive densities, the alpha-connections of information geometry are shown to be Levi-Civita connections of new alpha-Fisher-Rao metrics, with a related result for diffeomorphism groups and Proudman-Johnson equations.","lead":"This paper shows that a family of geometric structures used in statistics, the Amari-Cencov alpha-connections, can be realized as the Levi-Civita connections of specially chosen metrics on spaces of density functions. It also links the generalized Proudman-Johnson equations on the real line to these same geometric ideas.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified: the claimed α-Fisher-Rao metrics follow naturally from a one-parameter family of weighted L² metrics whose non-Diff-invariant weights are affinely related to α.","rationale":"I could not identify a genuine mathematical objection to the central claim from the abstract alone. The existence of a metric whose Levi-Civita connection is a given torsion-free connection is a strong condition, but for the Amari–Cencov family it is satisfied by a simple family of weighted L² metrics on densities: choose the weight to be a positive power of f, which fixes the coefficient of the hk/f term in the Christoffel symbol. The abstract itself flags the key structural point, non-invariance under Diff(M), and that is precisely what makes the one-parameter family possible; had the metric been required to be Diff-invariant, the uniqueness of the Fisher–Rao metric would force α=0. The reader's weakest assumption is thus not a weak point but the enabling feature. Because no full text was available, the UNVERDICTED verdict should stand; the stress-test cannot certify the proof, but it also finds no reason to suspect a collapse. The only caution is the functional-analytic gap typical of weak metrics on Fréchet manifolds: the Levi-Civita connection may not be unique or well-defined unless the metric and its derivative satisfy smoothness and non-degeneracy conditions. This is a proof obligation for the paper, not a demonstrated counterexample, and it is fully testable by direct Koszul computation once the explicit metric is given.","tokens_in":839,"tokens_out":12476,"duration_ms":139751,"concrete_test":"Take the metric formula for G^α appearing in the paper (or, if none is visible, use the Ansatz G_f(h,k)=∫ h k f^{β} dμ for a fixed volume form μ on a closed M) and directly substitute the candidate connection ∇^α_h k = D_h k + c(α) hk/f into the Koszul formula. Verify that (i) the resulting Christoffel symbols equal those of ∇^(α) for every α∈R, and (ii) the induced map from tangent vector fields to 1-forms is injective and the metric is positive definite on all smooth tangent fields. If both hold, the central claim is verified; if either fails for some α, the claimed existence is false.","verdict_should_be":"UNCHANGED","load_bearing_attack":"No load-bearing concern is apparent from the abstract. The central claim is consistency with metricity, and the natural Ansatz G^α_f(h,k)=∫ h k f^{β(α)} dμ (with β depending affinely on α) is positive definite for f>0, weakly non-degenerate, and has Levi-Civita connection D_h k + c(β) hk/f, matching the Amari–Cencov α-connection once β is chosen so that c(β) equals the paper's c(α). This makes the existence statement plausible and directly checkable, and it explains why non-invariance under Diff(M) is essential: the weight f^{β(α)} transforms nontrivially under pullback for α≠0. The reader's weakest assumption is therefore correct that non-invariance is the enabling feature, but it is not an insecure premise: the construction is fully coherent even with a fixed background measure. The only remaining substantive risk is functional-analytic: Dens_+(M) is a Fréchet manifold, and the proposed metric is only a weak Riemannian metric, so existence and uniqueness of the Levi-Civita connection require justification in that infinite-dimensional setting rather than formal Koszul manipulations. This omission does not undermine the central algebraic claim, but it means the paper's proof, not just its abstract, should be checked.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims a new geometric interpretation of the Amari–Cencov alpha-connections in information geometry. On the space of positive densities Dens_+(M), it asserts the existence of one-parameter families of Riemannian metrics G^α, called alpha-Fisher–Rao metrics, whose Levi-Civita connections coincide with ∇^(α). For α ≠ 0 these metrics are not invariant under the diffeomorphism group, even though the connections are invariant. On the space of probability densities, the paper reports that the same metric description exists only for α ∈ {-1, 0, 1} and that α-connections are not metric otherwise. It further claims that ∇^(α)-geodesics on Prob(M) can be described as radial projections of straight lines on hypersurfaces, yielding geodesic convexity for all real α. Additional results are announced for Diff(M), relating generalized Proudman–Johnson equations to Euler–Arnold equations of non-right-invariant metrics, and for finite-dimensional statistical models, where metricity depends on the model.","tokens_in":1102,"tokens_out":4229,"duration_ms":42608,"significance":"If the announced results are correct, the paper provides a unified Riemannian-geometric interpretation of all Amari–Cencov alpha-connections, giving geodesics an energy-minimizing characterization. The explicit construction of non-Diff-invariant metrics with prescribed Levi-Civita connections is conceptually striking and could open new links between information geometry, infinite-dimensional Riemannian geometry, and hydrodynamics. The paper is careful in stating exceptions (Prob(M) restricted to α ∈ {-1,0,1}; finite-dimensional dependence on the model), which suggests a mathematically mature treatment. The potential implications for the Proudman–Johnson equations are also notable. However, the significance rests on the correctness of the infinite-dimensional geometric constructions, which are delicate.","major_comments":[{"comment":"The central existence theorem — that on Dens_+(M) there exist Riemannian metrics G^α whose Levi-Civita connections equal ∇^(α) — is stated without specifying the infinite-dimensional manifold structure or the regularity of the metrics. On a Fréchet manifold with a weak Riemannian metric, the Levi-Civita connection is not guaranteed to exist or be unique; the paper must either construct the connection explicitly and prove metric compatibility and torsion-freeness, or state a precise functional-analytic framework (e.g., ILH or Sobolev completions) in which the Koszul formula is justified. This point is load-bearing because the entire paper rests on this existence result.","section":"Abstract, opening claim"},{"comment":"The classification on Prob(M) — metric if and only if α ∈ {-1,0,1} — is a sharp dichotomy. The abstract gives no indication of the proof, and the non-metricity direction is not a formal consequence of the Dens_+(M) result, because passing to the submanifold of probability densities may destroy metricity even if the ambient metric exists. A rigorous proof of the non-existence for all other α must be supplied.","section":"Abstract, Prob(M) classification"},{"comment":"The claim of geodesic convexity for every α ∈ ℝ is surprising in view of the non-metricity for most α on Prob(M). Since geodesics of a non-metric connection are not minimizers of any obvious energy, the proof of convexity must carefully define the geodesic equation and the convexity functional; the radial-projection picture should be made precise, including its domain and the relevant hypersurfaces.","section":"Abstract, geodesic convexity"},{"comment":"The statement that generalized Proudman–Johnson equations are Euler–Arnold equations of non-right-invariant metrics is strong, especially for M = ℝ, a non-compact manifold. The paper should clarify the function space (e.g., Sobolev or smooth diffeomorphisms), the precise definition of the metric, and the sense in which the Euler–Arnold equation is defined for a non-invariant metric, including well-posedness or a formal geometric derivation.","section":"Abstract, Diff(M) and Proudman–Johnson equations"}],"minor_comments":[{"comment":"The family of metrics G^α would be clearer if the abstract or the introduction explicitly displayed the dependence on the density f, since the non-invariance comes from a nontrivial weight that is not visible in the notation.","section":"Abstract, notation"},{"comment":"The phrase 'appropriate hyper-surfaces' is vague; naming the hypersurfaces (e.g., level sets of the normalization functional) would improve the readability and make the claim more checkable.","section":"Abstract, wording"},{"comment":"The name 'Amari-Cencov' should be written as 'Amari–Cencov' with an en-dash, and the accent on 'Cencov' should be consistent throughout the manuscript.","section":"General typography"}],"recommendation":"major_revision","confidential_remarks":"I reviewed only the abstract and the referee's summary, as the full text was not accessible. The paper addresses a question of active interest in information geometry and infinite-dimensional Riemannian geometry, and the claims are precise enough to be falsifiable. The main risk is the infinite-dimensional functional-analytic setting, where the existence and uniqueness of Levi-Civita connections for weak metrics is subtle and frequently requires additional hypotheses. I recommend that the editor secure a careful review of the proofs from a specialist in infinite-dimensional differential geometry before acceptance."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"I read the abstract and the stress-test note, not the full text, so treat this as a desk-level read.\n\nThe new thing here is a concrete variational foundation for Amari–Cencov α-connections. On Dens_+(M), the authors claim every α-connection is the Levi-Civita connection of a metric G^α, with α=0 the only Diff-invariant case. That is exactly the right way to explain why the connections are Diff-invariant but the metrics need not be: the weight transforms, so the connection stays. The negative result on Prob(M) (metric only for α=-1,0,1) is important because it makes the classification real rather than vacuous. The geodesic-convexity statement for all real α, and the Proudman–Johnson application on Diff(R), are natural payoffs. If the proofs are as clean as the abstract suggests, this is a serious contribution to information geometry and geometric mechanics.\n\nThe soft spot is functional analysis, and it is the same one the stress-test flags. Dens_+(M) is a Fréchet manifold, and the natural Ansatz G^α_f(h,k)=∫ h k f^{β(α)} dμ is only a weak Riemannian metric. Existence and uniqueness of the Levi-Civita connection is not a formality in that setting; the Koszul formula gives a candidate, but you need a smooth metric on the tangent bundle and a well-defined Levi-Civita connection. The abstract does not say how this is handled. I don't consider that a fatal flaw—the algebraic core is plausible and the non-Diff-invariant weight is not an oversight—but it is the first thing a referee should check. The negative result for Prob(M) also deserves a careful look; the abstract states it without proof, and boundary or normalization issues could make it delicate.\n\nThe citation pattern I can't judge from the abstract, but nothing in the framing suggests crypto-circularity. The paper builds on standard background, and the claimed exception cases are stated explicitly.\n\nRecommendation: send it to peer review. The claims are specific, checkable, and significant for the intended audience. I would want a referee who knows infinite-dimensional geometry to verify the metricity proof and the Fréchet details. If those hold, it's a strong paper. If they don't, the negative results and convexity statements will still be worth publishing. This belongs in a serious venue, not the desk-reject pile.","headline":"A plausible and significant construction that deserves a careful referee; the main open question is whether the weak Riemannian metric has a well-defined Levi-Civita connection in the Fréchet setting.","tokens_in":1579,"tokens_out":2329,"would_cite":true,"duration_ms":23104,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53B05","53C22","58B20","58D05"],"pacs":[],"model":"deepseek-v4-flash","headline":"Every Amari–Cencov α-connection on densities is the Levi-Civita connection of a new metric.","keywords":["Amari-Cencov α-connections","α-Fisher-Rao metrics","Fisher-Rao metric","information geometry","Levi-Civita connection","Proudman-Johnson equations","Euler-Arnold equations","diffeomorphism group"],"falsifier":"Take $M=S^1$, write densities as $\\exp(u)$ in a fixed Sobolev space, compute the Levi-Civita connection of $G^\\alpha$ directly using the paper's definition, and compare its Christoffel symbols with the standard Amari-Cencov connection for some $\\alpha \\neq 0$; a single $\\alpha$ where the two differ would disprove the central claim.","tokens_in":681,"feed_emoji":"📐","tokens_out":8318,"duration_ms":77874,"temperature":0.7,"pith_summary":"This paper argues that the Amari–Cencov α-connections—a one-parameter family of affine connections central to information geometry—are not merely formal objects on the space of positive densities: for every real $\\alpha$, there is a Riemannian metric $G^\\alpha$, called the $\\alpha$-Fisher-Rao metric, whose Levi-Civita connection is exactly $\\nabla^{(\\alpha)}$. Because Levi-Civita connections are precisely the connections whose geodesics minimize energy, this gives $\\alpha$-geodesics a variational meaning they previously lacked. On the space of probability densities the same metricity is shown to hold only for $\\alpha \\in \\{-1,0,1\\}$; for other $\\alpha$ the connection is not metric, yet its geodesics still admit a radial-projection description that yields geodesic convexity for every real $\\alpha$. The paper also constructs analogous metrics on the diffeomorphism group, which make the generalized Proudman-Johnson equations on the real line the Euler-Arnold equations of non-right-invariant metrics, and it shows that in finite-dimensional statistical models metricity of $\\nabla^{(\\alpha)}$ is model-dependent.","feed_headline":"Metrics turn every α-connection into energy-minimizing geodesics","feed_subtitle":"α-geodesics become energy minimizers, and Proudman–Johnson equations become Euler–Arnold flows.","key_machinery":"The load-bearing object is the family of $\\alpha$-Fisher-Rao metrics $G^\\alpha$ on $\\operatorname{Dens}_+(M)$, constructed so that their Levi-Civita connection coincides with the Amari-Cencov connection $\\nabla^{(\\alpha)}$. The key is allowing $G^\\alpha$ to break $\\operatorname{Diff}(M)$-invariance for $\\alpha \\neq 0$, which gives the metric enough freedom to encode the $\\alpha$-dependence while the connection remains invariant. On $\\operatorname{Prob}(M)$, the machinery is a radial-projection description of $\\nabla^{(\\alpha)}$-geodesics, drawing them as radial projections of straight lines onto hypersurfaces, from which geodesic convexity for all real $\\alpha$ follows. On $\\operatorname{Diff}(M)$, the machinery is the Euler-Arnold formulation of geodesic equations for non-right-invariant metrics, which turns the generalized Proudman-Johnson equations into geodesic equations of such metrics.","core_discovery":"The central claim is that the Amari-Cencov $\\alpha$-connections $\\nabla^{(\\alpha)}$ arise as Levi-Civita connections: on $\\operatorname{Dens}_+(M)$ there exists a one-parameter family of Riemannian metrics $G^\\alpha$—the $\\alpha$-Fisher-Rao metrics—such that the Levi-Civita connection of $G^\\alpha$ equals $\\nabla^{(\\alpha)}$. For $\\alpha \\neq 0$ these metrics are not invariant under the diffeomorphism group $\\operatorname{Diff}(M)$, even though the connections are, so the $\\alpha$-dependence is absorbed by breaking a symmetry while preserving the affine structure. On $\\operatorname{Prob}(M)$ the same phenomenon occurs precisely for $\\alpha \\in \\{-1,0,1\\}$, and no metric of this kind exists for other $\\alpha$; nevertheless, $\\nabla^{(\\alpha)}$-geodesics on $\\operatorname{Prob}(M)$ can be described as radial projections of straight lines onto suitable hypersurfaces, and this picture gives geodesic convexity for every real $\\alpha$. For the diffeomorphism group, analogous non-right-invariant metrics have the generalized Proudman-Johnson equations on the real line as their Euler-Arnold equations. In finite-dimensional statistical models, whether $\\nabla^{(\\alpha)}$ is metric depends on the model, not just on $\\alpha$.","pith_inferences":["An implicit consequence is that $\\operatorname{Dens}_+(M)$ carries many Riemannian structures with the same Levi-Civita connection but different geodesic energies, so choosing an energy functional for $\\alpha$-geodesics involves a freedom not visible from the connection alone.","The non-invariance of $G^\\alpha$ hints at a link to optimal-transport and Wasserstein-type geometries, which are also non-invariant and exhibit geodesic-convexity phenomena; probing whether $\\nabla^{(\\alpha)}$-geodesics relate to Wasserstein geodesics for specific $\\alpha$ would be a natural extension.","For $M = S^1$, the same Euler-Arnold machinery with non-right-invariant metrics may produce integrable partial differential equations beyond the classical right-invariant cases (Camassa-Holm, Hunter-Saxton), and computing their Hamiltonians explicitly would be a testable extension.","The radial-projection construction on $\\operatorname{Prob}(M)$ may yield explicit formulas for the exponential map and Jacobi fields of $\\nabla^{(\\alpha)}$, since straight lines on the ambient hypersurface have known Jacobi behavior; this could give curvature comparisons for all $\\alpha$."],"forward_implications":["For every $\\alpha$, $\\nabla^{(\\alpha)}$-geodesics on $\\operatorname{Dens}_+(M)$ can be viewed as energy-minimizing curves for the $\\alpha$-Fisher-Rao metric, making variational tools (existence, uniqueness, convexity) applicable to $\\alpha$-geodesics.","On $\\operatorname{Prob}(M)$, the $\\alpha$-connections are Levi-Civita connections only for $\\alpha = -1, 0, 1$; for other $\\alpha$ they are not metric, yet the radial-projection description still yields geodesic convexity for every real $\\alpha$.","The generalized Proudman-Johnson equations on the real line are the Euler-Arnold equations of non-right-invariant metrics on $\\operatorname{Diff}(M)$, giving them a geodesic interpretation and an associated energy functional.","Finite-dimensional statistical models inherit metricity of $\\nabla^{(\\alpha)}$ in a model-dependent way, so the question 'is an $\\alpha$-connection metric?' has no $\\alpha$-only answer."],"supporting_citations":[],"fun_headline_variants":["α-Fisher-Rao metrics make α-connections their Levi-Civita","Non-invariant metrics give energy-minimizing α-geodesics","α-geodesics on probability space: radial projections, convexity","Proudman-Johnson equations: Euler-Arnold of non-invariant metrics","Metric α-connections exist only for α=-1,0,1 on probability space"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The construction requires that the space of densities can carry these new metrics without requiring them to be unchanged under all smooth reparametrizations; if reparametrization invariance is forced, the result collapses to the $\\alpha=0$ case.","fun_headline_variants_meta":{"raw":{"variants":["α-Fisher-Rao metrics make α-connections their Levi-Civita","Non-invariant metrics give energy-minimizing α-geodesics","α-geodesics on probability space: radial projections, convexity","Proudman-Johnson equations: Euler-Arnold of non-invariant metrics","Metric α-connections exist only for α=-1,0,1 on probability space"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001307,"raw_usage":{"total_tokens":5431,"prompt_tokens":1151,"completion_tokens":4280,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":767,"completion_tokens_details":{"reasoning_tokens":4179}},"tokens_in":767,"tokens_out":4280,"duration_ms":31798,"temperature":1.0,"reasoning_tokens":4179,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T10:10:24.528838+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take $M=S^1$, write densities as $\\exp(u)$ in a fixed Sobolev space, compute the Levi-Civita connection of $G^\\alpha$ directly using the paper's definition, and compare its Christoffel symbols with the standard Amari-Cencov connection for some $\\alpha \\neq 0$; a single $\\alpha$ where the two differ would disprove the central claim.","supporting_citations":[],"review_version":1}