The First Two Exceptional Boundaries for Sets with Few Subset Sums

Let $A$ be an $n$-element set of positive real numbers, and write $\mathrm{FS}(A)$ for its subset sums, including the empty sum. Write $T_n=\left(\genfrac{}{}{0px}{}{n+1}{2}\right)$. For $0\le M\le n-4$, Carpenter, Defant and Kravitz classify all $A$ satisfying $\mid \mathrm{FS}(A)\mid \le T_n+1+M$. We determine the next two cases for every $n\ge 5$. At $M=n-3$, the sets are precisely the positive dilates of primitive positive-integer sets $B$ with $\sum B\le T_n+n-3$, together with the dilates of $\{1,3,4,\dots ,n+1\}$. At $M=n-2$, the integer total bound increases by one, and the exceptional templates are $\{1,3,4,\dots ,n+1\}$, $\{2,3,\dots ,n+1\}$, and $\{1,3,4,\dots ,n,n+2\}$. We also determine all equality cases and show that $n=5$ is the sharp threshold, including for commensurability at $M=n-2$. The proof records the missing subset sums at the two endpoints and derives a transition formula that extends the exceptional configurations to arbitrary $n$.