[論文レビュー] Logarithmic bounds for isoperimetry and slices of convex sets

Bo’az Klartag|arXiv (Cornell University)|Mar 27, 2023

Point processes and geometric inequalities被引用数 16

ひとこと要約

Proves Bourgain’s slicing conjecture and the KLS isoperimetric conjecture up to a factor of sqrt(log n) for isotropic log-concave measures in R^n, via an improved log-concave Lichnerowicz inequality and stochastic localization.

ABSTRACT

We prove that the Bourgain slicing conjecture and the Kannan-Lovász-Simonovits (KLS) isoperimetric conjecture in $\mathbb{R}^n$ hold true up to a factor of $\sqrt{\log n}$. A new ingredient used in the proof is an improved log-concave Lichnerowicz inequality.

研究の動機と目的

• R^n 内の凸体に対して、普遍的な sqrt(log n) 因子までの Bourgain のスライシング問題と KLS 予想を動機づけ解決する。
• Poincaré 常数と等周性定数を結ぶための、改善された対数凹リヒネロヴィチ不等式を開発・適用する。
• エルダンの確率的局在化を活用してスペクトル境界を幾何学的なスライシングと等周性推定へ翻訳する。

提案手法

• t-uniform に対して log-concave 測度を導入し、改善された log-concave Lichnerowicz 不等式を証明する: C_P(μ) ≤ sqrt{||Cov(μ)||_op / t} ≤ 1/t.
• 関連するラプラシアン L_μ の固有関数を分析し、Bochner 型の公式を用いて勾配項と共分散を関連付ける。
• エルダンの確率的局在化（ tilt process ）を用いて共分散の変化を境界づけ、KLS 定数 ψ_n の界を導く。
• 確立された不等式 L_n ≤ C ψ_n および既知の同値性を用いて、KLS界 ψ_n をスライシング常数 L_n に関連付ける。
• 正規性を扱い、絶対連続な log-concave 測度へ還元する近似補題を適用し、Poincaré 常数を保存する。
• 局所化された Bochner 式と H^{-1} ノルムの考慮を用いて主不等式への代替ルートを得る。

実験結果

リサーチクエスチョン

• RQ1 R^n における等方的な対数凹測度について、L_n（Bourgain のスライシング定数）の普遍的な上界はいくらか？
• RQ2 KLS の等周性定数 ψ_n は n の普遍的な関数、理想的には sqrt(log n) で上界を持つことができるか？
• RQ3 改善された対数凹リヒネロヴィチ不等式は、対数凹設定における Poincaré 常数と共分散構造の関連をより鋭く導くか？
• RQ4 確率的局在化をどのように活用してスペクトル情報を幾何学的なスライシングと等周性の結果へ翻訳できるか？
• RQ5 これらの界を証明する際、鍵となる定数を失うことなく許容される正則性の簡約は何か？

主な発見

• L_n ≤ C sqrt(log n) はすべての n ≥ 2 に対して成立し、以前の境界を改善。
• ψ_n ≤ C sqrt(log n) により、対数的領域での KLS 予想のほぼ最適な境界を確立。
• 改善された対数凹リヒネロヴィチ不等式: t-uniformly log-concave μ に対して C_P(μ) ≤ sqrt{||Cov(μ)||_op / t} ≤ 1/t。
• Bochner 型恒等式を介して Poincaré 常数、共分散演算子、および勾配に基づく汎関数との定量的な結びつき。
• 共分散の変化の境界と、それにより等周性定数の境界を生み出す確率的局在化の枠組み。
• 改善された不等式と確率的局在化の組合せが、主要な対数的境界をもたらすことの実証。