[논문 리뷰] Random Orderings and Unique Ergodicity of Automorphism Groups

Omer Angel, Alexander S. Kechris외 1명|arXiv (Cornell University)|2012. 08. 12.

Advanced Topology and Set Theory참고 문헌 8인용 수 4

한 줄 요약

이 논문은 유한 그래프, $K_n$-free 그래프, $r$-uniform 초그래프, 그리고 주어진 $ℝ^+$의 덧셈 부분반군에 거리가 포함된 메트릭 공간에 대해 유일한 일致한 랜덤 순서는 균일 랜덤 순서임을 증명한다. 이 결과는 무작위 그래프의 자기동형군의 유일한 에르고딕성을 암시하며, 글라스너와 Weiss의 예제를 초월해 비콤팩트이자 초유연하지 않은 유일한 에르고딕성 그룹의 첫 번째 예를 제공한다.

ABSTRACT

We show that the only random orderings of finite graphs that are invariant under isomorphism and induced subgraph are the uniform random orderings. We show how this implies the unique ergodicity of the automorphism group of the random graph. We give similar theorems for other structures, including, for example, metric spaces. These give the first examples of uniquely ergodic groups, other than compact groups and extremely amenable groups, after Glasner and Weiss's example of the group of all permutations of the integers. We also contrast these results to those for certain special classes of graphs and metric spaces in which such random orderings can be found that are not uniform.

연구 동기 및 목표

• 유한 구조—예를 들어 그래프, 초그래프, 메트릭 공간—에 대한 일致한 랜덤 순서가 반드시 균일해야 하는지 여부를 규명하는 것.
• 이러한 랜덤 순서가 자동형군의 유일한 에르고딕성에 미치는 영향을 조사하는 것.
• 콤팩트 또는 초유연한 군을 초월해, 유일한 에르고딕성을 가지는 새로운 폴란드 군의 클래스를 규명하는 것.
• 제한된 클래스의 그래프나 메트릭 공간, 예를 들어 차수 제한 그래프 또는 유클리드 메트릭 공간에서 비균일 일치 랜덤 순서의 존재를 탐색하는 것.
• 크기가 $n$ 이하인 유한 구조에서 비균일 순서와 균일 순서 사이의 총 변동 거리에 대한 정량적 경계를 설정하는 것.

제안 방법

• 일致한 랜덤 순서를 정의한다: 유한 구조 $G$의 정점 집합의 선형 순서 위에 정의된 확률 측도 $\mu_G$의 가족으로, 구조의 동형 불변성과 제약 일致성 조건을 만족한다.
• 라모지 성질 및 확장 성질을 포함한 모델 이론적 및 조합 기법을 사용하여 이러한 순서의 구조를 분석한다.
• Fraïssé 극한 이론과 보편 최소 흐름 이론을 적용하여 일치하는 랜덤 순서를 동역학계에서의 불변 측도와 연결한다.
• 레오나드 숄만이 제안한 랜덤 투영 방법을 활용하여, 차수 제한 그래프나 유클리드 메트릭 공간과 같은 클래스에서 비균일 일치 랜덤 순서를 구성한다.
• 특히 $r$-uniform 초그래프에 대해 확률론적 및 극값 조합 기법을 사용하여 총 변동 거리의 정량적 경계를 도출한다.
• 허용 가능한 순서 공간에서 측도 $\mu(N_{{\boldsymbol{A}},<}) = \frac{1}{k({\boldsymbol{A}})}$의 균일성에 기반해, 불변 측도의 유일성을 분석한다.

실험 결과

연구 질문

• RQ1 모든 유한 그래프의 클래스에 대해 유일한 일치 랜덤 순서는 균일 랜덤 순서뿐인가요?
• RQ2 예를 들어 차수 제한 그래프나 유클리드 메트릭 공간과 같은 일부 제한된 클래스의 그래프나 메트릭 공간에서 비균일 일치 랜덤 순서가 존재할 수 있는가요?
• RQ3 Fraïssé 극한의 자동형군에 대해 일치 랜덤 순서가 존재하면, 이는 그 자동형군의 유일한 에르고딕성을 암시하는가요?
• RQ4 크기가 $n$ 이하인 유한 구조에서 비균일 순서와 균일 순서 사이의 최대 총 변동 거리는 얼마인가요?
• RQ5 Fraïssé 구조의 유연한 자동형군의 보편 최소 흐름에서의 유일한 불변 측도는 항상 허용 가능한 순서 위에서 균일한가요?

주요 결과

• 모든 유한 그래프, $K_n$-free 그래프, $r$-uniform 초그래프, 그리고 $ℝ^+$의 고정된 덧셈 부분반군에 거리가 포함된 메트릭 공간에 대해 유일한 일치 랜덤 순서는 균일 랜덤 순서뿐이다.
• 이 결과는 무작위 그래프의 자동형군의 유일한 에르고딕성을 암시하며, 글라스너와 Weiss의 예제를 초월해 비콤팩트이자 초유연하지 않은 유일한 에르고딕성을 가지는 폴란드 군의 첫 번째 예를 제공한다.
• 크기가 $n$ 이하인 $r$-uniform 초그래프에 대해, 임의의 일치 랜덤 순서와 균일 순서 사이의 총 변동 거리는 어떤 상수 $C = C(k,r)$에 대해 $C\sqrt{\frac{\log n}{n^{r-1}}}$ 이하로 유계이다.
• 그래프의 경우, 일부 부분그래프에서 균일 순서와의 총 변동 거리가 $C/n$ 이상인 일치 랜덤 순서를 구성할 수 있다.
• 차수 제한 그래프나 유클리드 메트릭 공간과 같은 클래스에서는 랜덤 투영 방법을 통해 비균일 일치 랜덤 순서가 존재한다.
• 유연한 자동형군의 Fraïssé 구조에서 보편 최소 흐름의 유일한 불변 측도는 허용 가능한 순서 위에서 균일하다는 추측이 제기되었으며, 이는 알려진 모든 경우에 성립한다.