[論文レビュー] An Almost Constant Lower Bound of the Isoperimetric Coefficient in the KLS Conjecture

Yuansi Chen|arXiv (Cornell University)|Nov 27, 2020

Markov Chains and Monte Carlo Methods参考文献 21被引用数 7

ひとこと要約

本稿は、KLS予想における等周係数のほぼ定数の下界を確立し、以前の次元依存性 d^{-1/4} を d^{-o_d(1)} に改善した。半マルティンゲール理論と伊藤積分法に基づく洗練された確率的局在化スキームを用いて、次元に依存する下界を導出し、それが漸近的に普遍定数に近づくことを示した。これは、現在知られている最良の境界を著しく改善し、ブルーゲンのスライシング予想や薄皮予想などの関連予想においても改善された結果を示唆する。

ABSTRACT

We prove an almost constant lower bound of the isoperimetric coefficient in the KLS conjecture. The lower bound has the dimension dependency $d^{-o_d(1)}$. When the dimension is large enough, our lower bound is tighter than the previous best bound which has the dimension dependency $d^{-1/4}$. Improving the current best lower bound of the isoperimetric coefficient in the KLS conjecture has many implications, including improvements of the current best bounds in Bourgain's slicing conjecture and in the thin-shell conjecture, better concentration inequalities for Lipschitz functions of log-concave measures and better mixing time bounds for MCMC sampling algorithms on log-concave measures.

研究の動機と目的

• KLS予想における等周係数の下界を、高次元確率および幾何学全般に影響を及ぼす現在の最良の下界を改善すること。
• 対数凸測度におけるチーリング等周係数のほぼ定数の下界を達成するという、長年の課題に取り組むこと。
• エルドシュとリー–ヴェンパラの確率的局在化手法を洗練させ、次元に依存する tighter 界を達成すること。
• 新しい下界が、ブルーゲンのスライシング予想や薄皮予想を含む関連予想において、改善された定量的結果を示すことを示すこと。
• 次元に依存する下界を提示し、それが漸近的に普遍定数に近づくようにすること。これは、以前の d^{-1/4} 依存性を上回る。

提案手法

• 時間に依存する平均および共分散過程を備えた確率微分方程式（SDE）に基づく洗練された確率的局在化スキームを採用する。
• 伊藤の積分法を用いて、密度、平均、共分散行列、および共分散行列のトレース関数の時間的ダイナミクスを導出する。
• 共分散行列の累乗と単位行列の積のトレースを含むテンソルモーメント不等式を適用する。
• ポテンシャル関数を導入し、新たなトレース不等式を用いて二次変動およびモーメント項の成長を制御する。
• パラメータ ℓ を用いて、次元と対数因子のトレードオフを調整する再帰的下界を導出する。
• ℓ = ⌈(log d / log log d)^{1/2}⌉ と最適化することで、漸近的に最良の次元依存性 d^{-o_d(1)} を達成する。

実験結果

リサーチクエスチョン

• RQ1 KLS予想における等周係数の下界の次元依存性を d^{-1/4} を超えて改善できるか？
• RQ2 高次元における等方的対数凸測度に対するチーリング等周係数の最もタイトな下界は何か？
• RQ3 確率的局在化手法の洗練が、等周係数に対する結果に与える影響はいかほどか？
• RQ4 KLSの下界を改善することで、ブルーゲンのスライシング予想や薄皮予想などの関連予想における境界がどの程度向上するか？
• RQ5 最適パラメータチューニングを用いて、確率的局在化フレームワークを、ほぼ定数の下界を達成するために拡張可能か？

主な発見

• 本稿は、ψ(p) ≥ 1 / [c·ℓ(log d + 1)]^{ℓ/2} d^{16/ℓ} √ρ(p) の形の下界を確立し、d^{-1/4} 依存性を持つ以前の最良の境界を改善した。
• ℓ = ⌈(log d / log log d)^{1/2}⌉ と選ぶことで、ψ(p) ≥ 1 / d^{c′ (log log d / log d)^{1/2}} √ρ(p) となる。これは任意の d^{-c''} に対する境界よりも漸近的に優れている。
• d → ∞ のとき (log log d / log d)^{1/2} → 0 であるため、この下界は次元に対してほぼ定数に近づく。
• この結果により、薄皮定数およびスライシング定数に対する上界が改善され、両者ともに以前は d^{1/4} 依存性を示していた。
• 解析により、確率的局在化手法は、高次モーメント不等式およびトレース恒等式を体系的に適用することで洗練可能であることが確認された。
• 証明は、対称行列に対する新しいトレース不等式と、局在化プロセスを記述するSDEに伊藤の公式を精密に適用することに依存している。