Related papers: A problem around Mahler functions
For a compact set $K\subset \mathbb C,$ a finite positive Borel measure $\mu$ on $K,$ and $1 \le t < \i,$ let $\text{Rat}(K)$ be the set of rational functions with poles off $K$ and let $R^t(K, \mu)$ be the closure of $\text{Rat}(K)$ in…
Let $r_1,\ldots,r_s:\mathbb{Z}_{n\geqslant 0}\to\mathbb{C}$ be linearly recurrent sequences whose associated eigenvalues have arguments in $\pi\mathbb{Q}$ and let $F(z):=\sum_{n\geqslant 0}f(n)z^n$, where $f(n)\in\{r_1(n),\ldots,$…
Recently the authors showed that the algebraic integers of the form $-m+\zeta_k$ are bases of a canonical number system of $\mathbb{Z}[\zeta_k]$ provided $m\geq \phi(k)+1$, where $\zeta_k$ denotes a $k$-th primitive root of unity and $\phi$…
In this paper, we shall prove that any subset of $\overline{\mathbb Q}\cap B(0,1)$, which is closed under complex conjugation and which contains the element $0$, is the exceptional set of uncountably many transcendental functions, analytic…
In this note we prove algebraic independence results for the values of a special class of Mahler functions. In particular, the generating functions of Thue-Morse, regular paperfolding and Cantor sequences belong to this class, and we obtain…
We relate two different solutions of a Mahler equation; one solution is only defined at certain roots of unity, while the other is an analytic function inside the unit disk.
Let $f\in \mathbb{R}[x, y, z]$ be a quadratic polynomial that depends on each variable and that does not have the form $g(h(x)+k(y)+l(z))$. Let $A, B, C$ be compact sets in $\mathbb{R}$. Suppose that $\dim_H(A)+\dim_H(B)+\dim_H(C)>2$, then…
Consider a finite l-group acting on the affine space of dimension n over a field k, whose characteristic differs from l. We prove the existence of a fixed point, rational over k, in the following cases: --- The field k is p-special for some…
It is well-known that the two-parameter Mittag-Leffler (ML) function plays a key role in Fractional Calculus. In this paper, we address the problem of computing this function, when its argument is a square matrix. Effective methods for…
In this work we prove that an entire function $f(z)$ has only negative zeros if and only if its order is strictly less $1$, its root sequence is real-part dominating and there exists an nonnegative integer $m$ the real function…
Let $N$ be a positive integer and let $f$ be a meromorphic modular function of level $N$ with rational Fourier coefficients. For a prime $p$, define a function $f_p$ on the complex upper half-plane $\mathbb{H}$ by \begin{equation*}…
We continue the search, begun by Kato, for all pairs of real, bounded, measurable functions $\{f,g\}$ that result in a positive commutator $[if(P),g(Q)]$. We prove a number of partial results including a connection with Loewner's celebrated…
We prove a general criterion for an irrational power series $f(z)=\displaystyle\sum_{n=0}^{\infty}a_nz^n$ with coefficients in a number field $K$ to admit the unit circle as a natural boundary. As an application, let $F$ be a finite field,…
Given a closed subset $K$ in $\mathbb{R}$, the rational $K$-truncated moment problem ($K$-RTMP) asks to characterize the existence of a positive Borel measure $\mu$, supported on $K$, such that a linear functional $\mathcal{L}$, defined on…
For a lattice \Lambda in the complex plane, let K_{\Lambda} be the field of \Lambda-elliptic functions. For two relatively prime integers p (respectively q) greater than 1, consider the endomorphisms \psi (resp. \phi) of K_{\Lambda} given…
Inspired by the work of Z. Lu and G. Tian \cite{lutian}, in this paper we address the problem of studying those \K\ manifolds satisfying the $\Delta$-property, i.e. such that on a neighborhood of each of its points the $k$-th power of the…
In the early 1900's, Maillet proved that the image of any Liouville number under a rational function with rational coefficients is again a Liouville number. The analogous result for quadratic Liouville matrices in higher dimension turns out…
We show that for an arbitrary totally positive function $g\in L^1(\mathbb{R} )$ and $\alpha \beta$ rational, the Gabor family $\{e^{2\pi i \beta l t} g(t-\alpha k): k,l \in \mathbb{Z} \}$ is a frame for $L^2(\mathbb{R})$, if and only if…
Given $k \ge 2$ polynomials in $d \ge 1$ variables with coefficients in a field of characteristic $0$, such that no two are linearly dependent, we show that for any integer $r$ greater than $\max\left\{k {k-1 \choose 2}, 2\right\}$, the…
We show that the factorization problem $\theta (z)=\theta_2(z)\theta_1(z)$ is solvable in the class of Hilbert space operator-valued functions holomorphic on some neighbourhood of $z=0$ in $\nspace{C}{N}$ and having a zero at $z=0$ (here…