ScalingStacks

Proof. [03FG]

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.

Note that for any m∈Δℤ\{0}m\in\Delta_{\mathbb{Z}}\backslash\{0\}, if ⟨m,log⁡|z|⟩+log|a|≤−log⁡|Δℤ|\langle m,\log|z|\rangle+\log|a|\leq-\log|\Delta_{\mathbb{Z}}|, then |am​zm|≤1|Δℤ||a_{m}z^{m}|\leq\frac{1}{|\Delta_{\mathbb{Z}}|}. Hence the equation ∑m∈Δℤ\{0}am​zm=1\sum_{m\in\Delta_{\mathbb{Z}}\backslash\{0\}}a_{m}z^{m}=1 cannot have solutions for x∈log−1⁡(Δλ−c∨)x\in\log^{-1}(\Delta^{\vee}_{\lambda-c}). ∎

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