[논문 리뷰] Möbius Disjointness for Nilsequences Along Short Intervals

Xiaoguang He, Zhiren Wang|arXiv (Cornell University)|2019. 05. 08.

Analytic Number Theory Research참고 문헌 13인용 수 4

한 줄 요약

이 논문은 짧은 간격 동안 닐시퀀스와 모비우스 함수 간의 모비우스 분리성에 대한 정량적 경계를 확립한다. 이는 모비우스 함수와 1-립시츠 닐시퀀스 사이의 상관관계가 구간 길이 $ H $와 총 범위 $ N $ 이 모두 무한으로 갈수록 균일하게 감소함을 증명한다. 이 결과는 덴베르트의 추정과 그린-타오의 수직성 결과를 짧은 간격으로 일반화하며, 닐만드의 다항수열에 대한 효과적인 균등분포와 미소호 분석을 사용한다.

ABSTRACT

For a nilmanifold $G/Γ$, a $1$-Lipschitz continuous function $F$ and the Möbius sequence $μ(n)$, we prove a bound on the decay of the averaged short interval correlation $$\frac1{HN}\sum_{n\leq N}\Big|\sum_{h\leq H} μ(n+h)F(g^{n+h}x)\Big|$$ as $H,N o\infty$. The bound is uniform in $g\in G$, $x\in G/Γ$ and $F$.

연구 동기 및 목표

• 닐만드의 닐시퀀스와 모비우스 함수 간의 짧은 간격 상관관계에 대한 정량적이고 균일한 경계를 확립하는 것.
• 지루한 지수합에 대한 덴베르트의 고전적 추정을 닐시퀀스와 짧은 간격으로 확장하는 것.
• 그린-타오(모비우스 함수와 닐시퀀스의 수직성)와 마토마키-라즈비우일(곱셈적 함수의 짧은 간격 평균)의 방법을 통합하는 것.
• 닐만드의 구조, 군 원소, 관측 함수에 관계없이 독립적인 효과적이고 균일한 감쇠율을 제공하는 것.

제안 방법

• 2변수 다항식에 대한 정량적 분해 정리를 사용하여 닐시퀀스를 구조적 부분과 허수적 부분으로 분해한다.
• 주호와 미소호로의 분리 적용, 주호는 균등분포 추정으로 다루고, 미소호는 케타이-부르고아-사르나크-지에글러 기준으로 다룬다.
• 마토마키-라즈비우일의 짧은 간격 방법을 수정하여, 닐만드의 다항 오비트에 대한 효과적 균등분포를 통합한다.
• 함수 $ \tilde{M}(\beta, X, Y) $를 사용한 하이브리드 주호-미소호 추정을 도입하며, 이는 곱셈적 함수의 상쇄를 정량화한다.
• 보언의 항등식과 이변수 방법을 적용하여 미소호 기여를 통제하며, [MRT16]에서의 경계를 활용한다.
• 밀도 $ \ll \epsilon N $인 예외 집합 $ \tilde{\mathcal{S}} $를 구성하며, 이 집합 외부에서는 상관관계가 작고, 오차는 $ \epsilon $-의존 경계로 통제한다.

실험 결과

연구 질문

• RQ1 모비우스 분리성 원리가 닐시퀀스에 대해 장기간에서 짧은 간격으로 확장될 수 있는가?
• RQ2 모든 $ H, N \to \infty $일 때, 짧은 간격 상관관계 $ \left| \sum_{h \leq H} \mu(n+h) F(g^{n+h}x) \right| $에 대해 어떤 효과적이고 균일한 감쇠율을 달성할 수 있는가?
• RQ3 그린-타오(장기간 수직성)와 마토마키-라즈비우일(짧은 간격 평균)의 방법을 닐시퀀스에 대해 어떻게 통합할 수 있는가?
• RQ4 감쇠는 모든 닐만드, 군 원소, 1-립시츠 관측 함수에 대해 균일한가?

주요 결과

• 논문은 다음과 같은 균일한 경계를 확립한다: $ \frac{1}{HN} \sum_{n \leq N} \left| \sum_{h \leq H} \mu(n+h) F(g^{n+h}x) \right| \ll \left( H^{-\epsilon} + H^{4C\epsilon} e^{-\frac{1}{2} \tilde{M}(\beta, N/H^{10C\epsilon}, H^{2C\epsilon})} \tilde{M}(\cdots)^{1/2} + H^{4C\epsilon} (\log(N/H^{10C\epsilon}))^{-1/100} \right) $, 여기서 $ \epsilon > 0 $은 임의이며 $ C $는 닐포텐시티 계수와 차원에만 의존한다.
• 경계는 $ N \to \infty $일 때, $ g \in G $, $ x \in G/\Gamma $, 1-립시츠 $ F $ 에 대해 균일하게 0으로 감소하며, 조건 $ N > \exp((\log H)^2) $ 하에 성립한다.
• 감쇠는 함수 $ \tilde{M}(\beta, X, Y) $를 통해 효과적이고 정량적으로 통제되며, 모비우스 함수 $ \beta = \mu $에 대해 $ X \to \infty $일 때 $ \tilde{M} $이 무한히 커지므로 오차 항이 사라진다.
• 결과는 평균 짧은 간격 상관관계가 0으로 수렴함을 시사하며, 이는 짧은 간격에서 닐시스템에 대한 모비우스 분리성 추측의 강화를 확인한다.
• 경계가 실패할 수 있는 예외 집합 $ \mathcal{S} $의 밀도는 $ \ll \epsilon N $이며, 이 집합에서 온 오차는 $ \epsilon $로 통제되며, 이는 임의로 작게 만들 수 있다.