[논문 리뷰] Two recursive decompositions of Brownian bridge

David Aldous, Jim Pitman|ArXiv.org|2004. 02. 25.

Stochastic processes and statistical mechanics인용 수 3

한 줄 요약

이 논문은 브라운 운동 브리지의 두 가지 서로 다른 재귀적 분해를 제시하며, 이를 통해 무작위 사상의 渐近 분포와 연관지운다. 이 분해들은 제로 집합과 국소 시간에 기반하며, 구성 요소 크기와 순환 길이의 동일한 극한 분포를 유도함으로써, 자기 유사 마코프 과정과 안정적 서보디네이터를 통한 포isson-디리클레 분포 및 퇴행적 포isson 과정의 퇴행적 구조를 드러낸다. 주요 결과로는 이원점 프로세스의 크기-편향된 순서에서 발생하는 역설적인 이중성 구조가 입증된다.

ABSTRACT

Aldous and Pitman (1994) studied asymptotic distributions, as n tends to infinity, of various functionals of a uniform random mapping of a set of n elements, by constructing a mapping-walk and showing these mapping-walks converge weakly to a reflecting Brownian bridge. Two different ways to encode a mapping as a walk lead to two different decompositions of the Brownian bridge, each defined by cutting the path of the bridge at an increasing sequence of recursively defined random times in the zero set of the bridge. The random mapping asymptotics entail some remarkable identities involving the random occupation measures of the bridge fragments defined by these decompositions. We derive various extensions of these identities for Brownian and Bessel bridges, and characterize the distributions of various path fragments involved, using the theory of Poisson processes of excursions for a self-similar Markov process whose zero set is the range of a stable subordinator of index between 0 and 1.

연구 동기 및 목표

• 균일 무작위 사상의 渐近 분석에 기반하여, 제로 집합과 국소 시간 과정을 이용한 브라운 운동 브리지의 두 가지 서로 다른 재귀적 분해를 수립하는 것.
• 이 분해에서 조각 길이와 국소 시간의 공동 분포를 특성화하며, 특히 무작위 사상의 구성 요소와 순환의 극한 행동과의 관계를 규명하는 것.
• 자기 유사 마코프 과정의 레비-이토 근사 이론을 적용하여, 브라운 운동 브리지 외에도 베셀 브리지에 대해 조각의 점유 측도에 대한 항등식을 확장하는 것.
• 브리지 분해에서 유도된 이원 포아송 프로세스의 크기-편향 샘플링에서의 이중성 구조를 분석하여, Y-순서의 점들이 특정 강도 조건에서만 X-편향 순서를 유도함을 보이는 것.
• 라플라스 지수 ψ(ξ)를 갖는 서보디네이터의 일군에 대해, 강도 ρ(x,y) = y⁻¹f_y(x)e^(-ξx)인 이원 포아송 프로세스가 역설적인 순서 성질을 만족함을 증명하는 것: X-편향 순서는 Y-편향 순서를 유도하지만, 그 반대는 성립하지 않음.

제안 방법

• 구간 [0,1]에 대한 두 개의 간격 분할 정의: 브라운 운동 브리지의 제로 집합 내 균일 무작위 시간을 이용한 D-분할과 국소 시간 증분을 이용한 T-분할.
• 스케일된 사상-보행의 약한 수렴이 반사 브라운 운동 브리지로 수렴함을 이용하여, 랜덤 사상 기능수와 브리지 경로 조각, 국소 시간 증분을 연결하는 것.
• 자기 유사 마코프 과정의 레비-이토 근사 이론을 적용하여, 지수 α ∈ (0,1)인 안정적 서보디네이터의 범위와 동일한 제로 집합을 갖는 과정에 대해 적용하는 것.
• 이원 포아송 프로세스의 강도 측도 ν(dx,dy) = ρ(x,y)dx dy 를 유도하며, 여기서 ρ(x,y) = y⁻¹f_y(x)e^(-ξx) 이고, f_y(x)는 서보디네이터 τ_y의 밀도이다.
• 팜 계산을 활용하여 크기-편향 샘플링 하에서 첫 번째 점과 총합의 공동 분포를 유도하고, 이중성 순서의 필요 및 충분 조건을 도출하는 것.
• 서보디네이터 증분의 교환 가능성과 라플라스 변환의 성질을 활용하여, 강도 측도 ρ(x,y)가 역설적 순서 성질을 만족하는 지를 검증하는 것.

실험 결과

연구 질문

• RQ1 균일 무작위 사상의 구성 요소와 순환의 극한 분포와 관련하여, 제로 집합 내 균일 시간과 국소 시간 수준에 기반한 두 가지 서로 다른 브라운 운동 브리지의 재귀적 분해는 어떻게 관련되는가?
• RQ2 브라운 운동 브리지의 D- 및 T-분할에서의 조각 길이와 국소 시간 증분의 공동 분포는 무엇이며, 포아송-디리클레 분포와 어떻게 관련되는가?
• RQ3 이원 포아송 프로세스의 강도 측도 ρ(x,y)에 대해 X-편향 순서가 Y-편향 순서를 유도하는 조건은 무엇이며, 그 역은 왜 성립하지 않는가?
• RQ4 안정적 서보디네이터 제로 집합을 갖는 자기 유사 마코프 과정에 대한 레비-이토 근사 이론을 통해, 점유 측도 항등식을 어떻게 베셀 브리지와 브라운 운동 브리지로 확장할 수 있는가?
• RQ5 크기-편향 순서로 정렬된 이원 포아송 프로세스에서 첫 번째 조각의 분포와 나머지 조각의 합 사이의 정확한 관계는 무엇이며, 이는 서보디네이터의 라플라스 지수와 어떻게 관련되는가?

주요 결과

• D-분할과 T-분할은 서로 다른 조각 구조를 지니지만, 균일 무작위 사상에서 연결된 구성 요소와 순환의 스케일링된 크기에 대해 동일한 극한 분포를 유도한다.
• 브리지 분해에서 유도된 이원 포아송 프로세스의 강도는 ρ(x,y) = y⁻¹f_y(x)e^(-ξx) 이며, 여기서 f_y(x)는 서보디네이터 τ_y의 밀도이다.
• 이 강도 측도 하에서 X-편향 순서는 Y-편향 순서를 유도하지만, 반대로 Y-편향 순서는 X-편향 순서를 유도하지 않음—역설적인 이중성의 존재를 입증한다.
• 이중성 조건은 E[τ_y / (τ_y + τ_v) | τ_y + τ_v] = y / (y + v) 와 동치이며, 이는 서보디네이터 증분의 교환 가능성에 의해 성립한다.
• 첫 번째 점 (X₁, Y₁) 과 총합 (Σ_X, Σ_Y) 의 공동 분포는 P(X₁∈dx, Y₁∈dy, Σ_X−X₁∈dw, Σ_Y−Y₁∈dv) = ρ(x,y)dx dy f_{X,Y}(w,v) dw dv (x/(x+w)) 를 만족하며, 이는 팜 측도의 구조를 확인한다.
• X-편향 순서 하에서 Y₁의 주변 분포는 강도 측도가 특정 대칭 조건을 만족할 경우에만 Y에 대해 크기-편향되지 않으며, 이 조건은 유도된 ρ(x,y) 에 대해 확인되었다.