2025-11-21T00:07:15.631681

Empirical forms of the Petty projection inequality

Paouris, Pivovarov, Tatarko

The Petty projection inequality is a fundamental affine isoperimetric principle for convex sets. It has shaped several directions of research in convex geometry which forged new connections between projection bodies, centroid bodies, and mixed volume inequalities. We establish several different empirical forms of the Petty projection inequality by re-examining these key relationships from a stochastic perspective. In particular, we derive sharp extremal inequalities for several multiple-entry functionals of random convex sets, including mixed projection bodies and mixed volumes.

academic

Petty投影不等式の経験的形式

基本情報

論文ID: 2501.00253
タイトル: Empirical forms of the Petty projection inequality
著者: Grigoris Paouris, Peter Pivovarov, Kateryna Tatarko
分類: math.MG（距離幾何学）
発表日: 2025年1月3日
論文リンク: https://arxiv.org/abs/2501.00253

要約

Petty投影不等式は凸集合の基本的なアフィン等周原理である。これは凸幾何学における複数の研究方向を形作り、投影体、重心体、混合体積不等式の間に新しい関連性を確立している。本論文は、これらの主要な関係を確率的観点から再検討することにより、Petty投影不等式のいくつかの異なる経験的形式を確立している。特に、著者らは、混合投影体および混合体積を含む、ランダム凸集合の複数の多変量関数に対する鋭い極値不等式を導出している。

研究背景と動機

問題の記述

中心的問題: Petty投影不等式は凸幾何学の基本的な不等式であるが、その経験的形式（empirical forms）はまだ十分に研究されていない。著者らは、ランダム凸集合の場合におけるこの不等式の一般化を確立することを目指している。
重要性:
- Petty投影不等式はアフィン等周不等式の典型的な例であり、楕円体が極値の役割を果たす
- 投影体、重心体、混合体積不等式を結びつけ、Brunn-Minkowski理論の重要な構成要素である
- この不等式は凸幾何学の複数の研究方向に影響を与えている
既存の制限:
- 重心体とLp類似体のアフィン等周不等式の経験版は研究されているが、Petty投影不等式の経験的形式はこれまで確立されていなかった
- これらの幾何学的不等式を確率的観点から理解するための統一的枠組みが欠けている
研究動機:
- E. MilmanとYehudayoffの最新の結果およびCampiとGronchiの方法に触発されている
- Petty投影不等式の経験的形式の研究における空白を埋める
- ランダム凸集合理論と古典的凸幾何学の間に橋を架ける

中心的貢献

混合投影体の経験的不等式の確立: ランダムに生成された混合投影体の鋭い極値不等式を証明した（定理1.1）
古典的Petty投影不等式の一般化: ランダム凸集合の場合におけるPetty投影不等式の経験的形式を与えた（定理1.2）
経験的混合体積不等式の証明: Minkowski第一不等式の経験版を確立し（定理1.5）、Petty不等式への応用を示した（定理1.4）
統一的なランダム枠組みの提供: ランダム線形作用素と対称化技術を通じて、複数の幾何学的不等式の経験的形式を統一的に扱った
確率的近似理論との関連付け: 大数の法則を通じてランダム不等式から古典的な決定論的不等式を回復する方法を示した

方法の詳細

タスク定義

ランダムに生成された凸集合の投影体および混合投影体の体積特性を研究し、対応する極値不等式を確立する。具体的には、 $XC = \{c_1X_1 + \cdots + c_NX_N : (c_j) \in C\}$ の形式のランダム凸集合を考える。ここで $X_1, \ldots, X_m$ は独立ランダムベクトルである。

中心的技術フレームワーク

1. ランダム行列記号体系

ブロックランダム行列記号を導入する：

$X = [X_1 \ldots X_\ell]$ 。ここで各 $X_i$ は $n \times m_i$ ブロック
$X^{\#} = [X^{\#}_1 \ldots X^{\#}_\ell]$ 。ここで $X^{\#}_i$ の列は対称減少再配列分布に従う

2. 影理論

Shephard の影理論を利用する：

単位ベクトル $u$ と凸体 $C$ に対して、影システム $K_t = P_tC$ を構成する
主要定理：共通方向に沿った影システムの混合体積はパラメータに関して凸関数である

3. 再配列不等式技術

Christ形式のRogers-Brascamp-Lieb-Lutinger不等式を適用する：

準凹性条件を満たす関数 $F$ に対して、再配列不等式が成立する
反復Steiner対称化を通じて、一般分布から対称減少再配列への遷移を実現する

主要定理の陳述

定理1.1（混合投影体不等式）: $C_1, \ldots, C_{n-1}$ をコンパクト凸集合とし、 $X$ と $X^{\#}$ を対応するランダム行列とする。減少密度を持つ任意の径向測度 $\nu$ に対して： $\mathbb{E}_\nu(\Pi^\circ(XC_1, \ldots, XC_{n-1})) \leq \mathbb{E}_\nu(\Pi^\circ(X^{\#}C_1, \ldots, X^{\#}C_{n-1}))$

定理1.2（古典的投影体の場合）: 特殊な場合として、コンパクト凸集合 $C$ とランダム行列 $X$ に対して： $\mathbb{E}_\nu(\Pi^\circ(XC)) \leq \mathbb{E}_\nu(\Pi^\circ(X^{\#}C))$

技術的革新点

影理論とランダム作用素の結合: Shephard の影理論をランダム線形作用素と結合させた初めての試み。証明に幾何学的直感を提供する
ブロック行列処理: 巧妙なブロック行列記号を通じて、異なる次元の凸集合の混合投影体を統一的に扱う
測度論的方法: Lebesgue測度だけでなく、減少密度を持つ一般的な径向測度に推広する
確率的近似の観点: 古典的幾何学的不等式を確率的近似の極限ケースとして理解する

実験設定

理論検証方法

純粋数学理論論文として、本論文は以下の方法で結果を検証している：

特殊ケースの検証: ランダムパラメータが決定論的極限に近づく場合、古典的Petty不等式を回復することを検証する
一貫性チェック: 新しい不等式が既知のアフィン等周不等式体系と一貫していることを確認する
極値ケースの分析: 新しい不等式における楕円体の極値特性を分析する

応用例

論文は複数の具体的な応用を提供している：

ランダム単体: $C$ が単体である場合、 $[K]_m = \text{conv}\{X_1, \ldots, X_m\}$
Lp加法: Lp-Brunn-Minkowski理論における加法演算への一般化
重心体: 経験的重心体の混合投影体への関連付け

実験結果

主要な理論的結果

収束性の検証: $m \to \infty$ のとき、ランダム不等式が古典的Petty不等式に収束することを証明した： $\mathbb{E}|\Pi^\circ([K]_m)| \leq \mathbb{E}|\Pi^\circ([K^*]_m)| \to |\Pi^\circ(K)| \leq |\Pi^\circ(K^*)|$
一般化形式: Lp加法に対する、より一般的な不等式を確立した： $\mathbb{E}_\nu(\Pi^\circ([K]^{p_1}_{m_1} +_p [L]^{p_2}_{m_2})) \leq \mathbb{E}_\nu(\Pi^\circ([K^*]^{p_1}_{m_1} +_p [L^*]^{p_2}_{m_2}))$
混合体積不等式: 経験的Minkowski第一不等式を証明した： $\mathbb{E}V(XC_1, \ldots, XC_n) \geq \mathbb{E}V(X^{\#}C_1, \ldots, X^{\#}C_n)$