[论文解读] A connection between matchings and removal in abelian groups

James Aaronson|arXiv (Cornell University)|Dec 13, 2016

Limits and Structures in Graph Theory参考文献 7被引用 3

一句话总结

本文建立了加法匹配（三色和自由集）的最大大小与有限交换群（特别是循环群）中格林算术去除引理的界限之间的联系。通过改编福克斯与洛瓦兹的技术，证明了加法匹配的多项式或次指数界可推出去除引理的相应次指数界，且涉及控制匹配密度与去除效率的函数 f 和 g 的显式定量权衡。

ABSTRACT

In a finite abelian group $G$, define an additive matching to be a collection of triples $(x_i, y_i, z_i)$ such that $x_i + y_j + z_k = 0$ if and only if $i = j = k$. In the case that $G = \mathbb{F}_2^n$, Kleinberg, building on work of Croot-Lev-Pach and Ellenberg-Gijswijt, proved a polynomial upper bound on the size of an additive matching. Fox and Lovász used this to deduce polynomial bounds on Green's arithmetic removal lemma in $\mathbb{F}_2^n$. If $G$ is taken to be an arbitrary finite abelian group, the questions of bounding the size of an additive matching and giving bounds for Green's arithmetic removal lemma are much less well understood. In this note, we adapt the methods of Fox and Lovász to prove that, provided we can assume a sufficiently strong bound on the size of an additive matching in cyclic groups, a similar bound should hold in the case of removal.

研究动机与目标

• 建立循环群中加法匹配最大密度与格林算术去除引理界限之间的定量联系。
• 通过匹配大小约束，将 F₂ⁿ 中去除的多项式界推广至一般有限阿贝尔群，特别是 Z/NZ。
• 形式化在加法匹配密度衰减速率满足何种条件下可获得次指数去除界。
• 通过约化与结构分析，将福克斯-洛瓦兹方法从素数阶群推广至任意循环群。
• 提供一个对偶关系，表明去除界可推出匹配大小界，从而确认该联系的紧致性。

提出的方法

• 将福克斯与洛瓦兹的傅里叶分析与组合框架适配至循环群，以加法匹配密度作为关键参数。
• 采用贪心三角形打包论证，在输入集合 A、B、C 中识别出一组不相交的三角形，确保少于 εN 个元素的移除无法消除所有三角形。
• 通过选取一个接近 2M 的素数 N ≈ 2M，并使用模 N 的约化映射，将问题从一般的 Z/NZ 约化至素数阶群，同时保持三角形结构。
• 应用引理 2.1，基于三角形数量以及群中加法匹配的密度，对集合 X、Y、Z 的大小进行界定。
• 使用函数 f(N) 来界定 Z/NZ 中加法匹配的最大密度，使用函数 g(ρ) 来控制 δ（三角形密度）与 ε（去除成本）之间的权衡。
• 通过结合贪心三角形打包与匹配密度假设，以及 f 和 g 的单调性条件，推导出关键不等式 ε ≲ g(δ)√f(1/(g(δ)δ))。

实验结果

研究问题

• RQ1 在 Z/NZ 中加法匹配密度满足何种条件时，可推导出格林算术去除引理的强界？
• RQ2 最大匹配密度 f(N) 的衰减速率如何影响以 δ 表示的最佳可能去除界 ε？
• RQ3 福克斯-洛瓦兹方法能否从 F_p^n 推广至任意有限阿贝尔群，特别是循环群？
• RQ4 加法匹配大小与阿贝尔群中三角形去除效率之间存在何种定量关系？
• RQ5 是否存在对偶关系，使得去除界可推出对加法匹配大小的界？

主要发现

• 本文证明：若 Z/NZ 中加法匹配的最大密度受 f(N) 限制，则去除引理的界满足 ε ≲ g(δ)√f(1/(g(δ)δ))，其中函数 g 适当选取。
• 在 Behrend 型界 f(N) ≲ exp(−c√log N) 的假设下，本文证明 ε ≲ exp(−c₁√log(1/δ))，相比塔型界实现了次指数改进。
• 在较弱假设 f(N) ≲ log⁻²⁻ᵞN（γ > 0）下，界变为 ε ≲ log(1/δ)⁻ᴼ⁽¹⁾，表明去除成本具有多项式类型。
• 收敛条件 ∑ᵢ 1/g(2⁻ⁱ) ≤ 1/4 是确保证明中迭代论证成立的必要条件，若该条件不成立，则无法导出任何非平凡界。
• 该方法通过模一个接近 2M 的素数 N ≈ 2M 的约化，从素数阶群推广至任意循环群，保持了三角形结构，从而实现了结果的扩展。
• 本文建立了对偶关系：若去除界蕴含 ε ≲ f(1/δ)，则加法匹配的密度不可能超过 f(N)，从而确认了该联系的紧致性。