Cargando…
Covering Convex Bodies and the Closest Vector Problem
We present algorithms for the [Formula: see text] -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 [Formula: see text] . We improve this substantially in the following two...
Autores principales: | , |
---|---|
Formato: | Online Artículo Texto |
Lenguaje: | English |
Publicado: |
Springer US
2022
|
Materias: | |
Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC9090713/ https://www.ncbi.nlm.nih.gov/pubmed/35572812 http://dx.doi.org/10.1007/s00454-022-00392-x |
_version_ | 1784704786121097216 |
---|---|
author | Naszódi, Márton Venzin, Moritz |
author_facet | Naszódi, Márton Venzin, Moritz |
author_sort | Naszódi, Márton |
collection | PubMed |
description | We present algorithms for the [Formula: see text] -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 [Formula: see text] . We improve this substantially in the following two cases. First, for [Formula: see text] -norms with [Formula: see text] (resp. [Formula: see text] ) fixed, we present an algorithm with a running time of [Formula: see text] (resp. [Formula: see text] ). 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 [Formula: see text] -scaled homothet of the norm ball? We provide upper bounds for this [Formula: see text] -covering number by exploiting the modulus of smoothness of the [Formula: see text] -balls. Applying a covering scheme, we can boost any 2-approximation algorithm for CVP to a [Formula: see text] -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 [Formula: see text] with O(n) facets (resp. generated by O(n) line segments), we provide a deterministic [Formula: see text] time algorithm. This generalizes the result of Eisenbrand et al. which applies to the [Formula: see text] -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 [Formula: see text] norms. This connection might be of independent interest. |
format | Online Article Text |
id | pubmed-9090713 |
institution | National Center for Biotechnology Information |
language | English |
publishDate | 2022 |
publisher | Springer US |
record_format | MEDLINE/PubMed |
spelling | pubmed-90907132022-05-12 Covering Convex Bodies and the Closest Vector Problem Naszódi, Márton Venzin, Moritz Discrete Comput Geom Article We present algorithms for the [Formula: see text] -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 [Formula: see text] . We improve this substantially in the following two cases. First, for [Formula: see text] -norms with [Formula: see text] (resp. [Formula: see text] ) fixed, we present an algorithm with a running time of [Formula: see text] (resp. [Formula: see text] ). 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 [Formula: see text] -scaled homothet of the norm ball? We provide upper bounds for this [Formula: see text] -covering number by exploiting the modulus of smoothness of the [Formula: see text] -balls. Applying a covering scheme, we can boost any 2-approximation algorithm for CVP to a [Formula: see text] -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 [Formula: see text] with O(n) facets (resp. generated by O(n) line segments), we provide a deterministic [Formula: see text] time algorithm. This generalizes the result of Eisenbrand et al. which applies to the [Formula: see text] -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 [Formula: see text] norms. This connection might be of independent interest. Springer US 2022-05-01 2022 /pmc/articles/PMC9090713/ /pubmed/35572812 http://dx.doi.org/10.1007/s00454-022-00392-x Text en © The Author(s) 2022 https://creativecommons.org/licenses/by/4.0/Open AccessThis article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/ (https://creativecommons.org/licenses/by/4.0/) . |
spellingShingle | Article Naszódi, Márton Venzin, Moritz Covering Convex Bodies and the Closest Vector Problem |
title | Covering Convex Bodies and the Closest Vector Problem |
title_full | Covering Convex Bodies and the Closest Vector Problem |
title_fullStr | Covering Convex Bodies and the Closest Vector Problem |
title_full_unstemmed | Covering Convex Bodies and the Closest Vector Problem |
title_short | Covering Convex Bodies and the Closest Vector Problem |
title_sort | covering convex bodies and the closest vector problem |
topic | Article |
url | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC9090713/ https://www.ncbi.nlm.nih.gov/pubmed/35572812 http://dx.doi.org/10.1007/s00454-022-00392-x |
work_keys_str_mv | AT naszodimarton coveringconvexbodiesandtheclosestvectorproblem AT venzinmoritz coveringconvexbodiesandtheclosestvectorproblem |