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

Empirical forms of the Petty projection inequality

基本信息

论文ID: 2501.00253
标题: Empirical forms of the Petty projection inequality
作者: Grigoris Paouris, Peter Pivovarov, Kateryna Tatarko
分类: math.MG (Metric Geometry)
发表时间: January 3, 2025
论文链接: 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\}$
$L_p$ -加法: 推广到 $L_p$ -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^*)|$
推广形式: 建立了更一般的不等式，如对于 $L_p$ -加法： $\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)$