[논문 리뷰] Orbit equivalence and sofic approximation

Ken Dykema, David Kerr외 1명|arXiv (Cornell University)|2011. 02. 13.

Random Matrices and Applications참고 문헌 25인용 수 8

한 줄 요약

이 논문은 유한 생성된 군의 확률 측도를 보존하는 작용에 대해, 소픽 근사의 渐近적 성장률을 통해 정의되는 새로운 조합적 불변량인 소픽 차원을 도입한다. 이 불변량이 궤도 동치 불변량임을 증명하고, 애매한 부분관계를 통한 합성 자유곱에 대해 덧셈 공식을 수립하며, 궤도 동치 이론의 핵심 결과들(비용 공식 및 트리형 등차관계의 소픽성 포함)에 대한 순수 조합적 증명을 제공한다.

ABSTRACT

Given an ergodic probability measure preserving dynamical system $\G\acts (X,μ)$, where $\G$ is a finitely generated countable group, we show that the asymptotic growth of the number of finite models for the dynamics, in the sense of sofic approximations, is an invariant of orbit equivalence. We then prove an additivity formula for free products with amenable (possibly trivial) amalgamation. In particular, we obtain purely combinatorial proofs of several results in orbit equivalence theory.

연구 동기 및 목표

• 소픽 근사를 사용하여 유한 생성된 군의 확률 측도를 보존하는 작용에 대해 새로운 조합적 불변량인 소픽 차원을 정의한다.
• 이 불변량이 생성 집합의 선택과 무관하게 궤도 동치에 대해 불변임을 증명한다.
• 애매한 합성에 의한 등차관계의 자유합성에서 소픽 차원에 대한 덧셈 공식을 수립한다.
• 궤도 동치 이론의 고전적 결과들(비용 공식 및 트리형 등차관계의 소픽성 포함)에 대한 순수 조합적 증명을 제공한다.
• 등차관계의 비용과 소픽 차원을 연결하고, 트리형, 에르고딕, 유한 생성인 경우에 등식이 성립함을 보인다.

제안 방법

• 정밀도 $ \delta $ 에서 대칭군으로의 $ \rho $-근사 준동형의 수의 渐近적 성장률을 정의함으로써 유한 동역학 생성 집합 $ F $ 의 소픽 차원 $ s(F) $ 를 정의한다.
• 소픽 근사를 사용하여 유한 집합 위에서의 동역학의 유한 모델을 세고, 집합 크기의 증가와 정밀도 향상에 따라 극한을 취한다.
• 함수 $ \Theta $ 를 이용한 수세기적 추론을 적용하여 $ \varphi \in \mathrm{SA}(F_1' \cup F_2', n, \delta, d) $ 를 쌍 $ (\varphi_1, \theta \varphi_2 \theta^{-1}) $ 와 연결하고, 공액군의 크기를 통해 이러한 사상의 수를 유계화한다.
• 성장률을 제어하기 위해 $ \mathrm{NSA}_G(F_1' \cup F_2', n, \delta, d_{G}d) \leq \mathrm{NSA}_G(F_1', n, \delta, d_{G}d) \cdot \mathrm{NSA}_G(F_2', n, \delta, d_{G}d) \cdot \frac{|[d_{G}d]_G|}{(d_{G}d)!} $ 를 증명한다.
• 등식이 성립하도록 보장하고 $ s(R) $ 와 $ R $ 의 비용을 연결하기 위해 $ s $-정규성 조건을 도입한다.
• Hjorth의 정리를 활용하여 에르고딕이고 유한 생성인 등차관계를 더 단순한 관계들의 자유합성으로 분해하고, 귀납법을 적용하여 $ s(R) \geq \mathrm{cost}(R) $ 를 증명한다.

실험 결과

연구 질문

• RQ1 동역학계에 대한 소픽 모델의 渐近적 성장률이 궤도 동치에 대해 불변인지 여쭙는다.
• RQ2 합성 자유곱의 등차관계에 대해 소픽 차원을 사용하여 비용 공식을 도출할 수 있는가?
• RQ3 트리형 에르고딕 등차관계의 소픽 차원이 그 비용과 같은가?
• RQ4 소픽 차원이 생성 집합의 선택과 무관하게 궤도 분할에 대한 불변량인가?
• RQ5 궤도 동치 이론의 결과를 증명할 때 분석적 또는 연산자 대수학적 도구를 대체할 수 있는 순수 조합적 추론이 가능한가?

주요 결과

• 소픽 차원 $ s(F) $ 는 작용 $ \Gamma \curvearrowright (X,\mu) $ 의 궤도 동치류의 불변량이며, 오직 궤도 분할에만 의존한다.
• 애매한 부분관계를 통한 자유합성 $ R = R_1 *_{R_3} R_2 $ 에서 $ R_3 $ 이 애매하고 $ R_1, R_2 $ 가 $ s $-정규일 경우, 소픽 차원은 $ s(R) = s(R_1) + s(R_2) - 1 + \mu(D) $ 를 만족하며, 여기서 $ D $ 는 $ R_3 $ 의 유한 성분의 기본 영역이다.
• 모든 트리형 에르고딕 pmp 등차관계는 $ s $-정규이며, $ s(R) = \mathrm{cost}(R) $ 를 만족한다. 이는 그 소픽성을 순수 조합적 방법으로 증명한 것이다.
• 소픽 차원 $ s(R) $ 는 비용에 의해 위에서 유계이며, 트리형 관계에서는 등식이 성립하므로 이러한 관계는 소픽임을 시사한다.
• 만약 $ R_3 $ 가 분산되어 있어도 부등식 $ s(R) \leq s(R_1) + s(R_2) - 1 + \mu(D) $ 는 여전히 성립하며, 이 경우 $ s(R) \leq s(R_1) + s(R_2) - 1 $ 이다.
• 증명 기법은 소픽 모델을 세고, 군의 교환자군을 통해 호환 가능한 사상의 수를 유계화하는 데 기반하며, 반면 바나흐-볼타르 대수 기법을 사용하지 않는다.