[논문 리뷰] Sarnak's Conjecture -- what's new

S. Ferenczi, Joanna Kułaga-Przymus외 1명|arXiv (Cornell University)|2017. 10. 11.

Analytic Number Theory Research인용 수 7

한 줄 요약

이 논문은 지난 7년간 Sarnak의 Möbius 분리성에 대한 추측과 관련된 에르고딕 이론의 발전을 종합적으로 개관한다. 초우라 추측, Möbius 분리성, 그리고 동역학계 사이의 연관성을 밝혀내며, 초우라 추측이 푸르스텐베르크의 분리 이론을 통해 Sarnak의 추측을 이끌어내며, 특정 조건 하에서 $$\mathscr{B}$$-free 집합에 대해 다항식 다중 재귀성을 증명한다.

ABSTRACT

An overview of last seven years results concerning Sarnak's conjecture on Möbius disjointness is presented, focusing on ergodic theory aspects of the conjecture.

연구 동기 및 목표

• 2010년에서 2017년 사이 Sarnak의 Möbius 분리성 추측과 관련된 에르고딕 이론의 최신 연구 동향을 조사한다.
• 에르고딕 이론적 방법을 통해 초우라 추측이 Sarnak의 추측에 어떤 영향을 미치는지 명확히 한다.
• Möbius 함수와 르위빌 함수에 의해 생성된 푸르스텐베르크 시스템의 동역학적 성질을 분석한다.
• MOMO 및 AOP 성질이 다양한 동역학계에서 Möbius 분리성을 확립하는 데 어떻게 활용되는지 조사한다.
• 다항식 재귀성 결과를 $$\mathscr{B}$$-free 집합과 곱셈 함수의 수준집합으로 확장한다.

제안 방법

• Möbius 함수가 준준균일적(quasi-generic)인 측도에 대해 에르고딕성을 분석하기 위해 KBSZ 기준과 프랑츠키나키스의 정리를 활용한다.
• 짧은 간격에서의 Davenport 유형 추정과 로그형 초우라 추측을 적용하여 곱셈 함수의 평균 제곱 bound를 도출한다.
• 푸르스텐베르크의 분리 이론을 적용하여 초우라 추측이 영 엔트로피 시스템에서 Möbius 분리성과 어떻게 연결되는지 분석한다.
• 변동 원리를 적용하여 Sarnak의 추측을 코모고로프-신사이 엔트로피가 0인 측도 이론적 시스템의 관점에서 재구성한다.
• 유리수 집합과 나누어떨어짐의 개념을 활용하여 $$\mathscr{B}$$-free 집합에서의 다항식 재귀성을 특성화한다.
• 마토마키와 라드지비리의 짧은 간격에서의 곱셈 함수에 관한 결과를 응용하여 에르고딕적 및 수론적 의미를 강화한다.

실험 결과

연구 질문

• RQ1 초우라 추측은 에르고딕 이론적 분리 이론을 통해 Sarnak의 추측을 이끌어내는가?
• RQ2 Möbius 함수와 르위빌 함수로부터 생성된 푸르스텐베르크 시스템의 동역학적 성질은 무엇인가?
• RQ3 어떤 조건에서 $$\mathscr{B}$$-free 집합이 다항식 다중 재귀성의 평균 집합이 되는가?
• RQ4 MOMO 및 AOP 성질은 동역학계에서 Möbius 분리성을 어떻게 특성화하는가?
• RQ5 곱셈 함수의 수준집합 또는 $$\mathscr{B}$$-free 집합의 자기 이동(self-shift) 중 어떤 것이 다항식 다중 재귀성을 지원하는가?

주요 결과

• 초우라 추측은 푸르스텐베르크 분리 이론의 에르고딕 이론적 프레임워크를 통해 Sarnak의 추측을 이끌어낸다.
• 프랑츠키나키스의 정리에 따르면, Möbius 함수가 측도에 대해 준준균일적이라면, 그 시스템은 영 엔트로피를 가지며 Möbius 분리성을 만족한다.
• 양의 밀도를 가지는 유리수 $$\mathscr{B}$$-free 집합의 경우, 나누어떨어짐은 다항식 다중 재귀성의 평균 집합임과 동치이다.
• $$\mathscr{B}$$가 타우트(taut)일 경우, $${\cal F}_{\mathscr{B}} - r$$가 다항식 다중 재귀성의 평균 집합이 되는 이동 $$r$$의 집합은 $${\cal F}_{\mathscr{B}}$$에서 전밀도(full density)를 가진다.
• 양의 밀도를 가지는 곱셈 함수의 수준집합의 모든 자기 이동은 다항식 다중 재귀성의 평균 집합이다.
• 임의의 $$\mathscr{B}$$-free 집합이 부분수열 $$(N_k)$$에 따라 양의 밀도를 가질 경우, $${\cal F}_{\mathscr{B}}$$의 전밀도 부분집합 $$D$$가 존재하여 모든 $$r \in D$$에 대해 $${\cal F}_{\mathscr{B}} - r$$가 다항식 다중 재귀성의 평균 집합이 된다.