[논문 리뷰] Möbius disjointness for analytic skew products

Zhiren Wang|arXiv (Cornell University)|2015. 09. 10.

Analytic Number Theory Research참고 문헌 10인용 수 5

한 줄 요약

이 논문은 2-토러스 위의 해석적 스케일 제품에 대해 사르나크의 모비우스 분리 추측을 증명하며, 모비우스 함수가 이러한 시스템의 역학과 점 渐近적으로 직교함을 보여준다. 증명은 푸르스텐베르크의 동역학적 이분법, 보르게인-사르나크-지에르슬러 기준, 그리고 마토마키-라즈디비르-타오의 곱셈 함수에 대한 단기 간격 추정치를 조합하여, 임의의 연속 함수 $ f $ 와 초기 조건 $ (x_0,y_0) $ 에 대해 $ \mu(n)f(T^n(x_0,y_0)) $ 의 평균이 0으로 수렴함을 확립한다.

ABSTRACT

We show that the Möbius function is disjoint to every analytic skew product dynamical system on the two-torus over a rotation of the circle.

연구 동기 및 목표

• 해석적 스케일 제품에 대해 사르나크의 모비우스 분리 추측을 증명하며, 스케일 함수의 푸리에 계수에 하한 조건이 필요하지 않게 한다.
• 이전에 알려진 사례를 초월하여 불규칙한 동역학 시스템의 범주를 확장하여 모비우스 분리성이 성립함을 보인다.
• 이전에 반데르 코르푸의 방법을 적용하기 위해 필요로 했던 $ h $ 의 푸리에 계수에 대한 지수적 하한 조건이 필요 없도록 한다.
• 모비우스 분리성이 거의 모든 점이 아니라 모든 초기 조건에 대해 점별로 성립함을 보여준다.

제안 방법

• 푸르스텐베르크의 동역학적 이분법을 적용하여, 기저 방향에서 유일 측도성 또는 르베그 측도의 유한한 확장을 갖는 시스템으로 분류한다.
• 보르게인-사르나크-지에르슬러 기준을 사용하여 문제를, 서로 다른 소수 $ p_1, p_2 $ 에 대해 $ f(T^{p_1 n}(x_0,y_0)) $ 과 $ f(T^{p_2 n}(x_0,y_0)) $ 의 상관관계가 0으로 수렴함을 보이는 것으로 줄인다.
• 유일 측도성이 실패할 경우, 푸리에 급수를 사용하여 궤도 수열이 길이 $ l $ 의 구간에서 주기 수열(주기 $ Q $)로 잘 근사됨을 보인다. 이때 $ l $ 은 $ Q $ 에 대해 지수적으로 크다.
• 주기적 근사 수열을 모듈로 $ Q $ 의 딜리클레 특성으로 분해하여 문제를 $ \mu(n)\chi(n) $ 이 짧은 간격에서 평균을 취할 때의 제어로 환원한다.
• 비pretentious 곱셈 함수에 대한 마토마키-라즈디비르-타오 정리의 단기 간격 평균 추정치를 활용하여 $ \mu(n)\chi(n) $ 의 평균을 유계로 제한한다.
• 모든 특성에 대해 유계를 조합하고, $ l $ 이 $ Q $ 에 비해 지수적으로 증가함을 이용하여 오차 누적이 방지되며, 이로 인해 전체적으로 분리성이 확보된다.

실험 결과

연구 질문

• RQ1 스케일 함수 $ h $ 의 푸리에 계수가 하한 조건을 만족하지 않더라도, $ \mathbb{T}^2 $ 위의 모든 해석적 스케일 제품에 대해 모비우스 분리성이 성립하는가?
• RQ2 empirical 측도가 약한 수렴을 하지 않는 불규칙한 동역학 시스템에 대해 보르게인-사르나크-지에르슬러 기준을 적용할 수 있는가?
• RQ3 비주어진 특성인 딜리클레 특성 $ \chi $ 에 대해, pretentious 성질을 가정하지 않고도 $ \mu(n)\chi(n) $ 의 짧은 간격에서 평균을 제어할 수 있는가?
• RQ4 동역학적 구조와 곱셈 함수에 대한 수론적 추정치 사이의 상호작용이 비정규 시스템에서 분리성을 가능하게 하는가?

주요 결과

• 모비우스 함수는 $ \mathbb{T}^2 $ 위의 모든 해석적 스케일 제품 동역학 시스템과 분리되며, 모든 연속 함수 $ f $ 와 모든 초기 조건 $ (x_0,y_0) $ 에 대해 $ \frac{1}{N}\sum_{n\leq N}\mu(n)f(T^n(x_0,y_0))\to 0 $ 이다.
• 이 결과는 $ h $ 의 푸리에 계수에 하한 조건이 없이도 성립하므로, 이전에 반데르 코르푸의 방법을 적용하기 위해 필요로 했던 이러한 하한 조건이 필요 없음을 일반화한다.
• 이 증명은 불규칙한 시스템, 특히 푸르스텐베르크의 반례의 위상 동형에 대해 분리성을 보이며, 진정으로 불규칙한 역학에 대해 처음으로 이러한 결과를 확보한다.
• 이 방법은 마토마키-라즈디비르-타오의 단기 간격 평균 추정치에 의존하며, 이는 $ \mu\chi $ 가 비pretentious일 경우 $ l $ 이 크면 $ \mathbb{E}_{n\in[L,L+l)}\mu(n)\chi(n) $ 이 평균적으로 작다는 것을 보장한다.
• 평균 $ \mu(n)f(T^n(x_0,y_0)) $ 의 유계는 $ N\to\infty $ 일 때 0으로 감소하며, 이 감소 속도는 $ \rho_{Sq_k}(\delta N / Sq_k) $ 에 의해 제어되며, $ N $ 이 증가함에 따라 이 값은 0으로 수렴한다.
• 최종 오차 유계는 $ \delta + \left(Sq_k \cdot \rho_{Sq_k}(\delta N / Sq_k) + S^{-1} q_k^{-1} \log^2 q_k\right)^{1/2} $ 의 순서이며, $ \delta $ 를 작게 하고 $ q_k $ 를 크게 선택함으로써 임의로 작게 만들 수 있다.