[論文レビュー] Möbius Disjointness for Nilsequences Along Short Intervals

Xiaoguang He, Zhiren Wang|arXiv (Cornell University)|May 8, 2019

Analytic Number Theory Research参考文献 13被引用数 4

ひとこと要約

本稿は、短い区間におけるニル数列とモービウス関数の不一致に関する定量的評価を確立し、区間長 $ H $ と全範囲 $ N $ がともに無限大に近づく際、1リプシッツ連続なニル数列とモービウス関数の相関が一様に減少することを証明する。この結果は、ダンヴォーの推定およびグリーン＝タオの直交性を短い区間へ一般化したものであり、ニル多様体上の多項式系列における有効な等分布と微小弧解析を用いる。

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 $ が $ \infty $ に近づく際、短い区間相関 $ \left| \sum_{h \leq H} \mu(n+h) F(g^{n+h}x) \right| $ の有効的かつ一様な減少率はどの程度達成可能か？
• RQ3 グリーン＝タオの方法（長区間における直交性）とマトマキ＝ラドジヴィルの方法（短い区間平均）をニル数列に統合するにはどうすればよいか？
• RQ4 減少はすべてのニル多様体、群の元、1リプシッツ連続な観測関数に対して一様か？

主な発見

• 本稿は、任意の $ \epsilon > 0 $ に対して、$ C $ が冪零クラスおよび次元にのみ依存するものとして、次の形の均一な境界を確立する： \\n$$ \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) $$
• この境界は $ N \to \infty $ の際にゼロに減少し、$ g \in G $、$ x \in G/\Gamma $、1リプシッツ連続な $ F $ に対して一様に成り立つ。条件は $ N > \exp((\log H)^2) $ を満たす必要がある。
• 減少は有効的であり、関数 $ \tilde{M}(\beta, X, Y) $ を通じて定量的に制御され、モービウス関数 $ \beta = \mu $ の場合、$ X \to \infty $ の際に $ \tilde{M} $ が無限大に発散するため、誤差項は消える。
• この結果は、平均的な短い区間相関がゼロに近づくことを示し、ニル系におけるモービウス不一致予想の短い区間への強化を確認する。
• 境界が成立しない可能性がある例外集合 $ \mathcal{S} $ の密度は $ \ll \epsilon N $ であり、その誤差は $ \epsilon $ に依存する境界で制御され、任意に小さくできる。