[論文レビュー] John's Walk

Adam Gustafson, Hariharan Narayanan|arXiv (Cornell University)|Mar 6, 2018

Point processes and geometric inequalities参考文献 12被引用数 5

ひとこと要約

この論文は、凸体 $Σ \subset \mathbb{R}^n$ からの一様サンプリングに、ジョンの楕円体を提案分布として用いたアフィン不変性を持つランダムウォークを導入する。初期状態が温かい場合、混合時間は $χ(n^7)$ に達し、$n$ に関して多項式的に有界な弦比が成り立つ任意の点からの混合時間も多項式的である。これはジョンの楕円体を用いた初めてのこのような境界である。

ABSTRACT

We present an affine-invariant random walk for drawing uniform random samples from a convex body $\mathcal{K} \subset \mathbb{R}^n$ that uses maximum volume inscribed ellipsoids, known as John's ellipsoids, for the proposal distribution. Our algorithm makes steps using uniform sampling from the John's ellipsoid of the symmetrization of $\mathcal{K}$ at the current point. We show that from a warm start, the random walk mixes in $\widetilde{O}(n^7)$ steps where the log factors depend only on constants associated with the warm start and desired total variation distance to uniformity. We also prove polynomial mixing bounds starting from any fixed point $x$ such that for any chord $pq$ of $\mathcal{K}$ containing $x$, $\left|\log \frac{|p-x|}{|q-x|} ight|$ is bounded above by a polynomial in $n$.

研究の動機と目的

• 凸体からの一様サンプリングのためのアフィン不変性を持つランダムウォークを、ジョンの楕円体を提案分布として開発すること。
• 温かい初期状態からのランダムウォークの多項式的混合時間境界を確立すること。
• 任意の固定点からの混合時間が多項式的になるような、対数的弦分段差が $n$ に関して多項式的に有界であるような幾何的条件を同定すること。
• ジョンの楕円体の幾何的性質を活用して、高次元凸集合における効率的サンプリングの理論的基盤を提供すること。

提案手法

• アルゴリズムは、現在の点における対称化された凸体の最大体積内接楕円体（ジョンの楕円体）を提案分布として用いる。
• 各ステップで、現在の点における対称化された集合のジョンの楕円体から一様に新しい点を提案する。
• 凸体 $\mathcal{K}$ の対称化により、提案メカニズムのアフィン不変性が保証される。
• この手法は、ジョンの楕円体の幾何的性質に依存して、アフィン変換に対して不変性を維持する。
• 混合時間の分析には、初期分布に関連する定数と全 Variation 距離を含む温かい初期状態条件を用いる。
• 任意の初期点からの多項式的混合を確立するために、弦比 $|\log(|p-x|/|q-x|)|$ の境界を分析に組み込む。

実験結果

リサーチクエスチョン

• RQ1 ジョンの楕円体を用いたアフィン不変性を持つランダムウォークは、凸体からの一様サンプリングにおいて効率的な混合を達成できるか？
• RQ2 このようなウォークの混合時間は、温かい分布からの開始時においてどのようになるか？
• RQ3 初期点のどの幾何的条件下で、ウォークは多項式的時間で混合するか？
• RQ4 弦比の境界は、ランダムウォークの混合時間とどのように関係するか？
• RQ5 ジョンの楕円体を提案分布として用いることで、標準的手法よりも改善された理論的保証が得られるか？

主な発見

• 温かい初期状態からの混合時間は $\widetilde{O}(n^7)$ ステップであり、対数的要因は温かい初期状態の定数とターゲットの精度にのみ依存する。
• 初期点がすべての弦 $pq$ に対して $|\log(|p-x|/|q-x|)| \leq \text{poly}(n)$ を満たす場合、混合時間は $n$ に関して多項式的である。
• アルゴリズムはアフィン不変性を持つため、凸体の線形変換に対してもその性質を保つ。
• ジョンの楕円体の使用により、提案分布に対して最適な幾何的近似が保証される。
• 本分析により、ジョンの楕円体を用いたランダムウォークにおける最初の多項式的混合境界が確立された。
• 結果として、ジョンの楕円体が高次元凸集合における効率的サンプリングアルゴリズム設計の強力なツールであることが示された。