[논문 리뷰] Weak containment and Rokhlin entropy

Brandon Seward|arXiv (Cornell University)|2016. 02. 22.

Advanced Operator Algebra Research참고 문헌 18인용 수 21

한 줄 요약

이 논문은 군 작용과 조인잉스에 대한 약한 포함의 새로운 개념을 도입하며, 상대 Rokhlin 엔트로피 사이의 부등식을 확립하여 Rokhlin 엔트로피에 대한 새로운 상한을 이끌어낸다. 약한 포함 조건 하에서 곱 작용의 Pinsker 대수는 개별 Pinsker 대수의 곱과 일치함을 증명하여, 비가역 군에 대한 엔트로피 이론에서 핵심적인 구조적 질문을 해결한다.

ABSTRACT

We define a new notion of weak containment for joinings, and we show that this notion implies an inequality between relative Rokhlin entropies. This leads to new upper bounds to Rokhlin entropy. We also use this notion to study how Pinsker algebras behave under direct products, and we study the Rokhlin entropy of restricted actions of finite-index subgroups.

연구 동기 및 목표

• 확률 측도를 보존하는 군 작용의 조인잉스에 대한 새로운 약한 포함 개념을 개발하는 것.
• 이 새로운 약한 포함 개념을 사용하여 상대 Rokhlin 엔트로피 사이의 부등식을 확립하는 것.
• 직접 곱 작용에서 Pinsker 대수의 행동을 분석하는 것.
• 유한 지수 부분군의 제한된 작용의 Rokhlin 엔트로피를 연구하는 것.
• 기존의 약한 포함과 엔트로피에 관한 결과를 비가역 군과 일반적인 조인잉스로 확장하는 것.

제안 방법

• 조인잉스에 대한 새로운 약한 포함 정의를 도입: $G \curvearrowright(X\times Z,\rho)$ 가 $G\curvearrowright(X\times Y,\lambda)$ 를 $G\curvearrowright(X,\mu)$ 에 관해 약하게 포함한다는 것은, 모든 유한 순서 분할 $\alpha$ of $X$, $\gamma$ of $Y$, 유한 집합 $T\subseteq G$, 및 $\epsilon>0$ 에 대해, $Z$ 의 분할 $\zeta$ 가 존재하여 $|\mathrm{dist}_{\rho}(\alpha\vee\zeta^T) - \mathrm{dist}_{\lambda}(\alpha\vee\gamma^T)| < \epsilon$ 이 성립함을 의미한다.
• 이 정의를 사용하여, $G\curvearrowright(X\times Z,\rho)$ 가 조인잉스로서 $G\curvearrowright(X\times Y,\lambda)$ 를 약하게 포함한다면, 임의의 $G$-불변 부분 $\sigma$-대각선 $\mathcal{F}$ 에 대해 $h_G(X\times Z,\rho \mid \mathcal{F}\vee\mathcal{B}(Z)) \leq h_G(X\times Y,\lambda \mid \mathcal{F}\vee\mathcal{B}(Y))$ 를 증명한다.
• 이 부등식을 이용해 곱 작용의 Pinsker 대수를 연구하여, 양 측면 모두에서 약한 포함 조건이 성립할 경우 $\Pi(\mu\times_{\theta}\nu \mid \mathcal{F}\vee\Sigma) = \Pi(\mu \mid \mathcal{F}) \vee \Pi(\nu \mid \Sigma)$ 임을 보인다.
• 소피 엔트로피 이론과 Rokhlin 엔트로피 이론을 활용하여, 약한 포함과 상대 엔트로피에 기반한 Rokhlin 엔트로피의 상한을 도출한다.
• Bernoulli 이동이 모든 자유 작용에 약하게 포함된다는 사실을 활용하여, $G\curvearrowright(Y,\nu)$ 가 모든 자유 작용에 약하게 포함되어 있을 경우 $\Pi(\mu\times\nu \mid \mathcal{F}\vee\mathcal{B}(Y)) = \Pi(\mu \mid \mathcal{F}) \vee \mathcal{B}(Y)$ 를 증명한다.
• 샤논 엔트로피의 단조성과 조건부 엔트로피 항등식을 활용하여, Pinsker 대수에 대한 분할의 엔트로피를 동치로 만들며, 이로써 $\sigma$-대수의 등식을 이끌어낸다.

실험 결과

연구 질문

• RQ1 조인잉스의 약한 포함이 상대 Rokhlin 엔트로피 사이의 부등식을 유도하는가?
• RQ2 직접 곱 작용에서 Pinsker 대수의 행동은 어떻게 되는가?
• RQ3 조인잉스의 약한 포함을 통해 Rokhlin 엔트로피를 상한으로 제시할 수 있는가?
• RQ4 두 요소 모두가 자신의 안정자 유형의 모든 작용에 약하게 포함되어 있을 경우, 곱 작용의 Pinsker 대수의 구조는 어떻게 되는가?
• RQ5 Rokhlin 엔트로피는 유한 지수 부분군으로의 제한에 어떻게 반응하는가?

주요 결과

• 새로운 조인잉스에 대한 약한 포함 개념은 비주기적 작용에 대해 부등식 $h_G(X\times Z,\rho \mid \mathcal{F}\vee\mathcal{B}(Z)) \leq h_G(X\times Y,\lambda \mid \mathcal{F}\vee\mathcal{B}(Y))$ 를 유도한다.
• 만약 $G\curvearrowright(Y,\nu)$ 가 모든 자유 작용에 약하게 포함되어 있다면 $\Pi(\mu\times\nu \mid \mathcal{F}\vee\mathcal{B}(Y)) = \Pi(\mu \mid \mathcal{F}) \vee \mathcal{B}(Y)$ 이다.
• 비주기적 작용이 자신의 안정자 유형의 모든 작용에 약하게 포함되어 있을 경우 $\Pi(\mu\times_{\theta}\nu \mid \mathcal{F}\vee\Sigma) = \Pi(\mu \mid \mathcal{F}) \vee \Pi(\nu \mid \Sigma)$ 이다.
• 약한 포함 조건 하에서 곱 작용의 Pinsker 대수는 개별 Pinsker 대수의 곱과 일치한다.
• 유한 지수 부분군의 제한된 작용의 Rokhlin 엔트로피는 원래 작용의 Rokhlin 엔트로피 이하로 상한이 정해진다.
• 모든 유한 분할 $\mathcal{P}$ 에 대해 $\mathrm{H}_{\mu\times_{\theta}\nu}(\mathcal{P} \mid \Pi_{X\times Y}) = \mathrm{H}_{\mu\times_{\theta}\nu}(\mathcal{P} \mid \Pi_X \vee \mathcal{B}(Y))$ 가 성립하며, 이는 주요 대수적 등식을 증명하는 데 핵심적인 역할을 한다.