Related papers: Logarithm of Irrationals and Beatty Sequences

Let $\theta = [0; a_1, a_2, \dots]$ be the continued fraction expansion of an irrational real number $\theta \in (0, 1)$. It is well-known that the characteristic Sturmian word of slope $\theta$ is the limit of a sequence of finite words…

In his book "Mathematics Rhyme and Reason," Currie discusses what he calls a $mysterious$ $pattern$ involving the sequence $ a_{n} = 2^n \sqrt{2 - \sqrt{2 + \sqrt{2 + \cdots + \sqrt{2}}}},$ where $n$ is the number of radicals. Part of the…

Given $0<\alpha<1$, the Beatty sequence of density $\alpha$ is the sequence $B_{\alpha}=(\lfloor n/\alpha\rfloor)_{n\in\mathbb{N}}$. Beatty's theorem states that if $\alpha,\beta$ are irrational numbers with $\alpha+\beta=1$, then the…

In math.NT/0307308 we defined the irrationality base of an irrational number and, assuming a stronger hypothesis than the irrationality of Euler's constant, gave a conditional upper bound on its irrationality base. Here we develop the…

The almost Golomb equation of order $r$ is the implicit functional equation $$a\Bigl(\sum_{j=0}^{r-1} a(n{-}j)\Bigr) = n$$ for nondecreasing sequences of positive integers with $a(1)=1$. Its earliest solution, the almost Golomb sequence of…

Two Beatty sequences are recorded by athletes running in opposite directions in a round stadium. This approach suggests a nice interpretation for well known partitioning criteria: such sequences (eventually) partition the integers…

When $A$ and $B$ are subsets of the integers in $[1,X]$ and $[1,Y]$ respectively, with $|A| \geq \alpha X$ and $|B| \geq \beta X$, we show that the number of rational numbers expressible as $a/b$ with $(a,b)$ in $A \times B$ is $\gg (\alpha…

Let $\alpha>1$ be irrational and of finite type, $\beta\in\mathbb{R}$. In this paper, it is proved that for $R\geqslant13$ and any fixed $c\in(1,c_R)$, there exist infinitely many primes in the intersection of Beatty sequence…

We show that sequences of positive integers whose ratios $a_n^2/a_{n+1}$ lie within a specific range are almost uniquely determined by their reciprocal sums. For instance, the Sylvester sequence is uniquely characterized as the only…

In this paper, by virtue of a determinantal formula for derivatives of the ratio between two differentiable functions, in view of the Fa\`a di Bruno formula, and with the help of several identities and closed-form formulas for the partial…

Let $x$ be a periodic continued fraction with the initial block $0$ and the repeating block $c_1,\ldots,c_n$. So $x$ is a quadratic irrational of the form $x=a+\sqrt b$, where $a$, $b$ are rational numbers, $b>0$, $b$ not a square. The…

We define an algorithm which begins with an sequence of sequences, and produces a single sequence, with following property: If at least one of the original sequences has a tail that is periodic, then the output sequence has a periodic tail,…

We give recurrences, generating functions and explicit exact expressions for the enumeration of fundamental quantities involving runs in binary strings. We first focus on enumerations concerning runs of ones, and we then analyse the same…

For real $\xi$ we consider the irrationality measure function $\psi_\xi(t) = \min_{1\leqslant q \leqslant t, q\in\mathbb{Z}} || q\xi ||$, where $||\cdot||$ - distance to the nearest integer. We prove that in the case…

A generalized Beatty sequence is a sequence $V$ defined by $V(n)=p\lfloor{n\alpha}\rfloor+qn +r$, for $n=1,2,\dots$, where $\alpha$ is a real number, and $p,q,r$ are integers. These occur in several problems, as for instance in homomorphic…

We create a sequence version of calculus. First, we define equivalence, some fundamental operations, differential, and integral for sequences. Then, we propose sequence versions of identity function, power function, exponential function,…

We obtain a new characterization for irrational numbers of constant type -- defined as irrationals with bounded partial quotients in their continued fraction expansion. The result is essential in the formulation of stability criteria for…

Within the framework of computable infinitary continuous logic, we develop a system of hyperarithmetic numerals. These numerals are infinitary sentences in a metric language $L$ that have the same truth value in every interpretation of $L$.…

In this paper, we establish improved effective irrationality measures for certain numbers of the form $\sqrt[3]{n}$, using approximations obtained from hypergeometric functions. These results are very close to the best possible using this…

We investigate some classes of infinite series involving central binomial coefficients, particularly focusing on those arising from ratios such as $\binom{2n}{n}\binom{4n}{2n}^{-1}$,$\binom{4n}{2n}\binom{2n}{n}^{-1}$ and related…