[논문 리뷰] About the speed of random walks on solvable groups

Jérémie Brieussel|arXiv (Cornell University)|2015. 05. 13.

Geometric and Algebraic Topology참고 문헌 17인용 수 5

한 줄 요약

이 논문은 유한 생성 가환군에서 유한 지지 대칭 랜덤 워크의 상한 속도 지수를 [1/2, 1] 내의 임의의 값으로 정밀하게 조절할 수 있는 구조를 구축한다. 유한 및 무한 이면각군 위의 램프라이터 군 사이를 대각 곱 구조를 통해 보간함으로써, 다항함수 간의 진동을 포함한 임의의 초선형 속도 행동을 달성한다. 이는 가환군이 이전에 알려진 예들보다 훨씬 더 풍부하고 비가чёт 수의 속도 지수를 지닐 수 있음을 보여준다.

ABSTRACT

We show that for each $λ\in [\frac{1}{2}, 1]$, there exists a solvable group and a finitely supported measure such that the associated random walk has upper speed exponent $λ$.

연구 동기 및 목표

• 가환군 위의 랜덤 워크에 대한 가능한 상한 속도 지수의 전반적인 범위를 규명하는 것.
• 유한 생성 가환군의 구체적 예를 제시하여, 속도 지수가 [1/2, 1] 내의 임의의 값으로 설정될 수 있도록 하는 것.
• 가환군 내에서 속도 행동이 서로 다른 다항법 사이를 진동할 수 있음을 보여주어, 이전에 알려진 기하학적 제약 조건에 도전하는 것.
• 가환군이 기존의 노름군 또는 다항군 클래스를 초월하여 비가산 수의 상호 비교 불가능한 속도 행동을 수용할 수 있음을 보여주는 것.

제안 방법

• Z/mZ를 이전 계층과 반복적으로 와이어드 곱하여 Γ_i(k,l,m)의 군 가닥을 구성함. 초기 단계로 Z wr D_l를 사용함.
• 다양한 渐近적 속도 행동을 갖는 군들을 조합하기 위해 매개변수 (k_s, l_s, m_s)의 수열을 기반으로 한 대각 곱 구조를 사용함.
• 매개변수 l에 대한 중간값 정리에 의해, 임의의 원하는 지수 λ ∈ [1/2, 1]을 가로질러 속도 함수가 통과하는 군을 찾는다.
• 속도 함수의 매개변수 l에 대한 연속성을 보장하기 위해 레마 3.3을 적용함으로써, 확산 행동(λ = 1/2)과 n^{3/4} 행동 사이의 보간이 가능해짐.
• 대칭성과 유한 지지를 유지하면서 기하학적 제어를 확보하기 위해 스위치-워크-스위치 단계 분포를 사용함.
• 레마 2.1과 3.1의 유계성 조건 및 유한 구역 내 속도 함수의 수렴성을 활용하여 상한 및 하한 속도 추정치를 제어함.

실험 결과

연구 질문

• RQ1 가환군 위의 랜덤 워크의 상한 속도 지수는 [1/2, 1]의 구간 내에서 임의의 값으로 설정될 수 있는가?
• RQ2 가환군은 √n과 n^λ(λ < 1) 사이의 서로 다른 다항법 사이에서 진동하는 속도 행동을 지닐 수 있는가?
• RQ3 유한 기저군과 무한 기저군을 갖는 램프라이터 군 사이를 체계적으로 보간하여 임의의 초선형 속도 지수를 달성할 수 있는가?
• RQ4 기존에 알려진 값들 1 - 1/2^i 외의 값으로 속도 지수를 지정할 수 있는가?
• RQ5 가환성은 랜덤 워크의 속도 함수의 가능한 형태에 어떤 제약 조건을 부과하는가?

주요 결과

• 모든 λ ∈ [1/2, 1]에 대해, 유한 생성 가환군과 유한 지지 대칭 측도가 존재하여, 관련 랜덤 워크의 상한 속도 지수가 정확히 λ가 되도록 할 수 있다.
• 속도 함수는 임의의 λ ∈ [1 - 1/2^i, 1 - 1/2^{i+1}]에 대해 n^{1 - 1/2^i}와 n^λ 사이를 진동할 수 있으며, 이 진동은 서서히 증가하는 ε(n) 인자로 제어된다.
• 매개변수 l에 대한 중간값 정리에 의해 선택된 파arameter (k_s, l_s, m_s)를 갖는 Γ_i(k_s, l_s, m_s)의 대각 곱을 사용하여, 원하는 임의의 λ를 통과하는 속도가 보장된다.
• 이 군들은 i+2-가환군이므로, 가환성은 속도 지수 행동을 제한하지 않으며, 비가산 수의 상호 비교 불가능한 속도 행동이 가환군 내에 존재함을 보여준다.
• 이 결과는 Amir와 Virag의 추측을 확인하며, n^λ에 대해 비교 가능한 속도 함수를 [1/2, 3/4]에 대해 실현하고, 반복 와이어드 곱을 통해 [1/2, 1] 전체로 확장한다.
• 이 논문은 가환군에 대해 가능한 상한 속도 지수의 집합이 정확히 {0} ∪ [1/2, 1]임을 규명하였으며, 비자명한 워크에서는 0이 제외됨을 보여준다.