[論文レビュー] Gowers norms, regularization and limits of functions on abelian groups

Balázs Szegedy|arXiv (Cornell University)|Oct 29, 2010

Limits and Structures in Graph Theory参考文献 17被引用数 16

ひとこと要約

本稿は、コンパクトなアーベル群上の有界可測関数を、構造的、準ランダム、誤差の3つの成分に分解する定理を確立する。この分解には、Gowersの均一性ノルム $U_{k+1}$ が用いられ、構造的成分は次数 $k$ の有界複雑性のニルスペース多項式として特徴づけられる。主な貢献は、$U_{k+1}$ ノルムに対する一般逆定理の確立と、超積群による極限対象の導入であり、高次フーリエ解析とニルスペース理論を統合し、グラフ／ハイパーグラフの極限概念をアーベル群へと拡張する。

ABSTRACT

For every natural number k we prove a decomposition theorem for bounded measurable functions on compact abelian groups into a structured part, a quasi random part and a small error term. In this theorem quasi randomness is measured with the Gowers norm U(k+1) and the structured part is a bounded complexity ``nilspace-polynomial'' of degree k. This statement implies a general inverse theorem for the U(k+1) norm. (We discuss some consequences in special families of groups such as bounded exponent groups, zero characteristic groups and the circle group.) Along these lines we introduce a convergence notion and corresponding limit objects for functions on abelian groups. This subject is closely related to the recently developed graph and hypergraph limit theory. An important goal of this paper is to put forward a new algebraic aspect of the notion ``higher order Fourier analysis''. According to this, k-th order Fourier analysis is regarded as the study of continuous morphisms between structures called compact k-step nilspaces. All our proofs are based on an underlying theory of topological nilspace factors of ultra product groups.

研究の動機と目的

• コンパクトなアーベル群上の有界可測関数を、$U_{k+1}$ ノルムを用いて、構造的、準ランダム、誤差の3つの成分に分解すること。
• 次数 $k$ の構造的ニルスペース多項式を用いて、$U_{k+1}$ ノルムに対する一般逆定理を構築すること。
• アーベル群上の関数列の収束の概念とそれに対応する極限対象を導入し、グラフおよびハイパーグラフの極限と類似の形で定式化すること。
• 高次フーリエ解析を、コンパクトな $k$ ステップのニルスペース間の連続な準同型写像の研究として形式化し、代数的枠組みを提供すること。
• 超積群およびニルスペース因子の理論を拡張し、エルゴディック理論、加法的組合せ論、極限構造を統合すること。

提案手法

• 超積群と位相的ニルスペース因子を用いて、コンパクトなアーベル群上の関数を分析する。
• Gowersノルム $\|f\|_{U_{k+1}}$ を用いて準ランダム性を測定し、小さなノルムは構造的挙動を示す。
• 分解 $f = f_s + f_e + f_r$ を用い、$f_s$ は有界複雑性のニルスペース多項式、$f_r$ は $U_{k+1}$ ノルムが小さい、$f_e$ は $L^1$ ノルムが小さい。
• 超積群からのニルスペース因子の逆極限を用いて極限対象を構成し、モーメント収束を保証する。
• ニル-σ代数と準同型写像 $\Psi: \mathbf{A} \to N$ を用いて構造的成分を表現し、関数を極限空間に射影する。
• 正則化技術と誤差補正を用いて、超積空間内の準同型写像を近似し、ノルムおよび測度収束を保証する。

実験結果

リサーチクエスチョン

• RQ1 任意のコンパクトなアーベル群上の有界可測関数は、$U_{k+1}$ で測定される準ランダム成分と、小さな誤差項に分解可能か？
• RQ2 高次フーリエ解析における構造的成分の正確な代数的構造は何か？また、ニルスペースとはどのように関係するか？
• RQ3 アーベル群上の関数の収束をどのように形式化できるか？それに対応する極限対象は何か？
• RQ4 $U_{k+1}$ ノルムが分解をどの程度制御するか？また、これにより逆定理がどのように導かれるか？
• RQ5 超積群およびニルスペース因子の理論は、加法的組合せ論における極限理論と高次フーリエ解析をどの程度統合するか？

主な発見

• 任意のコンパクトなアーベル群上の有界可測関数に対して、分解 $f = f_s + f_e + f_r$ が存在する。ここで $f_s$ は次数 $k$ の有界複雑性のニルスペース多項式であり、$\|f_r\|_{U_{k+1}}$ は小さい、$\|f_e\|_1$ も小さい。
• 構造的成分 $f_s$ は、$\Psi: A \to N$ が有界複雑性のコンパクトな $k$ ステップのニルスペース $N$ への準同型写像であるとき、$f_s = \Psi \circ h$ の形で得られる。
• Gowersノルム $U_{k+1}$ の逆定理が確立された：$\|f\|_{U_{k+1}}$ が0から離れているならば、$f$ は次数 $k$ のニルスペース多項式と顕著に相関する。
• アーベル群上の関数列 $\{f_i\}$ が収束する場合、超極限 $f$ はニル-σ代数への射影 $g$ を持ち、$g = h \circ \Psi$ の形で表され、モーメント収束が保証される。
• 極限対象 $N$ はコンパクトな $k$ ステップのニルスペースであり、すべての次数 $k$ の単純モーメント $M(f_i) \to M(h)$ が成り立つ。これにより、極限理論が確立される。
• 証明は、超積空間内の近似準同型写像を正確な準同型写像に修正することに依拠し、$\|f_r^{(i)}\|_{U_{k+1}} \to 0$ および $\|f_e^{(i)}\|_1 \to 0$ がcofinite超フィルターに沿って収束することを保証する。