[論文レビュー] Log-Concave Polynomials IV: Exchange Properties, Tight Mixing Times, and Faster Sampling of Spanning Trees.

Nima Anari, Kuikui Liu+2 more|arXiv (Cornell University)|Apr 15, 2020

Markov Chains and Monte Carlo Methods参考文献 36被引用数 10

ひとこと要約

この論文は、マトロイド基底および対数凸多項式分布におけるダウンアップランダムウォークの、$O(k\log k)$ のタイトな混合時間バウンドを確立し、新規の近似交換性という性質を導入する。これにより、$O(n\log^2 n)$ 時間でスパニングツリーのサンプリングが高速化され、従来のほぼ線形時間のアルゴリズムを改善し、重み付きグラフへも拡張可能となる。

ABSTRACT

We prove tight mixing time bounds for natural random walks on bases of matroids, determinantal distributions, and more generally distributions associated with log-concave polynomials. For a matroid of rank $k$ on a ground set of $n$ elements, or more generally distributions associated with log-concave polynomials of homogeneous degree $k$ on $n$ variables, we show that the down-up random walk, started from an arbitrary point in the support, mixes in time $O(k\log k)$. Our bound has no dependence on $n$ or the starting point, unlike the previous analyses [ALOV19, CGM19], and is tight up to constant factors. The main new ingredient is a property we call approximate exchange, a generalization of well-studied exchange properties for matroids and valuated matroids, which may be of independent interest. Additionally, we show how to leverage down-up random walks to approximately sample spanning trees in a graph with $n$ edges in time $O(n\log^2 n)$, improving on the almost-linear time algorithm by Schild [Sch18]. Our analysis works on weighted graphs too, and is the first to achieve nearly-linear running time.

研究の動機と目的

• マトロイド基底および対数凸多項式に付随する分布におけるダウンアップランダムウォークのタイトな混合時間バウンドを確立すること。
• 古典的なマトロイド交換性を一般化し、よりタイトな解析を可能にする新しい構造的性質「近似交換性」を考案すること。
• グラフにおけるスパニングツリーの近似的なサンプリングの実行時間を改善し、ほぼ線形時間 $O(n\log^2 n)$ を達成すること。
• 重み付きグラフへの分析の拡張を行い、重み付きスパニングツリーのサンプリングにおける最初のほぼ線形時間アルゴリズムを提供すること。

提案手法

• マトロイドおよびバリエートドマトロイドの交換性を一般化する近似交換性を導入し、よりタイトな集中不等式の導出を可能にする。
• 近似交換性を用いて、$n$ や初期点に依存しない $O(k\log k)$ の混合時間バウンドを導出する。
• タイトな混合時間の性質を活用し、ダウンアップランダムウォークを用いた高速なスパニングツリーのサンプリングアルゴリズムを設計する。
• 無重みグラフおよび重み付きグラフの両方に対してこの手法を適用し、ほぼ線形時間の複雑度を維持する。
• 次数 $k$ の対数凸同次多項式の構造を活用し、マトロイドとデターミナントポイントプロセスの両方の解析を統一する。

実験結果

リサーチクエスチョン

• RQ1 マトロイド基底におけるダウンアップランダムウォークの混合時間は、$n$ や初期点に依存せずにバウンド可能か？
• RQ2 マトロイドの古典的交換性を一般化し、よりタイトな混合時間解析を可能にする構造的性質は何か？
• RQ3 この混合時間バウンドを活用して、グラフにおけるスパニングツリーのサンプリングをより高速化できるか？
• RQ4 このフレームワークを用いて、重み付きグラフにおけるほぼ線形時間のスパニングツリーのサンプリングを拡張可能か？

主な発見

• マトロイド基底または対数凸多項式分布におけるダウンアップランダムウォークは、$n$ や初期点に依存しない $O(k\log k)$ 時間で混合する。
• タイトな混合時間バウンドを可能にする重要な構造的道具として、近似交換性が導入される。
• 混合時間バウンドは定数因子の範囲でタイトであり、従来の分析が $n$ や初期点に依存していたのを改善する。
• この手法により、$n$ 条辺を持つグラフにおいて、$O(n\log^2 n)$ 時間でスパニングツリーの近似的なサンプリングが可能となり、従来のほぼ線形時間アルゴリズムを改善する。
• アルゴリズムは重み付きグラフへも拡張可能であり、この設定における最初のほぼ線形時間のサンプリング手法を提供する。