[論文レビュー] On random intersections of two convex bodies. Appendix to: "Isoperimetry of waists and local versus global asymptotic convex geometries" by R.Vershynin

Mark Rudelson, Roman Vershynin|arXiv (Cornell University)|Apr 27, 2004

Point processes and geometric inequalities被引用数 6

ひとこと要約

この論文は、R^n 内の2つの対称凸体の確率的交差における直径の上限を、過去の指数的要因 C^{n/k} から多項式 (n/k)^2 に改善した。成功確率は 1−e^{−n} から 1−e^{−k} に低下するが、その代わりによりタイトな濃度評価が可能になる。主な革新は、低次元射影におけるメトリックエントロピーを制御する新しい被覆補題であり、高次元空間における体積的および幾何的議論により、より精密な濃度境界を導出可能となる。

ABSTRACT

In the paper "Isoperimetry of waists and local versus global asymptotic convex geometries", it was proved that the existence of nicely bounded sections of two symmetric convex bodies K and L implies that the intersection of randomly rotated K and L is nicely bounded. In this appendix, we achieve a polynomial bound on the diameter of that intersection (in the ratio of the dimensions of the sections).

研究の動機と目的

• R^n 内の2つの対称凸体 K と L の確率的交差 K ∩ UL の直径の上限を精緻化すること。
• 先行研究における指数的要因 C^{n/k} を多項式の境界 (n/k)^2 に置き換えること。
• 改善された境界を達成しつつ、失敗確率を 1−e^{−n} から 1−e^{−k} に低減すること。
• 低次元射影を持つ凸体のための新しい被覆補題を確立し、よりタイトなメトリックエントロピー推定を可能とすること。
• 確率的断面および交差の文脈における等周的および漸近的凸幾何学の枠組みにおいて、定量的な改善を提供すること。

提案手法

• ランク n−k の射影 P に対して、条件を満たす凸体 K が δD を含み、P における射影条件を満たす場合に、被覆数 N(D, 4K) を制限する新しい被覆補題（補題2）を導入する。
• 射影 PD から R^n へのリフト構成 f: PD → R^n を用い、f(PD) ⊂ K かつ (id−f)(PD) ⊂ E⊥ となるようにする。ここで E は P の像である。
• 体積的議論を用いて、V ⊂ (1/δ + 1)K ∩ E⊥ に対して N(V, K) ≤ (C/δ)^k を導出する。ここに E⊥ は k 次元の直交補空間である。
• 被覆数の推定を乗法的性質を用いて組み合わせ、N(PD, 2K) ≤ N(K + V, 2K) ≤ N(V, K) ≤ (C/δ)^k を得る。
• 被覆補題を L + δ_L D に適用し、ランク ak の射影に対して N(D, 4(L + δ_L D)) ≤ (C/δ_L)^{2ak} を得る。
• 被覆推定と [V] の補題4.1を組み合わせ、確率的包含関係 (1−δ_K−8δ_L)D ⊆ K + 8UL を高確率で導出する。

実験結果

リサーチクエスチョン

• RQ1 凸体の確率的交差における指数的直径上限 C^{n/k} を多項式の境界に置き換えることは可能か？
• RQ2 確率的交差推定における、直径上限の品質と失敗確率のトレードオフは何か？
• RQ3 低次元射影における被覆数をどのように制御することで、濃度境界を改善できるか？
• RQ4 凸体の射影の幾何的構造は、確率的交差挙動にどのような役割を果たすか？
• RQ5 高次元における漸近的凸幾何学において、指数的エントロピー境界依存を排除する新しい被覆補題を構築できるか？

主な発見

• 確率的交差 K ∩ UL の直径は、確率 1−e^{−k} 以上で C(n/k)^2 に有界であり、過去の 1−e^{−n} の境界を改善している。
• t > C(n/k)^{Ca} に対して、diam(K ∩ UL) > t(n/k) となる確率は (ct)^{-k/16} で抑えられ、多項式的尾部減衰を示している。
• t = C_1(n/k) と設定すると、直径境界は C_1(n/k)^2 に、失敗確率は (cC_1 n/k)^{-k/16} < e^{-k} に低下する。適切な C_1 を選べば成立する。
• 新しい被覆補題は、K ⊇ δD かつ PK ⊇ PD を満たすランク n−k の射影 P に対して、N(D, 4K) ≤ (C/δ)^{2k} を導出する。
• δ_L = ε²k/(32n) と選ぶことで、包含関係 (1−δ_K−8δ_L)D ⊆ K + 8UL の半径下界として (ε²k)/(4n) を得る。
• ε ≤ c_0(k/n)^{C_0 a} のとき、最終的な確率境界 1−(Cε)^{k/8} が達成され、被覆数項がエントロピー項に優位になる。