[論文レビュー] Spectral gaps, symmetries and log-concave perturbations

Franck Barthe, Bo’az Klartag|arXiv (Cornell University)|Jul 3, 2019

Point processes and geometric inequalities参考文献 33被引用数 8

ひとこと要約

本稿では、$ℝ^n$ 上の対数凸確率測度に対するPoincaré定数の次元依存する上限を確立し、特に$ℝ^n$ 上の対称的指数測度の対数凸摂動に対しても、次元に比例して対数的にしか増大しないPoincaré定数が得られることを示している。主な結果は、$p$-ノルムと偶関数の凸ポテンシャルを持つ測度に対して、$1 \leq p \leq 2$ の範囲で普遍的上限 $C_P(\mu) \leq C(\log n)^{(2-p)/p}$ が成り立つことである。これは、$μat_p^n$ 切片に関するKLS予想に対する部分的な進展を確認するものである。

ABSTRACT

We discuss situations where perturbing a probability measure on $\mathbb{R}^n$ does not deteriorate its Poincaré constant by much. A particular example is the symmetric exponential measure in $\mathbb{R}^n$, even log-concave perturbations of which have Poincaré constants that grow at most logarithmically with the dimension. This leads to estimates for the Poincaré constants of $(n/2)$-dimensional sections of the unit ball of $\ell_p^n$ for $1 \leq p \leq 2$, which are optimal up to logarithmic factors. We also consider symmetry properties of the eigenspace of the Laplace-type operator associated with a log-concave measure. Under symmetry assumptions we show that the dimension of this space is exactly $n$, and we exhibit a certain interlacing between the "odd" and "even" parts of the spectrum.

研究の動機と目的

• 測度 $\nu^{n,Q}$ のPoincaré定数が、$L^1$-ノルムと非負の二次形式 $Q$ を組み合わせたものである場合、次元に依存せずに一様に有界であるかどうかを特定すること。
• このような測度のPoincaré定数が、$Q=0$、すなわち積のラプラス分布に還元される場合に最大になるかどうかを調査すること。
• 特に $1 \leq p < 2$ の範囲で、$μat_p^n$-ノルムと偶関数の凸摂動を持つ測度に対して、次元依存の上界を確立すること。
• 偶関数の対数凸測度に関連するラプラシアン型作用素のスペクトル構造を分析し、奇関数と偶関数の固有関数の入れ違いの性質および固有空間の次元に注目すること。

提案手法

• Kolesnikov-Milmanの比較技術を用いて、特に$μat_p^n$-ノルムに対して、測度のPoincaré定数とそのレベル集合のPoincaré定数を関連づける。
• インフィミム畳み込みと滑らか化を用いた局所化の手続きにより、元の密度 $\rho$ の滑らかで対数凸な近似 $\rho_k$ を構成し、$L^1$ 収束およびほとんど everywhere での点ごとの収束を保証する。
• ジェンセンの不等式と畳み込みの性質を用いて、近似過程において凸性とリプシッツ連続性を維持する。
• 偶関数の対数凸測度に対しては、Poincaré定数が奇関数のみを用いて特徴付けられることを示し、変分問題を奇関数部分空間に簡約する。
• 関数 $\psi(x) = -\log \rho(x)$ が凸であり、線形下界 $\psi(x) \geq A|x| - B$ を満たすことを用いて、近似密度の尾部減衰を制御する。
• ルベーグの優越収束定理を適用して、近似密度 $\rho_k$ を含む積分が元の測度 $\rho$ の積分に収束することを正当化する。

実験結果

リサーチクエスチョン

• RQ1 $L^1$-ノルムと非負の二次形式 $Q$ を持つ測度 $\nu^{n,Q}$ のPoincaré定数が、$Q$ に依存せず次元に一様に有界であるか。
• RQ2 対称的指数測度（すなわち $Q=0$）のPoincaré定数が、このような摂動のすべての中で最大であるか。
• RQ3 特に $1 \leq p \leq 2$ の範囲で、$\|x\|_p^p$ と偶関数の凸ポテンシャルを持つ測度のPoincaré定数の最適な次元依存性は何か。
• RQ4 対称性と対数凸性が、関連するラプラシアン型作用素のスペクトル構造に与える影響、特に奇関数と偶関数の固有値の入れ違いにどのように作用するか。
• RQ5 $μat_p^n$-切片のPoincaré定数はどの程度まで有界にできるか。また、これはKLS予想が対数因子の範囲で確認されるか。

主な発見

• $ℝ^n$ 上で密度 $e^{-\|x\|_p^p - F(x)}$ を持つ測度 $\mu$ に対して、$F$ が偶関数かつ凸関数であるとき、普遍定数 $C$ を用いて $C_P(\mu) \leq C(\log n)^{(2-p)/p}$ が成り立つ。$1 \leq p \leq 2$ の範囲で有効である。
• 特に $p=2$ の場合、上記の不等式は $C_P(\mu) \leq C$ に簡略化され、次元に依存しない。これはガウス型測度に対する既知の結果と整合的である。
• $n$ 次元の $μat_p^n$-切片 $B_p^n \cap E$ 上の一様測度のPoincaré定数は、$c(\kappa) \cdot \log^{2/p}(n) \cdot \sup_{\theta \neq 0} \int_E \langle x, \theta/|\theta| \rangle^2 d\lambda_{B_p^n \cap E}(x)$ で有界である。ここで $\kappa = \dim(E)/n$ である。
• 偶関数の対数凸測度に対しては、Poincaré定数が奇関数のみを用いて特徴付けられることを示し、$\lambda_P(\mu) = \inf_{f \text{ odd}} \frac{\int |\nabla f|^2 d\mu}{\mathrm{Var}_\mu(f)}$ が成り立つ。これは、奇関数のみでスペクトルギャップを捉えることが可能であることを示している。
• 偶関数の固有関数は、スペクトルにおいて著しく遅れないことが示され、対称性のもとで奇関数と偶関数のスペクトル部分がバランス良く入れ違いになっていることが示唆される。
• 与えられた対数凸密度 $\rho$ に対して、滑らかで対数凸な近似列 $\rho_k$ を構成し、$\rho_k \to \rho$ が台上で局所的に一様収束し、$L^1$ 収束することを保証する。これにより、積分とPoincaré定数の推定値の収束が可能になる。