Related papers: Transcendence of Hecke-Mahler Series

Let $\theta$ and $\rho$ be real numbers with $0 \le \theta, \rho < 1$ and $\theta$ irrational. We show that the Hecke-Mahler series $$ F_{\theta, \rho} (z_1, z_2) = \sum_{k_1 \ge 1} \, \sum_{k_2 = 1}^{\lfloor k_1 \theta + \rho \rfloor} \,…

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…

We formalize Hilbert's Seventh Problem and its solution, the Gelfond-Schneider theorem, in the Lean 4 proof assistant. The theorem states that if $\alpha$ and $\beta$ are algebraic numbers with $\alpha \neq 0,1$ and $\beta$ irrational, then…

In a recent work, Gun and co-workers have proposed that $\,\sum_{n=-\infty}^{\infty}{(n+\alpha)^{-k}}\,$ is a transcendental number for all integer $\,k$, $k > 1$, and $\,\alpha \in \mathbb{Q} \backslash \mathbb{Z}$. Here in this work, this…

This paper is concerned with Mahler's method. We study in detail the structure of linear relations between values of Mahler functions at algebraic points. In particular, given a field ${\bf k}$, a Mahler function $f(z)\in{\bf k}\{z\}$, and…

This note deals with some effective results in Mahler's method. In a recent work, we used a theorem of Philippon to show that given a Mahler function $f(z)$ in ${\bf k}\{z\}$, where ${\bf k}$ denotes a number field, and an algebraic number…

We give a new proof of Fatou's theorem: {\em if an algebraic function has a power series expansion with bounded integer coefficients, then it must be a rational function.} This result is applied to show that for any non--trivial completely…

While the distribution of the non-trivial zeros of the Riemann zeta function constitutes a central theme in Mathematics, nothing is known about the algebraic nature of these non-trivial zeros. In this article, we study the transcendental…

Given a function $f(n)$ periodic of period $q\geq 1$ and an irrational number $0<\alpha\leq 1$, Chatterjee and Gun proved that the series $F(s,f,\alpha)=\sum_{n=0}^{\infty}\frac{f(n)}{(n+\alpha)^s}$ has infinitely many zeros for $\sigma>1$…

It is known that for a uniform morphic sequence $\boldsymbol u = \langle u_n\rangle_{n=0}^\infty$ and an algebraic number $\beta$ such that $|\beta|>1$, the number $[\![\boldsymbol{u} ]\!]_\beta:=\sum_{n=0}^\infty \frac{u_n}{\beta^n}$…

We consider numbers of the form $S_\beta(\boldsymbol{u}):=\sum_{n=0}^\infty \frac{u_n}{\beta^n}$ for $\boldsymbol{u}=\langle u_n \rangle_{n=0}^\infty$ a Sturmian sequence over a binary alphabet and $\beta$ an algebraic number with…

For a positive irrational number $\alpha,$ we study the ordinary Dirichlet series $\zeta_\alpha(s) = \sum\limits_{n\geq1} \lfloor\alpha n\rfloor^{-s}$ and $S_\alpha(s) = \sum\limits_{n\geq1} (\left\lceil\alpha n\right\rceil - \left\lceil…

Neither the Euler-Mascheroni constant, $\gamma=0.577215...$, nor the Euler-Gompertz constant, $\delta=0.596347...$, is currently known to be irrational. However, it has been proved that at least one of them is transcendental. The two…

Let $\Gamma\subset \overline{\mathbb Q}^{\times}$ be a finitely generated multiplicative group of algebraic numbers. Let $\delta, \beta\in\overline{\mathbb Q}^\times$ be algebraic numbers with $\beta$ irrational. In this paper, we prove…

A Heffter array $H(n;k)$ is an $n\times n$ matrix such that each row and column contains $k$ filled cells, each row and column sum is divisible by $2nk+1$ and either $x$ or $-x$ appears in the array for each integer $1\leq x\leq nk$.…

Let $1/2\leq\beta<1$, $p$ be a generic prime number and $f_\beta$ be a random multiplicative function supported on the squarefree integers such that $(f_\beta(p))_{p}$ is an i.i.d. sequence of random variables with distribution…

Neither the Euler-Mascheroni constant, $\gamma=0.577215\ldots$, nor the Euler-Gompertz constant, $\delta=0.596347\ldots$, is currently known to be irrational. However, it has been proved that these two numbers are disjunctively…

Let $A,B \subset \mathbb{R}$ be closed Ahlfors-regular sets with dimensions $\dim_{\mathrm{H}} A =: \alpha$ and $\dim_{\mathrm{H}} B =: \beta$. I prove that $$\dim_{\mathrm{H}} [A + \theta B] \geq \alpha + \beta \cdot \tfrac{1 - \alpha}{2 -…

We consider a Dirichlet series $\sum_{n=1}^{\infty}a_n^{-s}$, where $a_n$ satisfies a linear recurrence of arbitrary degree with integer coefficients. Under suitable hypotheses, we prove that it has a meromorphic continuation to the complex…

Hecke expected that an explicit set of theta series obtained from maximal orders of the definite quaternion algebra over Q which is ramified at a prime N will be a basis of the space of holomorphic modular forms of weight 2 and level N.…