[论文解读] Sumfree sets in groups

Terence Tao, Van Vu|arXiv (Cornell University)|Mar 9, 2016

Mathematical and Theoretical Analysis被引用 2

一句话总结

本文研究了群中和自由集的Erdős-Moser问题的一个变体，通过$ \phi(A) $（即$ A $中最大和避免子集的大小）对任意加法群$ G $中的有限子集$ A $提供了结构表征。利用非标准分析，本文证明$ A $要么可被$ \phi(A) $个有限子群高效覆盖，要么可被少于$ \phi(A) $个子群加上一个有界余集覆盖，从而解决了经典方法失效的挠群情形。

ABSTRACT

Let $A$ be a finite subset of an arbitrary additive group $G$, and let $\phi(A)$ denote the cardinality of the largest subset $B$ in $A$ that is sum-avoiding in $A$ (that is to say, $b_1+b_2 ot \in A$ for all distinct $b_1,b_2 \in B$). The question of controlling the size of $A$ in terms of $\phi(A)$ in the case when $G$ was torsion-free was posed by Erdős and Moser. When $G$ has torsion, $A$ can be arbitrarily large for fixed $\phi(A)$ due to the presence of subgroups. Nevertheless, we provide a qualitative answer to an analogue of the Erdős-Moser problem in this setting, by establishing a structure theorem, which roughly speaking asserts that $A$ is either efficiently covered by $\phi(A)$ finite subgroups of $G$, or by fewer than $\phi(A)$ finite subgroups of $G$ together with a residual set of bounded cardinality. In order to avoid a large number of nested inductive arguments, our proof uses the language of nonstandard analysis. We also answer negatively a question of Erdős regarding large subsets $A$ of finite additive groups $G$ with $\phi(A)$ bounded, but give a positive result when $|G|$ is not divisible by small primes.

研究动机与目标

• 研究在子群破坏经典大小界的情况下，挠群中和自由集的Erdős-Moser问题。
• 基于$ \phi(A) $（即最大和避免子集的大小）表征任意加法群$ G $中有限子集$ A $的结构。
• 在挠群情形下提供定性结构答案，其中当$ \phi(A) $固定时$ A $可任意大，通过将$ A $分解为子群与一个小的余集实现。
• 否定性回答Erdős关于在有限群中存在有界$ \phi(A) $的大子集的问题，但当$ |G| $不被小素数整除时，给出肯定答案。

提出的方法

• 利用非标准分析绕过加法组合学中常见的复杂嵌套归纳论证。
• 将$ \phi(A) $定义为满足对所有不同的$ b_1, b_2 \in B $有$ b_1 + b_2 \notin A $的子集$ B \subseteq A $的最大大小，以捕捉和避免行为。
• 建立二分法：$ A $要么被$ \phi(A) $个有限子群覆盖，要么被少于$ \phi(A) $个子群加上一个有界大小的集合覆盖。
• 利用超积和非标准模型中的饱和性性质分析$ A $的渐近结构，从而实现对局部和避免配置的全局控制。
• 通过证明子群允许在固定$ \phi(A) $下存在任意大的$ A $，分析挠群的作用，从而证明需要结构分解。
• 证明当$ |G| $不被小素数整除时，对有限群$ G $有正结果：有界$ \phi(A) $意味着$ A $具有结构化形式。

实验结果

研究问题

• RQ1 Erdős-Moser问题在子群破坏经典大小界的情况下，能否在具有挠的群中合理推广？
• RQ2 在具有挠的群中，$ \phi(A) $对任意加法群$ G $中有限子集$ A $施加了何种结构约束？
• RQ3 即使存在挠，当$ \phi(A) $较小时，是否可能将$ A $分解为少量子群与一个有界余集？
• RQ4 当$ |G| $不被小素数整除时，是否能为Erdős关于有界$ \phi(A) $的大子集问题提供正向解答？
• RQ5 非标准分析如何避免加法组合学中复杂的归纳构造？

主要发现

• 在具有挠的群中，由于有限子群的存在，$ A $在固定$ \phi(A) $下可任意大，从而破坏了直接大小界。
• 本文建立了二分法：$ A $要么被$ \phi(A) $个有限子群高效覆盖，要么被少于$ \phi(A) $个子群加上一个有界大小的余集覆盖。
• 该结构结果通过非标准分析证明，避免了复杂嵌套归纳论证的需要。
• 本文否定性回答了Erdős关于有限群中存在有界$ \phi(A) $的大子集的问题，表明此类集合在一般情况下不存在。
• 然而，当$ |G| $不被小素数整除时，本文证明了正结果：有界$ \phi(A) $意味着$ A $具有结构化分解，支持了Erdős猜想的精化版本。