Related papers: Irrationality Measures, Irrationality Bases, and a…

Let $\alpha$ be a fixed quadratic irrational. Consider the Diophantine equation \[ y^a\ =\ q_{N_1} + \cdots + q_{N_K},\quad N_1 \geq \cdots \geq N_{K} \geq 0,\quad a, y \geq 2 \] where $(q_N)_{N\,\geq\,0}$ is the sequence of convergent…

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 generalise remarks of Euler and of Perron by explaining how to detail all quadratic irrational integers for which the symmetric part of the period of their continued fraction expansion commences with prescribed partial quotients. The…

We reduce the principal problem of Additive Number Theory of whether an infinite sequence of integers constitutes a finite basis for the integers to a Diophantine problem involving the difference set of the sequence, by proving a formula…

A scientific reasoning system makes decisions using objective evidence in the form of independent experimental trials, propositional axioms, and constraints on the probabilities of events. As a first step towards this goal, we propose a…

As rewards of reading two great papers of Hermite from 1873, we trace the historical origin of the integral Niven used in his well-known proof of the irrationality of $\pi$, uncover a rarely acknowledged simple proof by Hermite of the…

In 1958, Sz\"{u}sz proved an inhomogeneous version of Khintchine's theorem on Diophantine approximation. Sz\"{u}sz's theorem states that for any non-increasing approximation function $\psi:\mathbb{N}\to (0,1/2)$ with $\sum_q \psi(q)=\infty$…

We develop a practical and novel method for inference on intersection bounds, namely bounds defined by either the infimum or supremum of a parametric or nonparametric function, or equivalently, the value of a linear programming problem with…

Linear recursions with integer coefficients, such as the one generating the Fibonacci sequence, have been intensely studied over millennia and yet still hide new mathematics. Such a recursion was used by Ap\'ery in his proof of the…

The possibility of stating the second law of thermodynamics in terms of the increasing behaviour of a physical property establishes a connection between that branch of physics and the theory of algebraic inequalities. We use this connection…

We review recent work that employs the framework of logical inference to establish a bridge between data gathered through experiments and their objective description in terms of human-made concepts. It is shown that logical inference…

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.

Let f(n)=1 if n=1, 2^(2^(n-2)) if n \in {2,3,4,5}, (2+2^(2^(n-4)))^(2^(n-4)) if n \in {6,7,8,...}. We conjecture that if a system T \subseteq {x_i+1=x_k, x_i \cdot x_j=x_k: i,j,k \in {1,...,n}} has only finitely many solutions in positive…

Nonmonotonic reasoning is a pattern of reasoning that allows an agent to make and retract (tentative) conclusions from inconclusive evidence. This paper gives a possible-worlds interpretation of the nonmonotonic reasoning problem based on…

In this paper, we establish hybrid results on Diophantine approximation with primes from short intervals. In particular, we prove the following result in a slightly modified form: If $\alpha$ is an irrational number having a continued…

Following K. Mahler's suggestion for further research on intrinsic approximation on the Cantor ternary set, we obtain a Dirichlet type theorem for the limit sets of rational iterated function systems. We further investigate the behavior of…

In this paper you can explore the application of some notable Boolean-derived methods, namely the Disjunctive Normal Form representation of logic table expansions, and extend them to a real-valued logic model which is able to utilize…

Denote by $\sigma_k(n)$ the sum of the $k$-th powers of the divisors of $n$, and let $S_k=\sum_{n\geq 1}\frac{\sigma_k(n)}{n!}$. We prove that Schinzel's conjecture H implies that $S_k$ is irrational, and give an unconditional proof for the…

In this paper, we define the deformed Euler $(s,t)$-numbers ${\rm e}_{s,t,u}$ Furthermore, we prove that ${\rm e}_{as,a^2t,u^{-1}}$ and ${\rm e}_{as,a^2t,u^{-1}}^{-1}$ are irrational numbers when $a,u\in\mathbb{Q}$ and $\vert au\vert>1$,…

The rational base number system, introduced by Akiyama, Frougny, and Sakarovitch in 2008, is a generalization of the classical integer base number system. Within this framework two interesting families of infinite words emerge, called…