Volume growth of Funk geometry and the flags of polytopes

Basic Information

• Paper ID: 2306.09268
• Title: Volume growth of Funk geometry and the flags of polytopes
• Authors: Dmitry Faifman, Constantin Vernicos, Cormac Walsh
• Classification: math.MG math.CO math.DG (metric geometry, combinatorics, differential geometry)
• Publication Date: June 16, 2023 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2306.09268

Abstract

This paper investigates the Holmes-Thompson volume of balls in Funk geometry within convex domains. The authors propose a conjecture: for fixed radius, this volume achieves its minimum when the domain is a simplex with the ball center at the centroid, or in the centrally symmetric case when the domain is a Hanner polytope. This conjecture connects the Mahler conjecture and Kalai's flag conjecture. The authors verify the conjecture's correctness on unconditional domains. For polyhedral Funk geometry, they study the asymptotic behavior of ball volumes at large radii, computing the two highest-order terms: the leading term depends only on the combinatorial structure (number of flags), while the next-order term also depends on geometric structure, serving as a geometric analogue of the centro-affine area of polytopes.

Research Background and Motivation

Problem Background

1. Funk Geometry: This is a non-reversible Finsler geometry defined within convex bodies, closely related to Hilbert metric. Forward metric balls have a special form: they are scaled versions of the domain itself.
2. Connection to Classical Conjectures: As ball radius R→0, the volume asymptotically behaves as R^n times the Mahler volume of the body. The Mahler conjecture states that Mahler volume achieves its minimum at simplices (or Hanner polytopes in the centrally symmetric case).
3. Flag Conjecture: Kalai's flag conjecture asserts that among all centrally symmetric polytopes of given dimension, Hanner polytopes have the minimum number of flags.

Research Motivation

• Explore whether the same geometric bodies (simplices/Hanner polytopes) minimize Funk geometry volumes at all radii R > 0
• Understand the deep connection between polytope combinatorial structure (flags) and geometric properties
• Generalize the concept of Santaló point to the Funk geometry setting

Core Contributions

1. Unified Conjecture (Conjecture 1.1): For centrally symmetric convex bodies, Funk ball volume achieves its minimum at Hanner polytopes; for general convex bodies, at simplices.
2. Asymptotic Formula (Theorem 1.2): As R→∞, the leading term of ball volume is |Flags(P)|/(n!)² · R^n/ωn.
3. Verification for Unconditional Case (Theorem 1.3): For unconditional convex bodies, Conjecture 1.1 is completely verified.
4. Complete Asymptotic Expansion (Theorem 1.5): Provides exact formulas for the first two highest-order terms of volume growth.
5. Generalization of Santaló Point (Theorem 1.7): Proves convergence of Funk-Santaló point as R→∞, defining s_∞(P).
6. Two-Dimensional Optimization Results (Theorem 1.8): In two dimensions, regular polygons uniquely maximize the next-order coefficient.

Methodology Details

Problem Formulation

Study the Holmes-Thompson volume of the forward ball B_P(R) centered at the origin with radius R in Funk geometry within convex polytope P: $\text{Vol}_P(B_P(R)) = \frac{1}{\omega_n} \int_{B_P(R)} |P^y| d\text{Leb}_n(y)$ where P^y denotes the polar body of P with respect to point y.

Core Methodological Framework

1. Flag Decomposition Technique

• Decompose polytope P into flag simplices: each flag f corresponds to a simplex Δ_f = conv{p(f_0),...,p(f_n)}
• Similarly decompose the dual polytope P°
• Volume calculation transforms into summing integrals over all flag simplex pairs

2. Asymptotic Analysis Method

Using Lemma 5.1, volume can be expressed as: $\text{Vol}(B_P(0,R)) = \frac{1}{n!\omega_n} \sum_{f \in \text{Flags}(P)} \sum_{g \in \text{Flags}(P°)} \int_{\Delta_f^τ} \frac{dx_0^g \cdots dx_{n-1}^g}{x_0^g \cdots x_{n-1}^g}$ where τ = exp(-R), x_j^g(·) = 1 - ⟨q(g_j), ·⟩.

3. Integration Calculation Strategy

Through classified analysis of different types of flag simplex pairs:

• Self-dual case: Pairings of flag simplices with their own duals, contributing the leading term
• Adjacent case: Pairings between flags differing by one face, contributing the next-order term
• Non-adjacent case: Contributing lower-order terms o(R^{n-1})

Technical Innovations

1. Systematic Application of Flag Decomposition: First systematic application of flag decomposition technique to Funk geometry volume calculations.
2. Precise Asymptotic Expansion: Not only computing the leading term but also precisely giving geometric interpretation of the next-order term.
3. Projective Invariance of Holmes-Thompson Volume: Fully exploits the invariance of Holmes-Thompson volume under collinear transformations.
4. Deep Integration of Combinatorial Geometry: Connects purely combinatorial flag counts with continuous volume growth.

Experimental Setup

Theoretical Verification Methods

This paper is primarily theoretical research, with "experiments" manifested as:

1. Special Case Verification:
   • Exact calculations for Hanner polytopes (Lemma 3.4)
   • Recursive formulas for simplices (Theorem 9.1)
   • Explicit formulas for two-dimensional regular polygons
