[논문 리뷰] Graph towers, laminations and their invariant measures

Nicolas Bédaride, Arnaud Hilion외 1명|arXiv (Cornell University)|2015. 03. 27.

semigroups and automata theory참고 문헌 31인용 수 2

한 줄 요약

이 논문은 기호 라미네이션, 특히 자유군 위의 서브시프트와 코어언트에 대한 불변 측도를 체계적으로 기술하고 계산하기 위한 조합론적 프레임워크로 그래프 타워와 벡터 타워를 제안한다. 전이 행렬의 음이 아닌 고유벡터를 불변 측도와 연관 짓는 것으로, 에르고딕 측도와 극단적 음이 아닌 고유벡터 사이의 일대일 대응을 확립하여 실린더 측도의 효율적 계산과 자유군의 자기동형사상에 대한 고정점 분석을 가능하게 한다.

ABSTRACT

In this paper we present a combinatorial machinery, consisting of a graph tower $\overleftarrow \Gamma$ and vector towers $\overleftarrow v$ on $\overleftarrow \Gamma$, which allows us to efficiently describe all invariant measures $\mu = \mu^{\overleftarrow v}$ on any given shift space over a finite alphabet. The new technology admits a number of direct applications, in particular concerning invariant measures on non-primitive substitution subshifts, minimal subshifts with many ergodic measures, or an efficient calculation of the measure of a given cylinder. It also applies to currents on a free group $F_N$, and in particular the set of projectively fixed currents under the action of a (possibly reducible) endomorphism $\varphi: F_N o F_N$ is determined, when $\varphi$ is represented by a train track map.

연구 동기 및 목표

• 기호 라미네이션, 특히 자유군 위의 서브시프트와 코어언트에 대한 불변 측도를 기술하기 위한 통합된 조합론적 프레임워크를 개발한다.
• 그래프 타워의 유한 근사에 기반해 서브시프트 내 임의의 실린더 집합의 측도를 계산하는 구축 가능한 방법을 확립한다.
• 전이 행렬의 극단적 음이 아닌 고유벡터를 통해 기호 라미네이션의 에르고딕 불변 측도 공간을 특성화한다.
• 자유군의 프로젝티브 코어언트 공간에서 쌍곡 자기동형사상의 고정점 집합을 정적 그래프 타워를 이용해 분석한다.
• 아웃어스페이스의 R-트리 기하학과 그 이중 라미네이션에 의해 지배되는 에르고딕 코어언트의 수 사이의 관계를 조사한다.

제안 방법

• 논문은 각 사상이 간선을 비자명한 기약 간선 경로로 보낸다. 이를 통해 무한한 유한 그래프의 시퀀스와 간선 확장 사상으로 구성된 확장 그래프 타워를 구축한다.
• 기본 그래프에서의 이중무한 기약 경로 중, 타워의 높은 단계에서 온 간선의 이미지에 의해 결국 덮이는 경로들의 집합을 '사용된 라미네이션'으로 정의한다.
• 각 그래프의 간선으로 인덱싱된 음이 아닌 벡터의 시퀀스인 벡터 타워를 도입하며, 전이 행렬 M(f)를 통해 호환성을 확보한다. 전이 행렬 M(f)는 사상 f에 의한 간선 이미지가 목표 그래프의 간선(또는 그 역)을 몇 번 횡단하는지 세는 데 사용된다.
• 전이 행렬 M(f)는 사상 f에 의해 간선 이미지가 목표 그래프의 간선(또는 그 역)을 어떻게 횡단하는지를 코딩하며, 이는 동역학계의 핵심을 형성한다.
• 주요 구성은 각 벡터 타워를 사용된 라미네이션 위의 불변 측도로 매핑하며, 충분히 큰 유한 타원형으로 잘라낸 타워로부터 실린더 측도를 복원할 수 있다.
• 정적 그래프 타워(즉, f: Γ → Γ 가 일정한 사상)의 경우, 불변 측도 공간은 M(f)의 음이 아닌 고유벡터의 콘과 동형이며, 극단적 벡터는 에르고딕 측도에 대응한다.

실험 결과

연구 질문

• RQ1 기하학적 데이터를 사용해 서브시프트와 기호 라미네이션의 불변 측도를 체계적으로 기술하고 계산할 수 있는 방법은 무엇인가?
• RQ2 그래프 타워의 맥락에서, 에르고딕 불변 측도와 전이 행렬의 극단적 음이 아닌 고유벡터 사이의 정확한 대응 관계는 무엇인가?
• RQ3 자유군의 프로젝티브 코어언트 공간에서 쌍곡 자기동형사상의 고정점 집합의 구조는 어떠한가?
• RQ4 자유 또는 순환 점 안정자와 함께 아웃어스페이스의 R-트리 이중 라미네이션에 의해 지배되는 프로젝티브 에르고딕 코어언트의 최대 수는 얼마인가?
• RQ5 최소 표면 라미네이션의 에르고딕 측도 수는 유계가 되는가? 이 유계는 펄리 타워에서 유래한 라미네이션의 경우와 일치하는가?

주요 결과

• 모든 기호 라미네이션 LΣ 위의 불변 측도는 고유하게 확장 그래프 타워 ÐΓ에 대한 벡터 타워로부터 유도되며, LΣ = LÐΓ 를 만족한다.
• 충분히 큰 그래프 타워와 그에 관련된 벡터 타워의 유한 타원형으로부터 임의의 실린더 집합의 측도를 임의의 정밀도로 계산할 수 있다.
• 사상 f: Γ → Γ 로 정의된 정적 그래프 타워 ÐΓf 에서, 에르고딕 불변 측도 공간은 전이 행렬 M(f)의 극단적 음이 아닌 고유벡터와 일대일 대응된다.
• 정적 그래프 타워 ÐΓf 위의 벡터 타워의 콘의 차원은 관련된 사용된 라미네이션 LΣf 위의 에르고딕 확률 측도의 수와 같다.
• 일부 쌍곡 자기동형사상 ϕ ∈ Out(FN)에 대해, 프로젝티브로 고정된 코어언트 집합은 M(f)의 극단적 고유벡터에 의해 결정된다. 여기서 f 는 ϕ 의 트레인 트랙 대표이다.
• BCVN 내의 R-트리 이중 라미네이션에 의해 지배되는 프로젝티브 에르고딕 코어언트의 최대 수는 3/2(N−1) 이하로 유계이며, 가바이의 최소 라미네이션으로 유도된 경우와 같은 특정 케이스에서 등호가 성립한다.