Related papers: Irrationality measure and lower bounds for pi(x)
The decimal digits of $\pi$ are widely believed to behave like as statistically independent random variables taking the values $0, 1, 2, 3, 4, 5$, $6, 7, 8, 9$ with equal probabilities $1/10$. In this article, first, another similar…
Let $b \ge 2$ be an integer and $\xi$ an irrational real number. We establishes that, if the irrationality exponent of $\xi$ is less than $2.324 \ldots$, then the $b$-ary expansion of $\xi$ cannot be `too simple', in a suitable sense. This…
In this paper, we obtain explicit bounds for the real part of the logarithmic derivative of the Riemann zeta-function on the line $\re s=1$, assuming the Riemann hypothesis. The proof combines the Guinand--Weil explicit formula with…
We consider the Gittins index for a normal distribution with unknown mean $\theta$ and known variance where $\theta$ has a normal prior. In addition to presenting some monotonicity properties of the Gittins index, we derive an approximation…
The function $S_n (t) = \pi \left( \frac{3}{2} - {frac} \left( \frac{\vartheta(t)}{\pi} \right) + \left( \lfloor \frac{t \ln \left( \frac{t}{2 \pi e}\right)}{2 \pi} + \frac{7}{8} \rfloor - n \right) \right)$ is conjectured to be equal to $S…
We state and give complete proof of the results of Siegel about the zeros of the auxiliary function of Riemann $\mathop{\mathcal R}(s)$. We point out the importance of the determination of the limit to the left of the zeros of…
Fair termination is the property of programs that may diverge "in principle" but that terminate "in practice", i.e. under suitable fairness assumptions concerning the resolution of non-deterministic choices. We study a conservative…
We investigate the distribution of the Riemann zeta-function on the line $\Re(s)=\sigma$. For $\tfrac 12 < \sigma \le 1$ we obtain an upper bound on the discrepancy between the distribution of $\zeta(s)$ and that of its random model,…
The inverse Mills ratio is $R:=\varphi/\Psi$, where $\varphi$ and $\Psi$ are, respectively, the probability density function and the tail function of the standard normal distribution. Exact bounds on $R(z)$ for complex $z$ with $\Re z\ge0$…
We compute the exact irrationality exponents of certain series of rational numbers, first studied in a special case by Hone, by transforming them into suitable continued fractions.
Linear independence testing is a fundamental information-theoretic and statistical problem that can be posed as follows: given $n$ points $\{(X_i,Y_i)\}^n_{i=1}$ from a $p+q$ dimensional multivariate distribution where $X_i \in…
For a finite simple graph $G$ we give an upper bound for the regularity of the powers of the edge ideal $I(G)$.
The main task of this work is to give an improvement for the upper bounds of the Laplace transform $$\int_0^{+\infty}\Bigl|\zeta\left(\frac{1}{2}+it\right)\Bigr|^{2\beta}e^{-\delta t}dt \ll_{\beta,\varepsilon}…
Throughout this manuscript the zeros are counted with multiplicity. We denote by $N(T)$ the number of zeros $\rho$ of $\zeta(s)$ in the critical strip upto height $T$ where $T>3$ is not an ordinate of zero of $\zeta(s)$. Denote by $N_0(T)$…
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…
It is known that the numbers which occur in Apery's proof of the irrationality of zeta(2) have many interesting congruence properties while the associated generating function satisfies a second order differential equation. We prove…
In this paper we give a general upper bound for the irrationality exponent of algebraic Laurent series with coefficients in a finite field. Our proof is based on a method introduced in a different framework by Adamczewski and Cassaigne. It…
In this shortnote, a series expansion technique introduced recently by Dancs and He for generating Euler-type formulae for odd zeta values $\:\zeta{(2 k +1)}$, $\zeta{(s)}$ being the Riemann zeta function and $k$ a positive integer, is…
The $2 q$-th pseudomoment $\Psi_{2q,\alpha}(x)$ of the $\alpha$-th power of the Riemann zeta function is defined to be the $2 q$-th moment of the partial sum up to $x$ of $\zeta^\alpha$ on the critical line. Using probabilistic methods of…
In this paper, we sharpen and simplify our earlier results based on Thue's Fundamentaltheorem and use it to obtain effective irrationality measures for certain roots of polynomials of the form $(x-\sqrt{t})^{n}+(x+\sqrt{t})^{n}$, where $n…