English

Fine-grained deterministic hardness of the shortest vector problem

Number Theory 2026-03-24 v3

Abstract

Let γ\gamma-GapSVPp\mathsf{GapSVP}_p be the decision version of the shortest vector problem in the p\ell_p-norm with approximation factor γ\gamma, let nn be the lattice rank and 0<ε10<\varepsilon\leq 1. We prove that there is no algorithm that solves (2ε)(2-\varepsilon)-GapSVPp\mathsf{GapSVP}_p uniformly for all pNp\in\mathbb{N} in time22o(p)2o(n), 2^{2^{o(p)}}\cdot 2^{o(n)}, unless the Exponential Time Hypothesis is false. The proof is based on a deterministic Karp reduction from a constrained variant of the subset-sum problem to GapSVPp\mathsf{GapSVP}_p for fixed pp. While most hardness results for the shortest vector problem in finite norms rely on randomized reductions, our method is entirely deterministic. As a consequence, we also obtain a deterministic Karp reduction from the standard subset-sum problem to (2ε)(2-\varepsilon)-GapSVP\mathsf{GapSVP}_{\infty}.

Cite

@article{arxiv.2511.01626,
  title  = {Fine-grained deterministic hardness of the shortest vector problem},
  author = {Markus Hittmeir},
  journal= {arXiv preprint arXiv:2511.01626},
  year   = {2026}
}

Comments

14 pages. v3: Reformulation of main results

R2 v1 2026-07-01T07:19:22.553Z