Related papers: Irrationality measure and lower bounds for pi(x)

In a recent work, Gun, Murty and Rath defined the Chowla-Milnor space and proved a non-trivial lower bound for these spaces. They also obtained a conditional improvement of this lower bound and noted that an unconditional improvement of…

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…

It is proved that, for all odd integer $s \geqslant s_0(\varepsilon)$, there are at least $\big( c_0 - \varepsilon \big) \frac{s^{1/2}}{(\log s)^{1/2}} $ many irrational numbers among the following odd zeta values:…

We obtain lower bounds of the correct order of magnitude for the 2k-th moment of the Riemann zeta function for all k > 1. Previously such lower bounds were known only for rational values of k, with the bounds depending on the height of the…

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…

In this paper, we establish improved effective irrationality measures for certain numbers of the form $\sqrt[3]{n}$, using approximations obtained from hypergeometric functions. These results are very close to the best possible using this…

In this note, we prove the irrationality of $\zeta(5)$ and generalize the method to prove the irrationality of all higher odd zeta values. Our proof relies on the method of contradiction, existence of solution of a system of Linear…

Roger Apery's seminal method for proving irrationality is "turned on its head" and taught to computers, enabling a one second redux of the original proof of zeta(3), and many new irrationality proofs of many new constants, alas, none of…

In this small note, we provide an elementary proof of the fact that infinitely many odd zeta values are irrational. For the first time, this celebrated theorem been proven by Rivoal and Ball--Rivoal. The original proof uses highly…

Let $S(t) = \frac{1}{\pi}\Im \log\zeta\left(\frac{1}{2}+it\right)$. We prove an unconditional lower bound on the measure of the sets $\{t\in [T,2T] \colon S(t) \geq V\}$ for $\sqrt{\log\log T} \leq V \ll \left(\frac{\log T}{\log \log…

A general hypergeometric construction of linear forms in (odd) zeta values is presented. The construction allows to recover the records of Rhin and Viola for the irrationality measures of $\zeta(2)$ and $\zeta(3)$, as well as to explain…

We prove that there is at least one irrationnal among the nine numbers zeta(5), zeta(7),..., zeta(21).

An explicit subconvex bound for the Riemann zeta function $\zeta(s)$ on the critical line $s=1/2+it$ is proved. Previous subconvex bounds relied on an incorrect version of the Kusmin-Landau lemma. After accounting for the needed correction…

We study lower bounds for the Riemann zeta function $\zeta(s)$ along vertical arithmetic progressions in the right-half of the critical strip. We show that the lower bounds obtained in the discrete case coincide, up to the constants in the…

For a fixed irrational $\theta > 0$ with a prescribed irrationality measure function, we study the correlation $\int_1^X \Delta(x) \Delta(\theta x) dx$, where $\Delta$ is the Dirichlet error term in the divisor problem. When $\theta$ has a…

For an irreducible variety $X$ over a field $k$, the degree of irrationality $\operatorname{irr}_k X$ is the minimal degree of a dominant rational map $X \dashrightarrow \mathbb{P}_k^{\operatorname{\dim} X}$. When $X$ is a curve, this is…

Given an irrational number $\alpha$ consider its irrationality measure function $\psi_{\alpha}(t)=\min\limits_{1\le q\le t, q\in\mathbb{Z}}\|q\alpha\|$. The set of all values of $\lambda(\alpha)=(\limsup\limits_{t\to\infty}…

Building on work in \cite{AB24} on the Riemann zeta function at height $T$ off the critical line, we prove an unconditional lower bound on the critical line for real large deviations of the order $V\sim\alpha\log\log T$ for any $\alpha>0.$…

Defining a Beukers [1] like integral for $\zeta(5)$ as \begin{equation*} I_n:=\int_{(0,1)^5}\frac{(1-x_3)^n(1-x_4)^n P_n(x_1)P_n(x_2)}{1-(1-x_1x_2x_3x_4)x_5} \ dx_1dx_2dx_3dx_4dx_5 \end{equation*} we prove that for each $n\in\mathbb{N}$…

In this work, we prove the irrationality of $\pi$ based on the nested radicals with roots of $2$ of kind $c_k = \sqrt{2 + c_{k - 1}}$ and $c_0 = 0$. Sample computations showing how the rational approximation tends to $\pi$ with increasing…