[論文レビュー] 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$ 個の独立した超平面対称性を仮定したもとで、対数的ブラニュウ＝ミンコフスキー不等式および対数的ミンコフスキー不等式の鋭い安定性評価を確立する。2つの原点対称な凸体が、対数的 $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$ 個の独立した超平面対称性を持つ凸体に対する対数的ブラニュウ＝ミンコフスキー不等式および対数的ミンコフスキー不等式の安定版を確立すること。
• 原点対称な2つの凸体が $L_0$-和および体積においてどれほど近いかを定量的に評価し、それらがほぼホモセファイである条件を特定すること。
• 従来の安定性結果を改善し、$\varepsilon^{1/(95n)}$ の誤差項を達成することにより、対称性仮定のもとで最適であることを示すこと。
• $L_0$-和の設定に安定性枠組みを拡張すること。ここでは古典的なブラニュウ＝ミンコフスキー技法が直接適用されない。

提案手法

• 著者たちは $L_0$-和の線形不変性を用い、$n$ 個の直交反射によって生成される群構造を利用して、問題を既約不変部分空間に分解する。
• 各既約不変部分空間においてジョンの楕円体を用いた局所化の議論を適用し、問題を低次元のケースに還元する。
• 鍵となる技術的道具は、$L_0$-混合体積の対数微分であり、これにより不等式が積分 $\int_{S^{n-1}} \log \frac{h_C}{h_K} \, dV_K$ と結びつき、等号からのずれを定量化する。
• ずれ $\varepsilon$ の大きさに基づく場合分けに依拠する。$n\varepsilon < 1$ の場合（小さな $\varepsilon$）と $n\varepsilon \geq 1$ の場合（大きな $\varepsilon$）を区別し、それぞれ異なる推定を用いる。
• $L_0$-和の構造と対称性に起因する分解を組み合わせることで、$\varepsilon^{1/(95n)}$ に比例する誤差項を有するホモセファイ近似が得られることを示す。
• 対称差とホモセファイ距離を用いた比較議論により、等号からのずれが $L_0$-和の観点から誤差項で抑えられることを示す。

実験結果

リサーチクエスチョン

• RQ1 凸体が $n$ 個の独立した超平面対称性を持つとき、対数的ブラニュウ＝ミンコフスキー不等式は小さな摂動に対してどのように振る舞うか？
• RQ2 このような対称性のもとで、対数的ミンコフスキー不等式の最適な定量的安定性評価は何か？
• RQ3 $L_0$-和の構造を活用して、明示的な誤差項を伴うホモセファイ近似を導けるか？
• RQ4 安定性指数は次元 $n$ および体の対称性構造にどのように依存するか？
• RQ5 安定性誤差は、$\varepsilon = \int_{S^{n-1}} \log \frac{h_C}{h_K} \, dV_K$ にどのように鋭く依存するか？

主な発見

• 本稿では、対数的ブラニュウ＝ミンコフスキー不等式の安定性評価を確立し、誤差項が $\varepsilon^{1/(95n)}$ のオーダーであることを示した。ここで $\varepsilon$ は対数的ミンコフスキー不等式における等号からのずれを表す。
• 超平面対称性 $n$ 個の仮定のもとで、$V(K) = V(C) = 1$ かつ $\int_{S^{n-1}} \log \frac{h_C}{h_K} \, dV_K < \varepsilon$ ならば、$K$ と $C$ はある絶対定数 $c > 1$ を用いて $\left(1 + c^n \varepsilon^{1/(95n)}\right)$-ホモセファイであることが証明され、この誤差項は対称性仮定のもとで最適である。
• $n\varepsilon < 1$ の場合、$L_0$-混合体積の2階テイラー展開と補題5.2(ii)を用いて $\varphi(1/2) < 1 + n\varepsilon$ を得る。これにより、誤差 $\varepsilon^{1/(95n)}$ を伴うホモセファイ近似が得られる。
• $n\varepsilon \geq 1$ の場合、$\varepsilon$ の大きさに基づく別の場合分けを用い、ジョンの楕円体と群論的分解による既約部分空間への分解に依拠して安定性を証明する。
• 著者たちは、$K$ と $C$ の既約不変部分空間への対称的射影の $L_0$-和が、元の体を $1 + c^n \varepsilon^{1/(95n)}$ の要因内で近似することを示し、主な安定性結果を確立する。
• 証明により、対称性構造のおかげで $K$ と $C$ が直交補空間における対称的凸体の直和に分解可能であり、これにより低次元の安定性評価への還元が可能であることが示された。