[論文レビュー] Iterating random functions on a finite set

William M. Y. Goh, Paweł Hitczenko+1 more|ArXiv.org|Jul 29, 2002

Mathematical Dynamics and Fractals参考文献 7被引用数 9

ひとこと要約

この論文は、[n] 上の t 個の独立で一様にランダムな関数の合成が定数関数になるまでの時間 T の分布を分析する。特性関数の解析と線積分を用いて、n→∞ のときの T/n の極限分布を導出し、累積分布関数 ∫₀ˣ f(y) dy に収束することを示している。密度関数は f(x) = ∑_{k≥2} (−1)^k e^{−(k choose 2)x} (k choose 2)(2k−1) である。

ABSTRACT

Let f_1,f_2,..., be functions chosen independently and uniformly from the set of all functions from a set of cardinality n into itself. Let g_t be the composition of the first t functions, and let T be the smallest t for which g_t is constant. We find the limiting distribution of T/n, as n --> infinity.

研究の動機と目的

• T すなわち [n] 上の i.i.d. な確率的関数の合成が定数関数になる最初の時刻の漸近的分布を特定すること。
• n→∞ のときの確率的変数 T の挙動、特に T/n の分布を分析すること。
• 結果が「よく知られている」とされているにもかかわらず、T/n の極限密度関数の厳密な導出を提供すること。
• 大範囲の段階（m > log log n）が T に与える寄与は期待値において無視可能であることを確立し、和の切り捨てが可能であることを示すこと。

提案手法

• T を初期段階（m ≤ log log n）の T₁ と後続段階（m > log log n）の T₂ に分解し、E[T₂] = o(n) を示す。
• 訪問済み状態の集合を条件とする独立性を用いて、範囲サイズ m におけるステップ数 τₘ をモデル化する。
• A を 2 から log log n までのすべての範囲が訪問されたという事象とするとき、E[e^{itT₁} | A] に特性関数技術を適用する。
• λₘ = ∏_{j=1}^{m−1}(1 − j/n) ≈ 1 − (m choose 2)/n という漸近的近似を用いて、特性関数 φₙ(t) を導出する。
• 無限積の恒等式とガンマ関数の反射公式を用いて特性関数を簡略化する。
• 線積分による逆特性関数変換を行い、極が t = −i(k choose 2) に位置することを特定し、密度関数 f(x) を得る。

実験結果

リサーチクエスチョン

• RQ1 n→∞ のとき、T/n の極限分布は何か。ここで T は [n] 上の i.i.d. な確率的関数の合成が定数関数になる最初の時刻である。
• RQ2 中間範囲の段階（m ≈ log log n）の寄与は、合計時間 T にどのように影響するか。
• RQ3 T₁/n の特性関数を漸近的に近似することで、極限密度関数を導出できるか。
• RQ4 訪問済み状態の集合が τₘ の条件付き独立性を可能にする役割は何か。
• RQ5 導出された極限密度関数 f(x) は、キングマンの共通祖先過程のような既知の過程とどのように関係するか。

主な発見

• n→∞ のときの T/n の極限分布は、F(x) = ∫₀ˣ f(y) dy で与えられ、f(y) = ∑_{k≥2} (−1)^k e^{−(k choose 2)y} (k choose 2)(2k−1) である。
• T₁/n の特性関数は φ(t) = −2πit / cos(π/2 √(1 + 8it)) に収束し、線積分による逆変換により密度関数 f(x) が得られる。
• 2 から log log n までのすべての範囲が訪問された確率は Pr(A) = 1 − o(1) である。これにより、解析における条件付き期待値の取り扱いが正当化される。
• m > log log n の段階による T への寄与は無視可能である：E[T₂] = o(n) であるため、T₂/n は確率的に 0 に収束する。
• 極限密度関数 f(x) は、各 k ≥ 2 に対して (k choose 2) のレートで指数的減衰を示し、(−1)^k 要素により符号が交互に変化する。
• この結果により、T/n の分布が弱収束し、F(x) に収束することが確認され、F は連続的かつ非退化であるため、極限は明確に定義されている。