[论文解读] Arithmetic progressions in middle Nth cantor sets

Jon Chaika|arXiv (Cornell University)|Mar 27, 2017

Limits and Structures in Graph Theory被引用 3

一句话总结

该论文通过在 $k$-good 区间上进行递归归纳，证明了中间 $\frac{1}{N}^\text{th}$ 康托集包含长度与 $\frac{N}{\log N}$ 成比例的等差数列，方法是证明平移后的集合之间的交集保持非空。关键结果表明，对于所有足够大的 $N$，此类配置均存在，并给出了等差数列长度的定量界。

ABSTRACT

We show the middle Nth cantor set contains arithmetic progressions of length at least proportional to N/log_2(N).

研究动机与目标

• 建立中间 $\\frac{1}{N}^\\text{th}$ 康托集内存在长等差数列的结论，适用于大 $N$。
• 确定可嵌入此类康托集中的等差数列的最大长度。
• 开发一种基于区间结构和平移不变性的递归方法，以证明平移后康托集交集的非空性。
• 分析在构造的每一阶段移除中间 $\\frac{1}{N}^\\text{th}$ 区间所施加的几何与测度论约束。
• 探讨结果在双李普希茨映射下的鲁棒性，并评估所导界限的紧致性。

提出的方法

• 通过在 $C_k$ 的每个区间中迭代移除中间 $\\frac{1}{N}^\\text{th}$，定义 $X$ 为中间 $\\frac{1}{N}^\\text{th}$ 康托集。
• 引入 $k$-good 区间 $J$（大小为 $\\frac{1}{N^k}$）的概念，即它与平移后的集合 $X_{\\frac{1}{N^{k+1}}} + a_i$ 中 $\\frac{N}{2}$ 个不相交的大小为 $\\frac{1}{N^{k+1}}$ 的区间相交。
• 对 $k$ 进行归纳，证明若 $J$ 是 $k$-good，则其包含一个子区间 $J'$，该子区间为 $k+1$-good。
• 应用引理 4，界定在每一阶段中可能与给定区间 $J$ 相交的被移除区间的数量，其上界为 $2^{L-k-1}$（当 $L > k$ 时）。
• 使用推论 5，估计从 $X_{\\frac{1}{N^{k+1}}}$ 到 $X_{\\frac{1}{N^{k+2}}}$ 过渡时，大小为 $\\frac{1}{N^{k+2}}$ 的区间被破坏的数量，其上界为 $9N\log_2 N$。
• 应用抽屉原理，证明在 $k$-good 结构中，至少有一组 $N$ 个连续区间在转换过程中得以保留，从而确保 $k+1$-good 性。

实验结果

研究问题

• RQ1 可嵌入中间 $\\frac{1}{N}^\\text{th}$ 康托集中的等差数列的最大长度是多少？
• RQ2 对这类数列长度的界 $\\frac{N}{100\log_2 N}$ 是否紧致，还是可以改进？
• RQ3 该结果能否推广到等差数列之外的配置，例如更一般的模式或双李普希茨像？
• RQ4 是否存在某个 $N$，使得中间 $\\frac{1}{N}^\\text{th}$ 康托集的每个双李普希茨像都包含一个三项等差数列？
• RQ5 康托集的结构如何影响在平移与缩放下长等差数列的存在性？

主要发现

• 该论文证明了对于任意 $N$，中间 $\\frac{1}{N}^\\text{th}$ 康托集包含长度为 $\\frac{N}{100\log_2 N}$ 的等差数列，且该长度随 $N$ 增大而增长。
• 通过在 $k$-good 区间上进行归纳，证明了平移后康托集交集的非空性在所有层级上持续存在，从而确立了此类数列的存在性。
• 从 $X_{\\frac{1}{N^{k+1}}}$ 到 $X_{\\frac{1}{N^{k+2}}}$ 精细化过程中被破坏的区间数量被限制在 $9N\log_2 N$ 以内，确保了足够多的区间得以保留，从而维持 $k+1$-good 性。
• 给定大小为 $\\frac{1}{N^k}$ 的区间 $J$ 所相交的区间的数量上限为 $2^{L-k-1}$，当 $J$ 位于第 $k$ 层的剩余集中时该值达到最大。
• 该构造表明，大小与 $\\frac{N}{\log N}$ 成比例的配置存在于康托集中，且该方法在双李普希茨映射下具有鲁棒性，常数受控。
• 该结果与 Broderick、Fishman 和 Simmons 后续使用 Schmidt 游戏的结果一致，验证了界在常数因子意义下的正确性与最优性。