The total distance for algebraic integers having all their conjugates in a sector

DOI10.1016/J.JNT.2021.11.004MaRDI QIDQ2672015zbMATH OpenOpenAlexWikidataFDO

Authors Valérie Flammang

Publication date 8 June 2022

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

Full work available at URL https://doi.org/10.1016/j.jnt.2021.11.004

zbMATH Keywords

algebraic integersexplicit auxiliary functionsMahler measurerecursive algorithmtotal distance

Mathematics Subject Classification ID

Algebraic numbers; rings of algebraic integers (11R04) PV-numbers and generalizations; other special algebraic numbers; Mahler measure (11R06)

Review text

For an algebraic integer \(\alpha\) with conjugates \(\alpha_1=\alpha, \alpha_2,\dots, \alpha_d\) over \(\mathbb Q\) set \[ \mathrm{Td}(\alpha)=\frac{1}{d} \sum_{j=1}^d \big||\alpha_j|-1\big|. \] The author proves the following estimate on \(\mathrm{Td}(\alpha)\). There exist a left discontinuous, strictly positive, staircase function \(g\) on \([0, 90^{\circ})\) and a positive, continuous, monotonically decreasing function \(f\) on \([0, 90^{\circ})\) such that for \(\theta \in [0, 90^{\circ})\) we have \(\mathrm{Td}(\alpha) \geq \min(f(\theta),g(\theta))\) if \(\alpha\) is a nonzero algebraic integer whose conjugates all lie in the sector \(|\arg z| \leq \theta\). Moreover, she computes the exact value of the minimum for 21 subintervals of \([0, 90^{\circ})\) and constructs a corresponding minimal polynomial for \(\alpha\). The proof is based on a method of explicit auxiliary functions.

Recommendations

• THE TOTAL DISTANCE FOR TOTALLY POSITIVE ALGEBRAIC INTEGERS
• On the absolute Mahler measure of polynomials having all zeros in a sector. III
• On the absolute Mahler measure of polynomials having all zeros in a sector. II
• A variant \(S_2\) measure for algebraic integers all of whose conjugates Lie in a sector
• The S-measure for algebraic integers having all their conjugates in a sector

Cites work

• An elementary inequality about the Mahler measure
• scientific article; zbMATH DE number 3975036 (Why is no real title available?)
• On the Absolute Mahler Measure of Polynomials Having All Zeros in a Sector
• On the absolute Mahler measure of polynomials having all zeros in a sector. II
• On the absolute Mahler measure of polynomials having all zeros in a sector. III
• On the linear independence measure of logarithms of rational numbers
• On the Measure of Totally Real Algebraic Integers. II
• THE TOTAL DISTANCE FOR TOTALLY POSITIVE ALGEBRAIC INTEGERS
• Trace of totally positive algebraic integers and integer transfinite diameter

Cited in

(8)

• A variant \(S_2\) measure for algebraic integers all of whose conjugates Lie in a sector
• The \(N\)-measure for algebraic integers having all their conjugates in a sector
• THE TOTAL DISTANCE FOR TOTALLY POSITIVE ALGEBRAIC INTEGERS
• The house of an algebraic integer all of whose conjugates lie in a sector
• On the absolute Mahler measure of polynomials having all zeros in a sector. II
• On the Absolute Trace of Polynomials Having All Zeros in a Sector
• Algebraic integers whose conjugates all lie in an ellipse
• On the absolute Mahler measure of polynomials having all zeros in a sector. III

This page was built for publication: The total distance for algebraic integers having all their conjugates in a sector

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