Related papers: The linear independence of $1$, $\zeta(2)$, and $L…
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.
In this paper, we focus on a q-analogue of the Riemann zeta function at positive integers, which can be written for s\in\N^* by \zeta_q(s)=\sum_{k\geq 1}q^k\sum_{d|k}d^{s-1}. We give a new lower bound for the dimension of the vector space…
We provide an alternative proof that the finite rational linear combination of radicals, under certain constraint, are linearly independent over $\mathbb{Q}$.
We formalize a proof of the irrationality of $\zeta(3)$ in Lean 4, using Beukers' method. To support this, we extend the Lean mathematical library (Mathlib) by formalizing shifted Legendre polynomials and important results in analytic…
Given any two rational numbers $r_1$ and $r_2$, a necessary and sufficient condition is established for the three numbers $1$, $\cos (\pi r_1)$, and $\cos (\pi r_2)$ to be rationally independent. Extending a classical fact sometimes…
Let $(x_1,y_1),\ldots,(x_n,y_n)$ be distinct non-constant and non-degenerate solutions of the classical Lotka-Volterra system \begin{equation}\notag \begin{split} x'&= axy + bx\\ y'&= cxy + dy, \end{split} \end{equation} where…
We give a proof of the irrationality of the $p$-adic zeta-values $\zeta_p(k)$ for $p=2,3$ and $k=2,3$. Such results were recently obtained by F.Calegari as an application of overconvergent $p$-adic modular forms. In this paper we present an…
We prove linear independence of indefinite iterated Eisenstein integrals over the fraction field of the ring of formal power series $\mathbb{Z}[[q]]$. Our proof relies on a general criterium for linear independence of iterated integrals,…
Let $m\ge 2$ be an integer, $K$ an algebraic number field and $\alpha\in K\setminus \{0,-1\}$ with sufficiently small absolute value. In this article, we provide a new lower bound for linear form in…
For Hurwitz zeta function, we obtain power series expression in second variable for its higher order derivatives (with respect to first variable) at non-positive integer arguments and consequently obtain rapidly decreasing series expression…
Building upon ideas of the second and third authors, we prove that at least $2^{(1-\varepsilon)\frac{\log s}{\log\log s}}$ values of the Riemann zeta function at odd integers between 3 and $s$ are irrational, where $\varepsilon$ is any…
Assuming the Generalized Riemann Hypothesis, we establish explicit bounds in the $q$-aspect for the logarithmic derivative $\left(L'/L\right)\left(\sigma,\chi\right)$ of Dirichlet $L$-functions, where $\chi$ is a primitive character modulo…
The Linear Independence hypothesis (LI), which states roughly that the imaginary parts of the critical zeros of Dirichlet L-functions are linearly independent over the rationals, is known to have interesting consequences in the study of…
We investigate the values of the Riemann zeta function at odd integers and the Dirichlet beta function at even integers, by collecting several distinct analytic frameworks converging to these values, thus providing a unifying perspective.…
We apply the theory of disconjugate linear recurrence relations to the study of irrational quantities in number theory. In particular, for an irrational number associated with solutions of three-term linear recurrence relations we show that…
In a spirit of Ap\'ery's proof of the irrationality of $\zeta(3)$, we construct a sequence $p_n/q_n$ of rational approximations to the $2$-adic zeta value $\zeta_2(5)$ which satisfy $0 < |\zeta_2(5)-p_n/q_n|_2 <…
Let $\chi$ be a primitive Dirichlet character of conductor $q$ and $L(z,\chi)$ the associated L-series. In this paper we provide an explicit upper bound for $|L(1, \chi)|$ when 3 divides $q$.
The proof of the irrationality of Zeta(5) is a long standing open problem, but here only the case of Zeta(4) = (Pi^4)/90 is considered. The present paper suggests an approach for the irrationality of Zeta(4) along the lines of those known…
The existence of higher derivative discontinuous solutions to a first order ordinary differential equation is shown to reveal a nonlinear SL(2,R) structure of analysis in the sense that a real variable $t$ can now accomplish changes not…
A unified proof of the irrationality of the special values L(n, X), n > 1 an integer, of the beta L-function is put forward in this note. The first case of n = 2 seems to confirm that the Catalan constant L(2, X) is an irrational number.