Parameterized Inapproximability of the Minimum Distance Problem over All Fields and the Shortest Vector Problem in All ℓp Norms
Huck Bennett, Mahdi Cheraghchi, Venkatesan Guruswami, João Ribeiro
Abstract
We prove that the Minimum Distance Problem (MDP) on linear codes over any fixed finite field and parameterized by the input distance bound is W[1]-hard to approximate within any constant factor. We also prove analogous results for the parameterized Shortest Vector Problem (SVP) on integer lattices. Specifically, we prove that SVP in the ℓ p norm is W[1]-hard to approximate within any constant factor for any fixed p > 1 and W[1]-hard to approximate within a factor approaching 2 for p = 1. (We show hardness under randomized reductions in each case.)
These results answer the main questions left open (and explicitly posed) by Bhattacharyya, Bonnet, Egri, Ghoshal, Karthik C. S., Lin, Manurangsi, and Marx (Journal of the ACM, 2021) on the complexity of parameterized MDP and SVP. For MDP, they established similar hardness for binary linear codes and left the case of general fields open. For SVP in ℓ p norms with p > 1, they showed inapproximability within some constant factor (depending on p) and left open showing such hardness for arbitrary constant factors. They also left open showing W[1]-hardness even of exact SVP in the ℓ 1 norm.
Ask about this paper
Your agent reads all of it.
Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.
Your agent calls
Luneget_paper_fulltext
Free to start. No credit card required.
Terminal
Install the CLIlune papers fulltext 30eb76b5-da55-4873-8a2e-f080364c02a5Cited by top-tier papers1
Ask how each one uses itBuilds on3
- Parameterized Complexity and Approximability of Directed Odd Cycle TransversalDaniel Lokshtanov, M. S. Ramanujan, Saket Saurabh, Meirav ZehaviSODA 2020 · 46 citations
- Tight Running Time Lower Bounds for Strong Inapproximability of Maximum k-Coverage, Unique Set Cover and Related Problems (via t-Wise Agreement Testing Theorem)Pasin ManurangsiSODA 2020 · 30 citations
- Fine-grained hardness of CVP(P) - Everything that we can prove (and nothing else)Divesh Aggarwal, Huck Bennett, Alexander Golovnev, Noah Stephens-DavidowitzSODA 2021 · 22 citations
Related papers
- Deterministic Hardness of Approximation of Unique-SVP and GapSVP in ℓp Norms for p>2Yahli Hecht, Muli SafraSTOC 2026 · 8 citations
- Inapproximability of Finding Sparse Vectors in Codes, Subspaces, and LatticesVijay Bhattiprolu, Venkatesan Guruswami, Euiwoong Lee, Xuandi RenFOCS 2025 · 1 citation
- SVPp Is Deterministically NP-Hard for All p > 2, Even to Approximate within a Factor of 2log1-εnIsaac M. Hair, Amit SahaiSTOC 2026
- Why we couldn't prove SETH hardness of the Closest Vector Problem for even norms!Divesh Aggarwal, Rajendra KumarFOCS 2023 · 1 citation
- Dimension-Preserving Reductions Between SVP and CVP in Different p-NormsDivesh Aggarwal, Yanlin Chen, Rajendra Kumar, Zeyong Li et al.SODA 2021 · 7 citations
