A universal bound in the dimensional Brunn-Minkowski inequality for log-concave measures

技術的概要：対数凹測度における次元ブルン・ミンコフスキー不等式の普遍的上界

問題提起
本論文は、対数凹測度に対する次元ブルン・ミンコフスキー予想を取り扱います。ルベーグ測度に対する古典的なブルン・ミンコフスキー不等式は、凸集合のミンコフスキー平均の体積が $|\lambda K + (1-\lambda)L|^{1/n} \geq \lambda |K|^{1/n} + (1-\lambda)|L|^{1/n}$ を満たすと述べていますが、任意の偶対数凹確率測度 $\mu$ と対称凸集合 $K, L$ に対して、同様の不等式が成り立つことが予想されています：
$$\mu(\lambda K + (1-\lambda)L)^{1/n} \geq \lambda \mu(K)^{1/n} + (1-\lambda)\mu(L)^{1/n}.$$
ガーナーとズヴァヴィッチによって提案され、コレスアンティ、リブシッツ、マルシリエッティによってさらに研究されたこの予想は、完全な一般性においては未解決のままです。本論文は、すべての偶対数凹測度と対称凸集合に対して $\mu(\lambda K + (1-\lambda)L)^p \geq \lambda \mu(K)^p + (1-\lambda)\mu(L)^p$ が成り立つような指数 $p$ の普遍的下界を確立することを目的としています。

手法
著者は、測度 $d\mu = e^{-V}dx$ に伴う重み付きラプラシアン作用素 $L u = \Delta u - \langle \nabla u, \nabla V \rangle$ のスペクトル特性を利用する$L^2$ 法（コレスニコフとミルマンの方法としても知られる）を採用しています。核心的な戦略は以下の通りです：

1. 命題 4.1 (KL [39])：ミンコフスキー和の測度の凸性を、関数 $u$ のヘッシアンと作用素 $L$ を含むスペクトル不等式と結びつける基準。具体的には、$\|\nabla^2 u\|^2$ と $Lu$ に関する特定の不等式が成り立てば、所望のブルン・ミンコフスキー型の不等式が導かれます。
2. 命題 4.2：対称部分集合 $A \subset K$ に対して、$\int_K \|\nabla^2 u\|^2 d\mu$ の下界を $(\int_A Lu d\mu)^2$ の観点から確立する重要な技術的補題。この下界は、制限測度のポアンカレ定数 $C_{poin}(K, \mu)$ とポテンシャル $V$ の幾何学に依存します。
3. ポアンカレ定数の評価：論文は、等方対数凹測度の対称凸集合への制限に対する $C_{poin}(K, \mu)$ の上界を導出します。これは以下の事実に依存します：
   • 対数凹測度の理論からの手法（クララト、ミルマン）。
   • 測度の集中に関する KLS 予想の最近の進展（チェン [33]、リー・ヴェンパラ [47]、エルダン [24]）。
   • 大きな測度を持つ部分集合上のポテンシャル $V$ の勾配に関する幾何学的補題（補題 4.4、4.5）。
4. 特定の測度の分析：特定の測度クラス（例：$e^{-\|x\|_p^p}$）に対して、著者は一般的なポアンカレの上限とモーメントの評価（補題 4.8）およびスケーリング特性を組み合わせ、指数を精緻化します。

主要な貢献と結果

• 定理 A（普遍的上界）：$\mathbb{R}^n$ 上の任意の偶対数凹確率測度 $\mu$ と任意の対称凸集合の対 $K, L$ に対して、不等式は以下の指数で成り立ちます：
  $$c_n = n^{-4-o(1)}.$$
  ここで、$o(1)$ は $n \to \infty$ とともに 0 に収束する正の項を表します。これは予想されている指数 $1/n$ に向けた重要な一歩です。

• 定理 1.1（積型測度）：$d\mu(x) = e^{-\|x\|_p^p} dx$ ($p \in [1, 2]$) の形の測度に対して、指数は以下のように改善されます：
  $$A(n, p) = \frac{c(p)}{n (\log n)^{\frac{2-p}{p}}}.$$

• 定理 1.2（回転不変測度）：$d\mu(x) = e^{-|x|^p/p} dx$ ($p \geq 1$) の回転不変測度に対して、指数は以下の通りです：
  $$C(p) n^{-2}.$$
  さらに、$p \in [1, 2]$ の特定のケースでは、指数は $C n^{-1-o(1)}$ に改善され、予想された $1/n$ のオーダーに近づきます。

• 定理 1.4（一様厳密対数凹測度）：論文は、集合の測度が 1 に近づく ($a \to 1$) につれて最適指数 $p_s(\mu, a)$ がどのように振る舞うかを調査します。$\mu$ が一様厳密対数凹測度（すなわち $\nabla^2 V \geq k_1 I$）である場合、$a \to 1$ とともに $p_s(\mu, a) \to \infty$ となることを証明します。これは、エハルト不等式により指数が発散するガウス場合や、$1/n$ で一定に留まるルベーグ場合とは対照的です。

意義と主張
本論文は、指数に対する普遍的多項式的上界 ($n^{-4-o(1)}$) を確立することにより、次元ブルン・ミンコフスキー予想への進展を成し遂げたと主張しています。一方、以前の結果は特定の測度クラス（例：無条件体）に限定されていたか、より強い仮定（例：球に近い回転不変性）を必要としていました。

著者は、特定の測度クラス、特に回転不変性や積構造を持つものについては、この上界が改善されることを指摘しています。この研究は、ポアンカレ不等式、ブラシュンプ・リープ不等式、および高次元凸体の幾何学の間の相互作用に大きく依存しています。

論文は明示的に、注記 1.3 で言及されているコルデロ・エラスキンとロテム [21] による定理 1.2 を示唆する後続の結果があることを認めつつも、現在の研究が一般的な偶対数凹測度に対する最初の普遍的上界を提供し、定理 A および 1.1 で扱われるクラスに対する特定の上界を確立したと述べています。これらの結果は、$L^2$ 法を用いて導出され、コレスニコフとミルマンの研究を対称性を持つ一般的な対数凹測度の設定に拡張したものです。