Document

# On the Hardness of Average-Case k-SUM

## File

LIPIcs.APPROX-RANDOM.2021.29.pdf
• Filesize: 0.72 MB
• 19 pages

## Cite As

Zvika Brakerski, Noah Stephens-Davidowitz, and Vinod Vaikuntanathan. On the Hardness of Average-Case k-SUM. In Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 207, pp. 29:1-29:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
https://doi.org/10.4230/LIPIcs.APPROX/RANDOM.2021.29

## Abstract

In this work, we show the first worst-case to average-case reduction for the classical k-SUM problem. A k-SUM instance is a collection of m integers, and the goal of the k-SUM problem is to find a subset of k integers that sums to 0. In the average-case version, the m elements are chosen uniformly at random from some interval [-u,u]. We consider the total setting where m is sufficiently large (with respect to u and k), so that we are guaranteed (with high probability) that solutions must exist. In particular, m = u^{Ω(1/k)} suffices for totality. Much of the appeal of k-SUM, in particular connections to problems in computational geometry, extends to the total setting. The best known algorithm in the average-case total setting is due to Wagner (following the approach of Blum-Kalai-Wasserman), and achieves a running time of u^{Θ(1/log k)} when m = u^{Θ(1/log k)}. This beats the known (conditional) lower bounds for worst-case k-SUM, raising the natural question of whether it can be improved even further. However, in this work, we show a matching average-case lower bound, by showing a reduction from worst-case lattice problems, thus introducing a new family of techniques into the field of fine-grained complexity. In particular, we show that any algorithm solving average-case k-SUM on m elements in time u^{o(1/log k)} will give a super-polynomial improvement in the complexity of algorithms for lattice problems.

## Subject Classification

##### ACM Subject Classification
• Theory of computation → Computational complexity and cryptography
##### Keywords
• k-SUM
• fine-grained complexity
• average-case hardness

## Metrics

• Access Statistics
• Total Accesses (updated on a weekly basis)
0

## References

