Related papers: Can polylogarithms at algebraic points be linearly…

Let $s_0,s_1,s_2,\ldots$ be a sequence of rational numbers whose $m$th divided difference is integer-valued. We prove that $s_n$ is a polynomial function in $n$ if $s_n \ll \theta^n$ for some positive number $\theta$ satisfying $\theta <…

Let $r$ be a prime power and $q=r^m$. For $0\le i\le m-1$, let $f_i\in \mathbb{F}_r[x]$ be $q$-linearized and $a_i\in \mathbb{F}_q$. Assume that $z\in \mathbb{\bar{F}}_r$ satisfies the equation $\sum_{i=0}^{m-1}a_if_i(z)^{r^i}=0$, where…

Let $A$ be a rational function of one complex variable, and $z_0$ its repelling fixed point with the multiplier $\lambda.$ Then a Poincar\'e function associated with $z_0$ is a function $\mathcal{P}_{A,z_0,\lambda}$ meromorphic on $\mathbb…

Polylogrithmic functions, such as the logarithm or dilogarithm, satisfy a number of algebraic identities. For the logarithm, all the identities follow from the product rule. For the dilogarithm and higher-weight classical polylogarithms,…

It is known from the work of Shearer (1985) (and also Scott and Sokal (2005)) that the independence polynomial $Z_G(\lambda)$ of a graph $G$ of maximum degree at most $d+1$ does not vanish provided that $\vert{\lambda}\vert \leq…

For $k\in\mathbb R$, we consider a $\mathbb C$-algebra $\mathcal A_k$ of holomorphic functions in the half plane $Re\; z>k$ with (at most) subexponential growth on the real line to $+\infty$. In the $\mathcal A_k$-algebra of sequences of…

Let $\alpha_1,\alpha_2$ be non-zero algebraic numbers such that $\frac{\log \alpha_2}{\log\alpha_1}\notin\mathbb{Q}$ and let $\beta$ be a quadratic irrational number. In this article, we prove that the values of two relatively prime…

Let $F_n$ and $L_n$ be the Fibonacci and Lucas numbers, respectively. Four corresponding zeta functions in $s$ are defined by \[\zeta_F(s) \,:=\, \sum_{n=1}^{\infty} \frac{1}{F_n^s}\,,\quad \zeta_F^*(s) \,:=\,\sum_{n=1}^{\infty}…

We present a new method for algebraic independence results in the context of Mahler's method. In particular, our method uses the asymptotic behaviour of a Mahler function $f(z)$ as $z$ goes radially to a root of unity to deduce algebraic…

We prove the irrationality of the classical Dirichlet L-value $L(2,\chi_{-3})$. The argument applies a new kind of arithmetic holonomy bound to a well-known construction of Zagier. In fact our work also establishes the $\mathbf{Q}$-linear…

E-functions are entire functions with algebraic Taylor coefficients satisfying certain arithmetic conditions, and which are also solutions of linear differential equations with polynomial coefficients. They were introduced by Siegel in 1929…

In 2007, Papanikolas established that if Carlitz logarithms of algebraic functions are linearly independent over the rational function field, then they are algebraically independent. The purpose of the present paper is to provide a new…

For any periodic function $f:{\mathbb N} \to {\mathbb C}$ with period $q$, we study the Dirichlet series $L(s,f):=\sum_{n\geq 1} f(n)/n^s.$ It is well-known that this admits an analytic continuation to the entire complex plane except at…

The main purpose of this article is to provide new results on algebraic independence of values of Mahler functions and their generalizations. Simultaneously, we establish new measures of algebraic independence for these values. Among the…

For almost all tuples $(x_1,\dots,x_n)$ of complex numbers, a strong version of Schanuel's Conjecture is true: the $2n$ numbers $x_1,\dots,x_n, {\mathrm e}^{x_1},\dots, {\mathrm e}^{x_n}$ are algebraically independent. Similar statements…

Given any non-polynomial $G$-function $F(z)=\sum_{k=0}^\infty A_k z^k$ of radius of convergence $R$ and in the kernel a $G$-operator $L_F$, we consider the $G$-functions $F_n^{[s]}(z)=\sum_{k=0}^\infty \frac{A_k}{(k+n)^s}z^k$ for every…

We prove that if the system of integer translates of a square integrable function is $\ell^2$-linear independent then its periodization function is strictly positive almost everywhere. Indeed we show that the above inference is true for any…

Shidlovskii has given a linear independence measure of values of $E$-functions with rational Taylor coefficients at a rational point, not a singularity of the underlying differential system satisfied by these $E$-functions. Recently,…

Let $P_{2k}$ be a homogeneous polynomial of degree $2k$ and assume that there exist $C>0$, $D>0$ and $\alpha \ge 0$ such that \begin{equation*} \left\langle P_{2k}f_{m},f_{m}\right\rangle_{L^2(\mathbb{S}^{d-1})}\geq \frac{1}{C\left(…

We show that linear probing requires 5-independent hash functions for expected constant-time performance, matching an upper bound of [Pagh et al. STOC'07]. More precisely, we construct a 4-independent hash functions yielding expected…