[論文レビュー] Sumfree sets in groups

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

Mathematical and Theoretical Analysis被引用数 2

ひとこと要約

この論文は、群における和自由集合に関するErdős-Moser問題の変種を取り上げ、任意の加法群 $ G $ における有限部分集合 $ A $ の構造的特徴づけを、$ A $ の和を避けられる部分集合の最大サイズ $ \phi(A) $ を用いて行う。非標準解析を用いて、$ A $ が $ \phi(A) $ 個の有限部分群によって効率的に被覆されるか、または $ \phi(A) $ 個未満の部分群に加え有界な残差集合によって被覆されることを示し、古典的手法が失敗するねじれ（torsion）の場合を解決する。

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問題を扱う。
• 任意の加法群 $ G $ における有限部分集合 $ A $ の構造を、$ A $ の和を避けられる部分集合の最大サイズ $ \phi(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 特にねじれを有する群 $ G $ において、有限部分集合 $ A $ に対して $ \phi(A) $ がどのような構造的制約を課えるか？
• RQ3 ねじれが存在する中で $ \phi(A) $ が小さい場合でも、$ A $ を少数の部分群と有界な残差集合に分解することは可能か？
• RQ4 $ |G| $ に小さな素数の因子がない場合、$ \phi(A) $ が有界な大きな部分集合の存在に関するErdősの問いに対して、正の解決が可能か？
• RQ5 非標準解析は、加法的組合せ論における複雑な帰納的構成を回避するためにどのように利用可能か？

主な発見

• ねじれを有する群では、有限部分群の存在により $ \phi(A) $ を固定したまま $ A $ が任意に大きく取り得るため、直接的なサイズ上限は成立しない。
• 本論文は二分岐を確立する：$ A $ は $ \phi(A) $ 個の有限部分群によって効率的に被覆されるか、または $ \phi(A) $ 個未満の部分群に加え有界なサイズの残差集合によって被覆される。
• 構造的結果は非標準解析を用いて証明され、複雑なネストされた帰納的議論の必要性を回避する。
• Erdősが提起した、$ \phi(A) $ が有界な有限群における大きな部分集合 $ A $ の存在に関する問いに、否定的な答えを与える。一般にはこのような集合は存在しないことを示す。
• しかし $ |G| $ が小さな素数で割り切れない場合には、本論文は正の結果を証明する：$ \phi(A) $ が有界であれば $ A $ は構造的な形に分解可能であり、Erdősの予想の精密化された版を支持する。