[论文解读] Long progressions in sets of fractional dimension

Marc Carnovale|arXiv (Cornell University)|Aug 13, 2013

Limits and Structures in Graph Theory参考文献 11被引用 4

一句话总结

该论文通过基于 Gowers 一致范数的高阶傅里叶维数，建立了实直线上具有分数 Hausdorff 维数的子集中存在长等差级数的充分条件。证明了若环面上的测度具有足够高的 k 阶傅里叶维数，则其支集包含非平凡的 k+1 项等差级数，且此类级数的公差集合具有正的勒贝格测度。

ABSTRACT

We demonstrate $k+1$-term arithmetic progressions in certain subsets of the real line whose "higher-order Fourier dimension" is sufficiently close to 1. This Fourier dimension, introduced in previous work, is a higher-order (in the sense of Additive Combinatorics and uniformity norms) extension of the Fourier dimension of Geometric Measure Theory, and can be understood as asking that the uniformity norm of a measure, restricted to a given scale, decay as the scale increases. We further obtain quantitative information about the size and $L^p$ regularity of the set of common distances of the artihmetic progressions contained in the subsets of $\mathbb{R}$ under consideration.

研究动机与目标

• 确定实直线上具有分数维数的稀疏子集在何种条件下包含长等差级数。
• 将用于三元组等差级数的傅里叶限制方法推广至 k+1 项配置。
• 量化此类级数中公差集合的大小与正则性。
• 通过将问题推广至 k+1 项配置，将其与 Falconer 距离猜想联系起来。
• 开发一种基于高阶傅里叶维数与 Gowers 一致范数的框架，用于在分形集中检测有限点配置。

提出的方法

• 引入从环面上的奇异测度 μ 衍生出的 k+1 维测度 Δ^kμ，推广 Gowers 的一致范数。
• 通过 Δ^kμ 的傅里叶变换在尺度相关频率下的衰减速率来定义 k 阶傅里叶维数。
• 将 Gowers 一致范数的变体应用于奇异测度，将变换的衰减与等差级数的存在性联系起来。
• 使用超图正则性与移除引理（如 Gowers 的超图移除引理）来检测稠密集中点配置的仿射像。
• 通过测度的逼近，应用离散化论证，将结果从有限阿贝尔群转移到连续设置。
• 依赖于 k 重笛卡尔积的结构以及与 Δ^kμ 相关的多重线性形式，以控制配置。

实验结果

研究问题

• RQ1 当测度的高阶傅里叶维数满足何种条件时，其支集包含 k+1 项等差级数？
• RQ2 Falconer 距离猜想如何推广至分形集中 k+1 项配置的情形？
• RQ3 对于何种尺度参数 r，其仿射像属于测度支集的集合具有多大的大小与正则性？
• RQ4 能否使用高阶一致范数将用于三元组等差级数的方法推广至更长的等差级数？
• RQ5 Gowers 一致范数在检测分数维集合中有限点配置时起到何种作用？

主要发现

• 若环面上的测度 μ 具有足够高的 k 阶傅里叶维数（接近 1），则其支集包含非平凡的 k+1 项等差级数。
• 此类级数存在的公差集合（尺度参数 r）具有正的勒贝格测度，推广了 Falconer 距离猜想的一个平凡情形。
• 通过离散化论证与超图正则性，论文建立了此类级数数量的定量下界。
• 主要结果将适用于三元组等差级数的连续 Roth 型定理推广至使用高阶傅里叶分析的更长配置。
• 该框架在一致范数衰减条件下，允许检测分数维集合中任意有限点配置（例如等差级数）。
• 证明依赖于对 Gowers 超图移除引理在连续设置中的新颖应用，将组合结果转移至奇异测度的分析中。