Simultaneous \(p\)-orderings and minimizing volumes in number fields (Q730064)

Let \(A\) be a domain and \(K\) be its field of fractions. \begin{itemize} \item[--] We say a subset \(S\subset A\) is an \textbf{\(n\)-universal} set if for every polynomial \(P\in K[X]\) of degree at most \(n\), we have \(P(A)\subset A\) if and only if \(P(S)\subset A\). A \(n\)-universal set \(S\) is called \(n\)-optimal if \(S\) has precisely \(n+1\) elements. \item[--] We say a sequence \(s_0, s_1,\ldots, s_n\) is a \textbf{Newton sequence} if for every \(0\leq m\leq n\), the set \(\{s_0, s_1, \ldots, s_m\}\) is \(m\)-universal. The integer \(n\) is called the length of the Newton sequence. \end{itemize} Let \(A\) be a Dedekind domain and \(\mathfrak p\) be a prime ideal of \(A\). Let \(\mathsf v_{\mathfrak p}\) denote the additive \(\mathfrak p\)-adic valuation of \(A\). We say a sequence \(s_0, s_1,\ldots\) of elements of \(A\)(finite or infinite) is a \textbf{\(\mathfrak p\)-ordering} if for every \(n\), \(s_n\) is chosen so that the valuation \(\mathsf v_{\mathfrak p}(\prod_{i=0}^{n-1}(s_i-s_n))\) is the lowest possible. If \(A\) is a number field and \(a_0, a_1,\ldots \) is a simultaneous \(p\)-ordering, then \(A_n=\{a_0, a_1,\ldots, a_n\}\) is \(n\)-optimal for all \(n\geq 0\). We also say \(a_0, a_1,\ldots \) is a Newton sequence (See [J. Pure Appl. Algebra 215, No. 8, 1902--1918 (2011; Zbl 1214.13008)]). In section 2, the authors study the necessary and sufficient conditions for a subset of a ring to be \(n\)-universal and to be \(n\)-optimal (see Proposition 2.1, 2.3 and 2.6). In section 3, the authors proved that for a imaginary quadratic number field \(K\), there are no \(n\)-optimal sets in \(\mathcal O_K\), provided \(n\) is large enough (see Theorem 1.2) which improved a result of \textit{M. Wood} [J. Number Theory 99, No. 1, 36--56 (2003; Zbl 1076.13011)] and a result of \textit{D. Adam} and \textit{P.-J. Cahen} (see Theorem 16 and Section 4.1 of [J. Pure Appl. Algebra 215, No. 8, 1902--1918 (2011; Zbl 1214.13008)]). In section 4, the authors showed that for a Dedekind domain \(A\), there exists an \(n\)-universal set in \(A\) of size \(n+2\) (see Theorem 1.3). In section 5, the authors discovered a link with Euler-Kronecker constants (see Definition 5.1) and obtained a lower bound on Euler-Kronecker constants (see Theorem 5.3) which is of the same order of magnitude as the one obtained by \textit{Y. Ihara} [Algebraic geometry and number theory. Basel: Birkhäuser (2006; Zbl 1185.11069)]. In section 6, the authors use the probabilistic method to construct an \(n\)-universal subset of \(\mathcal O_K\) with \(n+d\) elements, where \(K\) is a number field with \(d=\dim_{\mathbb Q}K\).