pith. sign in

arxiv: 2305.10207 · v3 · submitted 2023-05-17 · 🧮 math.CV · math.DG

Statistical Bergman geometry

Gunhee Cho , Jihun Yum This is my paper

Pith reviewed 2026-05-24 08:37 UTC · model grok-4.3

classification 🧮 math.CV math.DG
keywords Bergman metricFisher information metricproper holomorphic mapsbiholomorphismsCalabi diastasisFréchet meaninformation geometrybounded domains
0
0 comments X

The pith

A proper holomorphic map preserves Fisher metrics under push-forward only if it is a biholomorphism.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper maps each point of a bounded domain in complex space to a probability measure supported on the domain. A known result then makes the Bergman metric the pullback of the Fisher information metric, so the domain becomes a statistical model. This yields an expression for the curvature of the Bergman metric in terms of covariance. It also shows that if the push-forward induced by a proper holomorphic map preserves the Fisher metrics, the map must be biholomorphic, and that the Fréchet sample mean of Calabi's diastasis is consistent with a central limit theorem. A reader cares because the link supplies statistical tools for questions in several complex variables.

Core claim

Given a proper holomorphic map f from one bounded domain to another, if the induced measure push-forward preserves the Fisher information metrics, then f must be a biholomorphism. The Fréchet sample mean for Calabi's diastasis is consistent and satisfies a central limit theorem. The Bergman metric admits a new curvature formula expressed through covariance of the associated probability measures.

What carries the argument

The mapping Φ from a bounded domain Ω to the space of probability measures on Ω, whose pullback recovers the Bergman metric from the Fisher information metric.

Load-bearing premise

The probability-measure map from the domain is well-defined and the cited result that the Fisher pullback equals the Bergman metric holds.

What would settle it

A concrete proper holomorphic map between domains that is not bijective yet whose induced push-forward still preserves the Fisher information metrics would falsify the rigidity claim.

read the original abstract

This paper explores the Bergman geometry of bounded domains $\Omega$ in $\mathbb{C}^n$ through the lens of information geometry by introducing a mapping $\Phi: \Omega \rightarrow \mathcal{P}(\Omega)$, where $\mathcal{P}(\Omega)$ denotes a space of probability measures on $\Omega$. A result by J. Burbea and C. Rao establishes that the pullback of the Fisher information metric, the fundamental Riemannian pseudo-metric in information geometry, via $\Phi$ coincides with the Bergman metric of $\Omega$. Building on this idea, we consider $\Omega$ as a statistical model and present several interesting results within this framework. First, we derive a new statistical curvature formula for the Bergman metric by expressing it in terms of covariance. Second, given a proper holomorphic map $f: \Omega_1 \rightarrow \Omega_2$, we prove that if the induced measure push-forward $\kappa: \mathcal{P}(\Omega_1) \rightarrow \mathcal{P}(\Omega_2)$ preserves the Fisher information metrics, then $f$ must be a biholomorphism. Finally, we establish the consistency and the central limit theorem of the Fr\'echet sample mean for Calabi's diastasis function.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper introduces a map Φ from a bounded domain Ω ⊂ ℂⁿ to the space of probability measures P(Ω) and invokes the Burbea-Rao theorem to identify the pullback of the Fisher information metric with the Bergman metric. It derives a new expression for the curvature of the Bergman metric in terms of covariance, proves that a proper holomorphic map f: Ω₁ → Ω₂ whose induced push-forward κ preserves the Fisher metric must be a biholomorphism, and establishes consistency together with a central limit theorem for the Fréchet sample mean taken with respect to Calabi’s diastasis.

Significance. If the derivations hold, the work supplies a concrete statistical interpretation of the Bergman metric and yields a rigidity characterization of biholomorphisms via preservation of the Fisher metric under push-forward. The covariance formula for curvature and the CLT for the diastasis mean are concrete contributions that could be useful in geometric statistics on complex domains. The manuscript receives credit for grounding its claims in the cited Burbea-Rao result and for stating falsifiable statistical conclusions.

major comments (2)
  1. [§4] The rigidity statement (proper holomorphic maps whose push-forward preserves the Fisher metric are biholomorphisms) is load-bearing for the central claim; the proof sketch must be checked to confirm that the argument does not tacitly assume injectivity or surjectivity of f beyond what the metric-preservation hypothesis supplies.
  2. [§3] The covariance expression for Bergman curvature (derived from the statistical model) should be compared term-by-term with the classical formula involving the Bergman kernel and its derivatives to verify that it is not merely a rephrasing and that all error terms are controlled.
minor comments (2)
  1. [§2] The definition and measurability properties of the map Φ: Ω → P(Ω) should be stated explicitly in §2, including the precise σ-algebra on P(Ω).
  2. Notation for the push-forward κ and the induced metric preservation should be introduced once and used consistently; the current abstract-to-text transition leaves the relation between κ and f slightly ambiguous on first reading.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the constructive report and the recommendation of minor revision. We address each major comment below, confirming that the arguments rely only on the stated hypotheses and providing the requested comparisons in the revision.

