[论文解读] 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

一句话总结

该论文通过改进随机定位与谱分析之间关于薄壳常数和庞加莱常数的联系，证明了博尔甘的切片问题和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.

研究动机与目标

• 证明博尔甘的切片问题与KLS等周猜想在维度上至多存在多对数因子误差。
• 改进对各向同性对数凹测度的薄壳常数 $\sigma_n$ 与等周常数 $\psi_n$ 的最佳已知界。
• 通过随机定位与谱技术，进一步细化庞加莱常数、薄壳常数与KLS猜想之间的关系。
• 在定量上超越陈近期得到的界 $L_n \leq C_1 \exp(C_2 \sqrt{\log n \cdot \sqrt{\log \log(3n)}})$，将依赖关系从平方根的指数形式降低为 $\log n$ 的多项式形式。

提出的方法

• 使用参数 $t$ 的随机定位，通过时间改变的奥恩斯坦-乌伦贝克过程将各向同性对数凹测度 $\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])$，以追踪坐标函数在谱测度下的特征值分布。
• 对 $t$ 进行时变优化，以平衡界 $F(\lambda) \leq C\left(\frac{1}{n}\mathbb{E}|a_t|^2 + \frac{\lambda}{t}\right)$ 中的项，从而导出 $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$ 的界与埃拉南不等式 $\psi_n \leq \tilde{C} \sigma_n \log n$ 联立，最终得出 $\psi_n \leq C'(\log n)^5$。

实验结果

研究问题

• RQ1 切片问题与KLS猜想是否可在维度上至多存在多对数因子误差下被解决？
• RQ2 各向同性对数凹测度的薄壳常数 $\sigma_n$ 的最佳可能定量界是什么？
• RQ3 如何利用随机定位与谱分析来改进庞加莱常数与等周常数的界？
• RQ4 薄壳常数 $\sigma_n$ 与等周常数 $\psi_n$ 之间的差距是否可被缩减为多对数因子？

主要发现

• 论文建立了各向同性对数凹测度的薄壳常数满足 $\sigma_n \leq C(\log n)^4$，优于以往的界。
• 证明了等周常数满足 $\psi_n \leq C'(\log n)^5$，从而在多对数因子范围内确认了KLS猜想。
• 为博尔甘的切片问题导出了界 $L_n \leq C(\log n)^4$，表明任一体积为1的凸体均存在一个超平面截面，其 $(n-1)$-维体积至少为 $1/L_n$。
• 作者通过新颖地应用随机定位与谱分析，改进了庞加莱常数与薄壳常数之间的联系。
• 该结果在定量上优于陈近期得到的界 $L_n \leq C_1 \exp(C_2 \sqrt{\log n \cdot \sqrt{\log \log(3n)}})$，将依赖关系从平方根的指数形式降低为 $\log n$ 的多项式形式。
• 论文指出了潜在的改进方向，例如加强 $H^{-1}$-不等式或改进谱质量估计 $F(\lambda)$。