[論文レビュー] A note on Pollard's Theorem

Yahya Ould Hamidoune, Oriol Serra|ArXiv.org|Apr 16, 2008

Limits and Structures in Graph Theory参考文献 9被引用数 6

ひとこと要約

この論文は、アーベル群におけるポラードの定理とグリーン＝ルツァの不等式を拡張し、部分集合 $ A $ と $ B $ の元の積として少なくとも $ t $ 個の異なる表現を持つ要素の集合の大きさに対する精密化された下界を導入する。主な貢献は、$ AB $ に含まれる最大のコセットのサイズを含む新しい不等式であり、$ t \geq 2 $ および $ \alpha \geq 2 $ の条件下で厳密性の条件を提示し、和集合の表現に関する先行研究および加法的組合せ論におけるディックス＝イワノフ予想を一般化する。

ABSTRACT

Let $A,B$ be nonempty subsets of a an abelian group $G$. Let $N_i(A,B)$ denote the set of elements of $G$ having $i$ distinct decompositions as a product of an element of $A$ and an element of $B$. We prove that $$ \sum _{1\le i \le t} |N_i (A,B)|\ge t(|A|+|B|- t-α+1+w)-w, $$ where $α$ is the largest size of a coset contained in $AB$ and $w=\min (α-1,1)$, with a strict inequality if $α\ge 3$ and $t\ge 2$, or if $α\ge 2$ and $t= 2$. This result is a local extension of results by Pollard and Green--Ruzsa and extends also for $t>2$ a recent result of Grynkiewicz, conjectured by Dicks--Ivanov (for non necessarily abelian groups) in connection to the famous Hanna Neumann problem in Group Theory.

研究の動機と目的

• アーベル群におけるポラードの定理とグリーン＝ルツァの不等式を、$ AB $ における少なくとも $ t $ 個の表現を持つ要素の数に関する改善された下界を用いて、任意のアーベル群へ拡張すること。
• ディックス＝イワノフが提起した $ N_1(A,B) \cup N_2(A,B) $ の構造に関する予想を、特に $ t=2 $ の場合にアーベルの場合に解決すること。
• グリーンキエヴィッチによる $ t=2 $ の最近の結果を、任意の $ t \geq 1 $ へ一般化し、$ AB $ における最大コセットのサイズを組み込むこと。
• $ \alpha \geq 3 $ および $ t \geq 2 $、または $ \alpha \geq 2 $ および $ t=2 $ の場合に、表現和における厳密な不等式の条件を確立すること。

提案手法

• $ N_t(A,B) $ を、$ a \in A $, $ b \in B $ であるような異なる因数分解 $ ab $ を少なくとも $ t $ 個持つ群の元の集合として定義する。
• $ \alpha = \alpha(A,B) $ を、$ AB $ に含まれる最大の左コセットのサイズとし、$ w = \min(\alpha - 1, 1) $ とする。
• 新しい下界を確立する： $ \sum_{1 \leq i \leq t} |N_i(A,B)| \geq t(|A| + |B| - t - \alpha + 1 + w) - w $ 。
• $ |B| $ に関する帰納法を用い、 $ |B| = t $ および $ AB = A $ の基本ケースを扱い、共通部分集合と対称差に分解して場合分けを行う。
• $ S = A \setminus B $, $ T = B \setminus A $ の周期性と構造を分析するために、ケネーザーの定理およびケンパルマン＝シェルクの定理を適用する。
• 特に $ \alpha = 2 $, $ t = 2 $, $ v = 1 $ の場合に背理法を用いて厳密性を証明し、部分群の周期性と基数制約を用いる。

実験結果

リサーチクエスチョン

• RQ1 ポラードの定理は、$ AB $ の最大コセットを反映する精密化された下界を用いて、任意のアーベル群へ拡張可能であろうか？
• RQ2 ディックス＝イワノフ予想、特に $ N_1(A,B) \cup N_2(A,B) $ の構造はアーベルの場合に成立するか？また、$ t > 2 $ へ一般化可能であろうか？
• RQ3 表現和 $ \sum_{1 \leq i \leq t} |N_i(A,B)| $ における厳密な不等式が成立する条件は何か？
• RQ4 $ AB $ における最大コセット $ \alpha $ のサイズは、$ t $ 重表現の数の下界にどのように影響するか？

主な発見

• 論文は新しい下界を確立した： $ \sum_{1 \leq i \leq t} |N_i(A,B)| \geq t(|A| + |B| - t - \alpha + 1 + w) - w $、ここで $ \alpha $ は $ AB $ に含まれる最大コセットのサイズであり、$ w = \min(\alpha - 1, 1) $ である。
• $ \alpha \geq 3 $ および $ t \geq 2 $、または $ \alpha \geq 2 $ および $ t = 2 $ の場合に不等式は厳密であり、ディックス＝イワノフ予想の重要なケースを解決する。
• $ t = 2 $ の場合、結果はグリーンキエヴィッチの境界を回復し、より精密な定数を用いてアーベルの場合の予想を確認する。
• $ G $ が素数位数の群である場合、この下界はポラードの定理に還元され、$ \alpha = 1 $ の場合、グリーン＝ルツァの結果に一致する。
• 厳密性の条件は $ \alpha = 1 $ または $ t = 1 $ の場合にのみ失敗し、著者らは $ \alpha = 2 $, $ t \geq 3 $ に対しても厳密性が成り立つと推測している。
• 証明は帰納法、ケネーザーの定理、および $ A \cap B $ のサイズに関する場合分けを用い、周期的集合を含む臨界な構成における背理法による議論を含む。