House of algebraic integers symmetric about the unit circle

DOI10.1016/J.JNT.2021.07.026MaRDI QIDQ2116762zbMATH OpenOpenAlexWikidataFDO

Authors Igor E. Pritsker

Publication date 18 March 2022

Published in Journal of Number Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2101.06710

zbMATH Keywords

housereciprocal algebraic integerSchinzel-Zassenhaus conjecture

Mathematics Subject Classification ID

PV-numbers and generalizations; other special algebraic numbers; Mahler measure (11R06) Polynomials in real and complex fields: location of zeros (algebraic theorems) (12D10) Zeros of polynomials, rational functions, and other analytic functions of one complex variable (e.g., zeros of functions with bounded Dirichlet integral) (30C15)

Abstract: We give a Schinzel-Zassenhaus-type lower bound for the maximum modulus of roots of a monic integer polynomial with all roots symmetric with respect to the unit circle. Our results extend a recent work of Dimitrov, who proved the general Schinzel-Zassenhaus conjecture by using the P'olya rationality theorem for a power series with integer coefficients, and some estimates for logarithmic capacity (transfinite diameter) of sets. We use an enhancement of P'olya's result obtained by Robinson, which involves Laurent-type rational functions with small supremum norms, thereby replacing the logarithmic capacity with a smaller quantity. This smaller quantity is expressed via a weighted Chebyshev constant for the set associated with Dimitrov's function used in Robinson's rationality theorem. Our lower bound for the house confirms a conjecture of Boyd.

Review text

The house \(\left\lceil \alpha \right\rceil \) of an algebraic integer \(\alpha \) is the greatest modulus of its conjugates. Suppose that \(\alpha \) is non-zero and not root of unity. Then, a result of Kronecker says that \( \left\lceil \alpha \right\rceil >1,\) and a conjecture of \textit{A. Schinzel} and \textit{H. Zassenhaus} [Mich. Math. J. 12, 81--85 (1965; Zbl 0128.03402)] states that \[ \left\lceil \alpha \right\rceil >1+\frac{c}{\deg (\alpha )}, \tag{\(*\)} \] for an absolute positive constant \(c.\) This conjecture was recently proved by \textit{V. Dimitrov} [``A proof of the Schinzel-Zassenhaus conjecture on polynomials, Preprint, \url{arXiv:1912.12545}] with \(c=\log \sqrt[4]{2}\approx 0.17328.\) Moreover, Dimitrov showed that (\(*\)) holds with \(c=\log \sqrt{2}\approx 0.34657,\) when \(\alpha \) is restricted to the set, say \(R,\) of reciprocal algebraic integers (\(\alpha \) is said to be reciprocal if \(\alpha ^{-1}\) is a conjugate of \(\alpha )\) without conjugates of modulus \(1.\) Using some tools from potential theory, the author of the paper under review improves this last value of the constant \(c\) to \(\log \sqrt{1+\sqrt{2}}\approx 0.44068 \) for \(\alpha \) running through the same set \(R.\)

Recommendations

• The maximal conjugate of a non-reciprocal algebraic integer
• The Reciprocal Algebraic Integers Having Small House
• On a conjecture of A. Schinzel and H. Zassenhaus
• On the smallest value of the maximal modulus of an algebraic integer
• The Maximal Modulus of an Algebraic Integer
• On the smallest houses of reciprocal algebraic integers
• On the maximum modulus of integers in Kummer extensions
• On diameters of algebraic integers
• The mean values of logarithms of algebraic integers
• Simultaneous approximation of a real number by all conjugates of an algebraic number

Cites work

• A refinement of two theorems of Kronecker
• An Extension of Polya's Theorem on Power Series with Integer Coefficients
• Computational excursions in analysis and number theory
• Condenser capacities and symmetrization in geometric function theory. Translated from the Russian by Nikolai G. Kruzhilin
• Factorization of certain cyclotomic functions
• Harmonic measure of radial line segments and symmetrization
• Heights of polynomials and entropy in algebraic dynamics
• scientific article; zbMATH DE number 3503564 (Why is no real title available?)
• scientific article; zbMATH DE number 739279 (Why is no real title available?)
• scientific article; zbMATH DE number 1077997 (Why is no real title available?)
• On the measure of a nonreciprocal algebraic number
• On the Product of the Conjugates outside the unit circle of an Algebraic Integer
• Seventy years of Salem numbers
• The Mahler measure of algebraic numbers: a survey
• The maximal conjugate of a non-reciprocal algebraic integer
• The Maximal Modulus of an Algebraic Integer

Cited in

(8)

• The S-measure for algebraic integers having all their conjugates in a sector
• A refinement of two theorems of Kronecker
• On some application of the spectral properties of the matrices
• On a conjecture of Schinzel and Zassenhaus
• The smallest houses of reciprocal algebraic integers
• On a conjecture of A. Schinzel and H. Zassenhaus
• Conformal capacity of hedgehogs
• The Reciprocal Algebraic Integers Having Small House

This page was built for publication: House of algebraic integers symmetric about the unit circle

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2116762)