Related papers: Linear Forms in Polylogarithms
We consider pairs of automorphisms $(\phi,\sigma)$ acting on fields of Laurent or Puiseux series: pairs of shift operators $(\phi\colon x\mapsto x+h_1, \sigma\colon x\mapsto x+h_2)$, of $q$-difference operators $(\phi\colon x\mapsto q_1x,\…
Using a generalization of forward elimination, it is proved that functions $f_1,...,f_n:X\to\mathbb{A}$, where $\mathbb{A}$ is a field, are linearly independent if and only if there exists a nonsingular matrix $[f_i(x_j)]$ of size $n$,…
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…
The paper determines all meromorphic functions with finitely many zeros in the plane having the property that a linear differential polynomial in the function, of order at least 3 and with rational functions as coefficients, also has…
We study real numbers defined by multidimensional automatic arrays weighted by multiplicatively independent bases. Let $a_1, \dots, a_r\geq 2$ be integers such that $\log a_1, \dots, \log a_r$ are $\mathbb Q$-linearly independent. Given…
We review the closed-forms of the partial Fourier sums associated with $HP_k(n)$ and create an asymptotic expression for $HP(n)$ as a way to obtain formulae for the full Fourier series (if $b$ is such that $|b|<1$, we get a surprising…
Given r elements in an integral domain over an algebraically closed field such that any two are linearly independent, we show that there is an integer e between 1 and r! such the eth powers of these elements are linearly independent.
A set of real $n$th roots that is pairwise linearly independent over the rationals must also be linearly independent. We show how this result may be extended to more general fields.
We establish new measures of linear independence of logarithms on commutative algebraic groups in the so-called \emph{rational case}. More precisely, let k be a number field and v_{0} be an arbitrary place of k. Let G be a commutative…
We construct a complex entire function with arbitrary number of variables which has the following property: The infinite set consisting of all the values of all its partial derivatives of any orders at all algebraic points, including zero…
We prove new linear independence results for the values of generalized hypergeometric functions ${}_pF_q$ at several distinct algebraic points, over arbitrary algebraic number fields. Our approach combines constructions of type II Pad\'{e}…
We prove, in a quantitative form, linear independence results for values of a certain class of q-series, which generalize classical q-hypergeometric series. These results refine our recent estimates.
Let $m\geq 1$ and $a_m$ be integers. Let $\alpha$ be a rational number which is not a negative integer such that $\alpha = \frac{u}{v}$ with $\gcd(u,v) = 1, v>0$. Let $\phi(x)$ belonging to $\Z[x]$ be a monic polynomial which is irreducible…
In this paper, for a given Dirichlet character mod $N$ with $4\nmid N$, we give a lower bound of order $\sqrt{s/\log(s)}$ for the dimension of the $\mathbb{Q}(e^{2i\pi/N})$-vector space spanned by the values of its $L$-function at integers…
It is an open question of Baker whether the numbers $L(1, \chi)$ for non-trivial Dirichlet characters $\chi$ with period $q$ are linearly independent over $\mathbb{Q}$. The best known result is due to Baker, Birch and Wirsing which affirms…
Let F = {f_1,...,f_r} be a family of polynomials and let the ticket of F, T(F), denote the set of integers m so that ${f_j^m}$ is linearly dependent. We show that |T(F)| \le (r-1)(r-2)/2 and present many concrete examples, including one…
We show that there exist real numbers $\alpha_1,\alpha_2$ linearly independent over $\mathbb{Z}$ together with 1 such that for every non-zero integer vector $(m_1,m_2)$ with $m_1\ge 0$ and $m_2\ge 0$ one has $||m_1\alpha_1+m_2\alpha_2|| \ge…
Given an integer $d \ge 2$, what is the least $r$ so that there is a set of binary quadratic forms $\{f_1,\dots,f_r\}$ for which $\{f_j^d\}$ is non-trivially linearly dependent? We show that if $r \le 4$, then $d \le 5$, and for $d \ge 4$,…
We give conditions on a finite set of series of rational numbers to ensure that they are algebraically independent. Specialising our results to polynomials of lower degree, we also obtain new results on irrationality and $mathbb{Q}$-linear…
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…