Abstract:We study a broad class of algorithmic problems with an "additive flavor" such as computing sumsets, 3SUM, Subset Sum and geometric pattern matching. Our starting point is that these problems can often be solved efficiently for integers, owed to the rich available tool set including bit-tricks, linear hashing, and the Fast Fourier Transform. However, for real numbers these tools are not available, leading to significant gaps in the best-known running times for integer inputs versus for real inputs. In this work our goal is to close this gap. As our key contribution we design a new technique for computing real sumsets. It is based on a surprising blend of algebraic ideas (like Prony's method and coprime factorizations) with combinatorial tricks. We then apply our new algorithm to the aforementioned problems and successfully obtain, in all cases, equally fast algorithms for real inputs. Specifically, we replicate the running times of the following landmark results by randomized algorithms in the standard real RAM model: - Sumsets: Given two sets $A,B$, their sumset $A+B=\{a+b:a\in A,b\in B\}$ can be computed in time $\tilde O(|A+B|)$ [Cole, Hariharan; STOC'02]. - Geometric pattern matching: Given two sets $A,B$, we can test whether there is some shift such that $A+s\subseteq B$ in time $\tilde O(|A|+|B|)$ [Cardoze, Schulman; FOCS'98]. - 3SUM with preprocessing: We can preprocess three size-$n$ sets $A,B,C$ in time $\tilde O(n^2)$ such that upon query of sets $A'\subseteq A,B'\subseteq B,C'\subseteq C$, the 3SUM instance $(A',B',C')$ can be decided in time $\tilde O(n^{13/7})$ [Chan, Lewenstein; STOC'15]. - Output-sensitive Subset Sum: Given a size-$n$ (multi-)set $X$ and a target $t$, we can compute the set of subset sums $\{\Sigma(X'):X'\subseteq X,\Sigma(X')\leq t\}$ in output-sensitive time $\tilde O(n+\mathrm{out}^{4/3})$ [Bringmann, Nakos; STOC'20].

Visualizing the Sum-Product Conjecture

The sum-product problem for small sets

Monochromatic Sums and Products over $\mathbb{Q}$

Sumsets, 3SUM, Subset Sum: Now for Real!

Equal Sum and Product Problem III

New results on sum-products in R

Using Sums-of-Squares to Prove Gaussian Product Inequalities

Sumset estimates in convex geometry

Finding Product and Sum Patterns in non-commutative settings

Sumsets and Projective Curves

Expanding polynomials for sets with additive structure

On the number of sets with small sumset

A Subexponential Reduction from Product Partition to Subset Sum

Restricted sumsets in multiplicative subgroups

Recognizing Sumsets is NP-Complete

Sums of subsets with polynomial restrictions

On a Geometric Interpretation Of the Subset Sum Problem

Limiting Behavior in Missing Sums of Sumsets

A sumset version of a conjecture of Pilz

Sums of singular series with large sets and the tail of the distribution of primes

Infinite Sumsets in Sets with Positive Density