Abstract
The security of most lattice-based cryptography schemes are based on two computational hard problems which are the Short Integer Solution (SIS) and Learning With Errors (LWE) problems. The computational complexity of SIS and LWE problems are related to approximating Shortest Vector Problem (SVP) and Bounded Distance Decoding Problem (BDD). Approximating BDD is a special case of approximating Closest Vector Problem (CVP).
In this paper, we revisit the study for approximating Closest Vector Problem. We give one proof that approximating the Closest Vector Problem over \(\ell _\infty \) norm (\(\hbox {CVP}_\infty \)) within any constant factor is NP-hard. The result is obtained by the gap-preserving reduction from Min Total Label Cover problem in \(\ell _1\) norm to \(\hbox {CVP}_\infty \). This proof is simpler than known proofs.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Ajtai, M.: The shortest vector problem in \(L_{2}\) is NP-hard for randomized reductions. In: Proceedings of the 30th Annual ACM Symposium on Theory of Computing, pp. 10–19 (1998)
Ajtai, M., Kumar, R., Sivakumar, D.: A sieve algorithm for the shortest lattice vector problem. In: Proceedings of the 33rd Annual ACM Symposium on Theory of Computing, pp. 601–610 (2001)
Arora, S.: Probabilistic checking of proofs and the hardness of approximation problems. Ph.D. thesis, UC Berkeley (1994)
Arora, S., Babai, L., Stern, J., Sweedyk, E.Z.: The hardness of approximate optima in lattices, codes, and systems of linear equations. J. Comput. Syst. Sci. 54, 317–331 (1997)
Arora, S., Lund, C.: Hardness of approximations. In: Approximation Algorithms for NP-Hard Problems. PWS Publishing (1996)
Babai, L.: On Lovász’s lattice reduction and the nearest lattice point problem. Combinatorica 6, 1–14 (1986)
Bollobás, B.: Combinatorics. Cambridge University Press, Cambridge (1986)
Cai, J.Y., Nerurkar, A.: Approxiamting the SVP to within a factor \((1+1/dim^{\epsilon })\) is NP-hard under randomizied reductions. In: Proceedings of the 13th Annual IEEE Conference on Computational Complexity, pp. 151–158 (1998)
Dinur, I.: Approximating SVP\(_{\infty }\) to within almost-polynomial factors is NP-hard. In: Bongiovanni, G., Petreschi, R., Gambosi, G. (eds.) CIAC 2000. LNCS, vol. 1767, pp. 263–276. Springer, Heidelberg (2000). https://doi.org/10.1007/3-540-46521-9_22
Dinur, I., Kindler, G., Safra, S.: Approximating CVP to within almost-polynomial factors is NP-hard. In: Proceedings of the 39th IEEE Symposium on Foundations of Computer Science (1998)
Gauss, C.F.: Disquisitiones arithmeticae. (leipzig 1801), art. 171. Yale University Press. English Translation by A.A. Clarke (1966)
Havas, G., Seifert, J.-P.: The complexity of the extended GCD problem. In: Kutyłowski, M., Pacholski, L., Wierzbicki, T. (eds.) MFCS 1999. LNCS, vol. 1672, pp. 103–113. Springer, Heidelberg (1999). https://doi.org/10.1007/3-540-48340-3_10
Kannan, R.: Improved algorithm for integer programming and related lattice problems. In: Proceedings of the 15 Annual ACM Symposium on Theory of Computing, pp. 193–206 (1983)
Kannan, R.: Minkowski’s convex body theorem and integer programming. Math. Oper. Res. 12, 415–440 (1987)
Kannan, R., Sudun, M., Trevisan, L.: Constraint satisfaction: the approximability of minimization problems. In: Proceedings of the 12th IEEE Conference of Computational Complexity, pp. 282–296 (1997)
Khot, S.: Hardness of approximating the shortest vector problem in high \(L_p\) norms. In: Proceedings of the 44th IEEE Symposium on Foundations of Computer Science (2003)
Khot, S.: Hardness of approximating the shortest vector problem in lattices. In: Proceedings of the 45th IEEE Symposium on Foundations of Computer Science (2004)
Kumar, R., Sivakumar, D.: Complexity of SVP-A reader’s digest. SIGACT News 32(3), 40–52 (2001). Complexity Theory Column (ed. L.Hemaspaandra)
Lagarias, J.C., Odlyzko, A.M.: Solving low-density subset sum problems. J. ACM 32(1), 229–246 (1985)
Landau, S., Miller, G.L.: Solvability of radicals in polynomial time. J. Comput. Syst. Sci. 30(2), 179–208 (1985)
Lenstra, H.W.: Integer programming with a fixed number of variables. Technical report 81-03, University of Amsterdam, Amsterdam (1981)
Lenstra, A.K., Lenstra, H.W., Lov\(\acute{a}\)sz, L.: Factoring polynomials with rational coefficients. Math. Ann. 261, 513–534 (1982)
Lund, C., Yannakakis, M.: On the hardness of minimizaiton problems. J. ACM 41, 960–981 (1994)
Micciancio, D.: The shortest vector problem is NP-hard to approximate to within some constant. In: Proceedings of the 39th IEEE Symposium on Foundations of Computer Science (1998)
Micciancio, D., Goldwasser, S.: Complexity of Lattice Problems, A Cryptographic Perspective. Klumer Academic Publishers (2002)
Minkowski, H.: Geometrie der zahlen. Leizpig, Tuebner (1910)
Rössner, C., Seifert, J.-P.: The complexity of approximate optima for greatest common divisor computations. In: Cohen, H. (ed.) ANTS 1996. LNCS, vol. 1122, pp. 307–322. Springer, Heidelberg (1996). https://doi.org/10.1007/3-540-61581-4_64
Schnorr, C.P.: A hierarchy of polynomial-time basis reduction algorithms. In: Proceedings of Conference on Algorithms, P\(\acute{e}\)ecs (Hungary), pp. 375–386 (1985)
van Emde Boas, P.: Another NP-complete problem and the complexity of computing short vectors in a lattice. Technical report 81-04, Mathematische Instiut, University of Amsterdam (1981)
Acknowledgments
We would like to thank the anonymous referees for their careful readings of the manuscripts and many useful suggestions.
Wenbin Chen’s research has been supported by the National Natural Science Foundation of China (NSFC) under Grant No. 11271097., and by the Program for Innovative Research Team in Education Department of Guangdong Province Under No. 2016KCXTD017. Jianer Chen has been supported by the National Natural Science Foundation of China (NSFC) under Grant No. 61872097.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Chen, W., Chen, J. (2019). Approximating Closest Vector Problem in \(\ell _\infty \) Norm Revisited. In: Du, DZ., Li, L., Sun, X., Zhang, J. (eds) Algorithmic Aspects in Information and Management. AAIM 2019. Lecture Notes in Computer Science(), vol 11640. Springer, Cham. https://doi.org/10.1007/978-3-030-27195-4_4
Download citation
DOI: https://doi.org/10.1007/978-3-030-27195-4_4
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-27194-7
Online ISBN: 978-3-030-27195-4
eBook Packages: Computer ScienceComputer Science (R0)