Discrete Gaussian measures and new bounds of the smoothing parameter for lattices

In this paper, we start with a discussion of discrete Gaussian measures on lattices. Several results of Banaszczyk are analyzed, a simple form of uncertainty principle for discrete Gaussian measure is formulated. In the second part of the paper we prove two new bounds for the smoothing parameter of lattices. Under the natural assumption that ε\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varepsilon$$\end{document} is suitably small, we obtain two estimations of the smoothing parameter: ηε(Z)≤ln(ε44+2ε)π.\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\begin{aligned} \displaystyle \eta _{\varepsilon }({{\mathbb {Z}}}) \le \sqrt{\frac{\ln \big (\frac{\varepsilon }{44}+\frac{2}{\varepsilon }\big )}{\pi }}. \end{aligned}$$\end{document} This is a practically useful case. For this case, our upper bound is very close to the exact value of ηε(Z)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\eta _{\varepsilon }({{\mathbb {Z}}})$$\end{document} in that ln(ε44+2ε)π-ηε(Z)≤ε2552\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\sqrt{\frac{\ln \big (\frac{\varepsilon }{44}+\frac{2}{\varepsilon }\big )}{\pi }}-\eta _{\varepsilon }({{\mathbb {Z}}})\le \frac{\varepsilon ^2}{552}$$\end{document}.For a lattice L⊂Rn\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{{\mathcal {L}}}}\subset {{\mathbb {R}}}^n$$\end{document} of dimension n, ηε(L)≤ln(n-1+2nε)πbl~(L).\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\begin{aligned} \displaystyle \eta _{\varepsilon }({{{\mathcal {L}}}}) \le \sqrt{\frac{\ln \big (n-1+\frac{2n}{\varepsilon }\big )}{\pi }}\tilde{bl}({{{\mathcal {L}}}}). \end{aligned}$$\end{document}