Zusammenfassung
$ \RR łatL $We prove a
conjecture due to Dadush, showing that if $\R^n$ is a lattice such
that $\det(łat') 1$ for all sublattices $łat' łat$, then \
\sum_y łat e^-t^2 \|y\|^2 3/2 \; , \ where $t :=
10(n + 2)$. From this we also derive bounds on the number of short lattice
vectors and on the covering radius.
Nutzer