Pseudo-Riemannian geometry encodes information geometry in optimal transport
Ting-Kam Leonard Wong1, Jiaowen Yang2
1Department of Statistical Sciences, University of Toronto, Toronto, Canada.
Summary
Optimal transport and information geometry share geometric structures on probability distributions. This study reveals a new differential-geometric link, connecting optimal transport maps to statistical manifold duality.
Area of Science:
- Mathematics
- Statistics
- Machine Learning
Background:
- Optimal transport and information geometry analyze geometric structures on probability distributions.
- Optimal transport focuses on cost-minimizing movement between distributions.
- Information geometry studies coordinate-invariant properties of statistical inference.
Purpose of the Study:
- To establish a novel differential-geometric relationship between optimal transport and information geometry.
- To explore the implications of this connection for understanding statistical manifolds and divergences.
- To provide new interpretations of existing geometric concepts within this unified framework.
Main Methods:
- Utilizing the pseudo-Riemannian framework developed by Kim and McCann for optimal transport.
- Applying the concept of c-divergence to define divergences via optimal transport maps.
- Analyzing the Ma-Trudinger-Wang (MTW) condition and its geometric interpretation.
Main Results:
- A new differential-geometric connection between optimal transport and information geometry is established.
- The pseudo-Riemannian framework for optimal transport is shown to encode the dualistic structure of statistical manifolds.
- A novel information-geometric interpretation of the MTW tensor is derived.
- Specific cases, like Bregman and log-divergences, reveal constant sectional curvature properties.
Conclusions:
- The unified framework offers new insights into both optimal transport and information geometry.
- The study bridges concepts from differential geometry, statistics, and machine learning.
- This work facilitates a deeper understanding of geometric structures in probability spaces.
Keywords:
Bregman divergenceInformation geometryLogarithmic divergenceMa–Trudinger–Wang tensorOptimal transportPseudo-Riemannian geometryc-DivergenceMore Related Videos
Related Concept Videos
Space-Time Curvature and the General Theory of Relativity
3.0K
In 1905, Albert Einstein published his special theory of relativity. According to this theory, no matter in the universe can attain a speed greater than the speed of light in a vacuum, which thus serves as the speed limit of the universe.
This has been verified in many experiments. However, space and time are no longer absolute. Two observers moving relative to one another do not agree on the length of objects or the passage of time. The mechanics of objects based on Newton's laws of...
This has been verified in many experiments. However, space and time are no longer absolute. Two observers moving relative to one another do not agree on the length of objects or the passage of time. The mechanics of objects based on Newton's laws of...
3.0K
Reynolds Transport Theorem
1.3K
The Reynolds transport theorem provides a framework to relate the time rate of change of an extensive property within a system to that in a control volume, which is crucial for analyzing fluid dynamics. Extensive properties, such as mass, velocity, acceleration, temperature, and momentum, can be expressed in terms of the mass of a fluid portion. These properties are called extensive because they depend on the system's size, while intensive properties are their corresponding values per unit...
1.3K
Routh-Hurwitz Criterion I
325
Consider an electrical power grid, where stability is essential to prevent blackouts. The Routh-Hurwitz criterion is a valuable tool for assessing system stability under varying load conditions or faults. By analyzing the closed-loop transfer function, the Routh-Hurwitz criterion helps determine whether the system remains stable.
To apply the Routh-Hurwitz criterion, a Routh table is constructed. The table's rows are labeled with powers of the complex frequency variable s, starting from the...
To apply the Routh-Hurwitz criterion, a Routh table is constructed. The table's rows are labeled with powers of the complex frequency variable s, starting from the...
325
Routh-Hurwitz Criterion II
385
In the application of the Routh-Hurwitz criterion, two specific scenarios can arise that complicate stability analysis.
The first scenario occurs when a singular zero appears in the first column of the Routh table. This situation creates a division by zero issues. To resolve this, a small positive or negative number, denoted as epsilon (∈), is substituted for the zero. The stability analysis proceeds by assuming a sign for ∈. If ∈ is positive, any sign change in the first...
The first scenario occurs when a singular zero appears in the first column of the Routh table. This situation creates a division by zero issues. To resolve this, a small positive or negative number, denoted as epsilon (∈), is substituted for the zero. The stability analysis proceeds by assuming a sign for ∈. If ∈ is positive, any sign change in the first...
385
Degree of Curvature and Radius of Curvature
135
The degree of curvature and the radius of curvature are fundamental concepts in determining the sharpness or smoothness of a curve. The degree of curvature is a measure of how steeply a curve bends and can be determined using the chord basis or the arc basis. In the chord basis method, the degree of curvature is defined as the central angle subtended by a chord of 30.48 meters, helping in the calculation of the radius of the curve. The arc basis method defines the degree of...
135
Coordination Number and Geometry
16.6K
For transition metal complexes, the coordination number determines the geometry around the central metal ion. Table 1 compares coordination numbers to molecular geometry. The most common structures of the complexes in coordination compounds are octahedral, tetrahedral, and square planar.
16.6K


