← 研踪 PaperTrailarXiv:2611.09497 · v1
Hardness of Unique Shortest Vectors and Bounded Distance Decoding
首次提交 2026-11-06 22:18
版本更新 2026-11-06 22:18
雷达观测 2026-11-09 13:22
摘要
We prove randomized NP-hardness of the unique shortest vector problem (uSVP) at every constant uniqueness factor greater than one, and of bounded distance decoding (BDD) at every fixed positive fraction less than one half of the minimum distance, in both their threshold decision and search versions. Both results hold in every fixed norm with . Previous Euclidean NP-hardness results for the search versions reached uniqueness factors tending to one and decoding radii greater than the minimum distance divided by . For linear codes over every fixed finite field and each fixed , the decision version of BDD with radius strictly less than times the minimum distance is equivalent under deterministic polynomial-time reductions to satisfiability for circuits promised to have at most one satisfying input. It is therefore NP-hard under randomized polynomial-time reductions. Earlier hardness for decoding general codes applied beyond half the minimum distance. For every fixed and for , there is a constant such that, under randomized polynomial-time reductions, uSVP in the norm is NP-hard at uniqueness factor , and BDD in the norm is NP-hard at radius , where is the lattice rank and is its minimum distance.
观测到的版本
相邻记录可能跳过中间版本;首次发现 v2 及以上也会标为版本更新。
v2 · 2026-11-09 16:25 · 最新观测版本
Hardness of Unique Shortest Vectors and Bounded Distance Decoding
We prove randomized NP-hardness of the unique shortest vector problem (uSVP) at every constant uniqueness factor greater than one, and of bounded distance decoding (BDD) at every fixed positive fraction less than one half of the minimum distance, in both their threshold decision and search versions. Both results hold in every fixed norm with . Previous Euclidean NP-hardness results for the search versions reached uniqueness factors tending to one and decoding radii greater than the minimum distance divided by . For linear codes over every fixed finite field and each fixed , the decision version of BDD with radius strictly less than times the minimum distance is equivalent under deterministic polynomial-time reductions to satisfiability for circuits promised to have at most one satisfying input. It is therefore NP-hard under randomized polynomial-time reductions. Earlier hardness for decoding general codes applied beyond half the minimum distance. For every fixed and for , there is a constant such that, under randomized polynomial-time reductions, uSVP in the norm is NP-hard at uniqueness factor , and BDD in the norm is NP-hard at radius , where is the lattice rank and is its minimum distance.
查看此版本解读 →查看此版本原文 ↗v1 · 2026-11-06 22:18
Hardness of Unique Shortest Vectors and Bounded Distance Decoding
We prove randomized NP-hardness of the unique shortest vector problem (uSVP) at every constant uniqueness factor greater than one, and of bounded distance decoding (BDD) at every fixed positive fraction less than one half of the minimum distance, in both their threshold decision and search versions. Both results hold in every fixed norm with . Previous Euclidean NP-hardness results for the search versions reached uniqueness factors tending to one and decoding radii greater than the minimum distance divided by . For linear codes over every fixed finite field and each fixed , the decision version of BDD with radius strictly less than times the minimum distance is equivalent under deterministic polynomial-time reductions to satisfiability for circuits promised to have at most one satisfying input. It is therefore NP-hard under randomized polynomial-time reductions. Earlier hardness for decoding general codes applied beyond half the minimum distance. For every fixed and for , there is a constant such that, under randomized polynomial-time reductions, uSVP in the norm is NP-hard at uniqueness factor , and BDD in the norm is NP-hard at radius , where is the lattice rank and is its minimum distance.
查看此版本解读 →查看此版本原文 ↗