An elementary proof of the irrationality of Tschakaloff series

Wadim Zudilin

DOI: https://doi.org/10.1007/s10958-007-0382-0

2005-06-05

Abstract:We present a new proof of the irrationality of values of the series $T_q(z)=\sum_{n=0}^\infty z^nq^{-n(n-1)/2}$ in both qualitative and quantitative forms. The proof is based on a hypergeometric construction of rational approximations to $T_q(z)$.

Number Theory,Classical Analysis and ODEs

What problem does this paper attempt to address?

On several irrationality problems for Ahmes series

Vjekoslav Kovač,Terence Tao

2024-11-28

Abstract:Using basic tools of mathematical analysis and elementary probability theory we address several problems on the irrationality of series of distinct unit fractions, $\sum_k 1/a_k$. In particular, we study subseries of the Lambert series $\sum_k 1/(t^k-1)$ and two types of irrationality sequences $(a_k)$ introduced by Paul Erdős and Ronald Graham. Next, we address a question of Erdős, who asked how rapidly a sequence of positive integers $(a_k)$ can grow if both series $\sum_k 1/a_k$ and $\sum_k 1/(a_k+1)$ have rational sums. Our construction of double exponentially growing sequences $(a_k)$ with this property generalizes to any number $d$ of series $\sum_k 1/(a_k+j)$, $j=0,1,2,\ldots,d-1$, and, in particular, also gives a positive answer to a question of Erdős and Ernst Straus on the interior of the set of $d$-tuples of their sums. Finally, we prove the existence of a sequence $(a_k)$ such that all well-defined sums $\sum_k 1/(a_k+t)$, $t\in\mathbb{Z}$, are rational numbers, giving a negative answer to a conjecture by Kenneth Stolarsky.

Number Theory,Classical Analysis and ODEs
On the irrationality of certain $2$-adic zeta values

Li Lai

2023-04-03

Abstract:Let $\zeta_2(\cdot)$ be the Kubota-Leopoldt $2$-adic zeta function. We prove that, for every nonnegative integer $s$, there exists an odd integer $j$ in the interval $[s+3,3s+5]$ such that $\zeta_2(j)$ is irrational. In particular, at least one of $\zeta_2(7),\zeta_2(9),\zeta_2(11),\zeta_2(13)$ is irrational. Our approach is inspired by the recent work of Sprang. We construct explicit rational functions. The Volkenborn integrals of these rational functions' (higher-order) derivatives produce good linear combinations of $1$ and $2$-adic Hurwitz zeta values. The most difficult step is proving that certain Volkenborn integrals are nonzero, which is resolved by carefully manipulating the binomial coefficients.

Number Theory
A note on the Irrationality of $ζ(5)$ and Higher Odd Zeta Values

Shekhar Suman

2024-08-01

Abstract:In this note, we prove the irrationality of $\zeta(5)$ and generalise the method to prove irrationality of higher odd zeta values. Our proof relies on the method of contradiction, existence of solution of Linear Diophantine equation and mathematical induction. For $n\geq 1$, we denote $d_n=\text{lcm}(1,2,...,n)$. In the first part of the article, we assume $\zeta(5)$ is rational, say $a/b$. Then we observe that for $n\geq b$, there exists an equation involving linear combination of $\zeta(5)$ with coefficients $d_n$ that has a solution. Later using existence of solution of Linear Diophantine equation, we show that such a linear combination of $\zeta(5)$ has no solution, which is a contradiction. In the second part of the article, we generalise this method for all higher odd zeta values.

General Mathematics
Recurrent proofs of the irrationality of certain trigonometric values

Li Zhou,Lubomir Markov

DOI: https://doi.org/10.4169/000298910X480838

2009-11-10

Abstract:We use recurrences of integrals to give new and elementary proofs of the irrationality of pi, tan(r) for all nonzero rational r, and cos(r) for all nonzero rational r^2. Immediate consequences to other values of the elementary transcendental functions are also discussed.

Number Theory,History and Overview
On the irrationality of certain [math]-adic zeta values

Li Lai

DOI: https://doi.org/10.1142/s1793042125500113

2024-08-18

International Journal of Number Theory

