Return to Question

I recently knew of this note in which Prof. M. Henk presents a proof of Minkowski's second inequality on successive minima which is (purportedly) based on ideas in Minkowski's original proof. Let me remind you that, for a centrally symmetric convex body $\mathcal{K} \subseteq \mathbb{R}^{n}$ and a lattice $\Lambda \subseteq \mathbb{R}^{n}$, the said inequality asserts that

$$(\lambda_{1} \cdots \lambda_{n}) \mathrm{vol}(\mathcal{K}) \leq 2^{n}\mathrm{det}(\Lambda)$$

where $\lambda_{i}$ is the $i$-th successive minimum of the body $\mathcal{K}$ with respect to the lattice $\Lambda$.

At the outset of the proof, Prof. Henk makes $K_{i} := \frac{\lambda_{i}}{2}\mathcal{K}$ for every $i \in \{1, \ldots,n \}$ and picks up $z^{1}, \ldots, z^{n} \in \mathbb{Z}^{n}$ in such a way that $z^{1} \in \lambda_{1}\mathcal{K}, \ldots, z^{n} \in \lambda_{n}\mathcal{K}$ and the set $\{z^{1}, \ldots, z^{n}\}$ is linearly independent. Moreover, he notes that the $z^{i}$ can be chosen so as to satisfy $$\mathbf{span}(z^{1}, \ldots, z^{i})=\mathbf{span}(e_{1}, \ldots, e_{i})=:L_{i}$$ where $\{e_{1}, \ldots, e_{n}\}$ is the standard basis of $\mathbb{R}^{n}$. Then, after defining $M_{q}^{n}$ as the set $\{u \in \mathbb{Z}^{n} \colon |u_{i}|\leq q, \, 1\leq i \leq n\}$ and $M_{q}^{i}$ as the intersection $M_{q}^{n} \cap L_{i}$, it is effortlessly established that $$\mathrm{vol}(M_{q}^{n}+K_{n}) \leq (2q+\gamma)^{n}$$ (for some positive constant $\gamma$) and that $$\mathrm{vol}(M_{q}^{n}+K_{1}) =(2q+1)^{n}\mathrm{vol}(K_{1}).$$ Then, it comes the important observation according to which the desired inequality would easily follow from what has just been proven and from the inequalities $$\mathrm{vol}(M_{q}^{n}+K_{i+1}) \geq \left(\frac{\lambda_{i+1}}{\lambda_{i}}\right)^{n-i} \mathrm{vol}(M_{q}^{n}+K_{i}) \qquad \qquad ... (*)$$ In my opinion, it is the verification of the inequalities in $(*)$ one of the key steps in Prof. Henk's proof of Minkowski's second inequality on successive minima. Unfortunately, even when it may be possible to validate line-by-line the proof he provides, I must confess that it is not clear to me what the overall idea behind it is... In case you have grasped it through and through once, would you be so kind as to motivate and/or explain below, in plain English, the underlying idea (or ideas) beneath Henk's proof of the inequalities in $(*)$?

Please, let me thank you in advance for your insightful replies, pointers to the literature, etc.

I recently knew of this note in which Prof. M. Henk presents a proof of Minkowski's second inequality on successive minima which is (purportedly) based on ideas in Minkowski's original proof. Let me remind you that, for a centrally symmetric convex body $\mathcal{K} \subseteq \mathbb{R}^{n}$ and a lattice $\Lambda \subseteq \mathbb{R}^{n}$, the said inequality asserts that

$$(\lambda_{1} \cdots \lambda_{n}) \mathrm{vol}(\mathcal{K}) \leq 2^{n}\mathrm{det}(\Lambda)$$

where $\lambda_{i}$ is the $i$-th successive minimum of the body $\mathcal{K}$ with respect to the lattice $\Lambda$.

At the outset of the proof, Prof. Henk makes $K_{i} := \frac{\lambda_{i}}{2}\mathcal{K}$ for every $i \in \{1, \ldots,n \}$ and picks up $z^{1}, \ldots, z^{n} \in \mathbb{Z}^{n}$ in such a way that $z^{1} \in \lambda_{1}\mathcal{K}, \ldots, z^{n} \in \lambda_{n}\mathcal{K}$ and the set $\{z^{1}, \ldots, z^{n}\}$ is linearly independent. Moreover, he notes that the $z^{i}$ can be chosen so as to satisfy $$\mathbf{span}(z^{1}, \ldots, z^{i})=\mathbf{span}(e_{1}, \ldots, e_{i})=:L_{i}$$ where $\{e_{1}, \ldots, e_{n}\}$ is the standard basis of $\mathbb{R}^{n}$. Then, after defining $M_{q}^{n}$ as the set $\{u \in \mathbb{Z}^{n} \colon |u_{i}|\leq q, \, 1\leq i \leq n\}$ and $M_{q}^{i}$ as the intersection $M_{q}^{n} \cap L_{i}$, it is effortlessly established that $$\mathrm{vol}(M_{q}^{n}+K_{n}) \leq (2q+\gamma)^{n}$$ (for some positive constant $\gamma$) and that $$\mathrm{vol}(M_{q}^{n}+K_{1}) =(2q+1)^{n}\mathrm{vol}(K_{1}).$$

