2 problems

Formally unimodular secrecy-gain conjecture. The secrecy function of every formally unimodular lattice $\Lambda$ achieves its maximum at $\tau=1$:

An $n-24$ lattice is the special case of an $n-8k$ lattice with $k=3$. Consider $n-24$ lattices without vectors of norm $1$. Conditional dimension-bound claim. Assuming the Belfior…