Abstract:International Journal of Number Theory, Ahead of Print. Let [math] denote the Kubota–Leopoldt [math]-adic zeta function. We prove that, for every nonnegative integer [math], there exists an odd integer [math] in the interval [math] such that [math] is irrational. In particular, at least one of [math] is irrational. Our approach is inspired by the recent work of Sprang. We construct explicit rational functions. The Volkenborn integrals of these rational functions' (higher-order) derivatives produce good linear combinations of [math] and [math]-adic Hurwitz zeta values. The most difficult step is proving that certain Volkenborn integrals are nonzero, which is resolved by carefully manipulating the binomial coefficients.

mathematics
Proof of conjectures on series with summands involving $ \binom{2k}{k}8^k/(\binom{3k}{k}\binom{6k}{3k})$

Zhi-Wei Sun,Yajun Zhou

2024-01-25

Abstract:Using cyclotomic multiple zeta values of level $8$, we confirm and generalize several conjectural identities on infinite series with summands involving $\binom{2k}k8^k/(\binom{3k}k\binom{6k}{3k})$. For example, we prove that \[\sum_{k=0}^\infty\frac{(350k-17)\binom{2k}k8^k} {\binom{3k}k\binom{6k}{3k}}=15\sqrt2\,\pi+27\] and \[\sum_{k=1}^\infty\frac{\left\{(5k-1)\left[16\mathsf H_{2k-1}^{(2)}-3\mathsf H_{k-1}^{(2)}\right]-\frac{12(6k-1)}{(2k-1)^2}\right\}\binom{2k}k8^k} {k(2k-1)\binom{3k}k\binom{6k}{3k}}=\frac{\pi^3}{12\sqrt2},\] where $\mathsf H^{(2)}_m$ denotes the second-order harmonic number $\sum_{0<j\leq m}\frac1{j^2}$.

Classical Analysis and ODEs,Number Theory
On the Irrationality Exponents of Mahler Numbers

Andrew Rajchert

2024-11-16

Abstract:We explore Mahler numbers originating from functions $f(z)$ that satisfy the functional equation $f(z) = (A(z)f(z^d) + C(z))/B(z)$. A procedure to compute the irrationality exponents of such numbers is developed using continued fractions for formal Laurent series, and the form of all such irrationality exponents is investigated. This serves to extend Dmitry Badziahin's paper, On the Spectrum of Irrationality Exponents of Mahler Numbers, where he does the same under the condition that $C(z) = 0$. Furthermore, we cover the required background of continued fractions in detail for unfamiliar readers. This essay was submitted as a thesis in the Pure Mathematics Honours program at the University of Sydney.

Number Theory
Irrationality proofs for zeta values, moduli spaces and dinner parties

Francis Brown

DOI: https://doi.org/10.48550/arXiv.1412.6508

2014-12-20

Abstract:A simple geometric construction on the moduli spaces $\mathcal{M}_{0,n}$ of curves of genus $0$ with $n$ ordered marked points is described which gives a common framework for many irrationality proofs for zeta values. This construction yields Apéry's approximations to $\zeta(2)$ and $\zeta(3)$, and for larger $n$, an infinite family of small linear forms in multiple zeta values with an interesting algebraic structure. It also contains a generalisation of the linear forms used by Ball and Rivoal to prove that infinitely many odd zeta values are irrational.

Number Theory
A Note on a Recent Attempt to Prove the Irrationality of $ζ(5)$

Keyu Chen,Wei He,Yixin He,Yuxiang Huang,Yanyang Li,Quanyu Tang,Lei Wu,Shenhao Xu,Shuo Yang,Zijun Yu

2024-11-25

Abstract:Recently Shekhar Suman \cite{Suman2024} made an attempt to prove the irrationality of $\zeta(5)$. But unfortunately the proof is not correct. In this note, we discuss the fallacy in the proof.

General Mathematics
Two hypergeometric tales and a new irrationality measure of $ζ(2)$

Wadim Zudilin

DOI: https://doi.org/10.1007/s40316-014-0016-0

2014-05-06

Abstract:We prove the new upper bound 5.095412 for the irrationality exponent of $\zeta(2)=\pi^2/6$; the earlier record bound 5.441243 was established in 1996 by G. Rhin and C. Viola.