Then, it comes the important observation according to which the desired inequality would easily follow from what has just been proven and from the inequalities $$\mathrm{vol}(M_{q}^{n}+K_{i+1}) \geq \left(\frac{\lambda_{i+1}}{\lambda_{i}}\right)^{n-i} \mathrm{vol}(M_{q}^{n}+K_{i}) \qquad \qquad ... (*)$$

In my opinion, it is the verification of the inequalities in $(*)$ one of the key steps in Prof. Henk's proof of Minkowski's second inequality on successive minima. Unfortunately, even when it may be possible to validate line-by-line the proof which he provides for them, I must confess that it is not clear to me what the overall idea behind it is... In case you grasped it through and through once, would you be so kind as to motivate and/or explain below, in plain English, the underlying idea (or ideas) beneath Henk's proof of the inequalities in $(*)$?

Please, let me thank you in advance for your insightful replies, pointers to the literature, etc.

I recently knew of this note in which Prof. M. Henk presents a proof of Minkowski's second inequality on successive minima which is (purportedly) based on ideas in Minkowski's original proof. Let me remind you that, for a centrally symmetric convex body $\mathcal{K} \subseteq \mathbb{R}^{n}$ and a lattice $\Lambda \subseteq \mathbb{R}^{n}$, the said inequality asserts that

$$(\lambda_{1} \cdots \lambda_{n}) \mathrm{vol}(\mathcal{K}) \leq 2^{n}\mathrm{det}(\Lambda)$$

where $\lambda_{i}$ is the $i$-th successive minimum of the body $\mathcal{K}$ with respect to the lattice $\Lambda$.

At the outset of the proof, Prof. Henk makes $K_{i} := \frac{\lambda_{i}}{2}\mathcal{K}$ for every $i \in \{1, \ldots,n \}$ and picks up $z^{1}, \ldots, z^{n} \in \mathbb{Z}^{n}$ in such a way that $z^{1} \in \lambda_{1}\mathcal{K}, \ldots, z^{n} \in \lambda_{n}\mathcal{K}$ and the set $\{z^{1}, \ldots, z^{n}\}$ is linearly independent. Moreover, he notes that the $z^{i}$ can be chosen so as to satisfy $$\mathbf{span}(z^{1}, \ldots, z^{i})=\mathbf{span}(e_{1}, \ldots, e_{i})=:L_{i}$$ where $\{e_{1}, \ldots, e_{n}\}$ is the standard basis of $\mathbb{R}^{n}$. Then, after defining $M_{q}^{n}$ as the set $\{u \in \mathbb{Z}^{n} \colon |u_{i}|\leq q, \, 1\leq i \leq n\}$ and $M_{q}^{i}$ as the intersection $M_{q}^{n} \cap L_{i}$, it is effortlessly established that $$\mathrm{vol}(M_{q}^{n}+K_{n}) \leq (2q+\gamma)^{n}$$ (for some positive constant $\gamma$) and that $$\mathrm{vol}(M_{q}^{n}+K_{1}) =(2q+1)^{n}\mathrm{vol}(K_{1}).$$ Then, it comes the important observation according to which the desired inequality would easily follow from what has just been proven and from the inequalities $$\mathrm{vol}(M_{q}^{n}+K_{i+1}) \geq \left(\frac{\lambda_{i+1}}{\lambda_{i}}\right)^{n-i} \mathrm{vol}(M_{q}^{n}+K_{i}) \qquad \qquad ... (*)$$ In my opinion, it is the verification of the inequalities in $(*)$ one of the key steps in Prof. Henk's proof of Minkowski's second inequality on successive minima. Unfortunately, even when it is possible to validate (or try at least) line by line the proof he provides, I must confess that it is not clear to me what the overall idea behind it is... In case you have studied it through and through once, would you be so kind as to motivate and/or explain below, in plain English, Henk's proof of the inequalities in $(*)$?

Please, let me thank you in advance for your insightful replies, pointers to the literature, etc.

