Related papers: Irrationality proofs \`a la Hermite
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…
A failed attempt to prove the universality of Lerch zeta function $L(\lambda,\alpha,s)$ when $\lambda$ is irrational and $\alpha$ is rational, and for any $\lambda$ when $\alpha$ is irrational algebraic.
A reasonably complete theory of the approximation of an irrational by rational fractions whose numerators and denominators lie in prescribed arithmetic progressions is developed in this paper. Results are both, on the one hand, from a…
An analog of the Riemann hypothesis is proved in this paper. Some new integral equations for the functions $\pi(x)$ and $R(x)$ follows. A new effect that is shown is that these function - with essentially different behavior - are the…
We study a certain class of arithmetic functions that appeared in Klurman's classification of $\pm 1$ multiplicative functions with bounded partial sums, c.f., Comp. Math. 153 (8), 2017, pp. 1622-1657. These functions are periodic and…
Fermat's Last Theorem is proved by using the philosophical and mathematical knowledge of 1637 when the French mathematician Pierre de Fermat claimed to have a truly marvelous proof of his conjecture. Our approach consists of setting three…
Following Deligne and Ribet (`Values of abelian $L$-functions at negative integers over totally real fields.' Invent. Math. 59 (1980), 227-286) we prove that the `torsion congruences' (as introduced in our paper `Non-abelian pseudomeasures…
In 1942, the famous astronomer and physicist Belgian Georges Lemaitre (1894-1966) published in the Bulletin of the class of Sciences of the Royal Academy of Belgium, an article in which he proposes a method that he calls "rational…
Theorem proving is one of the oldest applications which require heuristics to prune the search space. Invertible proof procedures has been the major tool. In this paper, we present a novel and powerful heuristic called $nongshim$ which can…
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 give a proof of the irrationality of the $p$-adic zeta-values $\zeta_p(k)$ for $p=2,3$ and $k=2,3$. Such results were recently obtained by F.Calegari as an application of overconvergent $p$-adic modular forms. In this paper we present an…
In this paper we study the property of normality of a number in base 2. A simple rule that associates a vector to a number is presented and the property of normality is stated for the vector associated to the number. The problem of testing…
We prove that the formula giving the exact value of the irrationality exponent of regular continued fractions remains valid for semi-regular continued fractions satisfyiong certain conditions.
We construct irrational irreducible components of the Hilbert scheme of points of affine n-dimensional space, for n at least 12. We start with irrational components of the Hilbert scheme of curves in P^3 and use methods developed by…
In \cite{GCF} it is proved that any quadratic irrational number has a representation as a continuous, infinite and periodic fraction. In 1848, Charles Hermite through a letter Jacobi \cite{Per} wondered if this fact could be generalized to…
In this paper, Thue's Fundamentaltheorem is analysed. We show that it includes, and often strengthens, known effective irrationality measures obtained via the so-called hypergeometric method as well as showing that it can be applied to…
In his first set theory paper (1874), Cantor establishes the uncountability of $\mathbb{R}$. We study the latter in Kohlenbach's higher-order Reverse Mathematics, motivated by the observation that one cannot study concepts like `arbitrary…
Motivated by problems arising in the relative trace formula and arithmetic invariant theory we prove the existence of rational points on orbits arising from certain infinitesimal symmetric spaces. As an application, we prove analogous…
We discuss the use of matrices for providing sequences of rationals that approximate algebraic irrationalities. In particular, we study the regular representation of algebraic extensions, proving that ratios between two entries of the…
We prove a new result about the mutual behavior of irrationality measure functions $\psi_{\alpha_j}(t)$ for $n$ different real numbers $\alpha_j, j = 1, \dots, n$.