ScalingStacks

Lemma 5.3 . [04T9]

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

Lemma 5.3.

If a point x∈ℝn+1x\in\mathbb{R}^{n+1} belongs to the amoeba

Logt⁡({z∈(ℂ∗)n+1|ft​(z)=0})\operatorname{Log}_{t}(\{z\in(\mathbb{C}^{*})^{n+1}\ |\ f_{t}(z)=0\})

then the monomials cj​xjc_{j}x^{j} from ptp_{t} satisfy to the generalized triangle inequality in ℝt\mathbb{R}_{t}, i.e. for each index kk we have

ck⊙xk≤⨁j≠kcj⊙xj.c_{k}\odot x^{k}\leq{\bigoplus\limits_{j\neq k}}c_{j}\odot x^{j}.

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