I recently knew of this note in which Prof. M. Henk presents a proof of Minkowski's second inequality on successive minima which is (purportedly) based on ideas in Minkowski's original proof. Let me remind you that, for a centrally symmetric convex body $\mathcal{K} \subseteq \mathbb{R}^{n}$ and a lattice $\Lambda \subseteq \mathbb{R}^{n}$, the said inequality asserts that

$$(\lambda_{1} \cdots \lambda_{n}) \mathrm{vol}(\mathcal{K}) \leq 2^{n}\mathrm{det}(\Lambda)$$

where $\lambda_{i}$ is the $i$-th successive minimum of the body $\mathcal{K}$ with respect to the lattice $\Lambda$.

At the outset of the proof, Prof. Henk makes $K_{i} := \frac{\lambda_{i}}{2}\mathcal{K}$ for every $i \in \{1, \ldots,n \}$ and picks up $z^{1}, \ldots, z^{n} \in \mathbb{Z}^{n}$ in such a way that $z^{1} \in \lambda_{1}\mathcal{K}, \ldots, z^{n} \in \lambda_{n}\mathcal{K}$ and the set $\{z^{1}, \ldots, z^{n}\}$ is linearly independent. Moreover, he notes that the $z^{i}$ can be chosen so as to satisfy $$\mathbf{span}(z^{1}, \ldots, z^{i})=\mathbf{span}(e_{1}, \ldots, e_{i})=:L_{i}$$ where $\{e_{1}, \ldots, e_{n}\}$ is the standard basis of $\mathbb{R}^{n}$. Then, after defining $M_{q}^{n}$ as the set $\{u \in \mathbb{Z}^{n} \colon |u_{i}|\leq q, \, 1\leq i \leq n\}$ and $M_{q}^{i}$ as the intersection $M_{q}^{n} \cap L_{i}$, it is effortlessly established that $$\mathrm{vol}(M_{q}^{n}+K_{n}) \leq (2q+\gamma)^{n}$$ (for some positive constant $\gamma$) and that $$\mathrm{vol}(M_{q}^{n}+K_{1}) =(2q+1)^{n}\mathrm{vol}(K_{1}).$$ Then, it comes the important observation according to which the desired inequality would easily follow from what has just been proven and from the inequalities $$\mathrm{vol}(M_{q}^{n}+K_{i+1}) \geq \left(\frac{\lambda_{i+1}}{\lambda_{i}}\right)^{n-i} \mathrm{vol}(M_{q}^{n}+K_{i}) \qquad \qquad ... (*)$$ In my opinion, it is the verification of the inequalities in $(*)$ one of the key steps in Prof. Henk's proof of Minkowski's second inequality on successive minima. Unfortunately, even when it may be possible to validate line-by-line the proof he provides, I must confess that it is not clear to me what the overall idea behind it is... In case you have grasped it through and through once, would you be so kind as to motivate and/or explain below, in plain English, the underlying idea (or ideas) beneath Henk's proof of the inequalities in $(*)$?

Please, let me thank you in advance for your insightful replies, pointers to the literature, etc.

I recently knew of this note in which Prof. M. Henk presents a proof of Minkowski's second inequality on successive minima which is (purportedly) based on ideas in Minkowski's original proof. Let me remind you that, for a centrally symmetric convex body $\mathcal{K} \subseteq \mathbb{R}^{n}$ and a lattice $\Lambda \subseteq \mathbb{R}^{n}$, the said inequality asserts that

$$(\lambda_{1} \cdots \lambda_{n}) \mathrm{vol}(\mathcal{K}) \leq 2^{n}\mathrm{det}(\Lambda)$$

where $\lambda_{i}$ is the $i$-th successive minimum of the body $\mathcal{K}$ with respect to the lattice $\Lambda$.

