Pith. sign in

REVIEW

An equivalent of Kronecker's Theorem for powers of an Algebraic Number and Structure of Linear Recurrences of fixed length

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 0910.5182 v3 pith:BZ63OTM6 submitted 2009-10-27 math.NT math.DS

An equivalent of Kronecker's Theorem for powers of an Algebraic Number and Structure of Linear Recurrences of fixed length

classification math.NT math.DS
keywords epsilonalphafixednumberalgebraicdensityintegrallength
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
read the original abstract

After defining a notion of $\epsilon$-density, we provide for any real algebraic number $\alpha$ an estimate of the smallest $\epsilon$ such that for each $m>1$ the set of vectors of the form $(t,t\alpha,...,t\alpha^{m-1})$ for $t\in\R$ is $\epsilon$-dense modulo 1, in terms of the multiplicative Mahler measure $M(A(x))$ of the minimal integral polynomial $A(x)$ of $\alpha$, and independently of $m$. In particular, we show that if $\alpha$ has degree $d$ it is possible to take $\epsilon = 2^{[d/2]}/M(A(x))$. On the other hand using asymptotic estimates for Toeplitz determinants we show that for sufficiently large $m$ we cannot have $\epsilon$-density if $\epsilon$ is a fixed number strictly smaller than $1/M(A(x))$. As a byproduct of the proof we obtain a result of independent interest about the structure of the $\Z$-module of integral linear recurrences of fixed length determined by a non-monic polynomial.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.