[论文解读] A point of view on Gowers uniformity norms

Bernard Host, Bryna Kra|arXiv (Cornell University)|Oct 3, 2010

Limits and Structures in Graph Theory参考文献 8被引用 6

一句话总结

本文提出了一种在紧致阿贝尔群上对戈尔斯均匀性范数的双功能框架，通过双范数和双函数重新诠释了逆定理。通过应用一种变体的塞迈雷迪正则性引理，建立了分解定理，表明双函数属于高阶傅里叶代数，从而将它们与经典调和分析联系起来，并通过对偶性和 Lp 空间中的逼近简化了对戈尔斯范数的理解。

ABSTRACT

Gowers norms have been studied extensively both in the direct sense, starting with a function and understanding the associated norm, and in the inverse sense, starting with the norm and deducing properties of the function. Instead of focusing on the norms themselves, we study associated dual norms and dual functions. Combining this study with a variant of the Szemeredi Regularity Lemma, we give a decomposition theorem for dual functions, linking the dual norms to classical norms and indicating that the dual norm is easier to understand than the norm itself. Using the dual functions, we introduce higher order algebras that are analogs of the classical Fourier algebra, which in turn can be used to further characterize the dual functions.

研究动机与目标

• 通过双函数和双范数而非范数本身，重新表述戈尔斯范数的逆定理。
• 通过分析其双函数，理解具有大戈尔斯均匀性范数的函数的结构。
• 通过塞迈雷迪正则性引理的一种变体，建立双函数的分解，将其与经典的 Lp 空间和傅里叶型空间联系起来。
• 引入高阶傅里叶代数作为经典傅里叶代数的类比，为高阶均匀性提供调和分析框架。
• 证明有界 Lp 函数的双函数可在 L1 中被高阶傅里叶代数中的函数逼近，从而实现紧致性结果。

提出的方法

• 定义双函数 $ D_d f(x) = \mathbb{E}_{\vec{t} \in \mathbb{Z}^d} \prod_{\vec{\epsilon} \in \hat{V}_d} f(x + \vec{\epsilon} \cdot \vec{t}) $，其中 $ \hat{V}_d = \{0,1\}^d \setminus \{\vec{0}\} $，以表示戈尔斯范数的对偶。
• 使用闭式表达 $ \|f\|_{U(d)}^{2^d} = \int_{Z^d} \prod_{\vec{\epsilon} \in V_d} f(x_{\vec{\epsilon}}) \, d\mu_d(x) $，将戈尔斯范数与 $ Z^{2d} $ 中立方体上的平均值联系起来。
• 应用塞迈雷迪正则性引理的一种变体（定理 5.2），通过将群划分为测度相等的集合，将双函数分解为结构部分和小误差部分。
• 将高阶傅里叶代数 $ A(d) $ 定义为傅里叶变换的 $ \ell^1 $-范数有界的函数的闭包，推广了 $ d=2 $ 时的经典傅里叶代数。
• 使用柯西-施瓦茨-戈尔斯不等式控制多重线性平均值，并通过 $ \|f\|_{U(d)}^{2^d} = \langle D_d f, f \rangle $ 控制双范数。
• 通过正则性引理控制误差项，证明双函数可通过 $ A(d) $ 中的函数在 $ L^1 $-范数中逼近，从而证明双函数空间的紧致性。

实验结果

研究问题

• RQ1 戈尔斯范数的逆定理能否通过双函数和双范数重新表述？
• RQ2 $ L^p $ 中函数的双函数结构是什么？它们能否在 $ L^1 $ 中被逼近？
• RQ3 戈尔斯均匀性范数能否通过其对偶更简单地理解？该对偶空间是否具有自然的代数结构？
• RQ4 正则性引理在分解双函数并将它们与经典调和分析联系起来的过程中起什么作用？
• RQ5 所有具有小双范数的函数是否都可以通过在尼曼簇上的周期嵌入从尼尔序列得到，误差在 $ L^1 $ 范数内？

主要发现

• 对于 $ f \in L^p $，其双函数 $ D_d f $ 属于高阶傅里叶代数 $ A(d) $，且满足 $ \|D_d f\|_{A(d)} \leq C \|f\|_{L^p}^{2^d - 1} $，建立了 $ L^p $-有界性与代数结构之间的联系。
• 当 $ d=2 $ 时，双函数对应于经典傅里叶代数，且 $ \|f\|_{U(2)} = \|\hat{f}\|_{\ell^4} $，从而恢复了帕塞瓦尔恒等式。
• 逆定理被重述为：若 $ \|f\|_{U(d)} \geq \delta $，则 $ \langle D_d f, f \rangle \geq C(d,\delta) $，且 $ D_d f $ 可在 $ L^1 $ 中被 $ A(d) $ 中的函数逼近。
• 分解定理（定理 5.2）表明，双函数可表示为 $ m $-阶函数之和，其中 $ m \sim \epsilon^{-2} $，且 $ L^1 $-范数下的误差不超过 $ \epsilon $。
• 正则性引理的变体确保：对任意 $ \epsilon > 0 $，任意双函数 $ D_d f $ 均可在 $ L^1 $ 中被 $ A(d) $ 中的函数逼近，误差 $ \leq 4\epsilon $，从而证明了双函数空间的紧致性。
• 本文证明了 $ \|F - F_P\|_{L^2(\mu_d)} \leq \delta $，且 $ \|P(G^\Delta_t \cdot (F - F_P))\|_{L^1} \leq \delta $，确认了分解中误差的控制。