The S-measure for algebraic integers having all their conjugates in a sector (Q2204748)

For a nonzero algebraic integer \(\alpha ,\) with conjugates \(\alpha _{1},\ldots,\alpha _{d},\) let \[ \mathfrak{s(\alpha }):=\frac{\left\vert \alpha _{1}\right\vert +\cdots +\left\vert \alpha _{d}\right\vert }{d}. \] Then, the arithmetic-geometric mean says that \(\mathfrak{s}(\alpha )\geq 1,\) with equality precisely when \(\alpha \) is a root of unity. For any \(\theta \in \lbrack 0,\pi ],\) define \[ c(\theta ):=\inf \{\mathfrak{s(\alpha })\mid \max_{1\leq j\leq d}\left\vert \arg (\alpha _{j})\right\vert \leq \theta ,\text{ and }\alpha ^{n}\neq 1 \text{ for all }n\in \mathbb{N}\}. \] In the paper under review, the author gives a lower bound for \(c(\theta ),\) when \(\theta \leq \pi /2,\) and presents twelve intervals \([\theta _{j},\theta _{j}^{\prime }]\subset \lbrack 0,\pi /2],\) such that \(c(\theta )\) is constant and is exactly determined on each of these intervals. For example, \((\theta _{12},\theta _{12}^{\prime },c(\theta _{12}))\cong (\pi 80.656154/180,\pi 87.5/180,1.07092)\) and \((\theta _{1},\theta _{1}^{\prime },c(\theta _{1}))\cong (0,\pi 20.1/180,1.5).\) These results, based on the principle of explicit auxiliary functions, are analogous to those obtained in [\textit{M. Langevin}, C. R. Acad. Sci., Paris, Sé r. I 303, 523--526 (1986; Zbl 0604.12001); \textit{G. Rhin} and \textit{C. Smyth}, Math. Comput. 64, No. 209, 295--304 (1995; Zbl 0820.11064)], about the absolute measure of an algebraic integer whose conjugates are confined to a sector \( \left\vert \arg (z)\right\vert \leq \theta ,\) for some \(\theta \in \lbrack 0,\pi ).\)