Abstract:In the average-case $k$-SUM problem, given $r$ integers chosen uniformly at random from $\{0,\dots,M-1\}$, the objective is to find a ``solution'' set of $k$ numbers that sum to $0$ modulo $M$. In the dense regime of $M \leq r^k$, where solutions exist with high probability, the complexity of these problems is well understood. Much less is known in the sparse regime of $M\gg r^k$, where solutions are unlikely to exist. In this work, we initiate the study of the sparse regime for $k$-SUM and its variant $k$-XOR, especially their planted versions, where a random solution is planted in a randomly generated instance and has to be recovered. We provide evidence for the hardness of these problems and suggest new applications to cryptography. Complexity. First we study the complexity of these problems in the sparse regime and show: - Conditional Lower Bounds. Assuming established conjectures about the hardness of average-case (non-planted) $k$-SUM/$k$-XOR when $M = r^k$, we provide non-trivial lower bounds on the running time of algorithms for planted $k$-SUM when $r^k\leq M\leq r^{2k}$. - Hardness Amplification. We show that for any $M \geq r^k$, if an algorithm running in time $T$ solves planted $k$-SUM/$k$-XOR with success probability $\Omega(1/\text{polylog}(r))$, then there is an algorithm running in time $\tilde{O}(T)$ that solves it with probability $(1-o(1))$. - New Reductions and Algorithms. We provide reductions for $k$-SUM/$k$-XOR from search to decision, as well as worst-case and average-case reductions to the Subset Sum problem from $k$-SUM, as well as a new algorithm for average-case $k$-XOR at low densities. Cryptography. We show that by additionally assuming mild hardness of $k$-XOR, we can construct Public Key Encryption (PKE) from a weaker variant of the Learning Parity with Noise (LPN) problem than was known before.

The $k$-XORSAT Threshold Revisited

Going after the k-SAT threshold

Limits of Sequential Local Algorithms on the Random $k$-XORSAT Problem

A Proof of Conjecture on Restricted Isometry Property Constants $\delta _{tk}\ \left(0<t<\frac {4}{3}\Right)$

The asymptotic k-SAT threshold

Strongly refuting random CSPs below the spectral threshold

Proof of the Satisfiability Conjecture for Large K

Catching the k-NAESAT Threshold

$k$-SUM in the Sparse Regime

Fine-Grained Cryptanalysis: Tight Conditional Bounds for Dense k -SUM and k -XOR

Fine-Grained Cryptanalysis: Tight Conditional Bounds for Dense k-SUM and k-XOR

Counting random $k$-SAT near the satisfiability threshold

The Algorithmic Phase Transition of Random $k$-SAT for Low Degree Polynomials

The rank of sparse random matrices

X = K under review

Uniformly Random Colourings of Sparse Graphs

Conditional lower bounds for sparse parameterized 2-CSP: A streamlined proof

Concentration of the number of solutions of random planted CSPs and Goldreich's one-way candidates

The Satisfiability Threshold for a Seemingly Intractable Random Constraint Satisfaction Problem

General Bounds on Satisfiability Thresholds for Random CSPs via Fourier Analysis

Inapproximability of Sparsest Vector in a Real Subspace