2025-11-10T03:02:07.699602

Volume growth of Funk geometry and the flags of polytopes

Faifman, Vernicos, Walsh

We consider the Holmes--Thompson volume of balls in the Funk geometry on the interior of a convex domain. We conjecture that for a fixed radius, this volume is minimized when the domain is a simplex and the ball is centered at the barycenter, or in the centrally-symmetric case, when the domain is a Hanner polytope. This interpolates between Mahler's conjecture and Kalai's flag conjecture. We verify this conjecture for unconditional domains. For polytopal Funk geometries, we study the asymptotics of the volume of balls of large radius, and compute the two highest-order terms. The highest depends only on the combinatorics, namely on the number of flags. The second highest depends also on the geometry, and thus serves as a geometric analogue of the centro-affine area for polytopes. We then show that for any polytope, the second highest coefficient is minimized by a unique choice of center point, extending the notion of SantalÃ³ point. Finally, we show that, in dimension two, this coefficient, with respect to the minimal center point, is uniquely maximized by affine images of the regular polygon.

academic

Volume growth of Funk geometry and the flags of polytopes

基本信息

论文ID: 2306.09268
标题: Volume growth of Funk geometry and the flags of polytopes
作者: Dmitry Faifman, Constantin Vernicos, Cormac Walsh
分类: math.MG math.CO math.DG (度量几何、组合数学、微分几何)
发表时间: 2023年6月16日 (arXiv preprint)
论文链接: https://arxiv.org/abs/2306.09268

摘要

本文研究凸域内部Funk几何中球的Holmes-Thompson体积。作者提出猜想：对于固定半径，当域为单纯形且球心位于重心时，或在中心对称情况下当域为Hanner多面体时，该体积达到最小值。该猜想连接了Mahler猜想和Kalai的旗猜想。作者验证了该猜想在无条件域上的正确性。对于多面体Funk几何，研究了大半径球体积的渐近行为，计算了两个最高阶项：最高阶项仅依赖于组合结构（旗的数量），次高阶项还依赖于几何结构，可视为多面体的centro-affine面积的几何类比。

研究背景与动机

问题背景

Funk几何：这是一种定义在凸体内部的非可逆Finsler几何，与Hilbert度量密切相关。前向度量球具有特殊形式：它们是域本身的缩放版本。
连接经典猜想：当球半径R→0时，体积渐近于R^n乘以体的Mahler体积。Mahler猜想指出Mahler体积在单纯形（或中心对称情况下的Hanner多面体）处达到最小值。
旗猜想：Kalai的旗猜想断言在给定维数的所有中心对称多面体中，Hanner多面体具有最少的旗数量。

研究动机

探索是否同样的几何体（单纯形/Hanner多面体）在所有半径R > 0下都能最小化Funk几何中的体积
理解多面体组合结构（旗）与几何性质之间的深层联系
推广Santaló点的概念到Funk几何设定

核心贡献

提出统一猜想（猜想1.1）：对于中心对称凸体，Funk球的体积在Hanner多面体处达到最小值；对于一般凸体，在单纯形处达到最小值。
证明渐近公式（定理1.2）：当R→∞时，球体积的最高阶项为 |Flags(P)|/(n!)² · R^n/ωn。
验证无条件情况（定理1.3）：对于无条件凸体，完全验证了猜想1.1的正确性。
计算完整渐近展开（定理1.5）：给出了体积增长的前两个最高阶项的精确公式。
推广Santaló点（定理1.7）：证明了Funk-Santaló点在R→∞时的收敛性，定义了s_∞(P)。
二维优化结果（定理1.8）：在二维情况下，正多边形唯一最大化次高阶系数。

方法详解

任务定义

研究凸多面体P内部Funk几何中，以原点为中心、半径为R的前向球B_P(R)的Holmes-Thompson体积： $\text{Vol}_P(B_P(R)) = \frac{1}{\omega_n} \int_{B_P(R)} |P^y| d\text{Leb}_n(y)$ 其中P^y表示P关于点y的极体。

核心方法框架

1. 旗分解技术

将多面体P分解为旗单纯形：每个旗f对应一个单纯形Δ_f = conv{p(f_0),...,p(f_n)}
类似地分解对偶多面体P°
体积计算转化为所有旗单纯形对的积分求和

2. 渐近分析方法

利用引理5.1，体积可表示为： $\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}$ 其中τ = exp(-R)，x_j^g(·) = 1 - ⟨q(g_j), ·⟩。