Interpolating between volume and lattice point enumerator with successive minima (Q2155979)

From MaRDI portal
Revision as of 16:08, 29 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Interpolating between volume and lattice point enumerator with successive minima
scientific article

    Statements

    Interpolating between volume and lattice point enumerator with successive minima (English)
    0 references
    0 references
    0 references
    15 July 2022
    0 references
    Denote by \(\mathcal{K}^n\) the set of all non-empty compact convex sets in \(\mathbb{R}^n\), and let \(K\in\mathcal{K}^n\), satsify the symmetry condition about the origin \(K=-K\). Define the \(i\)th successive minima such that \[ \lambda_i(K)=\min\{\lambda>0:\dim(\lambda K \cap \mathbb{Z}^n\geq i\},\quad 1\leq i \leq n, \] and set \(|G(K)=K\cap \mathbb{Z}^n|\), so that \(G(K)\) is the lattice point enumerator of \(K\) in \(\mathbb{R}^n\). In this paper the authors investigate the classical problem of relations between the discrete volume \(G(K)\), the continuous volume vol(\(K\)), and the successive minima \(\lambda_i=\lambda_i(K)\) of a convex body \(K\). In Theorem 1.1 they show that \[ G(K)\leq \text{vol}(K)\prod_{i=1}^n\left (1+\frac{n\lambda_i}{2}\right ), \] and for \(\lambda_n\leq \frac{2}{n}\), that \[ G(K)\geq \text{vol}(K)\prod_{i=1}^n\left (1-\frac{n\lambda_i}{2}\right ). \] Applying a result of Minkowski, then yields the corollary \[ G(K)\leq \prod_{i=1}^n\left (\frac{2}{\lambda_i}+n\right ). \] Further results are obtained and an equivalence for Minkowski's second theorem on successive minima in convex bodies deduced.
    0 references
    successive minima
    0 references
    lattice points in convex bodies
    0 references
    Blaschke's shaking procedure
    0 references
    Minkowski's second theorem
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references