Exponential quantum speedup for π½3n-Subset-Sum? Or, rigorous classical algorithms for Binary-Error LWE
Abstract
We study vector subset sum over π½3n: given m random vectors from π½3n, find a nonempty subset that sums to zero; the smaller m, the more difficult it is to find such a subset. Chen, Liu, and Zhandry (EUROCRYPT'22) introduced an efficient quantum algorithm that solves this problem when mβ n2/2, where a naive classical algorithm would require exponential time. Subsequently, Kothari, O'Donnell, and Wu (STOC'2026) gave an efficient classical algorithm that only requires m β n2/3 vectors, thus removing the hope for an exponential quantum advantage in this parameter regime. Using the framework of Chen, Liu, and Zhandry, we give quantum algorithms that require much fewer input vectors, renewing the possibility of an exponential quantum speedup: for any fixed Ξ΅>0, our quantum algorithm solves π½3-subset sum in polynomial time with m=Ρ· n2 vectors. More generally, we establish a full sample--time tradeoff that interpolates between exponential and polynomial runtime. The main ingredient is a deterministic classical algorithm for the binary-error Learning-with-Errors problem, which is of independent cryptographic interest. For this, we rigorously establish a sample--time tradeoff that was predicted by earlier algebraic heuristics. For vector subset sums over larger fields, we also significantly improve classical algorithms in Kothari, O'Donnell, and Wu (STOC'2026).
Related
- Exponential speedup of polarization stabilization for long distance DWDM quantum networks
- Classical Algorithms for Bipartite Quantum Max-Cut on Dense Expanders
- Classical State Preparation for Variational Quantum Algorithms via Reinforcement Learning
- Provable Classical and Quantum Local Algorithms for Max-k-Cut and Quantum Advantage at Moderate Girth
- Exponential Advantage of Quantum over Classical References in Leakage Detection
BibTeX
@misc{kothari2026exponential,
title = {{Exponential quantum speedup for $\mathbbF_3^n$-Subset-Sum? Or, rigorous classical algorithms for Binary-Error LWE}},
author = {Robin Kothari and Tony Metger and Ryan O'Donnell and Noah Shutty and Kewen Wu},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.40321},
eprint = {2609.40321},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.40321},
}
RIS
TY - UNPB
TI - Exponential quantum speedup for π½_3^n-Subset-Sum? Or, rigorous classical algorithms for Binary-Error LWE
AU - Robin Kothari
AU - Tony Metger
AU - Ryan O'Donnell
AU - Noah Shutty
AU - Kewen Wu
PY - 2026
DA - 2026/09/30
PB - arXiv
DO - 10.48550/arxiv.2609.40321
UR - https://arxiv.org/abs/2609.40321
AB - We study vector subset sum over π½_3^n: given m random vectors from π½_3^n, find a nonempty subset that sums to zero; the smaller m, the more difficult it is to find such a subset. Chen, Liu, and Zhandry (EUROCRYPT'22) introduced an efficient quantum algorithm that solves this problem when mβ n^2/2, where a naive classical algorithm would require exponential time. Subsequently, Kothari, O'Donnell, and Wu (STOC'2026) gave an efficient classical algorithm that only requires m β n^2/3 vectors, thus removing the hope for an exponential quantum advantage in this parameter regime. Using the framework of Chen, Liu, and Zhandry, we give quantum algorithms that require much fewer input vectors, renewing the possibility of an exponential quantum speedup: for any fixed Ξ΅>0, our quantum algorithm solves π½_3-subset sum in polynomial time with m=Ρ· n^2 vectors. More generally, we establish a full sample--time tradeoff that interpolates between exponential and polynomial runtime. The main ingredient is a deterministic classical algorithm for the binary-error Learning-with-Errors problem, which is of independent cryptographic interest. For this, we rigorously establish a sample--time tradeoff that was predicted by earlier algebraic heuristics. For vector subset sums over larger fields, we also significantly improve classical algorithms in Kothari, O'Donnell, and Wu (STOC'2026).
ER -