Paper 2026/1793

CVP Is NP-Complete for Principal Cyclotomic Ideals

Jiaqi Liu, Academy of Mathematics and Systems Science
Yansong Feng, Academy of Mathematics and Systems Science
Yanbin Pan, Academy of Mathematics and Systems Science
Abstract

We prove that exact Euclidean decision-CVP is $\mathsf{NP}$-complete on the coefficient lattices of nonzero principal ideals in the power-of-two cyclotomic rings $R_d:=\mathbb{Z}[y]/(y^d+1)$. Our deterministic reduction from Exact Cover by 3-Sets (X3C) produces a target and a squared threshold $\Delta$ such that the closest squared distance is exactly $\Delta$ in YES instances and at least $\Delta+4$ in NO instances. This also implies $\mathsf{NP}$-hardness of exact search-CVP under polynomial-time Turing reductions. We also transfer the resulting principal-ideal CVP instances to full-rank principal ideals of the cyclic quotient ring $\mathbb{Z}[X]/(X^D-1)$, where $D:=2d$. Their coefficient lattices are invariant under cyclic coordinate shifts. The lift preserves principality and multiplies corresponding squared distances by eight. Thus, on principal cyclic ideal lattices, exact decision-CVP is $\mathsf{NP}$-complete and exact search-CVP is $\mathsf{NP}$-hard. We also obtain uniformly computable fixed cyclotomic and cyclic families in which only the target and threshold depend on the X3C collection. Consequently, a polynomial-time solution to exact decision-CVPP on either family would imply $\mathsf{NP}\subseteq\mathsf{P}/\mathrm{poly}$ and collapse the polynomial hierarchy to $\Sigma_2^{\mathsf{P}}$. To our knowledge, the cyclic results answer Micciancio's questions of whether exact decision-CVP is $\mathsf{NP}$-hard on cyclic lattices and on a fixed family of cyclic lattices, even when restricted to full-rank principal cyclic ideals. Finally, under the coefficient embedding, we prove that exact decision-module-SIVP is $\mathsf{NP}$-complete on free rank-two modules over the same cyclotomic rings.

Metadata
Available format(s)
PDF
Category
Foundations
Publication info
Preprint.
Keywords
Closest Vector ProblemIdeal LatticesCyclotomic LatticesCyclic Lattices
Contact author(s)
ljqi @ amss ac cn
fengyansong @ amss ac cn
panyanbin @ amss ac cn
History
2026-09-18: revised
2026-08-24: received
See all versions
Short URL
https://ia.cr/2026/1793
License
Creative Commons Attribution
CC BY

BibTeX

@misc{cryptoeprint:2026/1793,
      author = {Jiaqi Liu and Yansong Feng and Yanbin Pan},
      title = {{CVP} Is {NP}-Complete for Principal Cyclotomic Ideals},
      howpublished = {Cryptology {ePrint} Archive, Paper 2026/1793},
      year = {2026},
      url = {https://eprint.iacr.org/2026/1793}
}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.