[논문 리뷰] Limit theorems for random walks on Fuchsian buildings and Kac-Moody groups

Lorenz A. Gilch, Sebastian Mueller외 1명|arXiv (Cornell University)|2014. 11. 27.

Geometric and Algebraic Topology참고 문헌 24인용 수 3

한 줄 요약

이 논문은 원추 유형과 강하게 연결된 자동기계를 통해 구축된 복귀 구조를 이용하여, 푸크시안 빌딩과 관련된 카크-무디 군에서 등방성 랜덤 워크의 탈출 속도와 중심극한정리를 확립한다. 주요 기여는 재접기 기법과 자동기계 기반 분석을 통해 평면적이지 않고 높은 계수를 가진 빌딩으로 평면 하이퍼볼릭 결과를 확장한 명시적 공식을 제공하는 것이다.

ABSTRACT

In this paper we prove a rate of escape theorem and a central limit theorem for isotropic random walks on Fuchsian buildings, giving formulae for the speed and asymptotic variance. In particular, these results apply to random walks induced by bi-invariant measures on Fuchsian Kac-Moody groups, however they also apply to the case where the building is not associated to any reasonable group structure. Our primary strategy is to construct a renewal structure of the random walk. For this purpose we define cones and cone types for buildings and prove that the corresponding automata in the building and the underlying Coxeter group are strongly connected. The limit theorems are then proven by adapting the techniques in [21]. The moments of the renewal times are controlled via the retraction of the walks onto an apartment of the building.

연구 동기 및 목표

• 하이퍼볼릭 및 리군 설정에서의 중심극한정리를 푸크시안 빌딩과 카크-무디 군으로 확장하기 위해.
• 비아핀, 비구형 유형의 빌딩에서 등방성 랜덤 워크의 탈출 속도와 중심극한정리를 확립하기 위해.
• 원추 유형과 자동기계를 이용하여 빌딩에서의 랜덤 워크에 대한 복귀 구조를 수립하기 위해.
• 다양한 코크스터 군 유형에 대해 관련 캐논 자동기계의 강한 연결성을 증명하기 위해.
• 아파트로의 재접기를 통해 복귀 시간의 모멘트를 제어함으로써 극한정리의 적용을 가능하게 하기 위해.

제안 방법

• 푸크시안 빌딩에서 원추와 원추 유형을 정의하여 복귀 과정을 구축하기 위해.
• 모든 예외적인 경우를 제외한 코크스터 군 위의 관련 자동기계가 강하게 연결되어 있음을 증명하기 위해.
• 랜덤 워크를 아파트로의 재접기를 통해 복귀 시간의 모멘트를 제어하기 위해.
• 플레인 표면 군에 대해 하이신스키, 마티외, 멀러(2013)의 기법을 비플레인 빌딩으로 일반화하기 위해.
• 코크스터 군과 빌딩의 대수적 및 기하적 성질을 활용하여 원추 유형 전이를 분석하기 위해.
• 경로 구성 기법을 통해 네 종류의 삼각형 코크스터 군에 대해 자동기계의 강한 연결성을 검증하기 위해.

실험 결과

연구 질문

• RQ1 플레인 또는 하이퍼볼릭 환경을 초월하여 푸크시안 빌딩에서의 랜덤 워크에 대해 중심극한정리를 확립할 수 있는가?
• RQ2 코크스터 군에 어떤 조건이 성립하면 원추 유형 자동기계가 강하게 연결되어 있는가?
• RQ3 등방성 랜덤 워크의 속도와 점근적 분산을 어떻게 명시적으로 계산할 수 있는가?
• RQ4 표면 군에서의 복귀 이론 기법이 높은 계수의 빌딩으로 얼마나 일반화될 수 있는가?
• RQ5 아파트로의 재접기는 복귀 시간의 모멘트를 제어하는 데 어떤 역할을 하는가?

주요 결과

• 탈출 속도 정리가 증명되었으며, 등방성 랜덤 워크의 속도를 명시적으로 계산하는 공식이 제공된다.
• 중심극한정리가 확립되었으며, 워크의 점근적 분산을 계산하는 공식이 제시된다.
• 삼각형 유형의 유한한 수 이외의 모든 코크스터 군에 대해 빌딩의 원추 유형과 관련된 캐논 자동기계는 강하게 연결되어 있다.
• 원추 유형을 통한 복귀 구조가 성공적으로 구축되어 극한정리 기법의 적용이 가능해졌다.
• 워크를 아파트로의 재접기를 통해 복귀 시간의 모멘트를 효과적으로 제어할 수 있었다.
• 결과는 카크-무디 군에서 유래한 빌딩 뿐만 아니라 군의 구조가 없는 일반적인 푸크시안 빌딩에도 적용 가능하다.