[논문 리뷰] Brownian motion on R trees

Siva Athreya, Michael Eckhoff외 1명|arXiv (Cornell University)|2011. 02. 16.

Stochastic processes and statistical mechanics참고 문헌 19인용 수 9

한 줄 요약

이 논문은 디리클레 형식 방법을 사용하여 국소적으로 컴act한 $$\mathbb{R}$$-트리 위에서 브라운 운동을 구성하며, 실수선 위의 표준 브라운 운동을 일반화하는 일반적인 프레임워크를 수립한다. 주요 기여는 국소적으로 컴act한 반복적인 $$\mathbb{R}$$-트리에 대한 재귀/비재귀 조건과 혼합 시간의 경계를 제시하는 것으로, 기존의 구성들을 통합하고 메트릭 측도 트리 위에서의 확산 과정에 대한 명시적 분석을 가능하게 한다.

ABSTRACT

The real trees form a class of metric spaces that extends the class of trees with edge lengths by allowing behavior such as infinite total edge length and vertices with infinite branching degree. We use Dirichlet form methods to construct Brownian motion on any given locally compact $R$-tree {$(T,r)$} equipped with a Radon measure $ν$ {on $(T,{\mathcal B}(T))$}. We specify a criterion under which the Brownian motion is recurrent or transient. For compact recurrent $R$-trees we provide bounds on the mixing time. In this revised version, assumption (A3) for an $R$-tree has been removed.

연구 동기 및 목표

• 근사화 방법에 의존하지 않고 국소적으로 컴act한 $$\mathbb{R}$$-트리 위에서 브라운 운동의 일반적이고 명시적인 구성 제공
• 에반스의 과정과 이산 트리 위의 랜덤 워크의 척도 극한을 포함한 $$\mathbb{R}$$-트리 위의 확산 과정 기존 구성들을 통합
• 구축된 브라운 운동의 재귀성과 비재귀성에 대한 기하학적 조건 유도
• 국소적으로 컴act한 반복적인 $$\mathbb{R}$$-트리에 대해 스펙트럼 간격과 혼합 시간의 경계 수립
• 잠재 함수를 사용하여 $$\mathbb{R}$$-트리 위의 확산 과정에서의 척도 변화와 드리프트 개념 일반화

제안 방법

• 실수선 구성과 유사하게, 트리의 스케лет 위에서 길이 측도와 기울기를 기반으로 이항형식을 정의하기 위해 디리클레 형식 방법을 사용
• 정의역 $$\mathcal{D}(\mathcal{E})$$ 를 갖는 디리클레 형식 $$\mathcal{E}(f,g) = \frac{1}{2}\int \mathrm{d}\lambda^{(T,r)} \nabla_{r}f \cdot \nabla_{r}g$$ 를 정의하며, 이는 $$L^2(\nu)$$-함수 중 기울기가 제곱적분 가능한 함수들로 구성됨
• 형식이 정규적이고 국소적임을 증명하여 표준 디리클레 형식 이론에 따라 강한 마코프 과정의 존재를 확보
• 잠재 함수 $$\phi$$ 를 도입하여 $$r_\phi(a,b) = \int_{[a,b]} e^{-2\phi(x)} \lambda^{(T,r)}(\mathrm{d}x)$$ 를 통해 새로운 거리 $$r_\phi$$ 를 정의함으로써, 드리프트를 갖는 확산 과정의 구성 가능
• 이론을 적용하여, 에반스의 '가장 풍부한' $$\mathbb{R}$$-트리 위의 $$(\nu,\nu)$$-브라운 운동이 $$\nu$$-브라운 운동과 동일한 법칙을 가짐을 보임. 이때 $$r_{\mathrm{natural}}$$ 는 국소적으로 컴act해야 함
• 척도 함수와 속도 측도를 사용하여 재귀성 특성화: $$X$$ 가 재귀이면 $$\int_0^\infty s(y)\,dy = \infty$$ 이고 $$\int_{-\infty}^0 s(y)\,dy = \infty$$ 이어야 함

실험 결과

연구 질문

• RQ1 국소적으로 컴act한 $$\mathbb{R}$$-트리 위에서 브라운 운동이 재귀적이거나 비재귀적인 기하학적 조건은 무엇인가?
• RQ2 디리클레 형식을 사용하여 근사화에 의존하지 않는 $$\mathbb{R}$$-트리 위에서의 브라운 운동의 일반적 구성이 가능할 수 있는가?
• RQ3 국소적으로 컴act한 $$\mathbb{R}$$-트리 위에서 혼합 시간과 스펙트럼 간격은 기저 거리와 측도 구조에 어떻게 의존하는가?
• RQ4 잠재 함수를 통한 확산 과정의 드리프트 구성은 $$\mathbb{R}$$-트리로 일반화될 수 있는가?
• RQ5 이 구성은 에반스의 '가장 풍부한' $$\mathbb{R}$$-트리 위의 과정과 같은 기존 모델들을 얼마나 통합하는가?

주요 결과

• 국소적으로 컴act한 $$\mathbb{R}$$-트리 위에서 구축된 브라운 운동은 척도 함수가 $$\int_0^\infty s(y)\,dy = \infty$$ 이고 $$\int_{-\infty}^0 s(y)\,dy = \infty$$ 를 만족할 때이고, 그 때에만 재귀적임이 증명됨
• 국소적으로 컴act한 반복적인 $$\mathbb{R}$$-트리에 대해 혼합 시간은 스펙트럼 간격에 의해 경계지며, 이는 평형 측도의 분산의 역수와 관련됨
• 에반스의 '가장 풍부한' $$\mathbb{R}$$-트리 위의 $$(\nu,\nu)$$-브라운 운동은 $$r_{\mathrm{natural}}$$ 가 국소적으로 컴act일 경우 $$\nu$$-브라운 운동과 동일한 법칙을 가짐
• 디리클레 형식을 통한 구성은 실수선 위의 표준 브라운 운동을 일반화하며, 잠재 함수 $$\phi$$ 를 통해 드리프트를 갖는 확산 과정을 포함함
• 이 프레임워크는 문헌에 알려진 $$\mathbb{R}$$-트리 위의 브라운 운동의 모든 알려진 예를 포함하며, 이산 트리 위의 랜덤 워크의 척도 극한을 포함함
• 이 방법은 디리클레 형식과 그 정의역을 명시적으로 기술하여 근사화 없이도 경로 성질과 수렴 속도를 직접 분석할 수 있음