[論文レビュー] On Partial Sums in Cyclic Groups

Douglas R. Stinson, David R. Cheriton+2 more|arXiv (Cornell University)|Jan 27, 2015

Advanced Mathematical Theories and Applications参考文献 4被引用数 33

ひとこと要約

本稿では、巡回群 ℤₙ の非ゼロ元の任意の部分集合が、すべての部分和が相異なるように順序付け可能であるという予想を検討する。著者らは、Conjecture 1（相異なる部分和）が Alspach の Conjecture 2（合計が非ゼロのとき、相異なる非ゼロの部分和）から導かれることを証明し、n ≤ 25 について計算的検証を実施。さらに、部分集合の順序付けに関する構造的結果および素数位数の群における部分集合和の分布についても考察する。

ABSTRACT

We are interested in ordering the elements of a subset A of the non-zero integers modulo n in such a way that all the partial sums are distinct. We conjecture that this can always be done and we prove various partial results about this problem.

研究の動機と目的

• Alspach の Conjecture 2（合計が非ゼロのとき、相異なる非ゼロの部分和）が成り立つならば、ℤₙ\{0} の部分集合における主な予想（Conjecture 1：相異なる部分和）が導かれる、という証明。
• すべての n ≤ 25 およびすべての空でない部分集合 A ⊆ ℤₙ\{0} について、全順列を検証する全探索を用いて Conjecture 1 を計算的に検証。
• k 要素の部分集合 ℤₙ\{0} の t 部分集合が、相異なる部分和を持つ順序付けをもつものの数に関する構造的結果の確立。
• 特に、p が素数のとき、Fₚ\{0} の k 部分集合のうち和が 0 となるものの数を分析。
• 従来の「順序付け可能」および「R-順序付け可能」群に関する結果を、ℤₙ\{0} の任意の部分集合へ一般化・精緻化すること。

提案手法

• Alspach の Conjecture 2 が成り立つ（合計が非ゼロのとき、相異なる非ゼロの部分和が得られる）ならば、部分集合の合計の値に応じた場合分けにより、Conjecture 1（相異なる部分和）が導かれる、という証明。
• コンピュータを用いた探索により、すべての n ≤ 25 およびすべての空でない部分集合 A ⊆ ℤₙ\{0} について、すべての可能な順序付けを検証し、相異なる部分和が得られるかを確認。
• 再帰的数え上げのアプローチを採用：長さ r の部分列で相異なる部分和を持つものが与えられたとき、長さ r+1 に拡張できる方法が少なくとも (2t - 2r) 通り存在することを示し、有効な順序付けの数の下界を導出。
• 群作用と対称性の議論を適用：Fₚ* の元 α による乗算を用いて、和が α となる k 部分集合の数がすべての α ≠ 0 で等しいことを示し、非ゼロ和のカウントの均一性を証明。
• 加法的シフト（S → β + S）を用いて、Fₚ の k 部分集合が和 α に等しくなるものの数が、すべての α ∈ Fₚ で等しいことを証明。これにより、すべての和に対する均一性を確立。
• 数学的帰納法と恒等式 Nₖ(α) = Nₖ₋₁*(α) + Nₖ*(α) を用いて、Fₚ\{0} の k 部分集合で和が 0 となるものの数 Nₖ*(0) の閉形式を導出。その結果、以下の式が得られる：Nₖ*(0) = (1/p)(binomial(p-1,k) ± 1)。ただし、k が偶数のときは +1、奇数のときは -1 となる。

実験結果

リサーチクエスチョン

• RQ1 任意の部分集合 A ⊆ ℤₙ\{0} は、すべての部分和 s_j = ∑_{i=1}^j a_i が相異なるように順序付け可能か？
• RQ2 Alspach の Conjecture 2（∑A ≠ 0 のとき、相異なる非ゼロの部分和）は、Conjecture 1 を含意するか？
• RQ3 k 要素の部分集合 A ⊆ ℤₙ\{0} の t 部分集合のうち、相異なる部分和を持つ順序付けをもつものの数は？
• RQ4 p が素数のとき、Fₚ\{0} の k 要素部分集合で和が 0 となるものの正確な数は？
• RQ5 p が素数のとき、Fₚ 上での k 部分集合和の分布はどの程度均一か？

主な発見

• Conjecture 2 が Conjecture 1 を含意：部分集合 A ⊆ ℤₙ\{0} の合計が非ゼロであれば、相異なる部分和を持つ順序付けが存在する。合計がゼロの場合でも、最初の k−1 個の要素を再順序化し、最後に残りの要素を追加することで、有効な順序付けが得られる。
• Conjecture 1 は、すべての n ≤ 25 およびすべての空でない部分集合 A ⊆ ℤₙ\{0} について、計算的に検証済み。
• 任意の部分集合 A ⊆ ℤₙ\{0} で |A| = 2t であるとき、相異なる部分和を持つ t 部分集合 B ⊆ A が少なくとも 2^t 個存在する。
• p が素数のとき、Fₚ\{0} の k 部分集合で和が 0 となるものの数は、k が偶数のときは (1/p)(binomial(p-1,k) + 1)、奇数のときは (1/p)(binomial(p-1,k) - 1) に等しい。
• すべての α ≠ 0 に対して、Fₚ\{0} の k 部分集合で和が α となるものの数は等しく、その値は (1/p)binomial(p-1,k) に等しい。
• Fₚ 上での k 部分集合和の分布は、すべての α ∈ Fₚ に対して均一であり、Nₖ(α) = (1/p)binomial(p,k) がすべての α ∈ Fₚ で成り立つ。