[논문 리뷰] The Mobius disjointness conjecture for distal flows

Jianya Liu, Peter Sarnak|arXiv (Cornell University)|2014. 06. 27.

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

한 줄 요약

이 논문은 2-토러스 위의 비선형 distal 유동에 대해 모비우스 함수의 선형 독립성 추측을 증명한다. 특히 해석적 함수 h가 특정 감쇠 조건을 만족하는 형태의 매끄러운 스케일 프로덕트 $T(x,y) = (ax + \alpha, cx + dy + h(x))$를 고려한다. 유한 버전의 비노그라드 방법, 푸리에 분석 및 정적 위상 기법을 사용하여, 시스템이 비정규적(즉, 비르호프 평균이 수렴하지 않음)일지라도 모비우스 함수가 이러한 시스템과 선형 독립임을 입증한다. 이는 이전에 알려진 준정규 또는 정규 케이스를 초월하여 추측을 비선형 및 비정규 시스템으로 확장한다.

ABSTRACT

We summarize main results in our paper "The Mobius function and distal flows", and give a direct proof with rate of that the Mobius function is disjoint from Furstenberg's irregular system. This will be published in the Proceedings of the Sixth ICCM, held in Taipei in 2013.

연구 동기 및 목표

• 비선형, 비정규, distal 동역계에 대해 기존에 알려진 준정규 또는 정규 케이스를 초월하여 모비우스 함수의 선형 독립성 추측을 확장하는 것.
• 모비우스 함수가 해석적 비선형성 $h(x)$를 가진 2-토러스 위의 매끄러운 스케일 프로덕트 유동과 선형 독립임을 입증하는 것. 특히 회전 매개수 $\alpha$가 디오판틴 조건을 만족하지 않을 경우에도 성립한다.
• 비정규 시스템에서 비르호프 에르고딕 평균이 수렴하지 못하는 문제를 해결하기 위해, 부르강-사르나크-지엘러의 유한 비노그라드 방법을 푸리에 분석 및 정적 위상 기법과 융합한 새로운 분석 기법을 개발하는 것.
• 모비우스 함수의 선형 독립성이 편향이 없는 거리 시스템, 특히 투르스텐버그의 예시와 동치인 시스템을 포함한 넓은 범위의 0 엔트로피 distal 시스템에 대해 성립함을 보여주며, 기존의 니르만다이나미컬 및 아핀 토랄 유동 결과를 일반화하는 것.

제안 방법

• 스케일 프로덕트 유동의 구조적 분해 및 동형 변환을 통해 문제를 토러스 케이스로 환원하는 것.
• 모비우스 함수를 포함한 지수 합을 다루기 위해 비노그라드 방법의 유한 버전(Bourgain-Sarnak-Ziegler)을 적용하는 것.
• 푸리에 계수의 급격한 감쇠 성질을 가진 $h(x)$의 지수 합을 추정하기 위해 파울린 합과 정적 위상 기법을 사용하는 것.
• 계수 $a_l(c_1)$를 갖는 비선형 위상 함수 $e(\phi(x))$의 푸리에 전개를 하고, 부분 적분을 통해 $|a_l(c_1)| \ll C^2 / l^2$ 를 도출하는 것.
• 다중 주파수 항을 다루기 위해 기법을 반복 적용하여, 연속 분수 근사에 관련된 $K$에 따라 $C^{2(K-1)}$ 형태의 유계를 얻는 것.
• 클래식한 다벤포트 및 후아의 결과를 사용하여 $n \leq N$ 에서의 최종 지수 합을 추정하여, 계수에 독립적으로 $O(N \log^{-A} N)$ 의 유계를 확보하는 것.

실험 결과

연구 질문

• RQ1 비선형, distal, 0 엔트로피 유동이 2-토러스 위에 존재할 때, 비록 비정규적(즉, 비르호프 평균이 존재하지 않음)일지라도 모비우스 함수의 선형 독립성 추측이 성립하는가?
• RQ2 모비우스 함수와의 독립성이, 회전 매개수 $\alpha$가 디오판틴 조건을 만족하지 않을 경우에도 성립하는가?
• RQ3 모비우스 함수의 맥락에서 비선형 함수의 급격히 감쇠하는 푸리에 계수를 갖는 지수 합을 제어하기 위해 어떤 분석 기법을 사용할 수 있는가?
• RQ4 부르강-사르나크-지엘러 방법이 아벨리안이거나 비선형 동역계에 대해 0 엔트로피를 가지는 시스템으로 어떻게 일반화될 수 있는가?
• RQ5 모비우스 함수 이외의 곱셈 함수, 예를 들어 리우빌 함수로의 독립성 결과를 어떻게 일반화할 수 있는가?

주요 결과

• 모든 0 엔트로피를 갖는 컴act 아벨 군 위의 아핀 선형 유동에 대해 모비우스 함수가 선형 독립임이 증명되었으며, 정량적 수렴 속도를 포함한 정리 2.1에 의해 입증된다.
• 해석적 함수 $h$가 $|\hat{h}(m)| \ll e^{-\tau|m|}$ 및 $|\hat{h}(m)| \gg e^{-\tau_2|m|}$ 조건을 만족하는 형태의 $\mathbb{T}^2$ 위의 비선형 스케일 프로덕트 $T(x,y) = (ax + \alpha, cx + dy + h(x))$ 에 대해, 모비우스 함수가 시스템과 선형 독립임이 정리 2.2에 의해 명시된다.
• 결과는 모든 $\alpha$에 대해 성립하며, 비디오판틴인 경우도 포함하므로 비정규 시스템(비르호프 평균이 수렴하지 않는 경우)에 대해서도 적용된다.
• 증명 과정에서 $|\widetilde{S}(N)| \ll C^{2(K-1)} \cdot \sup_{l_1,\dots,l_{K-1}} \left| \sum_{n \leq N} \mu(n) e(n l_1 \theta_1 + \cdots + n l_{K-1} \theta_{K-1}) \right|$ 의 유계를 확보하며, $C^{2(K-1)} \leq \log N$ 이다.
• 내부 지수 합은 다벤포트 및 후아의 고전 결과를 활용하여, 계수에 독립적으로 $O(N \log^{-A} N)$ 으로 유계화된다. 여기서 $A > 0$ 이다.
• 이 방법은 비정규적, distal, 0 엔트로피 시스템인 투르스텐버그의 예시에 적용되어 그 모비우스 함수의 독립성을 증명하며, 0 엔트로피를 갖는 니르만다이나믹스의 아핀 선형 유동으로도 확장된다(정리 2.3).