Number Theory,Classical Analysis and ODEs
A Geometric Proof to Cantor's Theorem and an Irrationality Measure for Some Cantor's Series

Diego Marques

DOI: https://doi.org/10.48550/arXiv.0804.4508

2010-12-26

Abstract:Generalizing a geometric idea due to J. Sondow, we give a geometric proof for the Cantor's Theorem. Moreover, it is given an irrationality measure for some Cantor series.

History and Overview,Number Theory
On effective irrationality exponents of cubic irrationals

Dzmitry Badziahin

DOI: https://doi.org/10.1007/s11139-024-00877-8

2024-05-29

The Ramanujan Journal

Abstract:We provide an upper bound for the effective irrationality exponents of cubic algebraics x with the minimal polynomial . In particular, we show that it becomes non-trivial, i.e. better than the classical bound of Liouville, in the case . Moreover, under the condition , we provide an explicit lower bound for the expression || qx || for all large . These results are based on the recently discovered continued fractions of cubic irrationals and improve the currently best-known bounds of Wakabayashi.

mathematics
Continued fractions of cubic Laurent series

Dmitry Badziahin

2024-11-14

Abstract:We construct continued fraction expansions for several families of the Laurent series in $\mathbb{Q}[[t^{-1}]]$. To the best of the author's knowledge, this is the first result of this kind since Gauss derived the continued fraction expansion for $(1+t)^r$, $r\in\mathbb{Q}$ in 1813. As an application, we apply an analogue of the hypergeometric method to one of those families and derive non-trivial lower bounds on the distance $|x - \frac{p}{q}|$ between one of the real roots of $3x^3 - 3tx^2-3ax+at$, $a,t\in\mathbb{Z}$ and any rational number, under relatively mild conditions on the parameters $a$ and $t$. We also show that every cubic irrational $x\in\mathbb{R}$ admits a (generalised) continued fraction expansion in a closed form that can be explicitly computed. Finally, we provide an infinite series of cubic irrationals $x$ that have arbitrarily (but finitely) many better-than-expected rational approximations. That is, they are such that for any $\tau< 3+\frac{15\ln 2}{24}\approx 3.4332...$ the inequality $||qx|| < (H(x)^{\tau} qe^{c\sqrt{\ln q}})^{-1}$ has many solutions in integer $q$.

Number Theory
Geometric Proof of the Irrationality of Square-Roots for Select Integers

Zongyun Chen,Steven J. Miller,Chenghan Wu

2024-10-18

Abstract:This paper presents geometric proofs for the irrationality of square roots of select integers, extending classical approaches. Building on known geometric methods for proving the irrationality of sqrt(2), the authors explore whether similar techniques can be applied to other non-square integers. They begin by reviewing well-known results, such as Euclid's proof for the irrationality of sqrt(2), and discuss subsequent geometric extensions for sqrt(3), sqrt(5), and sqrt(6). The authors then introduce new geometric constructions, particularly using hexagons, to prove the irrationality of sqrt(6). Furthermore, the paper investigates the limitations and challenges of extending these geometric methods to triangular numbers. Through detailed geometric reasoning, the authors successfully generalize the approach to several square-free numbers and identify cases where the method breaks down. The paper concludes by inviting further exploration of geometric irrationality proofs for other integers, proposing potential avenues for future work.

History and Overview
A Note on the Number of Irrational Odd Zeta Values

Li Lai,Pin Yu

DOI: https://doi.org/10.1112/s0010437x20007307

2020-01-01

Compositio Mathematica

Abstract:AbstractWe prove that, for any small $\varepsilon > 0$, the number of irrationals among the following odd zeta values: $\zeta (3),\zeta (5),\zeta (7),\ldots ,\zeta (s)$ is at least $( c_0 - \varepsilon )({s^{1/2}}/{(\log s)^{1/2}})$, provided $s$ is a sufficiently large odd integer with respect to $\varepsilon$. The constant $c_0 = 1.192507\ldots$ can be expressed in closed form. Our work improves the lower bound $2^{(1-\varepsilon )({\log s}/{\log \log s})}$ of the previous work of Fischler, Sprang and Zudilin. We follow the same strategy of Fischler, Sprang and Zudilin. The main new ingredient is an asymptotically optimal design for the zeros of the auxiliary rational functions, which relates to the inverse totient problem.
Many $p$-adic odd zeta values are irrational

