[論文レビュー] When Sets Can and Cannot Have MSTD Subsets

Hùng Việt Chu, Nathan McNew+3 more|arXiv (Cornell University)|Aug 10, 2016

Limits and Structures in Graph Theory参考文献 11被引用数 4

ひとこと要約

本稿は、フィボナッチ数や素数といった整数の無限集合が、和集合のサイズが差集合のサイズを上回る和優位部分集合（MSTD集合）を含む条件を調査する。急速に増加する系列（例：フィボナッチ数列）には和優位部分集合が存在しないことを証明し、有限個の和優位部分集合しか持たない条件を確立するとともに、ハーディー＝リトルウッドの素数タプル予想を仮定することで、素数には無限個の和優位部分集合が存在することを示している。グリーン＝タオの定理によって裏付けられている。

ABSTRACT

A finite set of integers $A$ is a sum-dominant (also called an More Sums Than Differences or MSTD) set if $|A+A| > |A-A|$. While almost all subsets of $\{0, \dots, n\}$ are not sum-dominant, interestingly a small positive percentage are. We explore sufficient conditions on infinite sets of positive integers such that there are either no sum-dominant subsets, at most finitely many sum-dominant subsets, or infinitely many sum-dominant subsets. In particular, we prove no subset of the Fibonacci numbers is a sum-dominant set, establish conditions such that solutions to a recurrence relation have only finitely many sum-dominant subsets, and show there are infinitely many sum-dominant subsets of the primes.

研究の動機と目的

• 無限整数集合が和優位部分集合をまったく含まないための十分条件を特定すること。
• 無限集合が有限個の和優位部分集合しか含まない条件を同定すること。
• 素数集合内に無限個の和優位部分集合が存在することを証明すること。
• 再帰関係と増加率が和優位部分集合の有無に与える影響を明らかにすること。
• 加法的組合せ論と素数の構造的配置（例：素数コンステレーション）との相互作用を調査すること。

提案手法

• 部分集合の要素のインデックスに対する強い帰納法を用い、系列が急速に増加し、かつ小さな和優位部分集合を避ける場合、和優位部分集合が存在しないことを証明する。
• |S+S| - |S-S| ≥ |S| を満たす「特別な和優位部分集合」の概念を導入し、より大きな集合への帰納的拡張を可能にする。
• ハリー＝リトルウッドのk-タプル予想を用いて、既知の和優位パターンに一致する素数タプルの数を推定する。
• 最小のMSTD集合 {0,2,3,4,7,11,12,14} を固定整数でスケーリングし、素数タプルを用いて平行移動することで、明示的な和優位部分集合を構成する。
• グリーン＝タオの定理（素数に任意長の等差数列が存在すること）を応用し、任意のサイズの和優位部分集合を構成する。
• 法による算術を用いて素数タプルの許容性を検証し、局所的障害によって除外されないことを保証する。

実験結果

リサーチクエスチョン

• RQ1 無限系列が和優位部分集合を含まないための増加条件は何か？
• RQ2 無限系列が有限個の和優位部分集合しか含まないのはどのような場合か？
• RQ3 素数に無限個の和優位部分集合が存在することは、条件なしで示せるか？
• RQ4 無限個の和優位部分集合を支持するための最小構造とは何か？
• RQ5 再帰関係は系列内の和優位部分集合の数にどのように影響するか？

主な発見

• フィボナッチ数列には和優位部分集合が存在しない。これは、k ≥ 4 で a_k > a_{k-1} + a_{k-3} を満たし、かつ小さな和優位部分集合を含まないからである。
• 系列が a_k > a_{k-1} + a_{k-3} を k ≥ s で満たし、最初の 4s+6 個の要素に特別な和優位部分集合が存在しない場合、和優位部分集合は高々有限個である。
• ハリー＝リトルウッドのk-タプル予想を仮定すると、素数には無限個の和優位部分集合が存在する。これは、最小のMSTD集合のパターンに一致する無限個の素数8-タプルを構成することで示された。
• 明示的な素数の和優位部分集合が得られた：{19, 79, 109, 139, 229, 349, 379, 439}。これは最小のMSTD集合を30倍し、19だけ平行移動することで得られた。
• グリーン＝タオの定理により、素数には任意長の等差数列が存在し、これにより任意のサイズの和優位部分集合を生成できる。
• x 以下の素数における和優位部分集合の数は、固定されたMSTDパターンに一致する許容可能な素数タプルの数によって下から抑えられ、ハリー＝リトルウッド予想のもとで漸近的に増加する。