[논문 리뷰] Boundary of the action of Thompson group F on dyadic numbers

Pavlo Mishchenko|arXiv (Cornell University)|2015. 12. 09.

Mathematical Dynamics and Fractals참고 문헌 1인용 수 6

한 줄 요약

이 논문은 단순 랜덤 워크의 슈레어 그래프에서 톰슨의 군 F 가 [0,1] 내의 이진 유리수 위에 작용할 때, 포아송 경계가 비자명함을 증명하며, 이는 F 가 리우빌 성질을 갖지 않는다는 새로운 증명을 제공한다. 전기망 이론과 지오데식 성장 분석을 사용하여, 지오데식 성장 함수를 $ \frac{1}{1-2z} $ 로 계산함으로써 지수 성장과 비자명한 조화 함수의 존재를 확인한다.

ABSTRACT

We prove that the Poisson boundary of a simple random walk on the Schreier graph of action of $F$ on $\mathbb{D}$, where $\mathbb{D}$ is the set of dyadic numbers in $[0, 1]$, is non-trivial. This gives a new proof of the result of Kaimanovich: Thompson's group $F$ doesn't have Liouville property. In addition, we compute growth function of the Schreier graph of the action of $F$ on $\mathbb{D}$.

연구 동기 및 목표

• 톰슨의 군 F 가 [0,1] 내의 이진 유리수 위에 작용할 때, 지오데식 그래프의 포아송 경계의 비자명성을 확립하는 것.
• F 가 리우빌 성질을 갖지 않는다는 것을 다시 증명하는 것, 즉 비상수 유계 조화 함수를 허용한다는 것.
• 행동 $ F \curvearrowright \mathbb{D} $ 와 관련된 슈레어 그래프의 지오데식 성장 함수를 계산하는 것, 여기서 $ \mathbb{D} $ 는 [0,1] 내의 이진 수의 집합이다.
• 코네 타입의 구조를 분석하고 슈레어 그래프 내의 지오데식 수를 위한 재귀 관계를 유도하는 것.

제안 방법

• 전기망 형식을 적용하여 슈레어 그래프 위의 랜덤 워크를 모델링하고, 저항과 딜리클레 에너지를 사용하여 비정상성과 용량을 분석한다.
• 고정된 점으로부터의 지오데식 수 $ \texttt{gd}(x,n) $ 의 수를 바탕으로 한 기준을 사용하여 루트에서의 용량이 양임을 보여, 비정상성을 유도한다.
• 정리 2.3 을 적용하여, 루트의 자식들에 루트를 둔 부분수나무들이 비정상적이라면, 전체 수나무 위의 랜덤 워크의 경계가 비자명하다는 것을 보인다.
• 지오데식 성장 모델링을 위해 총 다섯 종류의 코네 타입에 대한 재귀 관계를 유도하고, 전이 행렬과 생성 함수를 사용한다.
• 행렬 역행렬을 통한 계산을 통해 확장된 완전 지오데식 성장 함수 $ \tilde{L}(z) $ 와 궤도 성장 함수 $ \widehat{L}(z) $ 를 계산한다: $ (I_5 - Az)^{-1} $.
• 닫힌 형태의 해 $ \overline{l}(z) = \left( \frac{1}{1-2z}, \frac{1}{1-z}, \frac{1}{1-3z+2z^2}, \frac{1}{1-3z+2z^2}, \frac{1}{1-2z} \right) $ 를 사용하여 지오데식 성장 함수 $ l(z) = \frac{1}{1-2z} $ 를 추출한다.

실험 결과

연구 질문

• RQ1 스케일링된 랜덤 워크의 슈레어 그래프 $ F \curvearrowright \mathbb{D} $ 에서의 포아송 경계는 비자명한가?
• RQ2 톰슨의 군 F 의 비리우빌 성질을 슈레어 그래프 위에서 기하학적 및 확률적 방법을 사용하여 재증명할 수 있는가?
• RQ3 스케일링된 랜덤 워크의 슈레어 그래프 $ F \curvearrowright \mathbb{D} $ 에 대한 지오데식 성장 함수의 정확한 형태는 무엇인가?
• RQ4 슈레어 그래프의 정점의 코네 타입은 성장과 조화 함수의 구조에 어떻게 기여하는가?
• RQ5 기저 점으로부터 거리 $ n $ 에 있는 점들의 수의 渐近 성장률은 무엇인가?

주요 결과

• 스케일링된 랜덤 워크의 슈레어 그래프 $ F \curvearrowright \mathbb{D} $ 에서의 포아송 경계는 비자명하며, 이는 톰슨의 군 F 가 리우빌 성질을 갖지 않는다는 것을 의미한다.
• 슈레어 그래프의 지오데식 성장 함수는 $ l(z) = \frac{1}{1-2z} $ 로 주어지며, 이는 밑이 2인 지수 성장을 나타낸다.
• 기저 점 $ 1/2 $ 로부터 그래프 거리 $ n $ 에 있는 정점의 수는 $ L_n = \frac{\varphi^{n+2} - \hat{\varphi}^{n+2}}{\sqrt{5}} $ 로 주어지며, 여기서 $ \varphi = \frac{1+\sqrt{5}}{2} $ 이다. 이는 피보나치 유사 성장을 보여준다.
• 궤도 성장 함수 $ \widehat{L}(z) $ 는 $ \left( \frac{1+z}{1-z-z^2}, \frac{1}{1-z}, \frac{1+z}{1-2z+z^3}, \frac{1}{1-2z+z^3}, \frac{1}{1-z} \right) $ 로 계산되었으며, 코네 타입의 구조를 확인한다.
• 기저 점으로부터 거리 $ n $ 이내의 정점 총 수는 $ |B(p,n)| = \frac{\varphi^{n+3} - \varphi^2}{\sqrt{5}(\varphi-1)} - \frac{\hat{\varphi}^{n+3} - \hat{\varphi}^2}{\sqrt{5}(\hat{\varphi}-1)} $ 로 주어지며, 이는 초지수적 축적을 반영한다.
• 코네 타입에 대한 재귀 관계와 행렬 표현 $ (I_5 - Az)^{-1} \Lambda_0 $ 는 지오데식 성장의 완전한 대수적 기술을 제공하며, 성장 함수의 정확한 계산을 가능하게 한다.