[論文レビュー] On Limit Constants in Last Passage Percolation in Transitive Tournaments

Kunal Dutta|arXiv (Cornell University)|May 20, 2020

Random Matrices and Applications参考文献 15被引用数 4

ひとこと要約

本稿は、i.i.d. ベルヌーイ(p)端重みをもつ推移的トーナメントにおける最後の通過パーコレーションの極限定数 βₜᵣ(p) の正確な値を解消する。再帰的関係式と2変数母関数を用いて、βₜᵣ(p) = 1 / Σₙ≥₁ (1−p)^(ⁿ²) を導出し、βₜᵣ(0.5) ≈ 0.60915 を得るとともに、特異性解析と分散の漸近的評価を用いて関数中央極定理のスケーリング定数を確立する。

ABSTRACT

We investigate the \emph{last passage percolation} problem on transitive tournaments, in the case when the edge weights are independent Bernoulli random variables. Given a transitive tournament on $n$ nodes with random weights on its edges, the last passage percolation problem seeks to find the weight $X_n$ of the heaviest path, where the weight of a path is the sum of the weights on its edges. We give a recurrence relation and use it to obtain a (bivariate) generating function for the probability generating function of $X_n$. This also gives exact combinatorial expressions for $\mathbb{E}[X_n]$, which was stated as an open problem by Yuster [\emph{Disc. Appl. Math.}, 2017]. We further determine scaling constants in the limit laws for $X_n$. Define $β_{tr}(p) := \lim_{n o \infty} \frac{\mathbb{E}[X_n]}{n-1}$. Using singularity analysis, we show \[ β_{tr}(p) = \left(\sum_{n\geq 1}(1-p)^{n\choose 2} ight)^{-1}. \] In particular, $β_{tr}(0.5) = \left(\sum_{n\geq 1} 2^{-{n\choose 2}} ight)^{-1} = 0.60914971106...$. This settles the question of determining the value of $β_{tr}(0.5)$, initiated by Yuster. $β_{tr}(p)$ is also the limiting value in the strong law of large numbers for $X_n$, given by Foss, Martin, and Schmidt [\emph{Ann. Appl. Probab.}, 2014]. We also derive the scaling constants in the functional central limit theorem for $X_n$ proved by Foss et al.

研究の動機と目的

• 推移的トーナメントにおける i.i.d. ベルヌーイ(p) 端重みをもつ最後の通過パーコレーションについて、極限定数 βₜᵣ(p) = limₙ→∞ ℰ[Xₙ]/(n−1) の正確な値を求める。
• Yuster (2017) が提起した、小さな n および一般の n における ℰ[Xₙ] の正確な期待値に関する未解決問題を解消する。
• Xₙ に対する関数中央極定理のスケーリング定数を導出し、Foss, Martin, および Schmidt (2014) の結果を確認および拡張する。
• ベルヌーイ分布に従う端重みに対して、母関数および特異性解析を用いた組合せ的・解析的枠組みを提供する。

提案手法

• n ノードをもつ推移的トーナメントにおける最重パス重み Xₙ の確率母関数に対する再帰的関係式を導出する。
• Xₙ の分布を符号化する2変数母関数 Z(x,t) を構築し、微分を用いて ℰ[Xₙ] の正確な計算を可能にする。
• 母関数 Bₚ(1) = Σₙ≥₁ (1−p)^(ⁿ²) の特異性解析を適用し、漸近的挙動を抽出し、βₜᵣ(p) = 1 / Bₚ(1) を導出する。
• 母関数展開における高階係数を用いて、Xₙ の分散を漸近的に計算する。
• var(Xₙ)/(n−1) の極限を分析することで、関数中央極定理のスケーリング定数を確立し、σ² = Bₚ(1)⁻²(1 + 6Bₚ′(1)/Bₚ(1) − Bₚ(1)) を得る。
• 点単位収束および増分の独立性を用いて、ブラウン運動への弱収束を証明し、プロセスの再生的構造を活用する。

実験結果

リサーチクエスチョン

• RQ1 i.i.d. ベルヌーイ(0.5) 端重みをもつ推移的トーナメントにおける最後の通過パーコレーションの極限定数 βₜᵣ(0.5) の正確な値は何か？
• RQ2 ベルヌーイ(p) 端重みをもつ推移的トーナメントにおける ℰ[Xₙ] に対して、閉形式の式が得られるか？
• RQ3 n → ∞ のとき、Xₙ に対する関数中央極定理の正確なスケーリング定数は何か？
• RQ4 母関数アプローチは、Foss ら (2014) の再生的構造解析をどのように簡略化または拡張するか？
• RQ5 ベルヌーイ重みに用いた組合せ的・解析的技法を、一様分布や離散的 k 値分布などの他の端重み分布に一般化できるか？

主な発見

• βₜᵣ(p) の正確な値が βₜᵣ(p) = 1 / Σₙ≥₁ (1−p)^(ⁿ²) として導出され、Yuster が提起した未解決問題が解消された。
• p = 0.5 の場合、βₜᵣ(0.5) = 1 / Σₙ≥₁ 2^(-ⁿ²) ≈ 0.60914971106 であり、期待される最重パス重みの正確な極限定数が得られた。
• Xₙ に対する大数の法則が確認され、limₙ→∞ ℰ[Xₙ]/(n−1) = βₜᵣ(p) が成り立ち、Foss, Martin, および Schmidt (2014) の結果と一致する。
• 関数中央極定理のスケーリング定数は、limₙ→∞ var(Xₙ)/(n−1) = Bₚ(1)⁻²(1 + 6Bₚ′(1)/Bₚ(1) − Bₚ(1)) として導出され、ここで Bₚ(1) = Σₙ≥₁ (1−p)^(ⁿ²) である。
• 本稿は、ベルヌーイ重みに対する関数極限定理の直接的な組合せ的証明を提供し、Donsker の定理を避けるために特異性解析と増分の独立性を用いる。
• この手法により、適切にスケーリングされた区間間のパス重み差が独立な正規分布に収束することを明らかにし、ブラウン運動への収束を支持する。