[论文解读] An Arithmetic Analogue of Fox's Triangle Removal Argument

Pooya Hatami, Sushant Sachdeva+1 more|arXiv (Cornell University)|Apr 17, 2013

Limits and Structures in Graph Theory参考文献 14被引用 10

一句话总结

本文为 $\mathbb{F}_2^n$ 上的算术三角形移除引理提供了直接的傅里叶分析证明，给出了改进的定量界 $\delta \geq 1/\mathsf{Tower}(O(\log(1/\varepsilon)))$，类似于福克斯在图论中的突破性结果。该论证通过嵌套子群的熵增量避免了正则性引理，相较于原始的鲁扎-萨泽梅雷迪方法，得到了显著更好的界。

ABSTRACT

We give an arithmetic version of the recent proof of the triangle removal lemma by Fox [Fox11], for the group $\mathbb{F}_2^n$. A triangle in $\mathbb{F}_2^n$ is a triple $(x,y,z)$ such that $x+y+z = 0$. The triangle removal lemma for $\mathbb{F}_2^n$ states that for every $ε> 0$ there is a $δ> 0$, such that if a subset $A$ of $\mathbb{F}_2^n$ requires the removal of at least $ε\cdot 2^n$ elements to make it triangle-free, then it must contain at least $δ\cdot 2^{2n}$ triangles. This problem was first studied by Green [Gre05] who proved a lower bound on $δ$ using an arithmetic regularity lemma. Regularity based lower bounds for triangle removal in graphs were recently improved by Fox and we give a direct proof of an analogous improvement for triangle removal in $\mathbb{F}_2^n$. The improved lower bound was already known to follow (for triangle-removal in all groups), using Fox's removal lemma for directed cycles and a reduction by Král, Serra and Vena [KSV09] (see [Fox11,CF13]). The purpose of this note is to provide a direct Fourier-analytic proof for the group $\mathbb{F}_2^n.$

研究动机与目标

• 为 $\mathbb{F}_2^n$ 上的算术三角形移除引理提供一种直接的傅里叶分析证明，避免依赖算术正则性引理。
• 在算术设定下改进三角形移除参数 $\delta$ 的定量界，使其与福克斯图论结果中的最先进水平一致。
• 通过直接构造熵递增的子群序列，澄清算术设定下的结构划分过程，使论证对未来改进更具透明性。
• 证明在所有阿贝尔群中，三角形移除的改进界可通过 $\mathbb{F}_2^n$ 中一种简洁直接的方法实现，而非依赖于有向环移除引理的约化。

提出的方法

• 证明通过在 $\mathbb{F}_2^n$ 中递归细化子群 $H_i \preceq H_{i-1}$（从平凡子群 $G$ 开始），以提高集合 $A'$ 相对于划分的平均熵。
• 熵增量通过 $\mathsf{Ent}_A(G, H)$ 衡量，定义为 $A \cap (H + g)$ 在陪集 $H + g$ 上的平均熵，用于追踪细化过程中的进展。
• 一个关键的技术工具是引理 5.1，它保证若子集 $A'$ 的三角形数量较少，则存在子群 $H_{i+1}$，使得熵至少增加 $\varepsilon_0/3600$。
• 该方法依赖于子群对陪集的 $\varepsilon$-破碎概念，其中若子群 $H'$ 满足 $\left(\frac{1}{20}, \frac{3}{4}, \log_{1+\varepsilon^2/16}(4/\varepsilon)\right)$-破碎陪集，则其诱导显著的熵增加。
• 细化步骤的数量由 $t = \lceil 12000 \log(1/(3\varepsilon_0)) \rceil$ 限制，确保在违反熵上界前过程终止。
• 当累积熵增量超过理论最大值 0 时产生矛盾，证明若 $A$ 与无三角形集合 $\varepsilon$-远离，则其必须包含至少 $\delta N^2$ 个三角形。

实验结果

研究问题

• RQ1 能否在不使用算术正则性引理的前提下，仅通过傅里叶分析方法证明 $\mathbb{F}_2^n$ 上的算术三角形移除引理？
• RQ2 在 $\mathbb{F}_2^n$ 的算术设定下，算术三角形移除引理的最佳可能定量界 $\delta$ 是什么？能否超越原始鲁扎-萨泽梅雷迪塔式界？
• RQ3 与正则性引理方法相比，通过子群细化实现的熵增量方法在透明性及未来改进潜力方面如何？
• RQ4 能否在算术设定中直接建立改进的界 $\delta \geq 1/\mathsf{Tower}(O(\log(1/\varepsilon)))$，以匹配福克斯的图论结果？
• RQ5 基于熵的细化过程揭示了 $\mathbb{F}_2^n$ 中三角形分布的哪些结构洞见？

主要发现

• 本文在 $\mathbb{F}_2^n$ 上建立了算术三角形移除引理的定量界 $\delta \geq 1/\mathsf{Tower}(O(\log(1/\varepsilon)))$，与图论设定下的最佳已知界一致。
• 该证明避免了算术正则性引理，转而使用通过嵌套子群的直接熵增量论证，提供了一个更简洁、更透明的框架。
• 该方法保证每步细化的熵增量至少为 $\varepsilon_0/3600$，其中 $\varepsilon_0 \geq \varepsilon/3$，确保过程在 $O(\log(1/\varepsilon))$ 步内终止。
• 当累积熵增量超过理论最大值 0 时产生矛盾，证明若 $A$ 与无三角形集合 $\varepsilon$-远离，则其必须包含至少 $\delta N^2$ 个三角形。
• 细化步骤的数量由 $t = \lceil 12000 \log(1/(3\varepsilon_0)) \rceil$ 限制，该数量足以在假设三角形数量较少时迫使矛盾。
• 结果确认，所有阿贝尔群中三角形移除的改进界可在 $\mathbb{F}_2^n$ 中通过傅里叶分析技术直接证明，无需依赖于有向环移除引理的约化。