Generalizations of a Curious Family of MSTD Sets Hidden By Interior Blocks

TL;DR

This paper explores a special family of sum-dominant sets, revealing their structure, generating new examples, improving bounds on their prevalence, and identifying minimal RSD sets through computational methods.

Contribution

It introduces a unified framework for a known family of MSTD sets, enabling new constructions, better bounds on their density, and discovery of minimal RSD sets.

Findings

Generated many sets with high sum-to-difference ratio

Improved lower bound on RSD subset proportion to about 10^{-25}

Found six RSD sets of size 15 and smallest diameter of 30

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.