[论文解读] 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 集合），即和集大小超过差集大小的子集。研究证明，像斐波那契数列这样快速增长的序列不包含和主导子集；建立了仅存在有限多个此类子集的条件；并表明在 Hardy-Littlewood 素数元组猜想成立的前提下，素数集合中存在无限多个和主导子集，且该结论得到 Green-Tao 定理的支持。

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|，从而实现对更大集合的归纳扩展。
• 应用 Hardy-Littlewood k 元组猜想来估算匹配已知和主导模式的素数元组数量。
• 通过将最小的 MSTD 集 {0,2,3,4,7,11,12,14} 固定缩放并利用素数元组平移，显式构造和主导子集。
• 利用 Green-Tao 定理（素数中存在任意长的等差数列）构造任意大小的和主导子集。
• 采用模运算验证素数元组的容许性，确保其不被局部障碍排除。

实验结果

研究问题

• RQ1 在何种增长条件下，无限序列中不包含和主导子集？
• RQ2 在何种条件下，无限序列中仅存在有限多个和主导子集？
• RQ3 能否在无条件前提下确立素数中存在无限多个和主导子集？
• RQ4 支持无限多个和主导子集所需的最小子结构是什么？
• RQ5 递推关系如何影响序列中和主导子集的数量？

主要发现

• 斐波那契数列不包含和主导子集，因为它满足增长条件 a_k > a_{k-1} + a_{k-3}（k ≥ 4），且不存在小的和主导子集。
• 若序列增长快于 a_{k} > a_{k-1} + a_{k-3}（k ≥ s），且其前 4s+6 项中无特殊和主导子集，则其至多仅有有限多个和主导子集。
• 在 Hardy-Littlewood k 元组猜想成立的条件下，素数中存在无限多个和主导子集，通过构造无限多个匹配最小 MSTD 集模式的素数 8 元组得以证明。
• 显式找到了一个素数中的和主导子集：{19, 79, 109, 139, 229, 349, 379, 439}，该集合由将最小 MSTD 集缩放 30 倍并平移 19 得到。
• Green-Tao 定理表明素数中存在任意长的等差数列，可用来生成任意大小的和主导子集。
• 素数中至多 x 的和主导子集数量下界由匹配固定 MSTD 模式的容许素数元组数量决定，该数量在 Hardy-Littlewood 猜想下渐近增长。