[論文レビュー] On higher order Fourier analysis

Balázs Szegedy|arXiv (Cornell University)|Mar 10, 2012

Limits and Structures in Graph Theory参考文献 18被引用数 36

ひとこと要約

本稿は、コンパクトな $k$-段階ニルスペース間の連続的準同型を用いて、コンパクトなアーベル群上の高次フォーリエ解析の包括的な代数的枠組みを構築し、ゴーラーズ一様性ノルムに対する正確な逆定理および正則性補題を提供する。関数列の極限理論をグラフ極限理論に類似させた新しい理論を確立し、分解定理やニルスペース因子による関数の構造的特徴付けに応用する。

ABSTRACT

We develop a theory of higher order structures in compact abelian groups. In the frame of this theory we prove general inverse theorems and regularity lemmas for Gowers's uniformity norms. We put forward an algebraic interpretation of the notion "higher order Fourier analysis" in terms of continuous morphisms between structures called compact $k$-step nilspaces. As a byproduct of our results we obtain a new type of limit theory for functions on abelian groups in the spirit of the so-called graph limit theory. Our proofs are based on an exact (non-approximative) version of higher order Fourier analysis which appears on ultra product groups.

研究の動機と目的

• コンパクトなニルスペースをニル多様体の一般化として用い、高次フォーリエ解析の代数的かつ正確な枠組みを構築すること。
• 有限群に限らない任意のコンパクトなアーベル群に対して、ゴーラーズノルムの逆定理および正則性補題を拡張すること。
• 超積群とニルスペース因子を用いて、グラフ極限理論に類似したアーベル群上の関数の新しい極限理論を導入すること。
• ニル $\sigma$-代数を用いて関数の構造的成分を特徴付け、それらの可測性をニルスペース準同型の逆極限を通じて示すこと。

提案手法

• 超積群を用いて、近似を伴わない高次フォーリエ解析の正確なバージョンを構築する。
• コンパクトな $k$-段階ニルスペースの概念を導入し、それらの間の連続的準同型を高次フォーリエ解析の代数的基盤として定義する。
• 対応原理を用いて、超積群からの結果を標準的なコンパクトなアーベル群へと移行する。
• 高次双対群とフーリエ分解を用いて、ゴーラーズノルムの構造を分析する。
• 立方体上の畳み込み恒等式とサポート解析を用いて、ニルスペース公理を検証し、ニルスペース因子を構成する。
• 関数列に対して理論を適用し、ニル $\sigma$-代数への射影と、ニルスペース準同型の逆極限による極限対象の構成を行う。

実験結果

リサーチクエスチョン

• RQ1 高次フォーリエ解析をニルスペース間の準同型を用いてどのように代数的に形式化できるか？
• RQ2 コンパクトなアーベル群上のゴーラーズノルムに対して、正確な逆定理および正則性補題は何か？
• RQ3 グラフ極限理論に類似した、アーベル群上の関数の極限理論を構築できるか？
• RQ4 ニルスペース因子とニル $\sigma$-代数は、ゴーラーズ一様性ノルムの観点から関数の構造的成分をどのように特徴付けるか？
• RQ5 超積群は、近似を伴わない高次フォーリエ構造の解析を可能にする役割を果たすか？

主な発見

• 本稿は、コンパクトなアーベル群上のゴーラーズノルムに対して完全な逆定理を確立し、$U_{k+1}$-ノルムが小さいことは、構造的成分との相関が小さいことを示す。
• 任意の関数 $f$ について、$\|f\|_{U_{k+1}} \geq \epsilon$ ならば、$f = f_s + f_e + f_r$ の形の分解が存在し、$f_s$ は有界な複雑性を持ち、$\|f_s\|_{U_{k+1}} \geq \epsilon^{2^k}/2$ を満たすことを証明する。
• アーベル群上の関数列の収束列の極限対象は、無限次のニル $\sigma$-代数において可測であり、射影下でもモーメントが保存されることを示す。
• 任意の $L^\infty$ ノルムが有界な関数列は、ニルスペース因子に極限対象を持つ。この極限対象は、ニルスペース準同型の逆極限として構成される。
• 理論により、$\gamma: \mathbf{A} \to N$ なるニルスペース因子が構成され、射影 $g = \mathbb{E}(f|\mathcal{F})$ が $\gamma$ によって生成される $\sigma$-代数において可測であり、すべての単純モーメント $M$ に対して $M(g) = M(h)$ が成り立つことを示す。
• 任意の可分な部分 $\sigma$-代数 $\mathcal{B}$ に対して、それらを含む可分な無限次のニル $\sigma$-代数が存在することを証明し、構造的近似の存在を保証する。