[논문 리뷰] Lamplighter Random Walks and Entropy-Sensitivity of Languages

Ecaterina Sava‐Huss|arXiv (Cornell University)|2010. 12. 13.

Mathematical Dynamics and Fractals참고 문헌 37인용 수 3

한 줄 요약

이 박사학위논문은 그라프의 와이어드 프로덕트 위에서의 램플라이터 랜덤 워크와 형식 언어의 엔트로피 민감성 간의 연관성을 조사한다. 무한한 끝을 가진 그래프 또는 초구형 구조를 가진 그래프 위에서의 램플라이터 랜덤 워크의 포아송 경계가 비자명하다는 것을 입증하며, 금지된 전이 조건 하에서 정의된 언어—특히 군 이론의 단어 문제—가 마코프 체인을 이용해 성장률과 스펙트럴 반경을 분석함으로써 엔트로피 민감하다는 것을 증명한다. 금지된 전이를 가진 마코프 체인을 사용하여 성장률과 스펙트럴 반경을 분석한다.

ABSTRACT

The main purpose of this thesis is to study the interplay between geometric properties of infinite graphs and analytic and probabilistic objects such as transition operators, harmonic functions and random walks on these graphs. For a transient random walk, there are several problems one is interested in: for instance to study its convergence, to describe the bounded harmonic functions for the random walk, to describe its Poisson boundary, or to study the parameter of exponential decay of the transition probabilities of the random walk. In the first part of the thesis we deal with similar problems in the context of random walks on the so-called lamplighter graphs, which are wreath products of graphs. The convergence and the Poisson boundary of lamplighter random walks is studied for different underlying graphs, and the used methods are mostly of a geometrical nature. In the second part of the thesis we consider Markov chains on directed, labelled graphs. With such graphs we associate in a natural way a class of infinite languages (sets of labels of paths in the graph) and we study the growth sensitivity (or entropy sensitivity) of these languages using Markov chains.

연구 동기 및 목표

• 무한 그래프 위에서의 램플라이터 랜덤 워크의 渐近적 행동을 분석하고, 특히 경계로의 수렴성과 포아송 경계의 구조를 조사한다.
• 그래프의 기하적 성질(예: 끝의 수, 초구형성)과 램플라이터 워크의 확률적 특성 간의 상호작용을 조사한다.
• 금지된 전이를 가진 마코프 체인을 사용하여 라벨된 그래프 위에 정의된 형식 언어의 성장 민감성을 연구한다.
• 유한한 금지 집합 하에서 표현된 군 이론의 단어 문제 언어—스코어 그래프 위의 언어—가 엔트로피 민감하다는 것을 증명한다.
• 라벨된 그래프 위에서 무제한과 금지된 전이를 가진 마코프 체인 간의 스펙트럴 반경과 엔트로피 비교를 수립한다.

제안 방법

• 램플라이터 그래프를 모델링하기 위해 와이어드 프로덕트 구성(Z₂ ≀ G)을 사용하며, 정점은 램프 구성과 보행자 위치를 나타낸다.
• 무한한 끝을 가진 그래프 위에서의 램플라이터 랜덤 워크의 포아송 경계를 식별하기 위해 반공간 방법을 적용한다.
• 경계로의 수렴성과 포아송 경계의 구조를 특성화하기 위해 조화 함수와 전이 연산자를 사용한다.
• 라벨된 방향 그래프 위에서 전이 확률이 외부 차수의 역수 비례로 설정된 마코프 체인을 정의한다.
• 도우의 h-변환을 통해 'h-과정'을 도입하여 금지 전이 집합 F를 가진 랜덤 워크를 모델링한다.
• 스펙트럴 반경 비교를 사용: 금지 집합 F에 대해 ρ(PF) < ρ(P)이며, 이는 관련 언어의 엔트로피가 엄격하게 감소함을 의미한다.

실험 결과

연구 질문

• RQ1 무한한 끝을 가진 그래프 위에서의 램플라이터 랜덤 워크의 포아송 경계는 무엇인가?
• RQ2 그래프의 초구형 구조가 포아송 경계와 램플라이터 랜덤 워크의 수렴성에 어떤 영향을 미치는가?
• RQ3 어떤 조건 하에서 라벨된 그래프의 경로 언어가 특정 전이가 금지되었을 때 엔트로피 민감해지는가?
• RQ4 금지된 전이를 가진 마코프 체인의 스펙트럴 반경과 원래 체인 간의 관계는 무엇인가?
• RQ5 유한한 단어 집합이 금지되었을 때 군 이론의 단어 문제의 성장률(엔트로피)는 어떻게 변화하는가?

주요 결과

• 무한한 끝을 가진 그래프 위에서의 램플라이터 랜덤 워크의 포아송 경계는 비자명하며, 반공간 방법을 통해 식별될 수 있다.
• 초구형 그래프 위에서의 램플라이터 워크의 경우, 그래프가 무한한 초구형 경계를 가질 때조차 포아송 경계는 비자명하다.
• 금지된 전이를 가진 마코프 체인의 스펙트럴 반경은 sup_{x,y} ρ_{x,y}(PF) < ρ(P)를 만족하며, 이는 엔트로피의 엄격한 감소를 의미한다.
• 금지된 요소를 피하는 경로 L_F^{x,y}의 엔트로피는 무제한 언어 L^{x,y}의 엔트로피보다 엄격히 작으며, 엔트로피 민감성을 증명한다.
• 유한 생성 군의 스크라이어 그래프에 대해, 비어 있지 않은 유한한 금지 집합 하에서 단어 문제 언어는 엔트로피 민감하다.
• 균일하게 연결된 라벨된 그래프 위에서 언어 L^{x,y}의 엔트로피는 h(L^{x,y}) = log(ρ(P) · |Σ|)로 주어지며, 여기서 ρ(P)는 스펙트럴 반경이고 |Σ|는 알파벳 크기이다.