ScalingStacks

Proof. [02XW]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Proof.

For x∈ri⁡(Δ)x\in\operatorname{ri}(\Delta) and FF a facet of Γ\Gamma, we deduce from equation (7.32) that P⁡(βx=F)=ℓF​(x)/(n!​voln⁡(Γ))P(\beta_{x}=F)=\ell_{F}(x)/(n!\operatorname{vol}_{n}(\Gamma)). Hence,

ℰ⁡(x)\displaystyle{\mathcal{E}}(x) =−∑FℓF​(x)n!​voln​(Γ)log(ℓF​(x)n!​voln​(Γ))\displaystyle=-\sum_{F}\frac{\ell_{F}(x)}{n!{\operatorname{vol}_{n}}(\Gamma)}\log\Big(\frac{\ell_{F}(x)}{n!{\operatorname{vol}_{n}}(\Gamma)}\Big)
=1n!​voln​(Γ)(−∑FℓF(x)log(ℓF(x))−log(n!voln(Γ))(∑FλF))\displaystyle=\frac{1}{n!{\operatorname{vol}_{n}}(\Gamma)}\bigg(-\sum_{F}{\ell_{F}(x)}\log({\ell_{F}(x)})-\log({n!{\operatorname{vol}_{n}}(\Gamma)})\Big(\sum_{F}\lambda_{F}\Big)\bigg)
=1n!​voln​(Γ)​(ϑ⁡(x)c−log⁡(n!​voln⁡(Γ))​(∑FλF)).\displaystyle=\frac{1}{n!{\operatorname{vol}_{n}}(\Gamma)}\bigg(\frac{\vartheta(x)}{c}-\log({n!{\operatorname{vol}_{n}}(\Gamma)})\Big(\sum_{F}\lambda_{F}\Big)\bigg).

The result then follows from Theorem 6.37. ∎

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.