ScalingStacks

Proof. [02NG]

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.

We will prove the statement for lattice functions. The statement for rational piecewise affine functions is proved with the same argument. If ff is an H-lattice function, we can write f=g−hf=g-h, where gg and hh are H-lattice concave functions. We obtain Π\Pi as any common refinement of Π⁡(g)\Pi(g) and Π⁡(h)\Pi(h) to a polyhedral complex. Then the statement follows from the definition of H-lattice concave functions. The converse is an easy consequence of Corollary 3.84. ∎

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