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

技術要約：$n-2$ 個の反射対称性下における対数型ブルン・ミンコフスキー不等式

問題の定義
古典的なブルン・ミンコフスキー不等式は、ミンコフスキー和の体積と、その成分となる集合の体積を関連付ける、凸幾何学の基礎となるものである。1990年代、Lutwakらは $p \ge 1$ における $L_p$-ブルン・ミンコフスキー理論を展開した。しかし、$p \in (0, 1)$ の場合、特に $p=0$ の極限ケース（対数ブルン・ミンコフスキー不等式）は、重大な課題を提示している。$p=0$ の場合、標準的な $L_p$-ミンコフスキー結合は、一般には凸体の支持関数を与えない。Böröczky, Lutwak, Yang, および Zhang [4] は、対数ミンコフスキー和（または $L_0$-和）の自然な定義を提案し、原点対称なすべての凸体に対して対数ブルン・ミンコフスキー不等式が成立するという予想を立てた。

この予想は、平面の場合（$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. ファイバーの包含関係: ある重要な補題は、ファイバーの対数ミンコフスキー和が、大域的な体の対数ミンコフスキー和のファイバーに包含されることを確立している：
   $$\{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. プレコピ・レンドラーの適用: これらのファイバーの2次元体積を表す適切な関数を $E$ 上に定義することで、著者は $n$ 次元のプレコピ・レンドラー不等式を適用する。これにより、既知の平面における対数ブルン・ミンコフスキー不等式（定理 1.1）をファイバーに適用することで、大域的な体積不等式を導出することが可能となる。
5. 等号成立条件の解析: プレコピ・レンドラー不等式およびファイバーの包含関係が等号となる条件を分析することで、等号成立の場合を調査する。これには、ファイバー $K_x$ と $L_x$ の関係（具体的には、それらが相似拡大であるか、あるいは平行四辺形であるか）の特性化が含まれ、$C^2_+$ 滑らかさの仮定を用いて平行四辺形のケースを除外することで、体が相似拡大であることを強制する。

主要な貢献および結果

• 定理 1.2 & 1.3（主要不等式）: 本論文は、$n-2$ 個の直交座標反射に対して不変な原点対称凸体に対する対数ブルン・ミンコフスキー不等式を証明している。具体的には、そのような体 $K$ と $L$ および $\lambda \in [0, 1]$ に対して：
  $$V((1-\lambda) \cdot K +_0 \lambda L) \ge V(K)^{1-\lambda} V(L)^\lambda$$
  この結果は、既知の平面での妥当性と、$n$ 反射のケースから、より広いクラスの体（余次元2の対称性を持つ体）へと、予想の妥当性を拡張するものである。

• 等号条件: 少なくとも一方の体がクラス $\mathcal{K}^2_+$（境界が $C^2$ で、かつ曲率が正である凸体）に属するという仮定の下では、等号は $K$ と $L$ が相似拡大である場合に限り成立する。証明は、対称性の制約と滑らかさの条件を組み合わせることで、平面の定理で見られる「平行四辺形」の等号成立ケースを排除し、体が相似拡大であることを強制することを実証している。

• 系 1.5（回転体）: 重要な幾何学的応用として、回転体に対する不等式の証明が挙げられる。本論文は、いかなる2つの軸（一致しているか、直交しているか、あるいは斜交しているかを問わない）も、$n-2$ 個の互いに直交する反射法線を持つことを示している。したがって、対数ブルン・ミンコフスキー不等式は、$\mathbb{R}^n$ ($n \ge 3$) における任意の原点対称な回転体に対して成立する。これは、従来の局所から大域への手法が失敗した、異なる軸を持つ体に関するギャップを解消するものである。

• 対数ミンコフスキー問題における一意性（定理 1.7）: 本論文は、$n-2$ 個の反射対称性を共有する $C^2_+$ 原点対称体のクラス内における、対数ミンコフスキー問題の解の一意性を確立している。もし2つの体が同じ錐体体積測度を持つならば、それらは同一でなければならない。

• 対数凹関数への拡張（定理 1.9）: Saroglou の転送原理を用いることで、著者は、ルベーグ測度から特定の対数凹測度（回転対称な密度を持つもの、例えばガウス測度を含む）へと不等式を一般化している。不等式は、同一の対称性の仮定の下で、原点対称な体に対して成立する。

意義および主張
本論文は、無条件（$n$ 反射）という制限的なケースを超えて、対数ブルン・ミンコフスキー予想の新たな幾何学的レジームを提供すると主張している。余次元2の対称性を利用することで、著者は平面のケースと一般的な $n$ 次元のケースの間にあるギャップを、非自明なクラスの体に対して見事に埋めている。

その意義は以下の点にある：

1. 一般化: 以前の局所的手法では不十分であった、異なる軸を持つ回転体に対して、対数ブルン・ミンコフスキー不等式の妥当性を拡張したこと。
2. 一意性: これらの対称性の下での対数ミンコフスキー問題の一意性の結果を提供し、問題の解明度を高めたこと。
3. 測度論: 幾何学的な不等式が、これらの対称性の下での（ガウス測度のような）対数凹測度に対する対応する不等式を導くことを示し、凸幾何学と関数不等式の間のつながりを強化したこと。

著者は、ここでの議論は、これらの対称性の下でのミンコフスキー問題の解の存在を確立したものではなく、一意性の結果は厳密に $C^2_+$ クラスに限定されるものであることを謙虚に述べている。本研究は、任意の原点対称な体に対する完全な予想を解決すると主張するものではなく、予想がグローバルに成立する特定の、幾何学的に豊かな対称性クラスを特定することによって、大きな前進を提示している。