[論文レビュー] Sharp lower bounds for the asymptotic entropy of symmetric random walks

Sébastien Gouëzel, Frédéric Mathéus+1 more|arXiv (Cornell University)|Sep 15, 2012

Geometric and Algebraic Topology参考文献 30被引用数 5

ひとこと要約

本稿は、有限な2階モーメントをもつ可換群上の対称的ランダムウォークの漸近的エントロピーに対して、スペクトル半径とドリフトを主要なパラメータとして用い、鋭い下界を確立する。h ≥ 2˜ℓ artanh(˜ℓ) および h ≥ 2√(1−ρ²) artanh(√(1−ρ²)) が成り立ち、ここで ˜ℓ = ℓ/M₂(µ) かつ ρ はスペクトル半径であり、体積成長 v を通じてタイトな不等式 ℓ ≤ tanh(˜v/2)、h ≤ ˜v tanh(˜v/2)、ρ ≥ 1/cosh(˜v/2) が得られる。

ABSTRACT

The entropy, the spectral radius and the drift are important numerical quantities associated to random walks on countable groups. We prove sharp inequalities relating those quantities for walks with a finite second moment, improving upon previous results of Avez, Varopoulos, Carne, Ledrappier. We also deduce inequalities between these quantities and the volume growth of the group. Finally, we show that the equality case in our inequality is rather rigid.

研究の動機と目的

• 有限な2階モーメントをもつ可換群上の対称的ランダムウォークの漸近的エントロピー h に対する鋭い下界を確立すること。
• アヴェス、バロワール、レドリエプロの古典的結果を改善する新しい不等式を用いて、エントロピー h をドリフト ℓ およびスペクトル半径 ρ と関連付けること。
• 正規化された量 ˜ℓ = ℓ/M₂(µ) および ˜v = M₂(µ)v を用いて、エントロピー、ドリフト、スペクトル半径を群の体積成長 v と関連付ける不等式を導出すること。
• これらの不等式における等号成立条件を同定し、等号条件における剛性を示すこと。
• 特にポisson境界および水平円周境界を用いた確率論的・調和解析的技法を統合的に用いることで、先行研究を統一的かつ強化すること。

提案手法

• 時間依存の極限を避けるために、ポisson境界および水平円周境界の手法を用いてエントロピーの下界を導出する。
• グイヴァルク (1980) の基本的不等式 h ≤ ℓv = ˜ℓ˜v を出発点として、˜v に関して ˜ℓ および h の下界を導出する。
• 定理1.2における恒等式 2˜ℓ artanh(˜ℓ) ≤ h を用い、ℓ ≤ tanh(˜v/2) を導出し、これにより h ≤ ˜v tanh(˜v/2) を得る。
• 恒等式 2√(1−ρ²) artanh(√(1−ρ²)) ≤ h を用い、関数 t ↦ 2√(1−t²) artanh(√(1−t²)) の単調性を活用して ρ ≥ 1/cosh(˜v/2) を示す。
• チェビシェフ多項式および関数 A(x) = (1+x)log(1+x) + (1−x)log(1−x) を用いた大偏差推定を適用する。この関数は、整数直線上の単純ランダムウォークの大偏差において自然に現れる。
• ℓ²(Γ) 上の作用素的枠組みを用い、マコフ作用素 Pµ 及びその反復を適用し、⟨Pⁿµ Ie, IK⟩ を介して µ∗n(K) を評価し、チェビシェフ多項式のノルム性質を活用する。

実験結果

リサーチクエスチョン

• RQ1 有限な2階モーメントをもつ可換群上の対称的ランダムウォークの漸近的エントロピー h に対する鋭い下界は何か？
• RQ2 ドリフト ℓ およびスペクトル半径 ρ は群の体積成長 v とどのように関係するか？また、正規化されたパラメータを用いてその関係を定量的に定式化できるか？
• RQ3 アヴェスの h ≥ −2 log ρ およびレドリエプロの h ≥ 4(1−ρ) の古典的不等式を、ρ→0 および ρ→1 の極限において両者を共通に捉える1つの不等式に統合・強化できるか？
• RQ4 導出されたエントロピー下界における等号成立の構造は何か？また、その剛性はどの程度強いのか？
• RQ5 有限時間のランダムウォーク解析を用いずに、境界法（ポisson境界／水平円周境界）を用いてエントロピー下界を導出できるか？

主な発見

• 本稿は、˜ℓ = ℓ/M₂(µ) として 2˜ℓ artanh(˜ℓ) ≤ h という鋭い不等式を確立し、ヴァロワール、カーネ、エルシュラー＝カルラッソンの先行研究を改善する。
• h ≤ ˜v tanh(˜v/2) および ℓ ≤ tanh(˜v/2) （ここで ˜v = M₂(µ)v）が示され、エントロピー、ドリフト、体積成長 v の間の直接的な関係が明確にされる。
• スペクトル半径は ρ ≥ 1/cosh(˜v/2) を満たし、ケステンの境界を強化しており、体積成長の文脈において鋭いものである。
• 不等式 2√(1−ρ²) artanh(√(1−ρ²)) ≤ h は、アヴェスの h ≥ −2 log ρ およびレドリエプロの h ≥ 4(1−ρ) の両方を共通の強化形として含み、ρ→0 および ρ→1 の極限において両者と漸近的に一致する。
• 著者らは新たなエントロピー下界 A(ℓ/M₂(µ)) + 4(1−ρ) ≤ h を導出し、A(x) = (1+x)log(1+x) + (1−x)log(1−x) として、レドリエプロの不等式を強化し、鋭いものであることを示す。
• エントロピー下界における等号成立条件は極めて剛性が高く、等号が成立する場合、群および測度に強い構造的制約が生じることを示す。