An effective lower bound for the height of algebraic numbers

Paul Voutier

DOI: https://doi.org/10.48550/arXiv.1211.3110

2012-11-13

Number Theory

Abstract:We prove that if $\alpha$ is a non-zero algebraic number of degree $d \geq 2$ which is not a root of unity, then $dh(\alpha)>(1/4) (\log(\log (d))/\log(d))^3.

What problem does this paper attempt to address?

Explicit lower bounds for the height in Galois extensions of number fields

Jonathan Jenvrin

2024-02-23

Abstract:Amoroso and Masser proved that for every real $\epsilon > 0$, there exists a constant $c(\epsilon)>0$, such that for every algebraic number $\alpha$ with $\mathbb{Q}(\alpha)/\mathbb{Q}$ being a Galois extension, the height of $\alpha$ is either 0 or at least $c(\epsilon) [\mathbb{Q}(\alpha):\mathbb{Q}]^{-\epsilon}$. In this article we establish an explicit version of this theorem.

Number Theory
Effective Height Upper Bounds on Algebraic Tori

Philipp Habegger

DOI: https://doi.org/10.48550/arXiv.1201.3255

2012-01-16

Abstract:The main emphasis will be on height upper bounds in the algebraic torus G^{n}_{m}. By height we will mean the absolute logarithmic Weil height. Section 3.2 contains a precise definition of this and other more general height functions. The first appendix gives a short overview of known results in the abelian case. The second appendix contains a few height bounds in Shimura varieties.

Number Theory
An Upper Bound for the Height of a Tree with a Given Eigenvalue

Artūras Dubickas

DOI: https://doi.org/10.1007/s00493-023-00071-2

2024-02-04

COMBINATORICA

Abstract:In this paper we prove that every totally real algebraic integer of degree occurs as an eigenvalue of some tree of height at most . In order to prove this, for a given algebraic number , we investigate an additive semigroup that contains zero and is closed under the map for . The problem of finding the smallest such semigroup seems to be of independent interest.

mathematics
Bounds for Rational Points on Algebraic Curves, Optimal in the Degree, and Dimension Growth

Gal Binyamini,Raf Cluckers,Dmitry Novikov

DOI: https://doi.org/10.1093/imrn/rnae034

2024-03-04

International Mathematics Research Notices

Abstract:Abstract Bounding the number of rational points of height at most $H$ on irreducible algebraic plane curves of degree $d$ has been an intense topic of investigation since the work by Bombieri and Pila. In this paper we establish optimal dependence on $d$ by showing the upper bound $C d^{2} H^{2/d} (\log H)^{\kappa }$ with some absolute constants $C$ and $\kappa $. This bound is optimal with respect to both $d$ and $H$, except for the constants $C$ and $\kappa $. This answers a question raised by Salberger, leading to a simplified proof of his results on the uniform dimension growth conjectures of Heath-Brown and Serre, and where at the same time we replace the $H^{\varepsilon }$ factor by a power of $\log H$. The main strength of our approach comes from the combination of a new, efficient form of smooth parametrizations of algebraic curves with a century-old criterion of Pólya, which allows us to save one extra power of $d$ compared with the standard approach using Bézout’s theorem.

mathematics
Totally real algebraic integers of arboreal height 2

George J. Schaeffer

DOI: https://doi.org/10.48550/arXiv.2111.14256

2021-11-29

Abstract:In <a class="link-https" data-arxiv-id="1302.4423" href="https://arxiv.org/abs/1302.4423">arXiv:1302.4423</a>, Salez proved that every totally real algebraic integer is the eigenvalue of some tree. We define the "arboreal height" of a totally real algebraic integer $\lambda$ to be the minimal height of a rooted tree having $\lambda$ as an eigenvalue. In this paper, we prove several results about totally real algebraic integers of arboreal height $2$: We show that all real quadratic integers have arboreal height $\le 2$. We characterize the totally real cubic integers of arboreal height $2$. Finally, we prove that every totally irrational real number field is generated (as a ring over $\mathbb{Q}$) by some $\lambda$ of arboreal height $2$.

Number Theory,Combinatorics
Small generators of abelian number fields

Martin Widmer

2024-02-28

Abstract:We show that for each abelian number field $K$ of sufficiently large degree $d$ there exists an element $\alpha\in K$ with $K=\IQ(\alpha)$ and absolute Weil height $H(\alpha)\ll_d |\Delta_K|^{1/2d}$ , where $\Delta_K$ denotes the discriminant of $K$. This answers a question of Ruppert from 1998 in the case of abelian extensions of sufficiently large degree. We also show that the exponent $1/2d$ is best-possible when $d$ is even.

Number Theory
Lower Bounds for the Canonical Height of a Unicritical Polynomial and Capacity

P. Habegger,H. Schmidt

DOI: https://doi.org/10.1017/fms.2023.112

2024-04-04

