[論文レビュー] On the role of Convexity in Isoperimetry, Spectral-Gap and Concentration

Emanuel Milman|ArXiv.org|Dec 26, 2007

Geometric Analysis and Curvature Flows参考文献 74被引用数 6

ひとこと要約

この論文は、ユークリッド空間内の凸領域において、チーリーの等周不等式、スペクトルギャップ、指数的集中、および尾部減衰の間の定量的同等性を確立し、次元に依存しない普遍的定数の範囲ですべてが同等であることを示している。主な貢献は、CD(0,∞) 曲率次元条件の下で、凸性と等周プロファイルの凹性を介して幾何的・関数的・確率的不等式を統合的に結びつける枠組みを提供することにある。

ABSTRACT

We show that for convex domains in Euclidean space, Cheeger's isoperimetric inequality, spectral gap of the Neumann Laplacian, exponential concentration of Lipschitz functions, and the a-priori weakest requirement that Lipschitz functions have \emph{arbitrarily slow} uniform tail-decay, are all quantitatively equivalent (to within universal constants, independent of the dimension). This substantially extends previous results of Maz'ya, Cheeger, Gromov--Milman, Buser and Ledoux. As an application, we conclude a sharp quantitative stability result for the spectral gap of convex domains under convex perturbations which preserve volume (up to constants) and under maps which are ``on-average'' Lipschitz. We also provide a new characterization (up to constants) of the spectral gap of a convex domain, as one over the square of the average distance from the ``worst'' subset having half the measure of the domain. In addition, we easily recover and extend many previously known lower bounds on the spectral gap of convex domains, due to Payne--Weinberger, Li--Yau, Kannan--Lovász--Simonovits, Bobkov and Sodin. The proof involves estimates on the diffusion semi-group following Bakry--Ledoux and a result from Riemannian Geometry on the concavity of the isoperimetric profile. Our results extend to the more general setting of Riemannian manifolds with density which satisfy the $CD(0,\infty)$ curvature-dimension condition of Bakry-Émery.

研究の動機と目的

• 凸領域における等周不等式、スペクトルギャップ、および集中不等式の定量的同等性を確立すること。
• チーリー、マズヤ、グロモフ＝ミルマン、ブーサー、レドゥの古典的結果を統一的枠組みに拡張すること。
• スペクトルギャップを「最悪の」測度半分の部分集合からの平均距離の二乗の逆数として特徴付ける新しい定式化を提供すること。
• 体積を保存する凸摂動および平均リプシッツ写像の下でのスペクトルギャップの鋭い安定性バインディングを証明すること。
• CD(0,∞) 曲率次元条件を満たす密度付きリーマン多様体へ結果を一般化すること。

提案手法

• バクリ＝レドゥに従い、熱流の推移作用素の推定を用いて、熱流が等周性と関連することを示す。
• リーマン幾何学における結果を応用し、CD(0,∞) 条件の下で等周プロファイルの凹性を示す。
• 「最悪の」半測度集合を用いた平均距離によるスペクトルギャップの特徴付けに役立てる。
• 普遍的定数を介して、凸領域におけるチーリーの不等式、スペクトルギャップ、および集中の同等性を活用する。
• ユークリッド空間からの結果を、滑らかで正の密度をもつリーマン多様体へ拡張する。
• 密度付き多様体における等周最小化子の存在性と正則性を、現在の理論およびグルーテルの正則性結果に依拠する。

実験結果

リサーチクエスチョン

• RQ1 凸領域において、チーリーの等周不等式、スペクトルギャップ、および指数的集中は、定量的に同等であるか？
• RQ2 スペクトルギャップは、測度半分の集合からの平均距離によって特徴付けられるか？
• RQ3 体積を保存する凸摂動の下で、スペクトルギャップの安定性はいかほどか？
• RQ4 CD(0,∞) を満たす密度付きリーマン多様体の設定において、関数的不等式はどのように関係するか？
• RQ5 等周プロファイルの凹性が、幾何的不等式と関数的不等式の同等性をどの程度示唆するか？

主な発見

• 凸領域において、チーリーの等周不等式、スペクトルギャップ、指数的集中、および遅い尾部減衰は、すべて普遍的定数の範囲で定量的に同等である。
• 凸領域のスペクトルギャップは（定数の範囲で）、「最悪の」半測度集合からの平均距離の二乗の逆数として特徴付けられる。
• 体積を保存する凸摂動および「平均的に」リプシッツな写像の下で、スペクトルギャップの鋭い定量的安定性結果が得られた。
• CD(0,∞) 曲率次元条件の下で、等周プロファイル $ I $ は $[0,1]$ 上で凹であり、これが主な同等性結果を可能にする。
• ペイン＝ワインバーガー、リ・ヤウ、カンナン＝ロヴァーシュ＝シモノビッツ、ボブコフ、ソディンの既知のスペクトルギャップ下界が、結果によって回復および拡張された。
• 結果は、CD(0,∞) を満たす密度付きリーマン多様体というより広い設定でも成り立ち、ユークリッドの場合を一般化する。