[论文解读] On the removal lemma for linear configurations in finite abelian groups

Lluís Vena|arXiv (Cornell University)|May 9, 2015

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

一句话总结

本文提出了一种基于超图的表示框架，将组合移除引理推广至有限阿贝尔群中的线性构型。通过将方程组建模为超图，作者建立了有限阿贝尔群之间同态的移除引理，证明在互质行列式条件下，仅需移除少量元素即可消除构型，该方法在等差数列和排列模式中有应用。

ABSTRACT

We present a general framework to represent discrete configuration systems using hypergraphs. This representation allows one to transfer combinatorial removal lemmas to their analogues for configuration systems. These removal lemmas claim that a system without many configurations can be made configuration-free by removing a few of its constituent elements. As applications of this approach we give, an alternative proof of the removal lemma for permutations by Cooper, a general version of a removal lemma for linear systems in finite abelian groups, an interpretation of the mentioned removal lemma in terms of subgroups, and an alternative proof of the counting version of the multidimensional Szemerédi theorem in abelian groups with generalizations.

研究动机与目标

• 开发一种使用超图表示离散构型系统的一般框架。
• 将组合移除引理从图和超图推广至有限阿贝尔群中的线性方程组系统。
• 在互质行列式条件下，为有限阿贝尔群中的同态系统建立移除引理。
• 为已知结果（如排列的移除引理和多维Szemerédi定理）提供替代证明。
• 通过可表示的超图系统，将离散组合结构与代数群论构型联系起来。

提出的方法

• 将线性构型系统表示为超图，其中顶点对应群元素，边表示解元组。
• 利用可表示性的概念，将超图构型与有限阿贝尔群上的方程组联系起来。
• 将超图移除引理（定理11）应用于所构建的超图表示，推导出移除结果。
• 通过利用超图模型的正则性和计数性质，将线性系统解的移除问题转化为超图中边的移除。
• 利用有限阿贝尔群之间同态的结构，通过簇划分和边着色来定义和分析可表示系统。
• 引入一种变换，以隔离非平凡变量，并将系统简化为核心超图表示，同时保持解的数量在常数因子范围内。

实验结果

研究问题

• RQ1 组合移除引理能否从超图推广至有限阿贝尔群中的线性方程组系统？
• RQ2 在有限阿贝尔群中，线性系统定义矩阵的何种代数条件下，移除引理成立？
• RQ3 能否通过超图表示框架恢复排列的移除引理？
• RQ4 多维Szemerédi定理在阿贝尔群中是否存在超图理论解释？
• RQ5 如何通过可表示的超图系统编码和分析有限阿贝尔群之间同态的结构？

主要发现

• 当系数矩阵的最大行列式与群阶互质时，为有限阿贝尔群中的线性方程组系统建立了移除引理。
• 若解的数量小于 δ|G|^{m-1}，则通过从每个变量集中移除至多 ε|G| 个元素，可使解的数量变为零，其中 δ 为合适的常数。
• 该框架为排列的移除引理提供了替代证明，通过超图表示恢复了Cooper的结果。
• 该方法为阿贝尔群中多维Szemerédi定理的计数版本提供了新证明，并推广至任意有限阿贝尔群。
• 超图表示在常数因子范围内保持了解的数量，从而实现了从超图到代数构型系统的移除引理的转移。
• 该构造允许隔离非平凡变量并简化为一个核心超图系统，同时在移除操作下保持了解的结构。