Logarithmic Brunn--Minkowski Inequality under $n-2$ Reflection Symmetries

技术摘要：具有 $n-2$ 个反射对称性的对数 Brunn–Minkowski 不等式

问题陈述
经典的 Brunn–Minkowski 不等式是凸几何学的基石，它联系了闵可夫斯基和（Minkowski sums）的体积与各加数体积之间的关系。在 20 世纪 90 年代，Lutwak 等人开发了针对 $p \ge 1$ 的 $L_p$-Brunn–Minkowski 理论。然而，$p \in (0, 1)$ 的情况，特别是极限情况 $p=0$（即对数 Brunn–Minkowski 不等式），提出了显著的挑战。对于 $p=0$，标准的 $L_p$-Minkowski 组合通常无法产生凸体的支撑函数。Böröczky, Lutwak, Yang, 和 Zhang [4] 为对数 Minkowski 和（或 $L_0$-和）提出了一种自然的定义，并猜想对数 Brunn–Minkowski 不等式对所有 $\mathbb{R}^n$ 中的原点对称凸体均成立。

虽然该猜想在平面情形 ($n=2$) [4] 以及具有 $n$ 个线性反射的物体（无条件对称体）[3] 中已得到证明，但对于 $n \ge 3$ 的一般情况仍是一个开放问题。本文在一种特定的、中间对称性范畴下研究该猜想：即具有 $n-2$ 个正交超平面反射对称性的原点对称凸体。

方法论
作者采用了结合 Prékopa–Leindler 不等式的纤维分解策略。核心方法步骤包括：

1. 坐标分解： 将空间 $\mathbb{R}^n$ 分解为 $E \oplus P$，其中 $E \cong \mathbb{R}^{n-2}$ 对应于由反射对称性固定的坐标，而 $P \cong \mathbb{R}^2$ 是其正交补空间。
2. 纤维分析： 对于点 $x \in E$，纤维 $K_x$ 和 $L_x$ 被定义为凸体 $K$ 和 $L$ 与仿射子空间 $\{x\} \times P$ 的交集。在 $n-2$ 个反射对称性下，这些纤维被证明是 $\mathbb{R}^2$ 中的原点对称凸集。
3. 纤维包含关系： 一个关键引理确立了纤维的对数 Minkowski 和包含在全局物体的对数 Minkowski 和的纤维之内：
   $$\{x \cdot_\lambda x'\} \times ((1-\lambda) \cdot K_x +_0 \lambda L_{x'}) \subset (1-\lambda) \cdot K +_0 \lambda L$$
   这里 $x \cdot_\lambda x'$ 表示 $E$ 中的坐标逐分量几何插值。
4. 应用 Prékopa–Leindler： 通过在 $E$ 上定义代表这些纤维的二维体积的适当函数，作者应用了 $n$ 维 Prékopa–Leindler 不等式。这使得可以通过将已知的平面对数 Brunn–Minkowski 不等式（定理 1.1）应用于纤维，从而导出全局体积不等式。
5. 等号分析： 作者通过分析 Prékopa–Leindler 不等式和纤维包含关系成为等式的条件，来研究等号成立的情况。这涉及刻画纤维 $K_x$ 与 $L_x$ 之间的关系（具体而言，它们是否为相似形或平行四边形），并利用 $C^2_+$ 光滑性假设排除平行四边形情况，从而迫使物体为相似形。

主要贡献与结果

• 定理 1.2 & 1.3（主要不等式）： 本文证明了对于具有 $n-2$ 个正交坐标反射对称性的原点对称凸体，对数 Brunn–Minkowski 不等式成立。具体而言，对于此类物体 $K$ 和 $L$ 及 $\lambda \in [0, 1]$：
  $$V((1-\lambda) \cdot K +_0 \lambda L) \ge V(K)^{1-\lambda} V(L)^\lambda$$
  这一结果将已知有效的猜想范围从平面情形和 $n$-反射情形扩展到了更广泛的具有余维数为二的对称性类别的物体。

• 等号条件： 在至少一个物体属于 $\mathcal{K}^2_+$ 类（具有 $C^2$ 边界和严格正曲率的凸体）的假设下，当且仅当 $K$ 和 $L$ 为相似形时，等号成立。证明表明，对称性约束结合光滑性条件消除了在平面定理中出现的“平行四边形”等号情况。

• 推论 1.5（旋转体）： 一个重要的几何应用是证明了旋转体的不等式。本文表明，任何两个轴（无论是重合、正交还是斜交）都存在 $n-2$ 个相互正交的反射法线。因此，对数 Brunn–Minkowski 不等式对于 $\mathbb{R}^n$ 中的任何一对原点对称旋转体均成立。这解决了一个此前由于轴线不同而导致局部到全局方法失效的空白。

• 对数 Minkowski 问题中的唯一性（定理 1.7）： 本文确立了在共享相同 $n-2$ 个反射对称性的 $C^2_+$ 原点对称凸体类中，对数 Minkowski 问题解的唯一性。如果两个这样的物体具有相同的锥体积测度，则它们必须是恒等的。

• 向对数凹测度的扩展（定理 1.9）： 利用 Saroglou 的转移原理，作者将该不等式从勒贝格测度推广到某些对数凹测度，特别是具有旋转对称密度（包括高斯测度）的测度。在相同的对称性假设下，该不等式对于原点对称物体成立。

意义与主张
本文声称提供了一个新的几何范畴，超越了受限的“无条件”（$n$-反射）情形。通过利用余维数为二的对称性，作者成功地在平面情形和一般的 $n$ 维情形之间架起了一座桥梁，涵盖了一类非平凡的物体。

其意义在于：

1. 泛化： 将对数 Brun–Minkowski 不等式的有效性扩展到了具有不同轴线的旋转体，而在这种情况下，之前的局部方法是不够的。
2. 唯一性： 在这些特定对称性下，为对数 Minkowski 问题提供了唯一性结果，有助于深入理解该问题的可解性。
3. 测度论： 证明了在这些对称性下，几何不等式蕴含了相应的对数凹测度（如高斯测度）的不等式，强化了凸几何与泛函不等式之间的联系。

作者谦虚地指出，本文并未建立这些对称性下 Minkowski 问题解的存在性，且唯一性结果严格限于 $C^2_+$ 类。这项工作并不声称解决了任意原点对称物体的完整猜想，而是通过识别出一个该猜想在全球范围内成立的、具有丰富几何特征的特定对称类，迈出了实质性的一步。