ScalingStacks

Proof. [03DU]

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 (1) we notice that the set of defining inequalities of QIλ​(0)Q^{\lambda}_{I}(0) is exactly the condition that the maximum in LλL_{\lambda} is saturated by the linear functions ⟨m,n⟩+λ⁡(m),m∈I\langle m,n\rangle+\lambda(m),\ m\in I.

For (2), note that Qv∗{0}λQ^{\lambda}_{v\ast\{0\}} is defined by the same inequalities as Q({0}∣v)λ​(0)Q^{\lambda}_{(\{0\}\mid v)}(0), plus an extra condition: ⟨v,n⟩+λ⁡(v)=λ⁡(0)\langle v,n\rangle+\lambda(v)=\lambda(0).

[Uncaptioned image]

Figure 9: Examples of Q({0}∣v)λ​(0)Q^{\lambda}_{(\{0\}\mid v)}(0) for v=[−1−1],[11]v=\left[\begin{smallmatrix}-1\\ -1\end{smallmatrix}\right],\ \left[\begin{smallmatrix}1\\ 1\end{smallmatrix}\right] in ∂Δ{\partial\Delta}.

For (3) we can study the Legendre transform of the restriction of λ\lambda to the truncated polytope Δ\w⟂\Delta\backslash w^{\perp} (which is still a concave function). From this point of view, the Minkowski sum in (3) is in complete analogy with (2) of Lemma 3.1.

[Uncaptioned image]

Figure 10: Examples of Q({0}∣w⟂)λ​(0)Q^{\lambda}_{(\{0\}\mid w^{\perp})}(0) for w=[−10],[0−1],[10]w=\left[\begin{smallmatrix}-1\\ 0\end{smallmatrix}\right],\ \left[\begin{smallmatrix}0\\ -1\end{smallmatrix}\right],\ \left[\begin{smallmatrix}1\\ 0\end{smallmatrix}\right] in ∂Δλ∨\partial\Delta^{\vee}_{\lambda}.

Note that in the process of truncation we removed all integral points of Δ\Delta with ⟨m,w⟩=1\langle m,w\rangle=1. Hence, the remaining ones satisfy ⟨m,w⟩≤0\langle m,w\rangle\leq 0 which implies that {0}\{0\} is on the boundary of Δ\w⟂\Delta\backslash w^{\perp}, and ww is in (the boundary of) the normal cone NCΔ\w⟂⁡({0})\operatorname{NC}_{\Delta\backslash w^{\perp}}(\{0\}). ∎

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