[논문 리뷰] On Veech's proof of Sarnak's theorem on the Möbius flow

El Houcein El Abdalaoui|arXiv (Cornell University)|2017. 11. 15.

Analytic Number Theory Research참고 문헌 12인용 수 6

한 줄 요약

이 논문은 모비우스 흐름에 대한 사르나크의 정리에 대한 비치의 증명을 제시하며, 모비우스 흐름 상의 허용 가능한 측도의 유일성을 확립한다. 비치의 결과를 타오의 로그 밀도 정리와 결합함으로써, 저자들은 사르나크의 추측이 초우주 추측과 동치임을 보이며, 모비우스 함수가 로그 밀도 1인 부분수열에 대해 준일반적임을 보인다.

ABSTRACT

We present Veech's proof of Sarnak's theorem on the Möbius flow which say that there is a unique admissible measure on the Möbius flow. As a consequence, we obtain that Sarnak's conjecture is equivalent to Chowla conjecture with the help of Tao's logarithmic Theorem which assert that the logarithmic Sarnak conjecture is equivalent to logaritmic Chowla conjecture, furthermore, if the even logarithmic Sarnak's conjecture is true then there is a subsequence with logarithmic density one along which Chowla conjecture holds, that is, the Möbius function is quasi-generic.

연구 동기 및 목표

• 모비우스 흐름에 대한 사르나크 정리에 대한 비치의 비공개 증명을 제시하고 형식화하여, 허용 가능한 측도의 유일성을 확립한다.
• 로그 밀도와 측도론적 동역학의 관점에서 사르나크 추측과 초우주 추측 간의 동치성을 명확히 한다.
• 특히 궤도 폐쇄와 일반성의 관점에서 이동 사상 하에서 모비우스 함수의 동역학적 성질을 조사한다.
• 특히 순환 행렬과 바커 수열과의 관련성에서 모비우스 함수와 하다르드 행렬 간의 연결 고리를 탐색한다.
• 로그 밀도 초우주 추측을 가정할 경우, 모비우스 함수가 로그 밀도 1인 부분수열에 대해 준일반적임을 보여준다.

제안 방법

• 위상 동역학과 측도론적 성질에 기반하여, 비치의 논증을 활용해 모비우스 흐름 상의 허용 가능한 측도가 유일함을 증명한다.
• 타오의 로그 밀도 정리를 적용하여, 로그 밀도 사르나크 추측이 로그 밀도 초우주 추측과 동치임을 주장한다.
• 비치 사상 Φ를 사용해 모비우스 함수 μ의 제곱 자유 및 부호 성분을 연결함으로써, 궤도 폐쇄를 통한 일반성 분석을 가능하게 한다.
• 핀스커 대수와 조건부 기대를 사용해 불변 측도의 구조와 모비우스 함수와의 관계를 분석한다.
• 포트만테오 정리와 파르타사라티의 정리를 적용하여, 부분이동 공간에서 모비우스 함수의 일반성을 확립한다.
• 궤도 폐쇄 O(μ)가 모비우스 측도 μ_M의 지지역과 일치함을 이용해, ±1 블록의 균일 분포를 유도한다.

실험 결과

연구 질문

• RQ1 비치의 증명에 의해 확립된 바로, 모비우스 흐름 상의 허용 가능한 측도는 유일한가?
• RQ2 로그 밀도 사르나크 추측은 로그 밀도 1인 부분수열이 존재함으로써 모비우스 함수가 초우주 조건을 만족함을 보장하는가?
• RQ3 모비우스 함수의 궤도 폐쇄 O(μ)는 전체 허용 부분이동 A₃ 와 동일한가?
• RQ4 모비우스 함수의 일반성과 순환 하다르드 행렬 또는 바커 수열의 존재 간의 관계는 무엇인가?
• RQ5 비치의 추측, 즉 핀스커 대수에 대한 φ₁의 조건부 기대가 η-거의 어디서나 0임을 가정할 경우, 사르나크의 추측이 도출되는가?

주요 결과

• 비치의 증명에 의해 모비우스 흐름 상의 허용 가능한 측도는 유일하며, 이는 논문의 논증 기반의 핵심 요소이다.
• 비치의 유일성 결과와 타오의 로그 밀도 정리를 결합함으로써, 사르나크 추측은 초우주 추측과 동치임을 보였다.
• 로그 밀도 1인 부분수열에서 모비우스 함수는 초우주 추측을 만족하며, 균일한 블록 분포의 의미에서 준일반적임을 의미한다.
• 이동 사상 하에서 모비우스 함수의 궤도 폐쇄 O(μ)는 모비우스 측도 μ_M의 지지역과 일치하며, 이는 모비우스 함수가 μ_M에 대해 일반적임을 의미한다.
• μ에 대한 비치 사상의 이미지의 두 번째 성분은 정규 수이며, 이는 모비우스 함수의 ±1 블록이 균일하게 분포함을 확인한다.
• 증명은 모비우스 함수와 하다르드 행렬 간의 깊은 연결 고리를 드러내며, 특히 바커 수열의 존재와 순환 하다르드 행렬 추측을 통해 이를 뒷받침한다.