The many-body Blaschke-Santaló type inequality via optimal transport

技术摘要：通过最优传输理论研究多体 Blaschke–Santaló 型不等式

问题陈述
本文研究了 $\mathbb{R}^n$ 中关于原对称可测集的“多体”体积乘积的锐利上界。具体而言，给定 $k$ 个具有有限体积的集合 $K_1, \dots, K_k \subset \mathbb{R}^n$，作者研究了满足以下约束条件的条件：
$$\sum_{1 \le i < j \le k} \langle x_i, x_j \rangle \le C_k, \quad \forall x_i \in K_i, x_j \in K_j,$$
其中 $C_k = \binom{k}{2}$。其目标是证明如下猜想的不等式：
$$\prod_{i=1}^k |K_i| \le |B_n|^k,$$
其中 $|B_n|$ 是欧几里得单位球的体积。此外，本文旨在刻画等号成立的情况，并区分两体情况（$k=2$）与多体情况（$k \ge 3$）。该问题是作为 Kolesnikov 和 Werner 以及 Kalantzopoulos 和 Saroglou 提出的泛函不等式的几何对应物而产生的。

方法论
证明过程综合了**多边际最优传输（multi-marginal optimal transport）与伪欧几里得几何（pseudo-Euclidean geometry）**的工具。其方法论通过以下逻辑步骤进行：

1. 凸化（Convexification）： 首先将问题从一般可测集简化为关于原对称凸体的形式，通过用其闭凸包替换集合来保持相互作用约束。
2. 最优传输表述： 作者利用了二次型多边际最优传输问题。他们考虑了 $K_i$ 上均匀测度的等权重 Wasserstein 质心 $\nu$。根据 Brenier 定理，存在从 $\nu$ 到 $K_i$ 上均匀测度的最优传输映射 $T_i = \nabla \phi_i$。
3. 伪欧几里得结构： 对最优计划 $\gamma = (T_1, \dots, T_k)_\# \nu$ 的支撑集进行分析。作者在 $(\mathbb{R}^n)^k$ 上定义了一个双线性型 $B$，使得 $B(X, X) = 2 \sum_{i<j} \langle x_i, x_j \rangle$。该型诱导了一个特征值为 $(n, n(k-1))$ 的伪欧几里得度量。
4. 图表示（Graph Representation）： 利用 Kantorovich 对偶和循环单调性，证明最优计划的支撑集 $\Gamma$ 是定义在 $\mathbb{R}^n$ 的一个子集 $A$ 上的奇函数且 1-Lipschitz 映射 $f: A \to \mathbb{R}^{n(k-1)}$ 的图。极性条件转化为“类时（spacelike）”条件：$|x|^2 - |f(x)|^2 \le 2C_k$。
5. 体积估计：
   • 下界： 源自控制质心映射的 Monge–Ampère 方程。作者建立了一个锐利的行列式不等式，将传输映射的雅可比行列式与图 $\Gamma$ 的伪体积联系起来。
   • 上界： 源自类时图的伪欧几里得体积估计。作者通过改编 Li 关于极大子流形的 Dirichlet 理论，证明了此类图的伪体积受限于由约束 $C_k$ 确定的伪球体积。

主要贡献与结果

• 几何不等式的证明（定理 1.1）： 作者证明了对于任何满足两两相互作用约束的原对称可测集，其体积乘积被 $|B_n|^k$ 所界定。
• 等号成立情况的刚性（Rigidity of Equality Cases）： 本文确立了 $k=2$ 与 $k \ge 3$ 之间的锐利区别：
  • 情况 $k=2$： 当且仅当 $K_1$ 和 $K_2$ 是极对偶椭球（即 $K_1 = A B_n$ 且 $K_2 = A^{-\top} B_n$，其中 $A \in GL(n)$）时，等号成立。这恢复了经典的 Blaschke–Santaló 不等式的仿射不变性。
  • 情况 $k \ge 3$： 当且仅当所有集合都是相同的欧几里得球（$K_1 = \dots = K_k = B_n$）时，等号成立。两两之间的约束引入了额外的刚性，消除了两体情况中存在的仿射自由度。
• 泛函不等式（定理 1.2）： 利用 Kalantzopoulos 和 Saroglou 建立的几何-泛函等价性，本文将这些结果扩展到泛函领域。作者证明了对于满足涉及相互作用项 $S_2$ 的逐点乘积约束的偶函数 $f_i$，其积分乘积是有界的。等号成立的情况也类似地进行了刻画：对于 $k \ge 3$，这些函数必须是与相互作用核成比例的相同高斯型剖面。
• 新的几何工具： 本文引入了一个关于类时图的锐利伪欧几里得体积估计（引理 4.1），利用了极大类时子流形的单调性论证。

意义
本文声称其意义在于解决了关于多体体积乘积的猜想，并展示了当物体数量超过两个时，等号的结构会变得“刚性”。这种刚性与经典的两个物体的情况形成对比，在后者中，仿射变换保持等号成立。这项工作架起了最优传输理论（特别是具有二次代价的多边际问题）与仿射等周不等式之间的桥梁。通过将最优支撑集识别为伪欧几里得空间中的类时图，作者提供了一个分析多体相互作用的新颖几何框架，为 Blaschke–Santaló 不等式的几何版本和泛函版本提供了一个统一的方法。研究结果证实，该经典不等式的“多体”扩展比经典情况更为严格，它迫使极值点为欧几里得球，而非一般的椭球。