Forum of Mathematics Sigma

Abstract:In a recent breakthrough, Dimitrov [Dim] solved the Schinzel–Zassenhaus conjecture. We follow his approach and adapt it to certain dynamical systems arising from polynomials of the form , where p is a prime number and where the orbit of is finite. For example, if and is periodic under with , we prove a lower bound for the local canonical height of a wandering algebraic integer that is inversely proportional to the field degree. From this, we are able to deduce a lower bound for the canonical height of a wandering point that decays like the inverse square of the field degree. For these f, our method has application to the irreducibility of polynomials. Indeed, say y is preperiodic under f but not periodic. Then any iteration of f minus y is irreducible in .

mathematics, applied
An Upper Bound on the Length of an Algebra and Its Application to the Group Algebra of the Dihedral Group

M. A. Khrystik

2024-12-09

Abstract:Let $\mathcal A$ be an $\mathbb F$-algebra and let $\mathcal S$ be its generating set. The length of $\mathcal S$ is the smallest number $k$ such that $\mathcal A$ equals the $\mathbb F$-linear span of all products of length at most $k$ of elements from $\mathcal S$. The length of $\mathcal A$, denoted by $l(\mathcal A)$, is defined to be the maximal length of its generating set. In this paper, it is shown that the $l(\mathcal A)$ does not exceed the maximum of $\dim \mathcal A / 2$ and $m(\mathcal A)-1$, where $m(\mathcal A)$ is the largest degree of the minimal polynomial among all elements of the algebra $\mathcal A$. For arbitrary odd $n$, it is proven that the length of the group algebra of the dihedral group of order $2n$ equals $n$.

Rings and Algebras,Representation Theory
An effective version of Fekete's theorem

Norm Levenberg,Mayuresh Londhe

2024-04-10

Abstract:A classical result of Fekete gives necessary conditions on a compact set in the complex plane so that it contains infinitely many sets of conjugate algebraic integers. We prove an effective version of Fekete's theorem in terms of a height function. As an application, we give a lower bound on the growth of the leading coefficient of certain polynomial sequences, generalizing a result by Schur. Lastly, we give an upper bound on minimal asymptotics of height over sequences of algebraic numbers.

Complex Variables,Number Theory
Tight lower bound on $|A+λA|$ for algebraic integer $λ$

D. Krachun,F. Petrov

2023-11-16

Abstract:We prove an asymptotically tight lower bound on $|A+\lambda A|$ for $A\subset \mathbb{C}$ and algebraic integer $\lambda$. The proof combines strong version of Freiman's theorem, structural theorem on dense subsets of a hypercubic lattice and a generalisation of the continuous result on tight bound for the measure of $K+\tau K$ for a compact subset $K\subset \mathbb{R}^d$ of unit Lebesgue measure and a fixed linear operator $\tau\colon\mathbb{R}^d\to \mathbb{R}^d$, obtained in our previous work.

Combinatorics
An Additive Function on a Ring of Integers in the Imaginary Quadratic Field Q(√d) with Class-Number One

Cai Tianxin

DOI: https://doi.org/10.1007/bf02274049

1995-01-01

Acta Mathematica Sinica English Series

Abstract:LetBα(a) be an additive function on a ring of integers in the quadratic number fieldQ(√d) given byBα(a) = Σ p|a *Nα(p) with a fixedα > 0, where the asterisk means that the summation is over the non-associate prime divisorsp of an integera inQ(√d), N(a) is the norm ofa. In this paper we obtain the asymptotic formula of Σ N(a)≤x *Bα(a) in the case where the class-number ofQ(√d) is one.
A note on logarithmic equidistribution

Gerold Schefer

2023-08-14

Abstract:For every algebraic number $\kappa$ on the unit circle which is not a root of unity we prove the existence of a strict sequence of algebraic numbers whose height tends to zero, such that the averages of the evaluation of $f_\kappa(z)=\log|z -\kappa|$ in the conjugates are essentially bounded from above by $-h(\kappa)$. This completes a characterisation on functions $f_\kappa$ initiated by Autissier and Baker-Masser, who cover the cases $\kappa=2$ and $|\kappa|\ne 1$ respectively. Using the same ideas we also prove analogues in the $p$-adic setting.

Number Theory
Height inequality of algebraic points on curves over functional fields

Sheng-Li Tan

DOI: https://doi.org/10.48550/arXiv.alg-geom/9502011

1995-02-14

Algebraic Geometry

Abstract:The purpose of this paper is to give a linear and effective height inequality for algebraic points on curves over functional fields. Our height inequality can be viewed as the logarithmic canonical class inequality of a punctured curve over a functional field (a fibered surface minus a section).
Higher-degree Artin conjecture

Olli Järviniemi

DOI: https://doi.org/10.1093/qmath/haae012

2024-04-04

The Quarterly Journal of Mathematics

