Abstract
$ \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.
Users
Please
log in to take part in the discussion (add own reviews or comments).