[论文解读] Generalizations of a Curious Family of MSTD Sets Hidden By Interior Blocks

Hùng Việt Chu, Noah Luntzlara+2 more|arXiv (Cornell University)|Aug 16, 2018

Limits and Structures in Graph Theory参考文献 8被引用 5

一句话总结

本文通过分析连续元素之间的差异，揭示了此前零散构造中隐藏的模式，提出了一类结构化的MSTD（和集多于差集）集合家族𝒮，该家族基于连续差值的特性构建。该方法实现了更高效的高 |A+A|/|A−A| 比值集合构造（最高可达 ~1.03059），将RSD（受限和主导）子集的下界提升至 ~10⁻²⁵，并识别出大小为15、直径为30的最小RSD集合。

ABSTRACT

A set $A$ is MSTD (more-sum-than-difference) or sum-dominant if $|A+A|>|A-A|$, and is RSD (restricted-sum dominant) if $|A\hat{+}A|>|A-A|$, where $A\hat{+}A$ is the set of sums of distinct elements in $A$. We study an interesting family of MSTD sets that have appeared many times in the literature (see the works of Hegarty, Martin and O'Bryant, and Penman and Wells). While these sets seem at first glance to be ad hoc, looking at them in the right way reveals a nice common structure. In particular, instead of viewing them as explicitly written sets, we write them in terms of differences between two consecutive numbers in increasing order. We denote this family by $\mathcal{F}$ and investigate many of its properties. Using $\mathcal{F}$, we are able to generate many sets $A$ with high value of $\log|A+A|/\log|A-A|$, construct sets $A$ with a fixed $|A+A|-|A-A|$ more economically than previous authors, and improve the lower bound on the proportion of RSD subsets of $\{0,1,2,\dots,n-1\}$ to about $10^{-25}$ (the previous best bound was $10^{-37}$). Lastly, by exhaustive computer search, we find six RSD sets with cardinality $15$, which is one lower than the smallest cardinality found to date, and find that $30$ is the smallest diameter of RSD sets.

研究动机与目标

• 揭示此前被视为零散构造的多样化MSTD集合中潜在的统一结构模式。
• 开发一种系统化方法，用于构建具有可控和差集基数差距的MSTD与RSD集合。
• 改进{0,1,…,n−1}中RSD子集比例的下界，并识别出可能的最小RSD集合。
• 研究内部块在增强 |A+A| 相对于 |A−A| 方面的作用，特别是通过比率 T_A/|B_A| 进行分析。

提出的方法

• 通过连续差值表示集合，揭示了在不同MSTD集合中普遍存在的共同结构。
• 引入由特定差值模式定义的集合家族𝒮，实现MSTD与RSD集合的系统化生成。
• 分析重复内部块对和集与差集增长的影响，通过 T_A = |(A+A) − (A−A)| 量化该影响（当块被重复时）。
• 使用穷举式计算机搜索，在 [0,30] 范围内识别出所有RSD集合，确认存在6个大小为15、直径为30的此类集合。
• 应用理论分析对 T_A/|B_A| 进行上界估计，表明其可超过1.2，且与高 |A+A|/|A−A| 比值相关。
• 利用已知构造（如Penman和Wells、Zhao的研究）并基于新结构框架对其进行扩展。

实验结果

研究问题

• RQ1 此前被视为零散构造的多样化MSTD集合中，其共同的结构性质是什么？
• RQ2 比率 T_A/|B_A|（每单位块大小的和差集增长）是否可以无限增大，其对 |A+A|/|A−A| 的影响如何？
• RQ3 RSD集合的最小可能基数是多少？此类集合的最小直径是多少？
• RQ4 当 n→∞ 时，{0,1,…,n−1} 中RSD子集的比例能否被更紧密地界定下界？
• RQ5 是否存在对内部块及其在生成MSTD集合中作用的正式刻画？

主要发现

• 家族𝒮统一了多个已知的MSTD集合，揭示了基于连续差值的共享结构模式。
• 在𝒮中，已知最高的 log|A+A|/log|A−A| 值约为 1.03059，通过优化内部块重复实现。
• {0,1,…,n−1}中RSD子集比例的下界被提升至约 10⁻²⁵，优于先前的 10⁻³⁷。
• 在 [0,30] 范围内恰好存在六个RSD集合，全部大小为15、直径为30，且满足 |A+A|−|A−A|=1。
• RSD集合的最小可能基数为15，最小直径为30，将此前的区间 [10,16] 明确缩小。
• 比率 T_A/|B_A| 可超过1.2，例如 T_Q₁₀/|B_Q₁₀|=6/5=1.2，表明块重复可带来显著的和集优势。