[論文レビュー] Bourgain's slicing problem and KLS isoperimetry up to polylog

Bo’az Klartag, Joseph Lehec|arXiv (Cornell University)|Mar 29, 2022

Advanced Combinatorial Mathematics被引用数 6

ひとこと要約

この論文は、確率的局所化とスペクトル解析を用いて、薄いシェル定数とPoincaré定数の関係を精緻化することで、次元における多対数的要因を除き、Bourgainのスライicing問題とKLS等周性予想が成り立つことを確立した。主な結果は、$\sigma_n \leq C(\log n)^4$ および $\psi_n \leq C'(\log n)^5$ の境界であり、両予想が多対数的要因の範囲で解決されたことを示している。

ABSTRACT

We prove that Bourgain's hyperplane conjecture and the Kannan-Lovász-Simonovits (KLS) isoperimetric conjecture hold true up to a factor that is polylogarithmic in the dimension.

研究の動機と目的

• 次元における多対数的要因を除き、Bourgainのスライicing問題とKLS等周性予想が成り立つことを確立すること。
• 等方的対数コンケーブ測度における薄いシェル定数 $\sigma_n$ と等周性定数 $\psi_n$ の既存の最良の境界を改善すること。
• 確率的局所化とスペクトル技術を用いて、Poincaré定数、薄いシェル定数、およびKLS予想との関係を精緻化すること。
• Chenの最近の境界 $L_n \leq C_1 \exp(C_2 \sqrt{\log n \cdot \sqrt{\log \log(3n)}})$ よりも定量的に改善し、依存関係を多対数的要因にまで削減すること。

提案手法

• パラメータ $t$ を用いた確率的局所化を用い、時間変化したOrnstein-Uhlenbeck過程を介して、等方的対数コンケーブ測度 $\mu$ を $\mu_t$ の族に写像する。
• $H^{-1}$-ノルム不等式を適用して座標関数の分散を制御し、$\mathrm{Var}_\mu(f) \leq 4 \sum_{i=1}^n \|x_i\|_{H^{-1}(\mu)}^2$ の境界を得る。
• 座標関数のスペクトル測度における固有値の分布を追跡するため、スペクトル質量関数 $F(\lambda) = \frac{1}{n} \sum_{i=1}^n \nu_{x_i}([0,\lambda])$ を導入する。
• 境界 $F(\lambda) \leq C\left(\frac{1}{n}\mathbb{E}|a_t|^2 + \frac{\lambda}{t}\right)$ の項をバランスさせるために、$t$ に関する時間依存最適化を実行し、$F(\lambda) \leq \tilde{C}\lambda^{4/5} t_1^{-3/5}$ を得る。
• 関係式 $\sigma_\mu^2 \leq 4 \int_{\lambda_1}^\infty \frac{F(\lambda)}{\lambda^2} d\lambda$ を用いて、$\sigma_\mu^2 \leq C t_1^{-4/5}$ を導出する。ここで $t_1 = (C \kappa_n^2 \log n)^{-1}$ である。
• $\sigma_\mu^2$ の境界をEldanの不等式 $\psi_n \leq \tilde{C} \sigma_n \log n$ と組み合わせることで、$\psi_n \leq C'(\log n)^5$ を結論づける。

実験結果

リサーチクエスチョン

• RQ1 次元における多対数的要因を除き、スライicing問題とKLS予想は解決可能か？
• RQ2 等方的対数コンケーブ測度における薄いシェル定数 $\sigma_n$ の最良の定量的境界は何か？
• RQ3 確率的局所化とスペクトル解析を用いて、Poincaré定数および等周性定数の境界をどのように改善できるか？
• RQ4 薄いシェル定数 $\sigma_n$ と等周性定数 $\psi_n$ の差は、多対数的要因にまで縮小可能か？

主な発見

• この論文は、等方的対数コンケーブ測度の薄いシェル定数について $\sigma_n \leq C(\log n)^4$ を確立し、以前の境界を改善した。
• 等周性定数について $\psi_n \leq C'(\log n)^5$ を証明し、KLS予想が多対数的要因の範囲で確認されたことを示した。
• Bourgainのスライicing問題について $L_n \leq C(\log n)^4$ の境界を導出し、体積が1の任意の凸体は、$(n-1)$-体積が $1/L_n$ 以上の超平面切断を持つことを示した。
• 著者たちは、確率的局所化とスペクトル解析の新規応用を通じて、Poincaré定数と薄いシェル定数の関係を精緻化した。
• Chenの最近の境界 $L_n \leq C_1 \exp(C_2 \sqrt{\log n \cdot \sqrt{\log \log(3n)}})$ よりも依存関係を指数的平方根から $\log n$ の多項式にまで削減することで、定量的改善を達成した。
• $H^{-1}$-不等式の強化やスペクトル質量推定 $F(\lambda)$ の精緻化といった、さらなる改善の可能性を同定した。