Skip to main content
Top
Published in: Designs, Codes and Cryptography 6/2022

09-05-2022

Sharper bounds on four lattice constants

Authors: Jinming Wen, Xiao-Wen Chang

Published in: Designs, Codes and Cryptography | Issue 6/2022

Login to get access

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

The Korkine–Zolotareff (KZ) reduction and its generalisations, are widely used lattice reduction strategies in communications and cryptography. The KZ constant and Schnorr’s constant were defined by Schnorr in 1987. The KZ constant can be used to quantify some useful properties of KZ reduced matrices. Schnorr’s constant can be used to characterize the output quality of his block 2k-reduction and is used to define his semi block 2k-reduction, which was also developed in 1987. Hermite’s constant, which is a fundamental lattice constant, has many applications, such as bounding the length of the shortest nonzero lattice vector and the orthogonality defect of lattices. Rankin’s constant was introduced by Rankin in 1953 as a generalization of Hermite’s constant. It plays an important role in characterizing the output quality of block-Rankin reduction, proposed by Gama et al. in 2006. In this paper, we first develop a linear upper bound on Hermite’s constant and then use it to develop an upper bound on the KZ constant. These upper bounds are sharper than those obtained recently by the authors, and the ratio of the new linear upper bound to the nonlinear upper bound, developed by Blichfeldt in 1929, on Hermite’s constant is asymptotically 1.0047. Furthermore, we develop lower and upper bounds on Schnorr’s constant. The improvement to the lower bound over the sharpest existing one developed by Gama et al. is around 1.7 times asymptotically, and the improvement to the upper bound over the sharpest existing one which was also developed by Gama et al. is around 4 times asymptotically. Finally, we develop lower and upper bounds on Rankin’s constant. The improvements of the bounds over the sharpest existing ones, also developed by Gama et al., are exponential in the parameter defining the constant.
Appendix
Available only for authorised users
Literature
1.
go back to reference Agrell E., Eriksson T., Vardy A., Zeger K.: Closest point search in lattices. IEEE Trans. Inf. Theory 48(8), 2201–2214 (2002).MathSciNetCrossRef Agrell E., Eriksson T., Vardy A., Zeger K.: Closest point search in lattices. IEEE Trans. Inf. Theory 48(8), 2201–2214 (2002).MathSciNetCrossRef
2.
go back to reference Ajtai M.: Optimal lower bounds for the Korkine-Zolotareff parameters of a lattice and for Schnorr’s algorithm for the shortest vector problem. Theory Comput. 4(1), 21–51 (2008).MathSciNetCrossRef Ajtai M.: Optimal lower bounds for the Korkine-Zolotareff parameters of a lattice and for Schnorr’s algorithm for the shortest vector problem. Theory Comput. 4(1), 21–51 (2008).MathSciNetCrossRef
4.
go back to reference Blichfeldt H.F.: The minimum value of quadratic forms, and the closest packing of spheres. Math. Ann. 101(1), 605–608 (1929).MathSciNetCrossRef Blichfeldt H.F.: The minimum value of quadratic forms, and the closest packing of spheres. Math. Ann. 101(1), 605–608 (1929).MathSciNetCrossRef
5.
go back to reference Cohn H., Kumar A.: The densest lattice in twenty-four dimensions. Electron. Res. Announc. Am. Math. Soc. 10(7), 58–67 (2004).MathSciNetCrossRef Cohn H., Kumar A.: The densest lattice in twenty-four dimensions. Electron. Res. Announc. Am. Math. Soc. 10(7), 58–67 (2004).MathSciNetCrossRef
6.
go back to reference Euler L.: Exercitationes analyticae. Novi commentarii academiae scientiarum Petropolitanae 173–204 (1773). Euler L.: Exercitationes analyticae. Novi commentarii academiae scientiarum Petropolitanae 173–204 (1773).
7.
go back to reference Gama N., Howgrave-Graham N., Koy H., Nguyen P.Q.: Rankin’s constant and blockwise lattice reduction. In: Dwork C. (eds.) Advances in Cryptology—CRYPTO 2006. Lecture Notes in Computer Science, pp. 112– 130. Springer (2006). Gama N., Howgrave-Graham N., Koy H., Nguyen P.Q.: Rankin’s constant and blockwise lattice reduction. In: Dwork C. (eds.) Advances in Cryptology—CRYPTO 2006. Lecture Notes in Computer Science, pp. 112– 130. Springer (2006).
8.
go back to reference Gama N., Nguyen P.Q.: Finding short lattice vectors within Mordell’s inequality. In: Proceedings of the Fortieth Annual ACM Symposium on Theory of Computing, pp. 207–216 (2008). Gama N., Nguyen P.Q.: Finding short lattice vectors within Mordell’s inequality. In: Proceedings of the Fortieth Annual ACM Symposium on Theory of Computing, pp. 207–216 (2008).
9.
go back to reference Golub G., Van Loan C.: Matrix Computations, 4th edn Johns Hopkins, Baltimore (2013).MATH Golub G., Van Loan C.: Matrix Computations, 4th edn Johns Hopkins, Baltimore (2013).MATH
10.
11.
go back to reference Lagarias J.C., Lenstra H.W., Schnorr C.P.: Korkin-zolotarev bases and successive minima of a lattice and its reciprocal lattice. Combinatorica 10(4), 333–348 (1990).MathSciNetCrossRef Lagarias J.C., Lenstra H.W., Schnorr C.P.: Korkin-zolotarev bases and successive minima of a lattice and its reciprocal lattice. Combinatorica 10(4), 333–348 (1990).MathSciNetCrossRef
13.
go back to reference Ling C.: On the proximity factors of lattice reduction-aided decoding. IEEE Trans. Signal Process. 59(6), 2795–2808 (2011).MathSciNetCrossRef Ling C.: On the proximity factors of lattice reduction-aided decoding. IEEE Trans. Signal Process. 59(6), 2795–2808 (2011).MathSciNetCrossRef
14.
go back to reference Luzzi L., Stehlé D., Ling C.: Decoding by embedding: correct decoding radius and DMT optimality. IEEE Trans. Inf. Theory 59(5), 2960–2973 (2013).MathSciNetCrossRef Luzzi L., Stehlé D., Ling C.: Decoding by embedding: correct decoding radius and DMT optimality. IEEE Trans. Inf. Theory 59(5), 2960–2973 (2013).MathSciNetCrossRef
15.
16.
go back to reference Martinet J.: Perfect Lattices in Euclidean Spaces, vol. 327. Springer, Berlin (2013).MATH Martinet J.: Perfect Lattices in Euclidean Spaces, vol. 327. Springer, Berlin (2013).MATH
17.
go back to reference Micciancio D., Walter M.: Practical, predictable lattice basis reduction. In: Annual International Conference on the Theory and Applications of Cryptographic Techniques, pp. 820– 849. Springer (2016). Micciancio D., Walter M.: Practical, predictable lattice basis reduction. In: Annual International Conference on the Theory and Applications of Cryptographic Techniques, pp. 820– 849. Springer (2016).
18.
go back to reference Micciancio D., Regev O.: Lattice-based cryptography. In: Bernstein D.J., Buchmann J. (eds.) Post-Quantum Cryptography. Springer, Berlin (2008).MATH Micciancio D., Regev O.: Lattice-based cryptography. In: Bernstein D.J., Buchmann J. (eds.) Post-Quantum Cryptography. Springer, Berlin (2008).MATH
20.
go back to reference Nguyen P.Q., Vallée B. (eds.): The LLL Algorithm. Survey and Applications. Springer, Berlin (2010).MATH Nguyen P.Q., Vallée B. (eds.): The LLL Algorithm. Survey and Applications. Springer, Berlin (2010).MATH
21.
go back to reference Ordentlich O., Erez U., Nazer B.: Successive integer-forcing and its sum-rate optimality. In: 2013 51st Annual Allerton Conference on Communication, Control, and Computing (Allerton), pp. 282–292. IEEE (2013). Ordentlich O., Erez U., Nazer B.: Successive integer-forcing and its sum-rate optimality. In: 2013 51st Annual Allerton Conference on Communication, Control, and Computing (Allerton), pp. 282–292. IEEE (2013).
23.
go back to reference Sakzad A., Harshan J., Viterbo E.: Integer-forcing MIMO linear receivers based on lattice reduction. IEEE Trans. Wirel. Commun. 12(10), 4905–4915 (2013).CrossRef Sakzad A., Harshan J., Viterbo E.: Integer-forcing MIMO linear receivers based on lattice reduction. IEEE Trans. Wirel. Commun. 12(10), 4905–4915 (2013).CrossRef
24.
go back to reference Sawatani K., Watanabe T.: A note on the Hermite-Rankin constant. J. Thorie des Nombres de Bordeaux 22(1), 209–217 (2010).MathSciNetCrossRef Sawatani K., Watanabe T.: A note on the Hermite-Rankin constant. J. Thorie des Nombres de Bordeaux 22(1), 209–217 (2010).MathSciNetCrossRef
25.
go back to reference Schnorr C.P.: A hierarchy of polynomial time lattice basis reduction algorithms. Theoret. Comput. Sci. 53, 201–224 (1987).MathSciNetCrossRef Schnorr C.P.: A hierarchy of polynomial time lattice basis reduction algorithms. Theoret. Comput. Sci. 53, 201–224 (1987).MathSciNetCrossRef
26.
27.
go back to reference Wen J., Chang X., Weng J.: Improved upper bounds on the hermite and KZ constants. In: Proc. IEEE Int. Symp. Inf. Theory (ISIT), pp. 1742– 1746 (2019). Wen J., Chang X., Weng J.: Improved upper bounds on the hermite and KZ constants. In: Proc. IEEE Int. Symp. Inf. Theory (ISIT), pp. 1742– 1746 (2019).
Metadata
Title
Sharper bounds on four lattice constants
Authors
Jinming Wen
Xiao-Wen Chang
Publication date
09-05-2022
Publisher
Springer US
Published in
Designs, Codes and Cryptography / Issue 6/2022
Print ISSN: 0925-1022
Electronic ISSN: 1573-7586
DOI
https://doi.org/10.1007/s10623-022-01048-w

Other articles of this Issue 6/2022

Designs, Codes and Cryptography 6/2022 Go to the issue

Premium Partner