Related papers: Difference of irrationality measure functions

We introduce a one-parameter family of series associated to the Riemann $\zeta$-function and prove that the values of the elements of this family at integers are linearly independent over the rationals for almost all values of the…

For any prime $p$ and $\varepsilon>0$ we prove that for any sufficiently large positive odd integer $s$ at least $(c_p-\varepsilon) \sqrt{\frac{s}{\log s}}$ of the $p$-adic zeta values $\zeta_p(3),\zeta_p(5),\dots,\zeta_p(s)$ are…

We illustrate the power of Experimental Mathematics and Symbolic Computation to suggest irrationality proofs of natural constants, and the determination of their irrationality measures. Sometimes such proofs can be fully automated, but…

In this note, I develop step-by-step proofs of irrationality for $\,\zeta{(2)}\,$ and $\,\zeta{(3)}$. Though the proofs follow closely those based upon unit-square integrals proposed originally by Beukers, I introduce some modifications…

A famous theorem of Zudilin states that at least one of the Riemann zeta values $\zeta(5), \zeta(7), \zeta(9), \zeta(11)$ is irrational. In this paper, we establish the $p$-adic analogue of Zudilin's theorem. As a weaker form of our result,…

In this paper we refine Ball-Rivoal's theorem by proving that for any odd integer $a$ sufficiently large in terms of $\epsilon>0$, there exist $[ \frac{(1-\epsilon)\log a}{1+\log 2}]$ odd integers $s$ between 3 and $a$, with distance at…

Let $\psi:\mathbb{N}\to\mathbb{R}_{\ge0}$ be an arbitrary function from the positive integers to the non-negative reals. Consider the set $\mathcal{A}$ of real numbers $\alpha$ for which there are infinitely many reduced fractions $a/q$…

In order to prove irrationality of \sqrt{2} by using only decimal expansions (and not fractions), we develop in detail a model of real numbers based on infinite decimals and arithmetic operations with them.

Prime numbers play a key role in number theory and have applications beyond Mathematics. In particular, in the Theory of Codes and also in Cryptography, the properties of prime numbers are relevant, because, from them, it is possible to…

Let $k \ge 2$ and $\alpha_1, \beta_1, ..., \alpha_k, \beta_k$ be reals such that the $\alpha_i$'s are irrational and greater than 1. Suppose further that some ratio $\alpha_i/\alpha_j$ is irrational. We study the representations of an…

In this paper, we present the greatest values $\alpha$, $\lambda$ and $p$, and the least values $\beta$, $\mu$ and $q$ such that the double inequalities $\alpha D(a,b)+(1-\alpha)H(a,b)<T(a,b)<\beta D(a,b)+(1-\beta) H(a,b)$, $\lambda…

This survey text deals with irrationality, and linear independence over the rationals, of values at positive odd integers of Riemann zeta function. The first section gives all known proofs (and connections between them) of Ap\'ery's Theorem…

Let $m_t(\alpha)$ denote the $t$-metric Mahler measure of the algebraic number $\alpha$. Recent work of the first author established that the infimum in $m_t(\alpha)$ is attained by a single point $\bar\alpha = (\alpha_1,\ldots,\alpha_N)\in…

We consider Mahler functions $f(z)$ which solve the functional equation $f(z) = \frac{A(z)}{B(z)} f(z^d)$ where $\frac{A(z)}{B(z)}\in \mathbb{Q}(z)$ and $d\ge 2$ is integer. We prove that for any integer $b$ with $|b|\ge 2$ either $f(b)$ is…

We present a brief survey of the methods used in deducing upper estimates for irrationality measures of the logarithm values. We particularly expose the best known estimates for $\log2$ (due to E. Rukhadze), $\pi$ (due to M. Hata) and…

In this article, we give an asymptotic bound for the exponential sum of the M\"obius function $\sum_{n \le x} \mu(n) e(\alpha n)$ for a fixed irrational number $\alpha\in\mathbb{R}$. This exponential sum was originally studied by Davenport…

Given quantities $\Delta_1,\Delta_2,\dots\geqslant 0$, a fundamental problem in Diophantine approximation is to understand which irrational numbers $x$ have infinitely many reduced rational approximations $a/q$ such that $|x-a/q|<\Delta_q$.…

A strong error estimate for the uniform rational approximation of $x^\alpha$ on $[0,1]$ is given, and its proof is sketched. Let $E_{nn}(x^\alpha,[0,1])$ denote the minimal approximation error in the uniform norm. Then it is shown that…

This paper expands on existing learned models of human behavior via a measured step in structured irrationality. Specifically, by replacing the suboptimality constant $\beta$ in a Boltzmann rationality model with a function over states…

We present a geometric way of describing the irrationality of a number using the area of a circular sector $A(r)$. We establish a connection between this and the continued fraction expansion of the number, and prove bounds for $A(r)$ as…