read point-by-point responses

  1. Referee: [§4] The rigidity statement (proper holomorphic maps whose push-forward preserves the Fisher metric are biholomorphisms) is load-bearing for the central claim; the proof sketch must be checked to confirm that the argument does not tacitly assume injectivity or surjectivity of f beyond what the metric-preservation hypothesis supplies.

    Authors: We have re-examined the proof of the rigidity result in §4. The argument begins from the assumption that f is a proper holomorphic map and that the induced push-forward κ preserves the Fisher metric; it then derives injectivity of f by showing that distinct points in Ω₁ produce distinct push-forward measures whose Fisher distance would otherwise contradict preservation. Surjectivity follows from properness together with the fact that the image of κ must be dense in the target measure space under metric preservation. No a-priori injectivity or surjectivity is used. A clarifying sentence has been inserted at the beginning of the proof to make this logical order explicit. revision: yes

  2. Referee: [§3] The covariance expression for Bergman curvature (derived from the statistical model) should be compared term-by-term with the classical formula involving the Bergman kernel and its derivatives to verify that it is not merely a rephrasing and that all error terms are controlled.

    Authors: We agree that an explicit comparison strengthens the claim. In the revised manuscript we have added a short paragraph in §3 that expands both the classical curvature formula (involving second derivatives of log K(z,z)) and the covariance expression side by side. After substituting the definition of the covariance with respect to the probability measure Φ(z), the two expressions match identically; the derivation contains no remainder terms because it follows directly from the Burbea–Rao identification of the pulled-back Fisher metric with the Bergman metric. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation relies on external citation

full rationale

The paper's framework begins with the external Burbea-Rao theorem establishing that the pullback of the Fisher metric via the introduced map Φ coincides with the Bergman metric; this is a cited result from independent authors and does not constitute self-citation or internal reduction. The subsequent claims—a covariance-based curvature formula, a rigidity result for proper holomorphic maps preserving the metric under push-forward, and consistency/CLT for the Fréchet mean on Calabi's diastasis—are presented as new derivations building on that foundation. No self-definitional equations, fitted inputs renamed as predictions, or load-bearing self-citations appear in the abstract or described chain; the results remain externally falsifiable and do not reduce to the inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The paper rests on the external Burbea-Rao theorem and introduces the auxiliary map Φ; no free parameters or new entities with independent evidence are visible from the abstract.

axioms (1)
  • domain assumption Pullback of Fisher information metric via Φ recovers the Bergman metric (Burbea-Rao)
    Cited as established foundation for all subsequent claims.
invented entities (1)
  • Mapping Φ: Ω → P(Ω) no independent evidence
    purpose: To realize the domain as a statistical model
    New construction introduced to enable the statistical interpretation.

pith-pipeline@v0.9.0 · 5737 in / 1208 out tokens · 24445 ms · 2026-05-24T08:37:38.516855+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