1. Amir Abboud, Karl Bringmann, Danny Hermelin, and Dvir Shabtay. SETH-based lower bounds for subset sum and bicriteria path. In SODA, 2019.
2. Amir Abboud and Virginia Vassilevska Williams. Popular conjectures imply strong lower bounds for dynamic problems. In FOCS, 2014.
3. Divesh Aggarwal and Eldon Chung. A note on the concrete hardness of the shortest independent vector in lattices. Information Processing Letters, 167, 2021.
4. Divesh Aggarwal, Jianwei Li, Phong Q. Nguyen, and Noah Stephens-Davidowitz. Slide reduction, revisited - Filling the gaps in SVP approximation. In CRYPTO, 2020. URL: https://arxiv.org/abs/1908.03724.
5. Miklós Ajtai. Generating hard instances of lattice problems. In STOC, 1996.
6. Martin R. Albrecht, Rachel Player, and Sam Scott. On the concrete hardness of Learning with Errors. J. Mathematical Cryptology, 9(3), 2015. URL: http://eprint.iacr.org/2015/046.
7. Erdem Alkim, Léo Ducas, Thomas Pöppelmann, and Peter Schwabe. Post-quantum key exchange emdash A new hope. In USENIX Security Symposium, 2016.
8. Kyriakos Axiotis, Arturs Backurs, Ce Jin, Christos Tzamos, and Hongxun Wu. Fast modular subset sum using linear sketching. In SODA, 2019.
9. Marshall Ball, Alon Rosen, Manuel Sabin, and Prashant Nalini Vasudevan. Average-case fine-grained hardness. In Hamed Hatami, Pierre McKenzie, and Valerie King, editors, STOC, 2017.
10. Anja Becker, Jean-Sébastien Coron, and Antoine Joux. Improved generic algorithms for hard knapsacks. In CRYPTO, 2011.
11. Richard Bellman. Notes on the theory of dynamic programming iv - maximization over discrete sets. Naval Research Logistics Quarterly, 3:67-70, 1956. URL: https://doi.org/10.1002/nav.3800030107.
12. Avrim Blum, Adam Kalai, and Hal Wasserman. Noise-tolerant learning, the parity problem, and the statistical query model. J. ACM, 50(4):506-519, 2003. URL: https://doi.org/10.1145/792538.792543.
13. E. Boix-Adserà, M. Brennan, and G. Bresler. The average-case complexity of counting cliques in Erdős-Rényi hypergraphs. In FOCS, 2019.
14. Karl Bringmann. A near-linear pseudopolynomial time algorithm for subset sum. In Philip N. Klein, editor, SODA, 2017.
15. Mina Dalirrooyfard, Andrea Lincoln, and V. Vassilevska Williams. New techniques for proving fine-grained average-case hardness. In FOCS, 2020.
16. Anka Gajentaan and Mark H Overmars. On a class of O(n²) problems in computational geometry. Computational Geometry, 5(3), 1995. URL: http://www.sciencedirect.com/science/article/pii/0925772195000222.
17. Anka Gajentaan and Mark H. Overmars. On a class of O(n²) problems in computational geometry. Computational Geometry, 45(4), 2012. URL: http://www.sciencedirect.com/science/article/pii/S0925772111000927.
18. Nicolas Gama, Malika Izabachène, Phong Q. Nguyen, and Xiang Xie. Structural lattice reduction: Generalized worst-case to average-case reductions and homomorphic cryptosystems. In Marc Fischlin and Jean-Sébastien Coron, editors, Eurocrypt, 2016.
19. Craig Gentry, Chris Peikert, and Vinod Vaikuntanathan. Trapdoors for hard lattices and new cryptographic constructions. In STOC, 2008. URL: https://eprint.iacr.org/2007/432.
20. Oded Goldreich and Guy N. Rothblum. Counting t-cliques: Worst-case to average-case reductions and direct interactive proof systems. In Mikkel Thorup, editor, 59th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2018, Paris, France, October 7-9, 2018, pages 77-88. IEEE Computer Society, 2018. URL: https://doi.org/10.1109/FOCS.2018.00017.
21. Oded Goldreich and Guy N. Rothblum. Worst-case to average-case reductions for subclasses of P. In Oded Goldreich, editor, Computational Complexity and Property Testing - On the Interplay Between Randomness and Computation, volume 12050 of Lecture Notes in Computer Science, pages 249-295. Springer, 2020. URL: https://doi.org/10.1007/978-3-030-43662-9_15.
22. Shuichi Hirahara and Nobutaka Shimizu. Nearly optimal average-case complexity of counting bicliques under SETH, 2020. URL: http://arxiv.org/abs/2010.05822.
23. Ellis Horowitz and Sartaj Sahni. Computing partitions with applications to the knapsack problem. J. ACM, 21(2):277-292, 1974. URL: https://doi.org/10.1145/321812.321823.
24. Russell Impagliazzo, Leonid A. Levin, and Michael Luby. Pseudo-random generation from one-way functions (extended abstracts). In David S. Johnson, editor, STOC, 1989.
25. Ce Jin and Hongxun Wu. A simple near-linear pseudopolynomial time randomized algorithm for subset sum. In SOSA, 2019.
26. Paul Kirchner and Pierre-Alain Fouque. Time-memory trade-off for lattice enumeration in a ball, 2016.
27. Konstantinos Koiliaris and Chao Xu. A faster pseudopolynomial time algorithm for subset sum. In Philip N. Klein, editor, SODA, 2017.
28. Tsvi Kopelowitz, Seth Pettie, and Ely Porat. Higher lower bounds from the 3SUM conjecture. In SODA, 2016.
29. Ravi Kumar and D. Sivakumar. On polynomial-factor approximations to the shortest lattice vector length. SIAM J. Discrete Math., 16(3):422-425, 2003.
30. Daniele Micciancio and Chris Peikert. Hardness of SIS and LWE with small parameters. In CRYPTO, 2013.
31. Daniele Micciancio and Oded Regev. Worst-case to average-case reductions based on Gaussian measures. SIAM Journal of Computing, 37(1), 2007.
32. NIST. Post-quantum cryptography standardization. URL: https://csrc.nist.gov/Projects/Post-Quantum-Cryptography.
33. Mihai Patrascu. Towards polynomial lower bounds for dynamic problems. In STOC, 2010.
34. Mihai Patrascu and Ryan Williams. On the possibility of faster SAT algorithms. In SODA, 2010.
35. Chris Peikert. A decade of lattice cryptography. Foundations and Trends in Theoretical Computer Science, 10(4), 2016.
36. David A. Wagner. A generalized birthday problem. In CRYPTO, 2002.
37. Virginia Vassilevska Williams. On some fine-grained questions in algorithms and complexity. In Proceedings of the International Congress of Mathematicians (ICM 2018). 2018.
38. Virginia Vassilevska Williams and Ryan Williams. Finding, minimizing, and counting weighted subgraphs. SIAM J. Comput., 42(3):831-854, 2013. URL: https://doi.org/10.1137/09076619X.
X

Feedback for Dagstuhl Publishing