Skip to main content

Approximating Closest Vector Problem in \(\ell _\infty \) Norm Revisited

  • Conference paper
  • First Online:
Algorithmic Aspects in Information and Management (AAIM 2019)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 11640))

Included in the following conference series:

  • 564 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. 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)

    Google Scholar 

  2. 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)

    Google Scholar 

  3. Arora, S.: Probabilistic checking of proofs and the hardness of approximation problems. Ph.D. thesis, UC Berkeley (1994)

    Google Scholar 

  4. 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)

    Article  MathSciNet  Google Scholar 

  5. Arora, S., Lund, C.: Hardness of approximations. In: Approximation Algorithms for NP-Hard Problems. PWS Publishing (1996)

    Google Scholar 

  6. Babai, L.: On Lovász’s lattice reduction and the nearest lattice point problem. Combinatorica 6, 1–14 (1986)

    Article  MathSciNet  Google Scholar 

  7. Bollobás, B.: Combinatorics. Cambridge University Press, Cambridge (1986)

    MATH  Google Scholar 

  8. 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)

    Google Scholar 

  9. 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

    Chapter  Google Scholar 

  10. 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)

    Google Scholar 

  11. Gauss, C.F.: Disquisitiones arithmeticae. (leipzig 1801), art. 171. Yale University Press. English Translation by A.A. Clarke (1966)

    Google Scholar 

  12. 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

    Chapter  MATH  Google Scholar 

  13. 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)

    Google Scholar 

  14. Kannan, R.: Minkowski’s convex body theorem and integer programming. Math. Oper. Res. 12, 415–440 (1987)

    Article  MathSciNet  Google Scholar 

  15. 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)

    Google Scholar 

  16. 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)

    Google Scholar 

  17. Khot, S.: Hardness of approximating the shortest vector problem in lattices. In: Proceedings of the 45th IEEE Symposium on Foundations of Computer Science (2004)

    Google Scholar 

  18. Kumar, R., Sivakumar, D.: Complexity of SVP-A reader’s digest. SIGACT News 32(3), 40–52 (2001). Complexity Theory Column (ed. L.Hemaspaandra)

    Article  Google Scholar 

  19. Lagarias, J.C., Odlyzko, A.M.: Solving low-density subset sum problems. J. ACM 32(1), 229–246 (1985)

    Article  MathSciNet  Google Scholar 

  20. Landau, S., Miller, G.L.: Solvability of radicals in polynomial time. J. Comput. Syst. Sci. 30(2), 179–208 (1985)

    Article  MathSciNet  Google Scholar 

  21. Lenstra, H.W.: Integer programming with a fixed number of variables. Technical report 81-03, University of Amsterdam, Amsterdam (1981)

    Google Scholar 

  22. Lenstra, A.K., Lenstra, H.W., Lov\(\acute{a}\)sz, L.: Factoring polynomials with rational coefficients. Math. Ann. 261, 513–534 (1982)

    Google Scholar 

  23. Lund, C., Yannakakis, M.: On the hardness of minimizaiton problems. J. ACM 41, 960–981 (1994)

    Article  Google Scholar 

  24. 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)

    Google Scholar 

  25. Micciancio, D., Goldwasser, S.: Complexity of Lattice Problems, A Cryptographic Perspective. Klumer Academic Publishers (2002)

    Google Scholar 

  26. Minkowski, H.: Geometrie der zahlen. Leizpig, Tuebner (1910)

    Google Scholar 

  27. 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

    Chapter  Google Scholar 

  28. 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)

    Google Scholar 

  29. 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)

    Google Scholar 

Download references

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

Authors

Corresponding author

Correspondence to Wenbin Chen .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

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)

Publish with us

Policies and ethics