English
Related papers

Related papers: Algorithms for the Shortest Vector Problem in $2$-…

200 papers

We give a deterministic O(log n)^n algorithm for the {\em Shortest Vector Problem (SVP)} of a lattice under {\em any} norm, improving on the previous best deterministic bound of n^O(n) for general norms and nearly matching the bound of…

Computational Complexity · Computer Science 2011-07-28 Daniel Dadush , Santosh Vempala

We give a deterministic algorithm for solving the (1+eps)-approximate Closest Vector Problem (CVP) on any n dimensional lattice and any norm in 2^{O(n)}(1+1/eps)^n time and 2^n poly(n) space. Our algorithm builds on the lattice point…

Data Structures and Algorithms · Computer Science 2013-01-01 Daniel Dadush , Gabor Kun

We give a novel algorithm for enumerating lattice points in any convex body, and give applications to several classic lattice problems, including the Shortest and Closest Vector Problems (SVP and CVP, respectively) and Integer Programming…

Data Structures and Algorithms · Computer Science 2011-06-14 Daniel Dadush , Chris Peikert , Santosh Vempala

Vector perturbation (VP) precoding is a promising technique for multiuser communication systems operating in the downlink. In this work, we introduce a hybrid framework to improve the performance of lattice reduction (LR) aided precoding in…

Information Theory · Computer Science 2018-06-11 Shanxiang Lyu , Cong Ling

The closest vector problem (CVP) is a fundamental optimization problem in lattice-based cryptography and its conjectured hardness underpins the security of lattice-based cryptosystems. Furthermore, Schnorr's lattice-based factoring…

Cryptography and Security · Computer Science 2025-10-23 Max O. Al-Hasso , Marko von der Leyen

In this work, we exhibit a hierarchy of polynomial time algorithms solving approximate variants of the Closest Vector Problem (CVP). Our first contribution is a heuristic algorithm achieving the same distance tradeoff as HSVP algorithms,…

Data Structures and Algorithms · Computer Science 2020-06-12 Thomas Espitau , Paul Kirchner

Finding sparse vectors is a fundamental problem that arises in several contexts including codes, subspaces, and lattices. In this work, we prove strong inapproximability results for all these variants using a novel approach that even…

Computational Complexity · Computer Science 2025-06-26 Vijay Bhattiprolu , Venkatesan Guruswami , Euiwoong Lee , Xuandi Ren

We consider the NP-hard problem of minimizing a convex quadratic function over the integer lattice ${\bf Z}^n$. We present a simple semidefinite programming (SDP) relaxation for obtaining a nontrivial lower bound on the optimal value of the…

Optimization and Control · Mathematics 2017-03-16 Jaehyun Park , Stephen Boyd

A lattice reduction is an algorithm that transforms the given basis of the lattice to another lattice basis such that problems like finding a shortest vector and closest vector become easier to solve. Some of the famous lattice reduction…

Data Structures and Algorithms · Computer Science 2019-12-05 Mithilesh Kumar

Blomer and Naewe[BN09] modified the randomized sieving algorithm of Ajtai, Kumar and Sivakumar[AKS01] to solve the shortest vector problem (SVP). The algorithm starts with $N = 2^{O(n)}$ randomly chosen vectors in the lattice and employs a…

Data Structures and Algorithms · Computer Science 2018-05-16 Divesh Aggarwal , Priyanka Mukhopadhyay

We give a $2^{n+o(n)}$-time and space randomized algorithm for solving the exact Closest Vector Problem (CVP) on $n$-dimensional Euclidean lattices. This improves on the previous fastest algorithm, the deterministic…

Data Structures and Algorithms · Computer Science 2019-01-28 Divesh Aggarwal , Daniel Dadush , Noah Stephens-Davidowitz

The shortest vector problem (SVP) over ideal lattices is closely related to the Ring-LWE problem, which is widely used to build post-quantum cryptosystems. Power-of-two cyclotomic fields are frequently adopted to instantiate Ring-LWE. Pan…

Cryptography and Security · Computer Science 2026-01-16 Gaohao Cui , Jianing Li , Jincheng Zhuang

We present a lattice algorithm specifically designed for some classical applications of lattice reduction. The applications are for lattice bases with a generalized knapsack-type structure, where the target vectors are boundably short. For…

Symbolic Computation · Computer Science 2010-02-04 Mark Van Hoeij , Andrew Novocin

Lattices are very important objects in the effort to construct cryptographic primitives that are secure against quantum attacks. A central problem in the study of lattices is that of finding the shortest non-zero vector in the lattice.…

Quantum Physics · Physics 2022-09-05 Nishant Rodrigues , Brad Lackey

A particular instance of the Shortest Vector Problem (SVP) appears in the context of Compute-and-Forward. Despite the NP-hardness of the SVP, we will show that this certain instance can be solved in complexity order $O(n\psi\log(n\psi))$…

Information Theory · Computer Science 2017-11-28 Saeid Sahraei , Michael Gastpar

The Systematic Normal Form (SysNF) is a canonical form of lattices introduced in [Eldar,Shor '16], in which the basis entries satisfy a certain co-primality condition. Using a "smooth" analysis of lattices by SysNF lattices we design a…

Quantum Physics · Physics 2016-11-28 Lior Eldar , Peter W. Shor

Quantum annealing has been recently studied to solve the shortest vector problem (SVP), where the norm of a lattice point vector is mapped to the problem Hamiltonian with the qudit encoding, Hamming-weight encoding, or binary encoding, and…

Quantum Physics · Physics 2024-09-06 Kota Mizuno , Shohei Watabe

Finding the shortest vector in a lattice is a problem that is believed to be hard both for classical and quantum computers. Many major post-quantum secure cryptosystems base their security on the hardness of the Shortest Vector Problem…

Quantum Physics · Physics 2025-03-06 Milos Prokop , Petros Wallden , David Joseph

$ \newcommand{\SVP}{\mathsf{SVP}} \newcommand{\NP}{\mathsf{NP}} \newcommand{\RTIME}{\mathsf{RTIME}} \newcommand{\RSUBEXP}{\mathsf{RSUBEXP}} \newcommand{\eps}{\epsilon} \newcommand{\poly}{\mathop{\mathrm{poly}}} $We show that unless $\NP…

Computational Complexity · Computer Science 2018-06-12 Ishay Haviv , Oded Regev

Noisy intermediate-scale quantum cryptanalysis focuses on the capability of near-term quantum devices to solve the mathematical problems underlying cryptography, and serves as a cornerstone for the design of post-quantum cryptographic…

Quantum Physics · Physics 2025-05-14 Xiaokai Hou , Guoqing Zhou , Shan Jin , Yang Li , Wei Huang , Ao Sun , Xiaoting Wang , Bingjie Xu