[论文解读] Stability of the log-Brunn-Minkowski inequality in the case of many hyperplane symmetries

Károly J. Böröczky, Apratim De|arXiv (Cornell University)|Jan 7, 2021

Point processes and geometric inequalities参考文献 56被引用 5

一句话总结

该论文在假设存在 $n$ 个独立超平面对称性的前提下，建立了对数 Brunn-Minkowski 不等式与对数 Minkowski 不等式的精确稳定性估计。证明表明，若两个原点对称的凸体在对数 $L_0$-和与体积上接近，则它们几乎相似，其误差项为 $varepsilon^{1/(95n)}$ 阶，其中 $varepsilon$ 衡量不等式中等号偏离的程度。

ABSTRACT

In the case of symmetries with respect to n independent linear hyperplanes, a stability version of the logarithmic Brunn-Minkowski inequality and the logarithmic Minkowski inequality for convex bodies is established.

研究动机与目标

• 建立具有 $n$ 个独立超平面对称性的凸体的对数 Brunn-Minkowski 不等式与对数 Minkowski 不等式的稳定性版本。
• 量化两个原点对称凸体在 $L_0$-和与体积上需接近到何种程度，才能近似为相似形。
• 在先前稳定性结果的基础上，通过实现 $varepsilon^{1/(95n)}$ 阶的误差项，达到最优结果，该结果在对称性假设下为最优。
• 将稳定性框架扩展至 $L_0$-和设定，其中经典 Brunn-Minkowski 方法无法直接适用。

提出的方法

• 作者利用 $L_0$-和的线性不变性，并利用 $n$ 个正交反射生成的群结构，将问题分解为不可约不变子空间。
• 在每个不可约子空间中，通过约翰椭球实施局部化论证，将问题约化为低维情形。
• 关键的技术工具是使用 $L_0$-混合体积的对数导数，该工具将不等式与积分 $\int_{S^{n-1}} \log \frac{h_C}{h_K} \, dV_K$ 联系起来，从而量化等号偏离的程度。
• 证明基于对偏离量 $\u0000varepsilon$ 大小的分类分析，区分小 $\u0000varepsilon$（其中 $n\u0000varepsilon < 1$）与大 $\u0000varepsilon$（其中 $n\u0000varepsilon \geq 1$）两种情形，并在不同区域使用不同的估计方法。
• 通过结合 $L_0$-和的结构与对称性诱导的分解，推导出以 $\u0000varepsilon^{1/(95n)}$ 控制误差的相似形近似结果。
• 作者通过比较对称差与相似距离，将等号偏离程度以 $L_0$-和的形式进行有界控制。

实验结果

研究问题

• RQ1 当凸体具有 $n$ 个独立超平面对称性时，对数 Brunn-Minkowski 不等式在小扰动下的行为如何？
• RQ2 在存在此类对称性的情况下，对数 Minkowski 不等式的最优定量稳定性估计是什么？
• RQ3 能否利用 $L_0$-和结构，推导出具有显式误差界的有效相似形近似结果？
• RQ4 稳定性指数如何依赖于维度 $n$ 与体的对称性结构？
• RQ5 稳定性误差对偏离量 $\u0000varepsilon = \int_{S^{n-1}} \log \frac{h_C}{h_K} \, dV_K$ 的精确依赖关系是什么？

主要发现

• 该论文为对数 Brunn-Minkowski 不等式建立了稳定性估计，其误差项为 $\u0000varepsilon^{1/(95n)}$ 阶，其中 $\u0000varepsilon$ 为对数 Minkowski 不等式中等号偏离的度量。
• 在假设存在 $n$ 个独立超平面对称性的前提下，作者证明：若 $V(K) = V(C) = 1$ 且 $\int_{S^{n-1}} \log \frac{h_C}{h_K} \, dV_K < \u0000varepsilon$，则 $K$ 与 $C$ 为 $\left(1 + c^n \u0000varepsilon^{1/(95n)}\right)$-相似形，其中 $c > 1$ 为绝对常数，且该误差项在对称性假设下为最优。
• 对于 $n\u0000varepsilon < 1$ 的情形，稳定性界通过 $L_0$-混合体积的二阶泰勒展开及引理 5.2(ii) 推导得出，得到 $\varphi(1/2) < 1 + n\u0000varepsilon$，从而导出误差为 $\u0000varepsilon^{1/(95n)}$ 的相似形近似。
• 当 $n\u0000varepsilon \geq 1$ 时，通过基于 $\u0000varepsilon$ 大小的另一类分类分析证明稳定性，该分析依赖于约翰椭球与群论分解至不可约子空间。
• 作者表明，$K$ 与 $C$ 在不可约不变子空间上的对称投影的 $L_0$-和，以 $1 + c^n \u0000varepsilon^{1/(95n)}$ 的因子逼近原体，从而确立了主要稳定性结果。
• 证明表明，对称性结构允许将 $K$ 与 $C$ 分解为互补子空间中对称凸体的直和，从而可将问题约化为低维稳定性估计。