[논문 리뷰] The abelian arithmetic regularity lemma

Sean Eberhard|arXiv (Cornell University)|2016. 06. 29.

Analytic Number Theory Research참고 문헌 3인용 수 3

한 줄 요약

이 논문은 $s=1$ 경우에서 아벨 산술 정규화 보조정리의 자가 포함된 증명을 제시하며, $[N]$ 상의 유계 함수가 복잡도가 제어되는 구조적 부분, $U^2$에서의 고르른 부분(고르지 않은 부분), 그리고 작은 오차로 분해됨을 입증한다. 핵심 기여는 고차 푸리에 분석의 전체 기계장치를 피하고 $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}$ 정의: $L^2$에서 복잡도가 제어되는 함수들로의 근사 보장.
• $(A,N)$-무리수성에 의한 균등분포 이론 적용: 산술 등차수열에서 구조적 함수의 평균을 제어함.
• 자uncated 푸리에 전개와 기하급수적 추정을 사용하여 지수합을 유계화하고, $\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$ 일 때, $M,q,d,\delta$ 에 대해 균일하게 적분 $\int F \, d\mu$ 로 수렴함.