Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Journal articles
  4. Covering Convex Bodies and the Closest Vector Problem
 
research article

Covering Convex Bodies and the Closest Vector Problem

Naszódi, Márton  
•
Venzin, Moritz Andreas  
May 5, 2022
Discrete & Computational Geometry

We present algorithms for the (1+epsilon)-approximate version of the closest vector problem for certain norms. The currently fastest algorithm (Dadush and Kun 2016) for general norms in dimension n has running time of 2(O(n)) (1/epsilon)(n) . We improve this substantially in the following two cases. First, for l(p)-norms with p > 2 (resp. p epsilon [1, 2]) fixed, we present an algorithm with a running time of 2(O(n))(1 +1/epsilon)(n/2) (resp.2(O(n))(1+1/epsilon)(n/p)). This result is based on a geometric covering problem, that was introduced in the context of CVP by Eisenbrand et al.: How many convex bodies are needed to cover the ball of the norm such that, if scaled by factor 2 around their centroids, each one is contained in the (1 + epsilon )-scaled homothet of the norm ball? We provide upper bounds for this (2, epsilon)-covering number by exploiting the modulus of smoothness of the l(p)-balls. Applying a covering scheme, we can boost any 2-approximation algorithm for CVP to a (1 + epsilon)-approximation algorithm with the improved run time, either using a straightforward sampling routine or using the deterministic algorithm of Dadush for the construction of an epsilon net. Second, we consider polyhedral and zonotopal norms. For centrally symmetric polytopes (resp. zonotopes) in R-n with O(n) facets (resp. generated by O(n) line segments), we provide a deterministic O(log(2)(2 + 1/epsilon))(O(n)) time algorithm. This generalizes the result of Eisenbrand et al. which applies to the l(infinity) -norm. Finally, we establish a connection between the modulus of smoothness and lattice sparsification. As a consequence, using the enumeration and sparsification tools developped by Dadush, Kun, Peikert, and Vempala, we present a simple alternative to the boosting procedure with the same time and space requirement for l(p) norms. This connection might be of independent interest.

  • Files
  • Details
  • Metrics
Loading...
Thumbnail Image
Name

1908.08384.pdf

Type

Preprint

Version

Submitted version (Preprint)

Access type

openaccess

License Condition

copyright

Size

411.01 KB

Format

Adobe PDF

Checksum (MD5)

f1e9970a868c2fd3594b6d9be844c98e

Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés