[論文レビュー] The abelian arithmetic regularity lemma

Sean Eberhard|arXiv (Cornell University)|Jun 29, 2016

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

ひとこと要約

この論文は、$s=1$ の場合におけるアーベル型算術正則性補題の自己完結的証明を提示する。任意の有界関数は、制御された複雑性を持つ構造的部品（structured part）、$U^2$ で一様な部分（Gowers-一様性）、および小さな誤差に分解されることを確立する。主な貢献は、高階フーリエ解析を避けて、$U^2$ ノルムの逆定理のみを用いた簡素で初等的な取り扱いである。

ABSTRACT

We give a brief exposition and proof of the arithmetic regularity lemma of Green and Tao in the abelian ($U^2$) case, over $\{1,\dots,N\}$. This may be useful to those who need just the $U^2$ case of the lemma, as the general case is significantly more involved. It may also be useful as an introduction to the general case. No originality is claimed.

研究の動機と目的

• アーベル型算術正則性補題の $s=1$ の場合について、$U^2$ ノルムに焦点を当てた簡素でアクセス可能な証明を提供すること。
• 高階フーリエ解析の完全な道具立てを避ける独立した解説を提供し、この分野に初めて触れる読者にも適しているようにすること。
• $U^2$ 逆定理がアーベルの場合に十分であることを示し、より初等的で明確な議論を可能にすること。
• 成長関数 $\mathcal{F}$ を用いて、$1$-複雑性および $1$-可測性を用いて関数の分解を形式化すること。

提案手法

• 平行多面体を用いた平均で定義される $U^2$ ノルムを使用する：$\|f\|_{U^2([N])} = \left( \mathbf{E}_{a,h_1,h_2} f(a)\overline{f(a+h_1)}\overline{f(a+h_2)}f(a+h_1+h_2) \right)^{1/4}$。
• $U^2$ の逆定理を適用し、大きな $U^2$ ノルムは線形位相関関数 $e(-\theta n)$ との相関を示すこと。
• $1$-複雑性の概念を導入する：$f(n) = F(\theta n)$ で、$F:\mathbf{T}^d \to \mathbf{R}$ は有界なリプシッツノルムと次元 $d$ を持つ。
• $1$-可測性と成長関数 $\mathcal{F}$ を定義し、制御された $1$-複雑性を持つ関数による $L^2$ 近似を保証する。
• $(A,N)$-無理数性を用いた等分布理論により、算術的等差数列上での構造的関数の平均を制御する。
• 切り捨てられたフーリエ展開と幾何級数の評価を用いて指数和を評価し、$\theta n$ が $\mathbf{T}^d$ 上で等分布することを証明する。

実験結果

リサーチクエスチョン

• RQ1 高階理論を用いずに、$U^2$ 逆定理のみを用いてアーベル型算術正則性補題をどのように証明できるか？
• RQ2 成長関数 $\mathcal{F}$ が与えられたとき、$L^2$ で与えられた誤差まで近似するのに必要な最小の構造的複雑性は何か？
• RQ3 $U^2$-一様性は、有限アーベル群上での線形位相の等分布とどのように関係するか？
• RQ4 初等的フーリエ解析のみを用いて、関数の構造的・一様的・小さな部分への分解を定量的に記述できるか？

主な発見

• $\|f\|_{U^2} \geq \delta$ ならば、ある $\theta \in \mathbf{T}$ が存在して、$\left|\mathbf{E}_{n\in[N]} f(n)e(-\theta n)\right| \gg_\delta 1$ が成り立つ。
• 任意の $f:[N] \to [-1,1]$ で $\|f\|_{U^2} \geq \delta$ ならば、成長が $\ll_\delta 1$ であるような $1$-可測集合 $E \subset [N]$ が存在し、$\left|\mathbf{E}_{n\in[N]} f(n)1_E(n)\right| \gg_\delta 1$ が成り立つ。
• $\theta \in \mathbf{T}^d$ が $(A,N)$-無理数で、$F:\mathbf{T}^d \to \mathbf{C}$ のリプシッツノルムが $\leq M$ ならば、密度 $\eta$ の長い等差数列 $P$ に対して、$\left|\mathbf{E}_{n\in P} F(\theta n) - \int F \, d\mu\right| \leq \delta$ が成り立つ、ただし $A$ が十分に大きい場合。
• $F:[0,1] \times \mathbf{Z}/q\mathbf{Z} \times \mathbf{T}^d \to \mathbf{C}$ でリプシッツノルム $\leq M$ ならば、平均 $\mathbf{E}_{n\leq N} F(n/N, n\bmod q, \theta n)$ は $A,N \to \infty$ のとき、積分 $\int F \, d\mu$ に一様に収束する。$M,q,d,\delta$ に依存しない。