On Sections of Convex Bodies in John's Position and of Generalised $B_p^n$ Balls

基本信息

• 论文ID: 2510.14047
• 标题: On Sections of Convex Bodies in John's Position and of Generalised $B_p^n$ Balls
• 作者: David Alonso-Gutiérrez, Silouanos Brazitikos, Giorgos Chasapis
• 分类: math.MG (Metric Geometry), math.FA (Functional Analysis)
• 发表时间: October 17, 2025 (arXiv预印本)
• 论文链接: https://arxiv.org/abs/2510.14047

摘要

本文重新审视了K. Ball的一个巧妙论证，为John位置上凸体截面的体积提供了尖锐估计。作者的技术结合了几何Brascamp-Lieb不等式与广义Parseval型恒等式。这使得作者能够补充前两位作者的一些早期结果，并将Meyer-Pajor和Koldobsky关于$B_p^n$球极值截面的经典估计推广到由$\mathbb{R}^n$中John恒等式分解诱导的更广泛的范数族。

研究背景与动机

1. 核心问题: 研究凸体超平面截面和投影的体积估计是现代凸几何中的经典且活跃发展的领域，与泛函分析、几何断层扫描和高维概率有深刻联系。
2. 问题重要性:
   • k维截面的极值问题（如确定此类截面的最大或最小体积）编码了关于几何体几何的微妙定量信息
   • 与该领域的中心问题相关，如Busemann-Petty问题和切片问题（最近在KL中得到解决）
3. 现有方法局限性:
   • Ball的方法严重依赖于立方体的乘积结构：乘积体的指示函数的傅里叶变换可以分解为一维傅里叶变换的乘积
   • 对于John位置上的一般几何体，缺乏这种坐标独立性，直接乘积分解不再可用，傅里叶方法看似先验不适用
4. 研究动机:
   • 补充和推广AB中关于John位置凸体截面的结果
   • 克服Ball方法中乘积结构要求的限制
   • 将经典的$\ell_p^n$球截面估计推广到更广泛的范数族

核心贡献

1. 方法论创新: 展示了如何通过结合Parseval型恒等式与Brascamp-Lieb不等式来绕过Ball论证中对立方体乘积结构的要求
2. 尖锐估计: 为John位置上中心对称凸体的k维截面提供了尖锐的体积估计，特别是在$k \geq n/2$的情况下
3. 反例构造: 构造了John位置上的凸多面体$L$，证明了当$k \geq n/2$且所有投影$P_H(\sqrt{c_j}v_j)$都较大时，Ball的$2^{\frac{n+k}{2}}$界不再成立
4. 推广经典结果: 将Meyer-Pajor和Koldobsky关于$\ell_p^n$球截面的已知界推广到由John分解诱导的广义$\ell_p$范数族
5. 非对称情况: 在不施加对称性假设的情况下，建立了John位置凸体超平面截面的改进结果

方法详解

任务定义

研究John位置上凸体K的k维线性子空间H的截面$K \cap H$的体积估计问题。给定John分解$\text{Id}_n = \sum_{j=1}^m c_j v_j \otimes v_j$，目标是建立$\text{vol}_k(K \cap H)$的上界。

核心技术框架

1. Parseval型恒等式（命题1）

对于函数族$(f_j)_{j=1}^m$，其中$f_j \in S(\mathbb{R}^{n_j})$：

$\int_H \prod_{j=1}^m f_j(P_{\mathbb{R}^{n_j}} y) dy = \frac{1}{(2\pi)^{N-k}} \int_{H^⊥} \prod_{j=1}^m \hat{f}_j(P_{\mathbb{R}^{n_j}} z) dz$

2. 几何Brascamp-Lieb不等式的应用（推论3）

对于John分解$(c_j, v_j)$：

$\int_{\mathbb{R}^n} \prod_{j=1}^m f_j(\sqrt{c_j}\langle x, v_j \rangle) dx \leq \frac{1}{(2\pi)^{m-n}} \prod_{j=1}^m \left(\int_\mathbb{R} |\hat{f}_j^{\frac{1}{1-c_j}}(\sqrt{1-c_j}t)| dt\right)^{1-c_j}$

3. 关键构造（命题2）

给定$H \in G_{m,k}$和$(u_j)_{j=1}^m \subseteq S^{m-1} \cap H$，$(c_j)_{j=1}^m \subseteq (0,\infty)$满足$\text{Id}_H = \sum_{j=1}^m c_j u_j \otimes u_j$，存在正交基$(x_j)_{j=1}^m$和$(w_j)_{j=1}^m \subseteq S^{m-1} \cap H^⊥$使得：

• $P_H x_j = \sqrt{c_j} u_j$
• $P_{H^⊥} x_j = \sqrt{1-c_j} w_j$

技术创新点

1. Parseval表示的作用: 在本文设置中，Parseval表示扮演了立方体情况下乘积分解的角色：体积被表示为单变量因子乘积的积分，但指数和前因子反映John分解的几何数据而非坐标独立性
2. Brascamp-Lieb约简: 一旦Parseval表示就位，Brascamp-Lieb约简将多维积分转换为一维积分的乘积，指数由向量投影的欧几里得范数确定
3. 双重表示: 对称多面体的体积有两种等价表示：指示函数乘积的积分和傅里叶变换的积分（在互补子空间上）

主要结果

中心对称情况（定理6）

对于$k \geq n/2$：

