[論文レビュー] Mixing time of fractional random walk on finite fields

Jimmy He, Huy Tuan Pham+1 more|arXiv (Cornell University)|Feb 4, 2021

Algorithms and Data Compression参考文献 33被引用数 4

ひとこと要約

本稿は、Xₙ₊₁ = ι(Xₙ) + εₙ₊₁ で定義される有限体 𝔽ₚ 上の非線形確率ウォークを研究している。ここで ι(x) = 1/x (x ≠ 0 のとき) かつ ι(0) = 0 であり、εᵢ は独立同分布の増分である。P¹(𝔽ₚ) 上のランダムウォークとの比較および SL₂(𝔽ₚ) のスぺクトルギャップ結果を用いることで、混合時間は Θ(log p) であることを証明し、𝔽ₚ 上の単純なランダムウォークと比較して指数的高速化を示している。

ABSTRACT

We study a random walk on $\mathbb{F}_p$ defined by $X_{n+1}=1/X_n+\varepsilon_{n+1}$ if $X_n eq 0$, and $X_{n+1}=\varepsilon_{n+1}$ if $X_n=0$, where $\varepsilon_{n+1}$ are independent and identically distributed. This can be seen as a non-linear analogue of the Chung--Diaconis--Graham process. We show that the mixing time is of order $\log p$, answering a question of Chatterjee and Diaconis.

研究の動機と目的

• Chatterjee と Diaconis が提起した、𝔽ₚ 上の非線形ランダムウォーク Xₙ₊₁ = ι(Xₙ) + εₙ₊₁ の混合時間に関する問いを解消すること。
• このウォークが log p ステップのオーダーで混合することを確立し、決定的非線形更新による指数的高速化の明示的例を提供すること。
• 𝔽ₚ 上の力学系を射影直線 P¹(𝔽ₚ) 上のマルコフ連鎖に結びつけること。これは SL₂(𝔽ₚ) 上のランダムウォークの商として得られる。
• SL₂(𝔽ₚ) のカイリー図の既知のスぺクトルギャップ結果を活用し、混合時間の上界を導出すること。
• 幾何的およびスぺクトル的議論を用いて、合同式 xy ≡ 1 (mod p) の区間内での解の個数に関する定量的評価を導出すること。

提案手法

• Smith [34] の比較理論を用い、𝔽ₚ 上の混合時間とその商空間 P¹(𝔽ₚ) 上の混合時間とを関連付ける。
• P¹(𝔽ₚ) 上のウォークを、固定生成集合を用いた SL₂(𝔽ₚ) 上のランダムウォークの射影としてモデル化する。
• Bourgain と Gamburd [6] の SL₂(𝔽ₚ) カイリー図におけるスぺクトルギャップ結果を適用し、定数スぺクトルギャップが保証されることを示す。
• 射影された連鎖のスぺクトルギャップからの指数的減衰を用いて、混合分布への全 Variation 距離の上界を確立する。
• エントロピー論的議論により下界を確立し、μ の有限エントロピーのもとで、nH(μ) + log 2 ≤ log p が混合に必要であることを示す。
• Cheeger の不等式とボトルネック比解析を用い、区間 I, J に対して A ⊆ I かつ ι(A) ⊆ J ならば、ある δ > 0 に対して |A| ≤ (1−δ)m が成り立つことを示し、xy ≡ 1 (mod p) の解集合が限定的であることを示す。

実験結果

リサーチクエスチョン

• RQ1 𝔽ₚ 上の分数的ランダムウォーク Xₙ₊₁ = ι(Xₙ) + εₙ₊₁ の混合時間のオーダーは何か？
• RQ2 この非線形プロセスは、単純なランダムウォークと比較して、混合時間の指数的高速化を厳密に確立できるか？
• RQ3 SL₂(𝔽ₚ) 上のスぺクトルギャップ結果を、P¹(𝔽ₚ) 上の射影されたマルコフ連鎖の混合時間の上界を求めるためにどの程度活用できるか？
• RQ4 区間 I, J が同じ長さ m をもつとき、合同式 xy ≡ 1 (mod p) に x ∈ I, y ∈ J を満たす解はいくつ存在するか？
• RQ5 増分分布にやや弱い仮定を課したもとで、A ⊆ I かつ ι(A) ⊆ J を満たす集合 A が大きくなりすぎないことは証明可能か？

主な発見

• 𝔽ₚ 上の分数的ランダムウォークの混合時間は Θ(log p) であり、均一分布への収束に log p ステップが必須かつ十分であることを示している。
• エントロピー論的議論により混合時間の下界が確立されている：H(μ) < ∞ のもとで、‖Kⁿ(x,·) − π‖_TV ≥ 1 − (nH(μ) + log 2)/log p が成り立つ。
• スぺクトルギャップ技法を用いて上界が証明されている：十分大きな p に対して、ある μ に依存する C > 0 を用いて、‖Kⁿ(x,·) − π‖_TV ≤ (√p / 2) e^(-Cn) が成り立つ。
• 証明は、スぺクトルギャップが既知の定数である SL₂(𝔽ₚ) 上のカイリー図の商である P¹(𝔽ₚ) 上のランダムウォークへの問題の転送に依存している。
• 𝔽ₚ 上の連鎖 Q で Q = PᵀΠPᵀPΠ と定義すると、十分大きな p に対して定数スぺクトルギャップ γ > 0 を持つことが示され、指数的収束が保証される。
• 系として、区間 I, J が長さ m ≤ p/2 をもつとき、xy ≡ 1 (mod p) を満たす解の個数は、ある絶対定数 δ > 0 および十分大きな m, p に対して (1−δ)m 未満であることが示された。