2. Complete Proof for Unconditional Domains:
   • Utilizing Fradelizi-Meyer inequality
   • Legendre transform techniques
   • Applying Meyer and Reisner's volume product minimization results

Computational Examples

For Hanner polytope H, an exact formula is provided: $\text{Vol}_H(B_H(R)) = \frac{2^n}{n!\omega_n}(\log(2e^R - 1))^n$

Experimental Results

Main Theorem Results

Theorem 1.2 (Asymptotic Leading Term)

For any n-dimensional polytope P: $\lim_{R→∞} \frac{\omega_n}{R^n} \text{Vol}_P(B_P(R)) = \frac{|\text{Flags}(P)|}{(n!)^2}$

Theorem 1.5 (Complete Asymptotic Expansion)

$\omega_n \text{Vol}_P(B_P(R)) = c_0(P)R^n + c_1(P)R^{n-1} + o(R^{n-1})$ where:

• $c_0(P) = \frac{|\text{Flags}(P)|}{(n!)^2}$
• $c_1(P) = \frac{n}{(n!)^2} \sum_{f \in \text{Flags}(P)} \log(1 - ⟨(rf)_{n-1}, f_0⟩)$

Theorem 1.3 (Verification for Unconditional Domains)

For unconditional convex body K and same-dimensional Hanner polytope H:

• $\text{Vol}_K(B_K(R)) ≥ \text{Vol}_H(B_H(R))$, for all R > 0
• Equality holds if and only if K is a Hanner polytope

Two-Dimensional Special Results

In two dimensions, the next-order coefficient simplifies to: $c_1(P) = \frac{1}{2} \sum_{i,j: i∼j} \log(1 - ⟨e_i, v_j⟩)$

Theorem 1.8 proves that regular m-gons uniquely maximize this coefficient.

Related Work

Connections to Classical Conjectures

1. Mahler Conjecture: Concerning minimization of volume products of convex bodies and their polars
2. Kalai Flag Conjecture: Minimization of flag counts among centrally symmetric polytopes
3. Santaló Point Theory: Geometric aspects of volume product minimization

Development of Funk Geometry

• Analogous results in Hilbert geometry 19
• Projective invariance of Holmes-Thompson volume 4
• Connections to centro-affine geometry

Polytope Combinatorics

• Combinatorial properties of flags
• Diamond property of face lattices
• Actions of monotone groups

Conclusions and Discussion

Main Conclusions

1. Unified Framework: Establishes connections between Mahler conjecture, flag conjecture, and Funk volume minimization
2. Exact Formulas: Provides complete asymptotic expansion of volume growth in polyhedral Funk geometry
3. Geometric Interpretation: Next-order term provides a combinatorial analogue of polytope centro-affine area
4. Optimization Results: Existence and convergence of Funk-Santaló point

Limitations

1. General Case Unresolved: Main conjecture verified only for unconditional domains
2. High-Dimensional Complexity: Optimization results beyond two dimensions remain open
3. Computational Complexity: Flag decomposition method has high computational complexity

Future Directions

1. Complete Proof of Main Conjecture: Seeking proof strategies for general convex bodies
2. Other Finsler Geometries: Generalizing to more general Finsler geometry settings
3. Numerical Methods: Developing efficient numerical computation methods
4. Application Exploration: Applications in optimization theory and geometric probability

In-Depth Evaluation

Strengths

1. Theoretical Depth: Organically combines multiple mathematical branches (convex geometry, combinatorics, Finsler geometry)
2. Technical Innovation: Systematic application of flag decomposition method is an important technical contribution
3. Result Completeness: Not only provides asymptotic leading term but precisely computes next-order term
4. Geometric Insight: Reveals deep connections between combinatorial structure and continuous geometric quantities

Weaknesses

1. Main Conjecture Incompletely Resolved: Core Conjecture 1.1 verified only in special cases
2. Computational Complexity: Flag decomposition involves computations growing exponentially with dimension
3. Application Scope: Primarily theoretical results; practical application value requires further exploration

Impact

1. Theoretical Contribution: Opens new directions for cross-disciplinary research between Finsler geometry and convex geometry
2. Methodological Value: Flag decomposition technique may have applications in other geometric problems
3. Conjecture Network: Reveals intrinsic connections between multiple famous conjectures
4. Foundation for Future Research: Provides important foundation for further research in related fields

Applicable Scenarios

1. Theoretical Mathematics Research: Convex geometry, Finsler geometry, combinatorial geometry
2. Optimization Theory: Theoretical analysis of geometric optimization problems
3. Computational Geometry: Theoretical foundation for polytope-related algorithms
4. Mathematical Physics: Potential applications in statistical mechanics and geometric probability

References

The paper cites multiple important related works, including:

• Research on Mahler conjecture 11,13
• Kalai's work on flag conjecture 8,9
• Research on Funk geometry and Hilbert geometry 4,19
• Classical results in convex geometry 6,15
• Development of polytope combinatorics 16,17

This paper establishes important connections between multiple branches of theoretical mathematics. While the main conjecture remains incompletely resolved, its methods and partial results have already provided important theoretical foundations and research directions for related fields.