Some inequalities related to the Seysen measure of a lattice (Q710880)

The Seysen measure \(S(B)\) of a lattice basis \(B\) is the product of the norms of the basis vectors and the ones of the dual basis. The paper analyses the proof in [\textit{M. Seysen}, ``Simultaneous reduction of a lattice basis and its reciprocal basis'', Combinatorica 13, No. 3, 363--376 (1993; Zbl 0801.11029)] to obtain explicit constants for the bounds given in [loc. cit.]. For instance the author shows that any \(n\)-dimensional lattice has a basis with \(S(B) \leq \exp ((\frac{2}{\ln 2} +1) \ln(n)^2+4\ln(n)) \).