[논문 리뷰] On Limit Constants in Last Passage Percolation in Transitive Tournaments

Kunal Dutta|arXiv (Cornell University)|2020. 05. 20.

Random Matrices and Applications참고 문헌 15인용 수 4

한 줄 요약

이 논문은 i.i.d. 베르누이(p) 간선 가중치를 가진 이행성 토너먼트에서 마지막 통과 퍼콜레이션의 극한 상수 βₜᵣ(p)의 정확한 값을 해결한다. 재귀 관계와 이변량 생성함수를 사용하여 βₜᵠ(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, and Schmidt(2014)의 결과를 확인하고 확장하는 것.
• 베르누이 분포를 가진 간선 가중치에 대해 생성함수와 특이점 분석를 사용한 조합론적 및 해석적 프레임워크를 제공하는 것.

제안 방법

• n개 노드를 가진 이행성 토너먼트에서 Xₙ(가장 무거운 경로 가중치)의 확률 생성함수에 대한 재귀 관계를 유도하는 것.
• Xₙ의 분포를 코딩하는 데 사용 가능한 이변량 생성함수 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.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, and Schmidt(2014)의 결과와 일치한다.
• 기능적 중심극한정리의 척도 상수는 limₙ→∞ var(Xₙ)/(n−1) = Bₚ(1)⁻²(1 + 6Bₚ′(1)/Bₚ(1) − Bₚ(1))로 도출되었으며, 여기서 Bₚ(1) = Σₙ≥₁ (1−p)^(ⁿ²)이다.
• 논문은 베르누이 가중치에 대해 기능적 극한정리의 직접적인 조합론적 증명을 제공하며, 특이점 분석과 증분의 독립성을 활용하여 도른스커 정리의 필요성을 피한다.
• 이 방법은 구간 간 경로 가중치 차이가 적절한 척도화 후 독립적인 정규분포로 수렴함을 드러내며, 브라운 운동 수렴을 뒷받침한다.