[논문 리뷰] Sequences from zero entropy noncommutative toral automorphisms and Sarnak Conjecture

Wen Huang, Zhengxing Lian외 2명|arXiv (Cornell University)|2015. 10. 19.

Advanced Algebra and Geometry참고 문헌 13인용 수 4

한 줄 요약

이 논문은 $C^*$-대수에서 정의된 0 엔트로피 비가환 토럴 자동형사에 의해 생성된 수열이 노름수열과 0 밀도 수열으로 분해됨을 증명한다. 보이쿨루-브라운 엔트로피와 비가환군 위의 표현 이론을 이용하여 저자들은 이러한 수열이 모비우스 함수로부터 선형적으로 분리됨을 증명하며, 이는 이 계열의 시스템에 대해 비가환 $C^*$-대수적 버전의 사르나크 추측을 확인한다.

ABSTRACT

In this paper we study $C^*$-algebra version of Sarnak Conjecture for noncommutative toral automorphisms. Let $A_Θ$ be a noncommutative torus and $α_Θ$ be the noncommutative toral automorphism arising from a matrix $S\in GL(d,\mathbb{Z})$. We show that if the Voiculescu-Brown entropy of $α_Θ$ is zero, then the sequence $\{ρ(α_Θ^nu)\}_{n\in \mathbb{Z}}$ is a sum of a nilsequence and a zero-density-sequence, where $u\in A_Θ$ and $ρ$ is any state on $A_Θ$. Then by a result of Green and Tao, this sequence is linearly disjoint from the Möbius function.

연구 동기 및 목표

• 사르나크의 추측에서 모비우스 함수 분리성의 비가환 $C^*$-대수적 버전을 비가환 토럴 자동형사로 확장한다.
• 0 Voiculescu-Brown 엔트로피를 가진 비가환 토럴 자동형사로부터 유도된 수열을 분석한다.
• 이러한 수열이 노름수열과 0 밀도 수열로 분해됨을 보여, 모비우스 함수로부터 선형적으로 분리됨을 입증한다.
• 비가환 동역학에서 결정론적 수열을 연구하기 위한 $C^*$-대수적 프레임워크를 수립한다.

제안 방법

• 0 엔트로피 자동형사와 모비우스 함수 분리성 간의 연결을 통해 사르나크 추측의 $C^*$-대수적 표현을 사용한다.
• Voiculescu-Brown 엔트로피 이론을 적용하여 0 엔트로피를 가진 비가환 토럴 자동형사를 분류한다.
• 힐베르트 공간 위의 유니터리 연산자로 동역학을 표현하고, 상태 벡터를 연속 부분공간과 약한 혼합 부분공간의 성분으로 분해한다.
• 비가환군 위의 다항식 군 작용을 이용하여, 연속 부분공간 위의 유니터리 표현의 행렬 계수가 노름수열을 유도함을 보인다.
• 약한 혼합 성분이 오직 0 밀도 수열만 기여하며, 이는 케사로 평균에 영향을 주지 않는다는 것을 증명한다.
• 그린과 타오의 결과(노름수열이 모비우스 함수로부터 선형적으로 분리됨)를 활용하여 주요 결과를 도출한다.

실험 결과

연구 질문

• RQ1 Voiculescu-Brown 엔트로피가 0인 비가환 토럴 자동형사에 대해 $C^*$-대수적 사르나크 추측을 검증할 수 있는가?
• RQ2 자동형사 $\alpha_{\Theta}$의 엔트로피가 0일 때 수열 $\{\rho(\alpha_{\Theta}^n u)\}$의 동역학적 구조는 어떠한가?
• RQ3 자동형사의 유니터리 표현의 스펙트럼 성분이 수열의 산술적 성질에 미치는 영향은 무엇인가?
• RQ4 Voiculescu-Brown 엔트로피가 0인 경우 수열 $\{\rho(\alpha_{\Theta}^n u)\}$은 모비우스 함수로부터 선형적으로 분리되는가?
• RQ5 이러한 수열은 노름수열과 무시할 만한(0 밀도) 부분으로 분해될 수 있는가?

주요 결과

• Voiculescu-Brown 엔트로피가 0일 때 수열 $\{\rho(\alpha_{\Theta}^n u)\}_{n \in \mathbb{Z}}$ 는 노름수열과 0 밀도 수열의 합으로 표현됨이 입증된다.
• 노름수열 성분은 자동형사에 대해 불변인 유니터리 표현의 연속 스펙트럼 부분공간에서 기인한다.
• 약한 혼합 성분은 오직 0 밀도 수열만 기여하며, 이는 모비우스 함수에 대한 케사로 평균에서 사라진다.
• 이 분해는 비가환군 위의 다항식 군 작용의 행렬 계수가 노름수열을 유도한다는 사실에 기반한다.
• 결과적으로 이는 0 엔트로피 비가환 토럴 자동형사에 대해 $C^*$-대수적 사르나크 추측을 확인한다.
• 증명은 다항식 군 원소의 귀납적 분해와 연속 스펙트럼 부분공간 내 유한 선형 조합으로서의 고유벡터 근사에 기반한다.