Li Lai,Johannes Sprang

2023-06-18

Abstract: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 irrational. The constant $c_p$ is positive and does only depend on $p$. This result establishes a $p$-adic version of the elimination technique used by Fischler--Sprang--Zudilin and Lai--Yu to prove a similar result on classical zeta values. The main difficulty consists in proving the non-vanishing of the resulting linear forms. We overcome this problem by using a new irrationality criterion.

Number Theory
Primes, Pi, and Irrationality Measure

Jonathan Sondow

DOI: https://doi.org/10.48550/arXiv.0710.1862

2007-10-09

Number Theory

Abstract:A folklore proof of Euclid's theorem on the infinitude of primes uses the Euler product and the irrationality of $\zeta(2) = \pi^2/6$. A quantified form of Euclid's Theorem is Bertrand's postulate $p_{n+1} < 2p_n$. By quantifying the folklore proof using an irrationality measure for $6/\pi^2$, we give a proof (communicated to Paulo Ribenboim in 2005) of a much weaker upper bound on $p_{n+1}$.
The irrationality of a prime factor series under a prime tuples conjecture

Kyle Pratt

2024-09-24

Abstract:Let $\omega(n)$ denote the number of distinct prime factors of $n$. Assuming a suitably uniform version of the prime $k$-tuples conjecture, we show that the number \begin{align*} \sum_{n=1}^\infty \frac{\omega(n)}{2^n} \end{align*} is irrational. This settles (conditionally) a question of Erdős.

Number Theory
Diophantine problems for q-zeta values

Wadim Zudilin

DOI: https://doi.org/10.1023/A%3A1021450231834

2002-07-06

Abstract:A motivated q-extension of the values of the Riemann zeta function at positive integers is presented. Several irrationality and transcendence results as well as new general problems for these q-zeta values are stated.

Number Theory,Classical Analysis and ODEs
Dissections of Strange q-Series

Scott Ahlgren,Byungchan Kim,Jeremy Lovejoy

DOI: https://doi.org/10.1007/s00026-019-00447-6

2019-10-17

Annals of Combinatorics

Abstract:In a study of congruences for the Fishburn numbers, Andrews and Sellers observed empirically that certain polynomials appearing in the dissections of the partial sums of the Kontsevich–Zagier series are divisible by a certain <em class="EmphasisTypeItalic">q</em>-factorial. This was proved by the first two authors. In this paper, we extend this strong divisibility property to two generic families of <em class="EmphasisTypeItalic">q</em>-hypergeometric series which, like the Kontsevich–Zagier series, agree asymptotically with partial theta functions.

mathematics, applied

An elementary proof of the irrationality of Tschakaloff series

On several irrationality problems for Ahmes series

On the irrationality of certain $2$-adic zeta values

A note on the Irrationality of $ζ(5)$ and Higher Odd Zeta Values

Recurrent proofs of the irrationality of certain trigonometric values

On the irrationality of certain [math]-adic zeta values

Proof of conjectures on series with summands involving $ \binom{2k}{k}8^k/(\binom{3k}{k}\binom{6k}{3k})$

On the Irrationality Exponents of Mahler Numbers

Irrationality proofs for zeta values, moduli spaces and dinner parties

A Note on a Recent Attempt to Prove the Irrationality of $ζ(5)$

Two hypergeometric tales and a new irrationality measure of $ζ(2)$

A Geometric Proof to Cantor's Theorem and an Irrationality Measure for Some Cantor's Series

On effective irrationality exponents of cubic irrationals

Continued fractions of cubic Laurent series

Geometric Proof of the Irrationality of Square-Roots for Select Integers

A Note on the Number of Irrational Odd Zeta Values

Many $p$-adic odd zeta values are irrational

Primes, Pi, and Irrationality Measure

The irrationality of a prime factor series under a prime tuples conjecture

Diophantine problems for q-zeta values

Dissections of Strange q-Series