[논문 리뷰] Ultraproducts, weak equivalence and sofic entropy

Alessandro Carderi|arXiv (Cornell University)|2015. 09. 10.

Mathematical and Theoretical Analysis참고 문헌 12인용 수 6

한 줄 요약

이 논문은 가산군의 확률 측도를 보존하는 작용이 확산 확률 공간 위에서 이루어질 경우, 그 작용이 표준 확률 공간 위의 작용과 약하게 동치임을 증명하며, 초수체를 통한 수렴을 특징짓는 약한 동치류에 대한 거리 위상 구조를 도입한다. 주요 기여는 프로파인트 작용이 유한 작용의 초수체와 약하게 동치임을 증명하는 것으로, 이는 자유군 및 특정 성질 (T)를 가진 군에 대해 소픽 엔트로피가 소픽 근사의 선택에 따라 크게 달라질 수 있음을 암시하는 따름정리로 이어진다.

ABSTRACT

In this work, we study pmp actions of countable groups on arbitrary diffuse probability spaces under the point of view of weak equivalence. We will show that any such an action is weakly equivalent to an action on a standard probability space. We also propose a metric on the space of actions modulo weak equivalence which is equivalent to the topology of Abért and Elek. We will give a simpler proof of the compactness of the space, showing that convergence is characterized by ultraproducts. Using this topology, we will show that a profinite action is weakly equivalent to an ultraproduct of finite actions. Finally, combining our results with another result of Abért and Elek, we will obtain a corollary about sofic entropy. We will show that for free groups and some property (T) groups, sofic entropy of profinite actions depends crucially on the chosen sofic approximation.

연구 동기 및 목표

• 확산 확률 공간 위의 모든 pmp 작용이 표준 확률 공간 위의 작용과 약하게 동치임을 증명하는 것.
• 약한 동치류에 대한 컴팩트한 거리 위상 구조를 정의하여 Abért와 Elek의 위상과 동치임을 보이는 것.
• 이 위상에서의 수렴이 초수체를 통해 특징지워짐을 보여, 컴팩트성에 대한 새로운 단순화된 증명을 제공하는 것.
• 프로파인트 작용이 유한 작용의 초수체와 약하게 동치임을 증명함으로써 군론적 구조와 동역학적 동치의 관계를 연결하는 것.
• 이 결과들을 소픽 엔트로피에 적용하여, 엔트로피 값이 사용된 소픽 근사에 따라 극적으로 달라질 수 있음을 보여주는 것.

제안 방법

• 군 작용에 의한 분할의 F-통계량의 근사에 의한 약한 포함의 정의를 사용한다.
• 통계의 渐近적 근사에 기반한 거리 위상을 도입하여 Abért와 Elek의 위상과 동치임을 보이는 것.
• 초수체 구성 기법을 적용하여 작용의 수열의 극한이 초수체에 대응함을 보여, 컴팩트성 증명을 수행한다.
• 프로파인트 작용이 유한 몫군 $G/H_n$의 극한으로 나타남을 이용하고, 이러한 극한이 $G/H_n$의 초수체와 약하게 동치임을 보이는 것.
• Abért와 Elek의 소픽 엔트로피 결과를 활용하고 초수체 특성과 결합하여 소픽 근사의 선택에 따른 엔트로피 의존성 분석을 수행한다.
• Lemma 3.13을 활용하여 임의로 작은 엔트로피를 가진 생성 분할을 구성함으로써 Bowen의 대각곱에 대한 정리에 따라 엔트로피 계산을 가능하게 한다.

실험 결과

연구 질문

• RQ1 확산 확률 공간 위의 모든 pmp 작용은 표준 확률 공간 위의 작용과 약하게 동치가 될 수 있는가?
• RQ2 표준 공간 위의 작용에 대한 약한 동치류 위상은 초수체 수렴을 특징짓는 거리 위상과 동치인가?
• RQ3 프로파인트 작용은 유한 작용의 초수체와 약하게 동치인가?
• RQ4 자유군이나 $\mathrm{PSL}_k(\mathbb{Z})$와 같은 군에 대해 프로파인트 작용의 소픽 엔트로피는 소픽 근사의 선택에 따라 달라지는가?
• RQ5 한 소픽 근사에서는 양의 엔트로피를 가지며 다른 소픽 근사에서는 $-\infty$가 되는 작용을 구성할 수 있는가?

주요 결과

• 모든 확산 확률 공간 위의 pmp 작용은 Theorem 2.15에 의해 표준 확률 공간 위의 작용과 약하게 동치임을 보였다.
• 약한 동치류 공간 $\overline{\operatorname{Act}}(G)$는 Abért와 Elek의 위상과 동치인 컴팩트한 거리 위상 구조를 지닌다. 이 위상에서의 수렴은 초수체에 의해 특징지워진다.
• 프로파인트 작용은 유한 작용의 초수체와 약하게 동치임이 Corollary B에 의해 입증되었다.
• 자유군과 $\mathrm{PSL}_k(\mathbb{Z})$ ($k \geq 2$)에 대해, 한 소픽 근사에서는 소빅 엔트로피가 $r \geq 0$이고 다른 소픽 근사에서는 $-\infty$가 되는 작용이 존재함을 Theorem 3.12에 의해 보였다.
• $\mathrm{PSL}_k(\mathbb{Z})$ ($k \geq 3$)에 대해, 동치가 아닌 합동부분군의 사슬을 통해, 약하게 불동치인 프로파인트 작용의 연속체가 존재함을 입증하였다.
• Theorem 3.12의 증명은 Lemma 3.13을 통해 임의로 작은 엔트로피를 가진 생성 분할을 구성하고, Bowen의 대각곱에 대한 정리를 적용하여 엔트로피를 계산하는 데 의존한다.