Related papers: Becker's conjecture on Mahler functions
Let $\alpha$ and $\beta$ be positive real numbers. Let $F(x) \in K[[x^\Gamma]]$ be a Hahn series. We prove that if $F(x)$ is both $\alpha$-Mahler and $\beta$-Mahler then it must be a rational function, $F(x) \in K(x)$, assuming some…
Let $K$ be a field of characteristic zero and $k$ and $l$ be two multiplicatively independent positive integers. We prove the following result that was conjectured by Loxton and van der Poorten during the Eighties: a power series $F(z)\in…
We consider Mahler functions $f(z)$ which solve the functional equation $f(z) = \frac{A(z)}{B(z)} f(z^d)$ where $\frac{A(z)}{B(z)}\in \mathbb{Q}(z)$ and $d\ge 2$ is integer. We prove that for any integer $b$ with $|b|\ge 2$ either $f(b)$ is…
In 1902, P. St\"{a}ckel proved the existence of a transcendental function $f(z)$, analytic in a neighbourhood of the origin, and with the property that both $f(z)$ and its inverse function assume, in this neighbourhood, algebraic values at…
In this paper, we give a new proof and an extension of the following result of B\'ezivin. Let $f:\B{N}\to K$ be a multiplicative function taking values in a field $K$ of characteristic 0 and write $F(z)=\sum_{n\geq 1} f(n)z^n\in K[[z]]$ for…
In 1923 Schur considered the following problem. Let f(X) be a polynomial with integer coefficients that induces a bijection on the residue fields Z/pZ for infinitely many primes p. His conjecture, that such polynomials are compositions of…
We use a method, first developed for the Riemann zeta-function by Masser in ["Rational values of the Riemann zeta function", Journ. Num. Th. 131 (2011), 2037-2046], to prove a new zero estimate for polynomials in z and 1/Gamma(z). This…
Allouche and Shallit introduced the notion of a regular power series as a generalization of automatic sequences. Becker showed that all regular power series satisfy Mahler equations and conjectured equivalent conditions for the converse to…
We study the asymptotic growth of coefficients of Mahler power series with algebraic coefficients, as measured by their logarithmic Weil height. We show that there are five different growth behaviors, all of which being reached. Thus, there…
In 1902, P. St\"ackel proved the existence of a transcendental function $f(z)$, analytic in a neighbourhood of the origin, and with the property that both $f(z)$ and its inverse function assume, in this neighbourhood, algebraic values at…
A theorem of A. and C. R\'enyi on periodic entire functions states that an entire function $f(z) $ must be periodic if $ P(f(z)) $ is periodic, where $ P(z) $ is a non-constant polynomial. By extending this theorem, we can answer some open…
In this paper, we give a new proof of a result due to Bezivin that a D-finite Mahler function is necessarily rational. This also gives a new proof of the rational-transcendental dichotomy of Mahler functions due to Nishioka. Using our…
We give another proof of a result of Adamczewski and Bell concerning Mahler equations: A formal power series satisfying a $p-$ and a $q-$Mahler equation over ${\mathbb C}(x)$ with multiplicatively independent positive integers $p$ and $q$…
Suppose that $F(x)\in\mathbb{Z}[[x]]$ is a Mahler function and that $1/b$ is in the radius of convergence of $F(x)$. In this paper, we consider the approximation of $F(1/b)$ by algebraic numbers. In particular, we prove that $F(1/b)$ cannot…
Marx and Strohh\"acker showed around in 1933 that $f(z)/z$ is subordinate to $1/(1-z)$ for a normalized convex function $f$ on the unit disk $|z|<1.$ Brickman, Hallenbeck, MacGregor and Wilken proved in 1973 further that $f(z)/z$ is…
We introduce a basis of rational polynomial-like functions $P_0,\ldots,P_{n-1}$ for the free module of functions $Z/nZ\to Z/mZ$. We then characterize the subfamily of congruence preserving functions as the set of linear combinations of the…
We explore Mahler numbers originating from functions $f(z)$ that satisfy the functional equation $f(z) = (A(z)f(z^d) + C(z))/B(z)$. A procedure to compute the irrationality exponents of such numbers is developed using continued fractions…
Let $\mathcal R_{n}$ be the set of all rational functions of the type $r(z) = f(z)/w(z)$, where $f(z)$ is a polynomial of degree at most $n$ and $w(z) = \prod_{j=1}^{n}(z-\beta_j)$, $|\beta_j|>1$ for $1\leq j\leq n$. In this work, we…
In 1902, Paul St\"ackel constructed an analytic function $f(z)$ in a neighborhood of the origin, which was transcendental, and with the property that both $f(z)$ and its inverse, as well as its derivatives, assumed algebraic values at all…
Let $\Re_n$ be the set of all rational functions of the type $r(z) = p(z)/w(z),$ where $p(z)$ is a polynomial of degree at most $n$ and $w(z) = \prod_{j=1}^{n}(z-a_j)$, $|a_j|>1$ for $1\leq j\leq n$. In this paper, we set up some results…