Related papers: Note On the Irrationality of the L-Function Consta…

Let $\alpha=0.a_1a_2a_3\ldots$ be an irrational number in base $b>1$, where $0\leq a_i<b$. The number $\alpha \in (0,1)$ is a \textit{normal number} if every block $(a_{n+1}a_{n+2}\ldots a_{n+k})$ of $k$ digits occurs with probability…

For an irrational number $\alpha\in\mathbb{R}$ we consider its irrationality measure function $$ \psi_\alpha(t) = \min_{1\le q\le t,\, q\in\mathbb{Z}} \| q\alpha \|. $$ Let $\boldsymbol{\alpha} = (\alpha_1, \dots, \alpha_n)$ be $n$-tuple of…

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…

We consider $L$-functions $L_1,\ldots,L_k$ from the Selberg class which have polynomial Euler product and satisfy Selberg's orthonormality condition. We show that on every vertical line $s=\sigma+it$ with $\sigma\in(1/2,1)$, these…

Continued fractions are used to give an alternate proof of $e^{x/y}$ is irrational.

In a previous article we had proved an algebraicity result for the central critical value for L-functions for GL(n) x GL(n-1) over Q assuming the validity of a nonvanishing hypothesis involving archimedean integrals. The purpose of this…

We answer the question in the title in the negative by providing four proofs.

In this paper we find an identity that gives a representation for the logarithm of any two irrational numbers $a, b >1$ in terms of a series whose terms are ratios of elements from the Beatty Sequences generated by these two numbers. We…

For positive integers $k$ and $n$ let $\sigma_k(n)$ denote the sum of the $k$th powers of the divisors of $n$. Erd\H{o}s and Kac asked whether, for every $k$, the number $\alpha_k = \sum_{n\geq 1} \frac{\sigma_k(n)}{n!}$ is irrational. It…

We introduce a "resonance" method to produce large values of $|\zeta(1/2+it)|$ and large and small central values of $L$-functions.

The Catalan transform of a sequence (a_{n})_{n>=0} is the sequence (b_{n})_{n>=0} with b_{n} = Sum[k/(2n-k) (2n-k)-choose-(n-k) a_{k},k=0..n]. Here we show that the Catalan transform of the Catalan numbers has a simple interpretation: it…

Let $n\geq2$ be an integer. In this paper, we study the convexity of the so-called MacMahon's $q$-Catalan polynomials $C_n(q)=\frac1{[n+1]_q}\left[ 2n \atop n \right]_q$ as functions of $q$. Along the way, several intermediate results on…

We have calculated numerically geometrical means of the denominators of the continued fraction approximations to the Brun constant B2. We get values close to the Khinchin constant. Next we calculated the n-th square roots of the…

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 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…

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…

We show that a large collection of special functions, in particular Nielsen's beta function, are generalized Stieltjes functions of order 2, and therefore logarithmically completely monotonic. This includes the Laplace transform of…

Let $x$ be a periodic continued fraction with the initial block $0$ and the repeating block $c_1,\ldots,c_n$. So $x$ is a quadratic irrational of the form $x=a+\sqrt b$, where $a$, $b$ are rational numbers, $b>0$, $b$ not a square. The…

We give an alternative proof of a conjecture of Bollob\'as, Brightwell and Leader, first proved by Peter Allen, stating that the number of boolean functions definable by 2-SAT formulae is $(1+o(1))2^{\binom{n+1}{2}}$. One step in the proof…

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…