• 如果$\tilde{c}_j \geq \frac{1}{2}$对所有$j$成立，则： $\text{vol}_k(L \cap H) \leq 2^{\frac{m_0+k}{2}} \prod_{j=1}^{m_0} c_j^{\frac{\tilde{c}_j}{2t_j^2}}$
• 否则：$\text{vol}_k(L \cap H) \leq 2^{\frac{n-k}{2}} \text{vol}_k(B_\infty^k)$

反例构造（定理5）

存在任意大的$k$，对于每个满足$n/2 \leq k \leq n$的$n$，都存在John位置上的凸体$L$使得： $\text{vol}_k(L \cap \mathbb{R}^k) = \binom{n}{k}^{\frac{k}{2}} \text{vol}_k(B_\infty^k)$

广义$\ell_p$球（定理16和23）

对于由John分解诱导的广义$\ell_p$范数$\|x\|_{K_p} = \left(\sum_{j=1}^m \alpha_j |\langle x, v_j \rangle|^p\right)^{\frac{1}{p}}$：

$p=1$情况的上界： $\text{vol}_k(K_1 \cap H) \leq \text{vol}_k(B_1^k) \prod_{j=1}^m \left(\frac{\sqrt{c_j}}{\alpha_j}\right)^{c_j\|P_H v_j\|_2^2}$

一般$p \in [1,2]$情况： $\text{vol}_k(K_p \cap H) \leq \prod_{j \in J} \left(\frac{\sqrt{c_j}}{\alpha_j^{1/p}}\right)^{\tilde{c}_j} \text{vol}_k(B_p^k)$

非对称情况（定理26）

对于John位置上的凸体$K$和$a \in S^{n-1}$，如果$\kappa_j \geq 1/2$对所有$j \in J$成立： $\text{vol}_{n-1}(K \cap a^⊥) \leq \frac{1}{\sqrt{2}} \sqrt{\frac{n+1}{n}} \left(\frac{n+1}{n-1}\right)^{\frac{n-1}{2}} \text{vol}_{n-1}(S^{n-1})$

技术细节

Wills泛函的应用

作者还研究了John位置凸体截面的Wills泛函： $W(\lambda(K \cap H)) = \sum_{i=0}^k V_i(\lambda(K \cap H)) = \sum_{i=0}^k \lambda^i V_i(K \cap H)$

通过Wills泛函与体积和平均宽度的关系：

• $\text{vol}_k(K \cap H) = \lim_{\lambda \to \infty} \frac{W(\lambda(K \cap H))}{\lambda^k}$
• $V_1(K \cap H) = \lim_{\lambda \to 0^+} \frac{W(\lambda(K \cap H)) - 1}{\lambda}$

傅里叶分析技术

对于函数$f(x) = e^{-|x|^p}$，其傅里叶变换$\gamma_p(y) = \int_\mathbb{R} e^{ixy} e^{-|x|^p} dx$满足关键估计（引理24）： $\int_\mathbb{R} \gamma_p\left(\frac{t}{\sqrt{s}}\right)^s dt \leq 2\pi \left(2\Gamma\left(1 + \frac{1}{p}\right)\right)^{s-1}$

相关工作

1. Ball的开创性工作: 利用几何Brascamp-Lieb不等式和傅里叶分析技术研究立方体截面
2. Meyer-Pajor和Koldobsky: 建立了$\ell_p^n$球截面的经典估计
3. AB的前期工作: 系统研究John位置凸体截面，本文补充和推广了这些结果
4. John定理: 提供了凸体的规范标准化，是本文技术框架的基础

结论与讨论

主要结论

1. 成功克服了Ball方法对乘积结构的依赖，为一般John位置凸体提供了系统的截面体积估计方法
2. 建立了中心对称和非对称情况下的尖锐界，并识别了新的阈值现象
3. 将经典$\ell_p$球结果推广到更广泛的范数族，提供了对几何结构更敏感的估计

局限性

1. 某些估计需要投影长度的特定条件（如$\tilde{c}_j \geq 1/2$）
2. 对于$p > 1$的一般情况，由于无法显式计算$\gamma_p$，无法提供类似$p=1$情况的中间界
3. 技术方法主要适用于有限维欧几里得空间

未来方向

1. 探索更一般几何体的应用
2. 研究高维渐近行为
3. 发展更精细的几何不等式技术

深度评价

优点

1. 方法创新性强: 巧妙结合Parseval恒等式和Brascamp-Lieb不等式，突破了传统方法的局限
2. 结果完整性: 涵盖对称和非对称情况，提供了系统的理论框架
3. 技术深度: 涉及傅里叶分析、凸几何、泛函分析等多个领域的深入技术
4. 实用价值: 推广了重要的经典结果，为相关研究提供了新工具

不足

1. 技术复杂性: 方法涉及多个高深技术，可能限制其应用范围
2. 条件限制: 某些结果需要特定的几何条件，适用性有一定局限
3. 计算复杂性: 实际应用中的计算可能较为复杂

影响力

1. 理论贡献: 为凸几何领域提供了重要的新技术和深刻结果
2. 方法论影响: Parseval-Brascamp-Lieb结合方法可能启发其他相关问题的研究
3. 应用前景: 在高维数据分析、优化理论等领域具有潜在应用价值

适用场景

1. 凸几何和积分几何的理论研究
2. 高维概率和随机几何
3. 泛函分析中的不等式理论
4. 几何断层扫描和反问题

参考文献

论文引用了该领域的重要文献，包括：

• Ball的立方体切片经典工作
• Brascamp-Lieb不等式的几何形式
• John定理和凸体理论基础
• Meyer-Pajor、Koldobsky等人关于$\ell_p$球的经典结果