Related papers: Irrationality Measure Of $\pi^2$
In this paper, we compute the asymptotic average of the decimals of some real numbers. With the help of this computation, we prove that if a real number cannot be represented as a finite decimal and the asymptotic average of its decimals is…
Let $\xi$ be a real number and $b \ge 2$ an integer. We study the relationship between the irrationality exponent of $\xi$ and the subword complexity $p(n, \mathbf{x})$ of the $b$-ary expansion $\mathbf{x}$ of $\xi$, where $p(n,…
For a given irrational number $\alpha$ one can define an irrationality measure function $\psi_{\alpha}^{[2]}(t) = \min\limits_{\substack{(q, p)\colon q, p \in\mathbb{Z}, 1\leqslant q\leqslant t, \\ (p, q) \neq (p_n, q_n) ~\forall…
We show the following bounds on the prime counting function $\pi(x)$ using principles from analytic number theory, giving an estimate: $$2 \log 2 \geq \limsup_{x \rightarrow \infty} \frac{\pi(x)}{x / \log x} \geq \liminf_{x \rightarrow…
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$.
We apply the Pade technique to find rational approximations to % \[h^{\pm}(q_1,q_2)=\sum_{k=1}^\infty\frac{\q_1^k}{1\pm \q_2^k}, 0<q_1,q_2<1, q_1\in\mathbb{Q}, q_2=1/p_2, p_2\in\mathbb{N}\setminus\{1\}.\] % A separate section is dedicated…
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 show that if $\mu$ is a self-affine measure on the plane defined by an iterated function system of contractions with diagonal linear parts, then under an irrationality assumption on the entries of the linear parts, $$ \dim_{\rm H} \mu…
In order to prove irrationality of \sqrt{2} by using only decimal expansions (and not fractions), we develop in detail a model of real numbers based on infinite decimals and arithmetic operations with them.
Let $p$ be a prime number and $\xi$ an irrational $p$-adic number. Its multiplicative irrationality exponent ${{\mu^{\times}}} (\xi)$ is the supremum of the real numbers ${{\mu^{\times}}}$ for which the inequality $$ |b \xi - a|_{p} \leq |…
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,...n$.
We consider the real number $\sigma$ with continued fraction expansion $[a_0, a_1, a_2,\ldots] = [1,2,1,4,1,2,1,8,1,2,1,4,1,2,1,16,\ldots]$, where $a_i$ is the largest power of $2$ dividing $i+1$. We compute the irrationality measure of…
This paper studies whether rationality can be computed. Rationality is defined as the use of complete information, which is processed with a perfect biological or physical brain, in an optimized fashion. To compute rationality one needs to…
In this article, we give an asymptotic bound for the exponential sum of the M\"obius function $\sum_{n \le x} \mu(n) e(\alpha n)$ for a fixed irrational number $\alpha\in\mathbb{R}$. This exponential sum was originally studied by Davenport…
If the cosine of a rational multiple of $\pi$ is a rational number then it is an integral multiple of $\frac12$. For this fact, we give a proof accessible to an interested school student. We then discuss which quadratic and cubic…
We consider Mahler functions $f(z)$ which solve the functional equation $f(z) = \frac{A(z)}{B(z)} f(z^d)$ where $\frac{A(z)}{B(z)}\in \mathbb{Q}(z)$ and $d\ge 2$ is integer. We prove that for any integer $b$ with $|b|\ge 2$ either $f(b)$ is…
We provide an upper bound on the efficient irrationality exponents of cubic algebraics $x$ with the minimal polynomial $x^3 - tx^2 - a$. In particular, we show that it becomes non-trivial, i.e. better than the classical bound of Liouville…
We provide an alternative proof that $\sqrt{2}$ is irrational that does not begin with the assumption that $\sqrt{2}$ is in fact rational.
It is a classical fact that the irrationality of a number $\xi\in\mathbb R$ follows from the existence of a sequence $p_n/q_n$ with integral $p_n$ and $q_n$ such that $q_n\xi-p_n\ne0$ for all $n$ and $q_n\xi-p_n\to0$ as $n\to\infty$. In…
In this paper, we introduce a way to measure the intelligence (or relevance) of an approximation of a given real number in a given model of approximation. Based on the notion of complexity of a number, defined as the number of its digits…