[論文レビュー] Olson's theorem for cyclic groups

Van Vu|ArXiv.org|Jun 23, 2005

Finite Group Theory Research参考文献 3被引用数 4

ひとこと要約

この論文は、素数の法に適用されるOlsonの定理を合成数の法に拡張し、nと互いに素なすべての要素を持つZ_nの部分集合Aが、サイズがCn^{1/2}以上であれば完全（すなわち、その部分集合の和がnを法としてすべての剰余をカバーする）であることを証明している。証明は、部分集合の和における等差数列の結果と、nとの互いに素性の条件を用いたモジュロ被覆論法を組み合わせており、和集合の閉包によって全剰余の被覆を保証する。

ABSTRACT

Let $n$ be a large number. A subset $A$ of $Z_n$ is complete if $S_A = Z_n$, where $S_A$ is the collection of the subset sums of $A$. Olson proved that if $n$ is a prime and $|A|> 2n^{1/2} $, then $S_A$ is complete. We show that a similar result for the case when $n$ is a composite number, using a different approach.

研究の動機と目的

• 素数の法に適用されるOlsonの定理を、合成数の巡回群Z_nの状況に一般化すること。
• 部分集合の和S_AがZ_n全体をカバーするような、部分集合A ⊂ Z_nの最小サイズを特定すること。
• 特に、Aの要素とnとの互いに素性の役割に注目して、Z_nの部分集合が完全である条件を確立すること。
• 『原始元』のケース（nと互いに素）と、一般のDiderrich問題（互いに素性の仮定なし）との違いを明らかにすること。

提案手法

• Corollary 2.2を適用し、[n]の部分集合A'でサイズが≥ Cn^{1/2}であるものに対して、その部分集合の和に長さnの等差数列を含むことを保証する。
• S_A'に全長の等差数列P' ⊂ S_A'が存在することを用い、その公差d' = gcd(d', n)を分析する。d'がnと互いに素でない場合、d' < Cn^{1/2}である。
• d'がnと互いに素でない場合、d = gcd(d', n)と定義し、d < Cn^{1/2}となる。このとき、Aの残りの要素（B = A \ A'に属する）を用いて、dを法とするすべての剰余を被覆する。
• Lemma 2.4を活用し、nと互いに素な整数の多重集合が部分集合の和によりnを法としてすべての剰余を生成することを示す。この結果をBに適用し、Z_dを被覆する。
• 結果を統合する：S_A'が公差d'の長さnの等差数列を含み、S_Bがdを法としてすべての剰余を被覆するので、和集合S_A' + S_Bはnを法としてすべての剰余をカバーする。
• 結論として、Aの要素がすべてnと互いに素でかつ|A| ≥ Cn^{1/2}である限り、S_AはZ_n全体を含むことが示され、Aの完全性が証明される。

実験結果

リサーチクエスチョン

• RQ1 素数の法に適用されるOlsonの定理は、合成数の巡回群Z_nに拡張可能か？
• RQ2 nと互いに素な要素を持つ部分集合A ⊂ Z_nのうち、その部分集合の和S_AがZ_n全体をカバーする最小サイズは何か？
• RQ3 Aの要素がnと互いに素であるという条件が、Z_nにおける部分集合の和の完全性に与える影響は何か？
• RQ4 Cn^{1/2}という境界は、nと互いに素な場合の完全性に対して鋭いか？また、2n^{1/2} + o(1)に改善可能か？
• RQ5 nと互いに素な要素を持つ場合とそうでない場合とで、Z_nにおける部分集合の和の構造はどのように異なるか？

主な発見

• ある定数Cが存在し、|A| ≥ Cn^{1/2} かつすべての要素がnと互いに素であるような任意の部分集合A ⊂ Z_nについて、S_A = Z_nが成り立つ。つまり、Aは完全である。
• 証明はCorollary 2.2に依存しており、これはサイズが≥ Cn^{1/2}である部分集合が、その部分集合の和に長さnの等差数列を含むことを保証する。
• この等差数列の公差d'がnと互いに素でない場合、d = gcd(d', n) < Cn^{1/2}となり、残りの要素（Bに属する）を用いてdを法とするすべての剰余を被覆する。
• Lemma 2.4により、nと互いに素な整数の多重集合が部分集合の和によりnを法としてすべての剰余を生成することを示し、これをBに適用してZ_dを被覆する。
• 和集合S_A' + S_Bはnを法としてすべての剰余をカバーし、S_A' + S_B ⊆ S_Aであるから、S_A = Z_nが導かれる。
• nと互いに素であるという条件は必要不可欠である。この仮定なしでは、3|nのときn/3のサイズの不完全な集合が存在しうることから、この仮定の重要性が明確になる。