[논문 리뷰] Analyticity of intersection exponents for planar Brownian motion

Gregory F. Lawler, Oded Schramm외 1명|ArXiv.org|2000. 05. 31.

Stochastic processes and statistical mechanics참고 문헌 12인용 수 5

한 줄 요약

이 논문은 평면 브라운 운동에 대한 교차 지수 ξ(k,λ)의 실해석성(실수 변수 λ > 0 에서)을 등각 불변성과 확률적 로에브너 진동(SLE) 기법을 사용하여 증명한다. 이 해석성과 이전에 알려진 λ ≥ 1 에서의 정확한 값들을 결합하면 모든 λ > 0 으로의 해석적 계속이 가능해지며, 이는 만델브로가 제기한 추측을 확인한다. 즉, 평면 브라운 운동 경로의 외부 경계의 하우스도르프 차원이 거의 확실히 4/3 임을 입증한다.

ABSTRACT

We show that the intersection exponents for planar Brownian motions are analytic. More precisely, let $B$ and $B'$ be independent planar Brownian motions started from distinct points, and define the exponent $ξ(1, λ)$ by $$ E[P[B[0,t] \cap B'[0,t] = \emptyset | B[0,t]]^λ] \approx t^{-ξ(1, λ)/2}, t o \infty. $$ Then the mapping $λ\mapsto ξ(1, λ)$ is real analytic in $(0,\infty)$. The same result is proved for the exponents $ξ(k, λ)$ where $k$ is a positive integer. In combination with the determination of $ξ(k, λ)$ for integer $k \ge 1$ and real $λ\ge 1$ in our previous papers, this gives the value of $ξ(k, λ)$ also for $λ\in (0,1)$ and the disconnection exponents $\lim_{λ\searrow 0} ξ(k, λ)$. In particular, it shows that $\lim_{λ\searrow 0} ξ(2, λ) = 2/3$ and concludes the proof of the following result that had been conjectured by Mandelbrot: the Hausdorff dimension of the outer boundary of $B[0,1]$ is 4/3 almost surely.

연구 동기 및 목표

• 평면 브라운 운동에 대한 교차 지수 ξ(k,λ)의 실해석성을 실수 변수 λ > 0 에서 확립한다.
• 이전에 알려진 λ ≥ 1 에서의 ξ(k,λ) 정확한 값들을 해석적 계속을 통해 모든 λ > 0 으로 확장한다.
• 브라운 운동 경로의 외부 경계의 하우스도르프 차원이 거의 확실히 4/3임을 확인하는 만델브로의 추측을 해결한다.
• 모든 k ≥ 1 에 대해 lim_{λ↓0} ξ(k,λ) 인 분리 지수 η_k 의 정확한 값을 도출한다.

제안 방법

• 브라운 운동의 교차 지수와 스토하스틱 로에브너 진동(SLE) 과정의 지수를 연결하는 보편성 원리를 사용한다.
• 등각 불변성과 SLE 지수의 정확한 계산을 적용하여 λ ≥ 1 에서 ξ(k,λ) 의 값을 도출한다.
• 복소평면에서의 해석적 계속을 사용하여 ξ(k,λ) 의 정의역을 λ ≥ 1 에서 모든 λ > 0 으로 확장한다.
• 홀더 연속 함수로 구성된 바나흐 공간 위에서 전이 연산자 T^n 의 연산자 노름을 분석하여 지수적 감쇠와 스펙트럼 갭을 확보한다.
• 강한 마코프 성질과 출구 확률에 대한 추정을 활용하여 인접한 경로들 간의 전이 확률 차이를 근사한다.
• 모든 λ > 0 에 대해 함수 λ ↦ ξ(k,λ) 가 복소평면에서의 해석적 계속이 가능함을 증명함으로써, (0,∞) 에서의 실해석성을 입증한다.

실험 결과

연구 질문

• RQ1 모든 k ≥ 1 과 λ > 0 에 대해 λ ↦ ξ(k,λ) 는 실해석적인가?
• RQ2 λ ≥ 1 에서 유도된 ξ(k,λ) 의 정확한 공식이 해석적 계속을 통해 모든 λ > 0 으로 확장될 수 있는가?
• RQ3 lim_{λ↓0} ξ(2,λ) 가 2/3 와 같아서, 외부 경계의 하우스도르프 차원이 4/3 임을 확인하는가?
• RQ4 일반적인 k ≥ 1 에 대해 분리 지수 η_k = lim_{λ↓0} ξ(k,λ) 의 정확한 값은 무엇인가?
• RQ5 ξ(2,λ) 를 사용하여 브라운 운동의 외부 경계의 다중분포 스펙트럼을 완전히 특성화할 수 있는가?

주요 결과

• 모든 정수 k ≥ 1 에 대해 함수 λ ↦ ξ(k,λ) 는 (0,∞) 에서 실해석적이다.
• 모든 k ≥ 1 과 모든 λ ≥ 0 에 대해 ξ(k,λ) = [(√(24k+1) + √(24λ+1) − 2)² − 4]/48 이라는 정확한 공식이 성립한다.
• 모든 k ≥ 1 에 대해 분리 지수 η_k = lim_{λ↓0} ξ(k,λ) 는 [(√(24k+1) − 1)² − 4]/48 와 같다.
• 평면 브라운 운동 경로 B[0,1] 의 외부 경계의 하우스도르프 차원은 거의 확실히 4/3 이다.
• B[0,1] 의 파이오니어 점들의 집합의 하우스도르프 차원은 거의 확실히 7/4 이다.
• 외부 경계상의 이중점 집합의 하우스도르프 차원은 (1 + √97)/24 로, 유리수가 아닌 수이다.