Related papers: Irrationality From The Book

Building upon ideas of the second and third authors, we prove that at least $2^{(1-\varepsilon)\frac{\log s}{\log\log s}}$ values of the Riemann zeta function at odd integers between 3 and $s$ are irrational, where $\varepsilon$ is any…

There is an error in the proof (but not the truth) of Theorem 3.2 in the author's 1985 paper "The Double-Wedge Algebra for Quantum Fields on Schwarzschild and Minkowski Spacetimes" in "Communications in Mathematical Physics". The author…

Given a collection of N rectangles such that the side ratio of each one is a quadratic irrationality, we find all rectangles which can be tiled by rectangles similar to one of the given ones. It means that each possible shape can be used…

Motivated by a question of Defant and Propp (2020) regarding the connection between the degrees of noninvertibility of functions and those of their iterates, we address the combinatorial optimization problem of minimizing the sum of squares…

Measures of irrationality are a numerical way of quantifying how far a given variety is from being rational (or rationally connected, uniruled, etc.). In the last two decades, there has been renewed interest in the study of these…

Using a new construction of rational linear forms in odd zeta values and the saddle point method, we prove the existence of at least two irrational numbers amongst the 33 odd zeta values $\zeta$(5), $\zeta$(7),. .. , $\zeta$(69).

We study how the asymptotic irrationality exponent of a given generalized continued fraction \[ \K_{n=1}^\infty \frac{a_n}{b_n}\,,\quad a_n, b_n\in \mathbb{Z}^+, \] behaves as a function of growth properties of partial coefficient sequences…

We close a gap appearing at the same time in the author's thesis "Iterated rings of bounded elements and generalizations of Schm\"udgen's theorem" [1] and in the author's article "Iterated rings of bounded elements and generalizations of…

For a general cubic fourfold $X \subset \mathbb{P}^5$, we compute the Hodge numbers of the locus $S \subset F$ of lines of second type. We also give an upper bound of 6 for the degree of irrationality of the Fano scheme of lines of any…

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…

Using an application of Schmidt's Subspace Theorem, this paper gives new transcendence criteria for rapidly converging infinite products of algebraic numbers. The paper also improves existing criteria for irrationality of products and…

We prove that the partial zeta function introduced in [9] is a rational function, generalizing Dwork's rationality theorem.

This note points out a gap in the proof of the main theorem of the article "Birationally rigid hypersurfaces" published in Invent. Math. 192 (2013), 533-566, and provides a new proof of the theorem.

Let $\alpha,\beta \in \mathbb{R}_{>0}$ be such that $\alpha,\beta$ are quadratic and $\mathbb{Q}(\alpha)\neq \mathbb{Q}(\beta)$. Then every subset of $\mathbb{R}^n$ definable in both $(\mathbb{R},{<},+,\mathbb{Z},x\mapsto \alpha x)$ and…

We give a simple geometric proof that $e$ is irrational, using a construction of a nested sequence of closed intervals with intersection $e$. The proof leads to a new measure of irrationality for $e$: if $p$ and $q$ are integers with $q >…

The degree of irrationality of a smooth projective variety $X$ is the minimal degree of a dominant rational map $X\dashrightarrow \mathbb{P}^{\dim X}$. We show that if an abelian surface $A$ over $\mathbb{C}$ is such that the image of the…

The surface $z^2=ay^2+P(x), \, a \in k, \, P(x) \in k[x]$ is not $k$-rational, if $a \not\in k^2$ and $P(x)$ satisfies some conditions. This result essentially due to Iskovskih but his statement is in terms of algebraic geometry, and not so…

Let $\zeta(s)$ be the Riemann zeta function. We prove the statement in the title, which improves a recent result of Rivoal and Zudilin by lowering $69$ to $35$. We also prove that at least one of $\beta(2),\beta(4),\ldots,\beta(10)$ is…

Using Schmidt's Subspace Theorem, this paper improves and extends an existing transcendence result for sequences of algebraic numbers. The theorems thus produced correspond to a central theorem on the irrationality of sequences due to…

Shrinkage estimation has become a basic tool in the analysis of high-dimensional data. Historically and conceptually a key development toward this was the discovery of the inadmissibility of the usual estimator of a multivariate normal…