[논문 리뷰] Rate of convergence of the conditioned random walk towards the Brownian bridge

Laurent Decreusefond, Antonin Jacquet|arXiv (Cornell University)|2026. 01. 16.

Random Matrices and Applications인용 수 0

한 줄 요약

본 연구는 Fortet–Mourier 거리에서 두 개의 이산화된 과정(시간 2n에서 0이 되도록 조건화된 랜덤 워크와 경험적 과정)을 브라인니안 브리지로 수렴하는 속도를 도출한다. 이는 함수적 Stein 방법과 Radon–Nikodym 표현을 이용하여 이루어졌다.

ABSTRACT

We study the rate of convergence of two discrete processes towards the Brownian bridge: the random walk conditioned to be zero at time 2n and the empirical process which appears in the Glivencko-Cantelli theorem. Combining a functional Stein method with a Radon-Nikodym representation of the bridge, we bound the Fortet-Mourier distance between these conditioned processes and the Brownian bridge.

연구 동기 및 목표

• Brownian bridge로의 조건화된 이산 과정의 수렴 속도 연구를 동기화한다.
• 브리지에 대한 거리 상한을 구하기 위해 기능적 Stein 방법과 Radon–Nikodym 표현을 결합하여 개발하고 적용한다.
• 특정 및 일반 격자 분포 증가에 대해 Fortet–Mourier 거리의 명시적 속도 경계를 얻는다.
• 조건화된 랜덤 워크와 경험적 과정의 수렴을 통합된 프레임워크 하에서 Brownian bridge에 연결한다.

제안 방법

• Brownian bridge를 대상 분포로 고유화하기 위해 기능적 Stein 접근법을 사용한다.
• 경로의 Lipschitz 함수형으로 표현되는 Radon–Nikodym 미분으로 조건부 법칙을 표현한다.
• 과정을 이산화하고 거리 경계를 Lipschitz 테스트 함수에 관련시키다.
• 1에 가까운 특이점을 다루기 위해 n에 따라 시점을 선택하는 시간 분할 전략을 도입한다.
• Fortet–Mourier 거리에서 n^{-1/18}(log(n) 포함) 속도 경계를 도출한다.
• 포와슨-마이너스-원인( Poisson-like) 조건부 과정을 격자 분포 증가까지 κ(L) 요인을 도입하여 확장한다.

실험 결과

연구 질문

• RQ1 시간 1에서 0이 되도록 조건화된 랜덤 워크의 Fortet–Mourier 수렴 속도는 Brownian bridge에 대해 무엇인가?
• RQ2 Glivenko–Cantelli 맥락의 경험적 과정이 Brownian bridge로 향하는 속도는 무엇인가?
• RQ3 격자 분포 증가가 수렴 속도에 어떤 영향을 미치며 Radon–Nikodym 표현을 어떻게 활용할 수 있는가?
• RQ4 일반 격자 법칙 하에서 조건화된 랜덤 워크와 경험적 과정을 Brownian bridge로 향하는 하나의 통합 방법으로 다룰 수 있는가?
• RQ5 속도 경계(δ, ρ)를 지배하는 정확한 오차 항 및 조건은 무엇인가?

주요 결과

• Rademacher 경우 Brownian bridge에 대한 Fortet–Mourier 거리는 C n^{-1/18} log(n)로 상한이 있다.
• 경험적 과정에 대한 Fortet–Mourier 거리는 Brownian bridge에 대해 C n^{-1/18} log(n)로 상한이 있다.
• 시간 1에서 0이 되도록 조건화된 Poisson-minus-one(연속 Poisson 워크)에서 Brownian bridge에 대한 Fortet–Mourier 거리는 C n^{-1/18} log(n)로 상한이 있다.
• 일반 격자 분포 결과는 dist_F.M.(μ_n(L), B^br) ≤ C max(n^{-1/18} log n, ρ(L,n), τ(L,n,δ)) 형태의 상한을 준다.
• 수렴 속도는 시간 1에서의 특이점과 다리와 브라운 운동 사이의 절대 연속성 고려에 의해 영향을 받는다.