Approximation of values of algebraic elements over the ring of power sums

DOI10.5802/JTNB.1247MaRDI QIDQ6159580zbMATH OpenOpenAlexFDO

Authors Clemens Fuchs, Sebastian Heintze

Publication date 8 May 2023

Published in Journal de Théorie des Nombres de Bordeaux (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NoDerivs 4.0 International

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

zbMATH Keywords

Diophantine approximationpower sumsubspace theorem

Mathematics Subject Classification ID

Recurrences (11B37) Approximation to algebraic numbers (11J68) Schmidt Subspace Theorem and applications (11J87)

Abstract: Let $mathbbQmathcal{E}_{mathbbZ}$ be the set of power sums whose characteristic roots belong to $mathbbZ$ and whose coefficients belong to $mathbbQ$, i.e. $G:mathbbNightarrowmathbbQ$ satisfies �egin{equation*} G(n) = G_n = b_1 c_1^n + cdots + b_h c_h^n end{equation*} with $c_1,ldots,c_{h}inmathbbZ$ and $b_1,ldots,b_{h}inmathbbQ$. Furthermore, let $finmathbbQ[x,y]$ be absolutely irreducible and $alpha:mathbbNightarrowoverlinemathbbQ$ be a solution $y$ of $f(G_n,y)=0$, i.e. $f(G_n,alpha(n))=0$ identically in $n$. Then we will prove under suitable assumptions a lower bound, valid for all but finitely many positive integers $n$, for the approximation error if $alpha(n)$ is approximated by rational numbers with bounded denominator. After that we will also consider the case that $alpha$ is a solution of �egin{equation*} f(G_n^{(0)}, ldots, G_n^{(d)},y) = 0, end{equation*} i.e. defined by using more than one power sum and a polynomial $f$ satisfying some suitable conditions. This extends results of Bugeaud, Corvaja, Luca, Scremin and Zannier.

Review text

Let \(d\) be a positive integer and let \(\mathcal{P}\) be the set of power sums whose characteristic roots belong to \(\mathbb Z\) and whose coefficients belong to \(\mathbb Q\). Set \(f(x_0,\dots ,x_d,y)=\sum_{j=0}^d x_jy^j\) where \(x_0,\dots ,x_d\in\mathcal{P}\). Assume that \(a_n\) is a solution of \(y\) in \(f(x_0,\dots ,x_d,y)=0\). Under special conditions the authors prove that there exists \(k\geq 2\) such that for all \(\varepsilon >0\) with \(\varepsilon <\frac 1{2k}\) we have: For all but finitely many values of \(n\) and for \(p,q\in\mathbb Z\) with \(0<q<e^{n\varepsilon}\) it holds \(|a_n-\frac pq| >\frac 1{q^ke^{n\varepsilon}}\). In addition for \(d=1\) they prove a little bit better result.

Recommendations

• Diophantine inequalities involving several power sums
• scientific article; zbMATH DE number 3910500
• Diophantine approximation for certain algebraic formal power series in positive characteristic
• Algebraic approximations to linear combinations of powers: an extension of results by Mahler and Corvaja-Zannier
• Diophantine equations with power sums and universal Hilbert sets

Cites work

• scientific article; zbMATH DE number 1817650 (Why is no real title available?)
• scientific article; zbMATH DE number 1765103 (Why is no real title available?)
• scientific article; zbMATH DE number 3342122 (Why is no real title available?)
• Integral zeros of a polynomial with linear recurrences as coefficients
• Lecture Notes on Diophantine Analysis
• On the length of the continued fraction for values of quotients of power sums
• On the period of the continued fraction expansion of \(\sqrt{2^{2n+1}+1}\)
• On the period of the continued fraction for values of the square root of power sums
• Polynomial-exponential equations and linear recurrences
• The Many Faces of the Subspace Theorem (after Adamczewski, Bugeaud, Corvaja, Zannier...)

Cited in

(3)

• Diophantine approximations. Abstracts from the workshop held April 17--23, 2022
• Some arithmetical properties of convergents to algebraic numbers
• Diophantine inequalities involving several power sums

This page was built for publication: Approximation of values of algebraic elements over the ring of power sums

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