At the outset of the proof, Prof. Henk makes $K_{i} := \frac{\lambda_{i}}{2}\mathcal{K}$ for every $i \in \{1, \ldots,n \}$ and picks up $z^{1}, \ldots, z^{n} \in \mathbb{Z}^{n}$ in such a way that $z^{1} \in \lambda_{1}\mathcal{K}, \ldots, z^{n} \in \lambda_{n}\mathcal{K}$ and the set $\{z^{1}, \ldots, z^{n}\}$ is linearly independent. Moreover, he notes that the $z^{i}$ can be chosen so as to satisfy $$\mathbf{span}(z^{1}, \ldots, z^{i})=\mathbf{span}(e_{1}, \ldots, e_{i})=:L_{i}$$ where $\{e_{1}, \ldots, e_{n}\}$ is the standard basis of $\mathbb{R}^{n}$. Then, after defining $M_{q}^{n}$ as the set $\{u \in \mathbb{Z}^{n} \colon |u_{i}|\leq q, \, 1\leq i \leq n\}$ and $M_{q}^{i}$ as the intersection $M_{q}^{n} \cap L_{i}$, it is effortlessly established that $$\mathrm{vol}(M_{q}^{n}+K_{n}) \leq (2q+\gamma)^{n}$$ (for some positive constant $\gamma$) and that $$\mathrm{vol}(M_{q}^{n}+K_{1}) =(2q+1)^{n}\mathrm{vol}(K_{1}).$$ Then, it comes the important observation according to which the desired inequality would easily follow from what has just been proven and from the inequalities $$\mathrm{vol}(M_{q}^{n}+K_{i+1}) \geq \left(\frac{\lambda_{i+1}}{\lambda_{i}}\right)^{n-i} \mathrm{vol}(M_{q}^{n}+K_{i}) \qquad \qquad ... (*)$$ In my opinion, it is the verification of the inequalities in $(*)$ one of the key steps in Prof. Henk's proof of Minkowski's second inequality on successive minima. Unfortunately, even when it is possible to validate (or try at least) line by line the proof he provides, I must confess it is not clear to me what the overall idea behind it is... In case you have studied it through and through once, would you be so kind as to motivate and/or explain, in plain English, Henk's proof of the inequalities $(*)$ below?

Please, let me thank you in advance for your insightful replies, pointers to the literature, etc.

I recently knew of this note in which Prof. M. Henk presents a proof of Minkowski's second inequality on successive minima which is (purportedly) based on ideas in Minkowski's original proof. Let me remind you that, for a centrally symmetric convex body $\mathcal{K} \subseteq \mathbb{R}^{n}$ and a lattice $\Lambda \subseteq \mathbb{R}^{n}$, the said inequality asserts that

$$(\lambda_{1} \cdots \lambda_{n}) \mathrm{vol}(\mathcal{K}) \leq 2^{n}\mathrm{det}(\Lambda)$$

where $\lambda_{i}$ is the $i$-th successive minimum of the body $\mathcal{K}$ with respect to the lattice $\Lambda$.

At the outset of the proof, Prof. Henk makes $K_{i} := \frac{\lambda_{i}}{2}\mathcal{K}$ for every $i \in \{1, \ldots,n \}$ and picks up $z^{1}, \ldots, z^{n} \in \mathbb{Z}^{n}$ in such a way that $z^{1} \in \lambda_{1}\mathcal{K}, \ldots, z^{n} \in \lambda_{n}\mathcal{K}$ and the set $\{z^{1}, \ldots, z^{n}\}$ is linearly independent. Moreover, he notes that the $z^{i}$ can be chosen so as to satisfy $$\mathbf{span}(z^{1}, \ldots, z^{i})=\mathbf{span}(e_{1}, \ldots, e_{i})=:L_{i}$$ where $\{e_{1}, \ldots, e_{n}\}$ is the standard basis of $\mathbb{R}^{n}$. Then, after defining $M_{q}^{n}$ as the set $\{u \in \mathbb{Z}^{n} \colon |u_{i}|\leq q, \, 1\leq i \leq n\}$ and $M_{q}^{i}$ as the intersection $M_{q}^{n} \cap L_{i}$, it is effortlessly established that $$\mathrm{vol}(M_{q}^{n}+K_{n}) \leq (2q+\gamma)^{n}$$ (for some positive constant $\gamma$) and that $$\mathrm{vol}(M_{q}^{n}+K_{1}) =(2q+1)^{n}\mathrm{vol}(K_{1}).$$ Then, it comes the important observation according to which the desired inequality would easily follow from what has just been proven and from the inequalities $$\mathrm{vol}(M_{q}^{n}+K_{i+1}) \geq \left(\frac{\lambda_{i+1}}{\lambda_{i}}\right)^{n-i} \mathrm{vol}(M_{q}^{n}+K_{i}) \qquad \qquad ... (*)$$ In my opinion, it is the verification of the inequalities in $(*)$ one of the key steps in Prof. Henk's proof of Minkowski's second inequality on successive minima. Unfortunately, even when it is possible to validate (or try at least) line by line the proof he provides, I must confess that it is not clear to me what the overall idea behind it is... In case you have studied it through and through once, would you be so kind as to motivate and/or explain below, in plain English, Henk's proof of the inequalities in $(*)$?

Please, let me thank you in advance for your insightful replies, pointers to the literature, etc.