26 extracted references · 26 canonical work pages

  1. [1]

    Amari and H

    S.-i. Amari and H. Nagaoka, Methods of Information geometry , Vol. 191, American Mathematical Soc., 2000

    work page 2000

  2. [2]

    N. Ay, J. Jost, H. V. Lˆ e, and L. Schwachh¨ ofer, Information geometry and sufficient statistics , Probability Theory and Related Fields 162 (2015), 327–364

    work page 2015

  3. [3]

    N. Ay, J. Jost, H. Vˆ an Lˆ e, and L. Schwachh¨ ofer,Information geometry , Vol. 64, Springer, 2017

    work page 2017

  4. [4]

    P Bachas, I

    C. P Bachas, I. Brunner, M. R Douglas, and L. Rastelli, Calabi’s diastasis as interface entropy , Physical Review D 90 (2014), no. 4, 045004

    work page 2014

  5. [5]

    R Bell, The Bergman kernel function and proper holomorphic mapping s, Transactions of the American Mathematical Society 270 (1982), no

    S. R Bell, The Bergman kernel function and proper holomorphic mapping s, Transactions of the American Mathematical Society 270 (1982), no. 2, 685–691

    work page 1982

  6. [6]

    Burbea and C

    J. Burbea and C. R. Rao, Differential Metrics in Probability Spaces , Probab. Math. Statist. 3 (1984), no. 2, 241–258

    work page 1984

  7. [7]

    Calabi, Isometric Imbedding of Complex Manifolds , Ann

    E. Calabi, Isometric Imbedding of Complex Manifolds , Ann. of Math. (2) 58 (1953), 1–23

    work page 1953

  8. [8]

    R Ducharme, P

    G. R Ducharme, P. Lafaye de Micheaux, and B. Marchina, The complex multinormal distribution, quadratic forms in complex random vectors and an omnibus goo dness-of-fit test for the complex normal distribution , Annals of the Institute of Statistical Mathematics 68 (2016), 77–104

    work page 2016

  9. [9]

    N Evans and A

    S. N Evans and A. Q Jaffe, Limit theorems for fr´ echet mean sets , Bernoulli 30 (2024), no. 1, 419–447

    work page 2024

  10. [10]

    Friedrich, Die fisher-information und symplektische strukturen , Mathematische Nachrichten 153 (1991), no

    T. Friedrich, Die fisher-information und symplektische strukturen , Mathematische Nachrichten 153 (1991), no. 1, 273–296

    work page 1991

  11. [11]

    T. Hotz, H. Le, and A. T. Wood, Central limit theorem for intrinsic fr´ echet means in smoot h compact riemannian manifolds , Probability Theory and Related Fields 189 (2024), no. 3, 1219– 1246

    work page 2024

  12. [12]

    Huang and S.-Y

    X. Huang and S.-Y. Li, Bergman metrics as pull-backs of the Fubini-Study metric , arXiv preprint arXiv:2302.13456 (2023)

    work page arXiv 2023

  13. [13]

    Kobayashi, Geometry of Bounded Domains , Trans

    S. Kobayashi, Geometry of Bounded Domains , Trans. Amer. Math. Soc. 92 (1959), no. 2, 267–290

    work page 1959

  14. [14]

    E. L. Lehmann and G. Casella, Theory of point estimation , Second, Springer Texts in Statistics, Springer-Verlag, New York, 1998

    work page 1998

  15. [15]

    Loi, A Laplace integral on a K¨ ahler manifold and Calabi’s diasta sis function , Differential Ge- ometry and its Applications 23 (2005), no

    A. Loi, A Laplace integral on a K¨ ahler manifold and Calabi’s diasta sis function , Differential Ge- ometry and its Applications 23 (2005), no. 1, 55–66

    work page 2005

  16. [16]

    Mossa, A note on diastatic entropy and balanced metrics , Journal of Geometry and Physics 86 (2014), 492–496

    R. Mossa, A note on diastatic entropy and balanced metrics , Journal of Geometry and Physics 86 (2014), 492–496

    work page 2014

  17. [17]

    , Diastatic entropy and rigidity of complex hyperbolic manif olds, Complex Manifolds 3 (2016), no. 1

    work page 2016

  18. [18]

    Pistone and C

    G. Pistone and C. Sempi, An Infinite-Dimensional Geometric Structure On the Space of all the Probability Measures Equivalent to a Given one , The Annals of Statistics (1995), 1543–1561

    work page 1995

  19. [19]

    Royden and P

    H. Royden and P. Fitzpatrick, Real analysis 4th Edition , Printice-Hall Inc, Boston (2010)

    work page 2010

  20. [20]

    Rudin, Function theory in the unit ball of Cn, Vol

    W. Rudin, Function theory in the unit ball of Cn, Vol. 241, Springer Science & Business Media, 2012. STATISTICAL BERGMAN GEOMETRY 41

    work page 2012

  21. [21]

    Seo, Weakly 1-completeness of holomorphic fiber bundles over com pact K¨ ahler manifolds, Jour- nal of the London Mathematical Society 106 (2022), no

    A. Seo, Weakly 1-completeness of holomorphic fiber bundles over com pact K¨ ahler manifolds, Jour- nal of the London Mathematical Society 106 (2022), no. 3, 2305–2341

    work page 2022

  22. [22]

    Skwarczy´ nski,Biholomorphic invariants related to the Bergman functions (1980)

    M. Skwarczy´ nski,Biholomorphic invariants related to the Bergman functions (1980)

    work page 1980

  23. [23]

    Wang, Effective very ampleness of the canonical line bundles on bal l quotients , J

    X. Wang, Effective very ampleness of the canonical line bundles on bal l quotients , J. Geom. Anal. 25 (2015), no. 2, 740–760

    work page 2015

  24. [24]

    R. A. Wooding, The Multivariate Distribution of Complex Normal Variables , Biometrika 43 (1956), 212–215

    work page 1956

  25. [25]

    Yum, Bergman local isometries are biholomorphisms , arXiv preprint arXiv:2404.18792 (2024)

    J. Yum, Bergman local isometries are biholomorphisms , arXiv preprint arXiv:2404.18792 (2024)

    work page arXiv 2024

  26. [26]

    H. Ziezold, On expected figures and a strong law of large numbers for rando m elements in quasi- metric spaces , Transactions of the seventh prague conference on information theory, statistical decision functions, random processes and of the 1974 european m eeting of statisticians: held at prague, from august 18 to 23, 1974, 1977, pp. 591–602. Department o...

    work page 1974