Small Zeros of Additive Forms in Algebraic Number Fields (Q4342111)

In [Acta Arith. 48, 117-144 (1987; Zbl 0596.10007) and 307-323 (1987; Zbl 0576.10013)] \textit{Y. Wang} obtained the following result. Let \(K\) denote an algebraic number field of degree \(n\) and let \(a_1, \dots, a_s\) be given integers in \(K\). For any positive integer \(k\) and any \(\varepsilon>0\) there is a constant \(C(n,k, \varepsilon)>0\) such that for any \(s\geq C(n,k, \varepsilon)\) the equation \[ \sum^s_{j=1} \sigma_j a_jx_j^k=0 \] has a nontrivial solution \(x_1, \dots, x_s\); \(\sigma_1, \dots, \sigma_s\), where \(x_1, \dots, x_s\) are nonnegative integers in \(K\) and each \(\sigma_j=1\) or \(-1\), satisfying \[ |x_j |\ll \max\bigl\{ 1,|a_1|, \dots, |a_s|\bigr\}^\varepsilon \quad \text{for} \quad j=1, \dots, s, \] where \(|\eta|\) denotes the maximum norm of \(\eta\in K\) and the constant in the \(\ll\) depends on \(K\), \(k\) and \(\varepsilon\) only. Wang's result generalizes and extends results by \textit{W. Schmidt} [Trans. Am. Math. Soc. 248, 121-133 (1979; Zbl 0402.10019) and Acta Math. 143, 219-232 (1979; Zbl 0458.10020)]. In the present paper, the author applies a result by \textit{W. Schmidt} [Adv. Math. 38, 128-151 (1980; Zbl 0448.10019)] to give a short proof for Wang's results.