[논문 리뷰] On the correlation of the Moebius function with random rank-one systems

Jean Bourgain|arXiv (Cornell University)|2011. 12. 05.

Mathematical Dynamics and Fractals참고 문헌 2인용 수 10

한 줄 요약

이 논문은 일반화된 Riesz 곱과 조화 분석, 지수 합 추정을 통해 스펙트럼 측도를 분석함으로써 일반화된 Chacon 및 Katok 시스템을 포함한 광범위한 랭크-원 동역학계에 대해 Möbius 분리성 성질을 확립한다. 이는 구성 매개변수에 대한 온건한 조건 하에서 이러한 시스템에 대해 소수 정리의 일반화를 확장한다.

ABSTRACT

We explore the `Moebius disjointness property' in the special context of rank-one transformations and verify this phenomenon for many of the `classical' models

연구 동기 및 목표

• 랭크-원 동역학계, 특히 혼합되지 않을 수도 있는 경우에도 Möbius 분리성 성질을 확립하기 위해.
• 기존의 MSJ(최소 자기결합) 결과의 범위를 초월하여 기호적 시스템의 궤도에 대한 Möbius 함수의 수직성을 확장하기 위해.
• 특정 구조 조건을 만족하는 시스템, 특히 일부 삼구간 교환 변환에 대해 점별 소수 정리 증명하기 위해.
• 변환의 거듭제곱들의 분리성과 스펙트럼 측도 분석을 위해 일반화된 Riesz 곱을 기반으로 한 조화 분석 기법 개발하기 위해.
• 스펙트럼 특이성에 기반한 경우와 지수 합 추정에 기반한 경우로 나누어 강성 및 약한 혼합 시스템을 동시에 다루기 위해.

제안 방법

• 랭크-원 시스템의 최대 스펙트럼 유형을 일반화된 Riesz 곱으로 표현하여 변환의 거듭제곱에 대한 스펙트럼 분석 가능하게 한다.
• 이분법 적용: 스피서가 균일하게 분포하지 않으면서 (0.7)을 위반하는 경우, 시스템은 강성이며 지수 합 추정을 통해 다루고, 그렇지 않으면 스펙트럼 측도 감쇠를 통해 T^p와 T^q의 분리성 입증.
• 소수 및 주요 호를 포함한 하디-리틀우드 원주법을 적용하고, 지수 합의 제한된 L1 노름을 사용하여 Möbius 함수와의 상관관계를 추정.
• 시스템의 언어 내 단어의 특성 함수에 대해 지수 합 ∑ µ(n)e(nθ)의 L1 노름에 대한 추정을 도출하여 O(N(log N)^{-A}) 감쇠 달성.
• 스피서 수열을 기반으로 한 삼각 다항식 P_j(θ)를 도입하여 스펙트럼 행동을 모델링하고, n → ∞ 일 때 ∫ |P_j(pθ)P_j(qθ)| dθ → 0 임을 증명.
• 스펙트럼 기법과 삼구간 교환 시스템에서의 복귀 단어에 대한 조합적 추정을 조합하여 Möbius 수직성 조건 검증.

실험 결과

연구 질문

• RQ1 스피서 수열 (an,j)과 커팅 매개변수 (wn)에 대해 어떤 조건에서 Möbius 함수가 랭크-원 변환의 궤도와 수직이 되는가?
• RQ2 일반화된 Chacon 지도와 같은 비혼합, 강성 랭크-원 시스템에 대해 Möbius 분리성이 확립될 수 있는가?
• RQ3 지수 합 추정과 스펙트럼 분석이 MSJ 성질을 대체하여 서로 다른 소수 p, q에 대해 T^p와 T^q의 분리성을 증명하는 데 얼마나까지 활용될 수 있는가?
• RQ4 특정 조건을 만족하는 기호적 시스템, 특히 3-IET에 대해 점별 소수 정리를 유도할 수 있는가?
• RQ5 제한된 스피서를 가진 시스템에서 Möbius 함수에 대해 ∑ f(n)e(nθ)의 L1 노름의 최적 감쇠율은 무엇인가?

주요 결과

• wn < C 및 모든 n, j에 대해 an,j < C 를 만족하는 임의의 랭크-원 시스템의 궤도에 대해 Möbius 함수는 수직이다.
• 이러한 시스템에서 Möbius 함수에 대해 지수 합 ∑_{n=1}^N f(n)e(nθ)의 L1 노름은 임의의 A > 0에 대해 O(N(log N)^{-A})로 감쇠한다.
• B_{n+1} = B_n^{p_n} 1 B_n^{q_n} 이며 p_n + q_n → ∞ 인 일반화된 Chacon 시스템은 Möbius 분리성을 만족한다.
• B_{n+1} = B_n^{p_n} (B_n 1)^{p_n} 로 정의된 Katok의 시스템은 p_n → ∞ 이며 충분히 빠르게 수렴할 경우 Möbius 분리성을 만족한다.
• Keane 조건을 만족하고 모든 k에 대해 min(m_k, n_k) > C_0 인 삼구간 교환 변환에 대해 시스템은 Möbius 분리성과 점별 소수 정리를 모두 만족한다.
• 오차 항의 로그 인자로 인해 원주법을 정교화함으로써 제거 가능하여, ∫ |PW| ≲ (log K)^3 Q^ε K^ε 추정을 도출할 수 있으며, 이는 표준 하디-리틀우드 분석 적용 가능하게 한다.