Abstract:Let $P(x):=a_d x^d+\cdots+a_0\in\mathbb{Q}[x]$, $a_d>0$, be a polynomial of degree $d\geq 2$. Let $(x_n)$ be a sequence of integers satisfying \begin{equation*} x_{n+1}=P(x_n)\mbox{for all}\quad n=0,1,2\ldots,\quad\mbox{and} \quad x_n\to\infty\quad\mbox{as}\quad n\to\infty. \end{equation*} Set $\alpha:=\lim_{n\to\infty} x^{d^{-n}}_n$. Then, under the assumption $a_d^{1/(d-1)}\in\mathbb{Q}$, in a recent result by Dubickas \cite{dubickas}, either $\alpha$ is transcendental, or $\alpha$ can be an integer, or a quadratic Pisot unit with $\alpha^{-1}$ being its conjugate over $\mathbb{Q}$. In this paper, we study the nature of such $\alpha$ without the assumption that $a_d^{1/(d-1)}$ is in $\mathbb{Q}$, and we prove that either the number $\alpha$ is transcendental, or $\alpha^h$ is a Pisot number with $h$ being the order of the torsion subgroup of the Galois closure of the number field $\mathbb{Q}(\alpha, a_d^{-\frac{1}{d-1}})$. Other results presented in this paper investigate the solutions of the inequality $||q_1 \alpha_1^n+\cdots+q_k \alpha_k^n +\beta||<\theta^n$ in $(n,q_1,\ldots,q_k)\in \mathbb{N}\times(K^\times)^k$, considering whether $\beta$ is rational or irrational. Here, $K$ represents a number field, and $\theta\in (0,1)$. The notation $||x||$ denotes the distance between $x$ and its nearest integer in $\mathbb{Z}$.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is the transcendence problem of the growth constants of sequences defined recursively by polynomials. Specifically, given a polynomial $P(x)$ that satisfies certain conditions and an integer sequence $(x_n)$ generated by this polynomial, the paper studies the properties of the sequence growth constant $\alpha$ as $n \to \infty$. ### Research Background Consider a polynomial $P(x) = a_d x^d+\cdots + a_0\in\mathbb{Q}[x]$, where $a_d > 0$ and $d\geq2$. Let $(x_n)$ be an integer sequence such that \[x_{n + 1}=P(x_n)\quad\text{for all}\;n = 0,1,2,\ldots\] and $x_n\to\infty$ as $n\to\infty$. Define the growth constant $\alpha$ as: \[\alpha:=\lim_{n\to\infty}x_n^{1/d^n}\] ### Previous Work Dubickas [3] proved that $\alpha$ may be an integer, a quadratic Pisot unit or a transcendental number under the assumption that $a_d^{1/(d - 1)}\in\mathbb{Q}$. However, this assumption does not hold in many cases. ### Main Contributions of the Paper This paper relaxes the above - mentioned assumption, that is, it does not assume that $a_d^{1/(d - 1)}\in\mathbb{Q}$, and studies the properties of $\alpha$ under this more general condition. The main results are as follows: #### Main Theorem (Theorem 1.1) Suppose that the integer sequence $(x_n)$ satisfies the recurrence relation $x_{n+1}=P(x_n)$, where $P(x)=a_d x^d + a_{d - 1}x^{d - 1}+\cdots + a_0\in\mathbb{Q}[x]$, $d\geq2$ and $a_d>0$. Further assume that $x_n\to\infty$ as $n\to\infty$. Then, either the number $\alpha$ is transcendental, or $\alpha^h$ is a Pisot number, where $h$ is the order of the torsion subgroup in the Galois closure of the number field $K = \mathbb{Q}(\alpha,a_d^{-1/(d - 1)})$. Furthermore, if $a_d$ is an integer, then either $\alpha$ is transcendental, or $a_d^{(d - 2)/(d - 1)}\alpha^m$ is a Pisot number, where $m$ is some non - negative integer. ### Applications and Examples The paper demonstrates the application of the main theorem through several specific examples, such as the Lucas sequence and some sequences generated by specific polynomials. ### Other Related Results The paper also explores the solutions of inequalities of the form $\|q_1\alpha_1^n+\cdots+q_k\alpha_k^n+\beta\|<\theta^n$, where $\beta$ is a rational or an irrational number, and gives relevant conclusions. ### Summary The main contribution of this paper lies in relaxing the restrictions on polynomial coefficients in previous work, thereby studying more extensively the properties of the growth constants of sequences defined recursively by polynomials, and in particular, making new progress in whether these constants are transcendental numbers.

On the transcendence of growth constants associated with polynomial recursions

Quantitative upper bounds related to an isogeny criterion for elliptic curves

On an upper bound of the degree of polynomial identities regarding linear recurrence sequences

Rational Approximations to Certain Algebraic Numbers

On the transcendence of some infinite sums

Sufficient conditions for a problem of Polya

Asymptotic Growth of $(-1)^{r} Δ^r \log \sqrt[n]{\overline{p}(n)/n^α}$ and the Reverse Higher Order Turán Inequalities for $\sqrt[n]{\overline{p}(n)/n^α}$

On uniform polynomial approximation

Prime polynomials in short intervals and in arithmetic progressions

Transcendence of Sturmian Numbers over an Algebraic Base

An Elementary Problem in Galois Theory about the Roots of Irreducible Polynomials

Unicritical polynomials over $abc$-fields: from uniform boundedness to dynamical Galois groups

Automatic sequences defined by Theta functions and some infinite products

A Quantitative Bound For Szemerédi's Theorem for a Complexity One Polynomial Progression over $\mathbb{Z}/N\mathbb{Z}$

On an exponential D. H. Lehmer problem

Revisiting Gauss's analogue of the prime number theorem for polynomials over a finite field

A Study of the Growth Results for the Hadamard Product of Several Dirichlet Series with Different Growth Indices

Completely regular growth solutions to linear differential equations with exponential polynomials coefficients

On the $p$-adic valuation of third order linear recurrence sequences

On Transcendence of Numbers Related to Sturmian and Arnoux-Rauzy Words

Growth of recurrences with mixed multifold convolutions