Abstract:ABSTRACT For an algebraic number α we consider the orders of the reductions of α in finite fields. In the case where α is an integer, it is known by the work on Artin’s primitive root conjecture that the order is ‘almost always almost maximal’ assuming the Generalized Riemann Hypothesis (GRH), but unconditional results remain modest. We consider higher-degree variants under GRH. First, we modify an argument of Roskam to settle the case where α and the reduction have degree two. Second, we give a positive lower density result when α is of degree three and the reduction is of degree two. Third, we give higher-rank results in situations where the reductions are of degree two, three, four or six. As an application we give an almost equidistribution result for linear recurrences modulo primes. Finally, we present a general result conditional to GRH and a hypothesis on smooth values of polynomials at prime arguments.

mathematics
A Lehmer-Type Lower Bound for the Canonical Height on Elliptic Curves Over Function Fields

Joseph H. Silverman

2024-02-23

Abstract:Let $\mathbb{F}$ be the function field of a curve over an algebraically closed field with $\operatorname{char}(\mathbb{F})\ne2,3$, and let $E/\mathbb{F}$ be an elliptic curve. Then for all finite separable extensions $\mathbb{K}/\mathbb{F}$ and all non-torsion points $P\in{E(\mathbb{K})}$, the $\mathbb{F}$-normalized canonical height of $P$ is bounded below by \[ \hat{h}_E(P) \ge \frac{1}{4570\cdot h_{\mathbb{F}}(j_E)^{2}\cdot [\mathbb{K}:\mathbb{F}]^{2}}. \]

Number Theory
A lower bound on forcing numbers based on height functions

Fateh Aliyev,Nikita Gladkov

2024-10-31

Abstract:We establish a lower bound on the forcing numbers of domino tilings computable in polynomial time based on height functions. This lower bound is sharp for a 2n by 2n square as well as other cases.

Combinatorics
Diophantine avoidance and small-height primitive elements in ideals of number fields

Lenny Fukshansky,Sehun Jeong

2024-05-21

Abstract:Let $K$ be a number field of degree $d$. Then every ideal $I$ in the ring of integers ${\mathcal O}_K$ contains infinitely many primitive elements, i.e. elements of degree $d$. A bound on smallest height of such an element in $I$ follows from some recent developments in the direction of a 1998 conjecture of W. Ruppert. We prove a very explicit bound like this in the case of quadratic fields. Further, we consider primitive elements in an ideal outside of a finite union of other ideals and prove a bound on the height of a smallest such element. Our main tool is a result on points of small norm in a lattice outside of an algebraic hypersurface and a finite union of sublattices of finite index, which we prove by blending two previous Diophantine avoidance results. We also obtain an avoidance result like this for lattice points in the positive orthant in $\mathbb{R}^d$ and use it to obtain a small-height totally positive primitive element in an ideal of a totally real number field outside of a finite union of other ideals. Additionally, we use our avoidance method to prove a bound on the Mahler measure of a generating non-sparse polynomial for a given number field. Finally, we produce a bound on the height of a smallest primitive generator for a principal ideal in a quadratic number field.

Number Theory
Some Lower Bounds on the Reach of an Algebraic Variety

Chris La Valle,Josué Tonelli-Cueto

2024-05-30

Abstract:Separation bounds are a fundamental measure of the complexity of solving a zero-dimensional system as it measures how difficult it is to separate its zeroes. In the positive dimensional case, the notion of reach takes its place. In this paper, we provide bounds on the reach of a smooth algebraic variety in terms of several invariants of interest: the condition number, Smale's $\gamma$ and the bit-size. We also provide probabilistic bounds for random algebraic varieties under some general assumptions.

Algebraic Geometry,Computational Geometry,Symbolic Computation

An effective lower bound for the height of algebraic numbers

Explicit lower bounds for the height in Galois extensions of number fields

Effective Height Upper Bounds on Algebraic Tori

An Upper Bound for the Height of a Tree with a Given Eigenvalue

Bounds for Rational Points on Algebraic Curves, Optimal in the Degree, and Dimension Growth

Totally real algebraic integers of arboreal height 2

Small generators of abelian number fields

Lower Bounds for the Canonical Height of a Unicritical Polynomial and Capacity

An Upper Bound on the Length of an Algebra and Its Application to the Group Algebra of the Dihedral Group

An effective version of Fekete's theorem

Tight lower bound on $|A+λA|$ for algebraic integer $λ$

An Additive Function on a Ring of Integers in the Imaginary Quadratic Field Q(√d) with Class-Number One

A note on logarithmic equidistribution

Height inequality of algebraic points on curves over functional fields

Higher-degree Artin conjecture

A Lehmer-Type Lower Bound for the Canonical Height on Elliptic Curves Over Function Fields

A lower bound on forcing numbers based on height functions

Diophantine avoidance and small-height primitive elements in ideals of number fields

Some Lower Bounds on the Reach of an Algebraic Variety