Asymptotic Behavior of Iterated Sets of Remainders

Omkar Baraskar; Prashant Gokhale; Sarvagya Jain; Adam Kie\.zun

In the authors' words

For a positive integer $n$ , let $S_{0} (n) = {1, 2, \dots, ⌊ n /2 ⌋}, S_{j + 1} (n) = {n mod k : k \in S_{j} (n) ∖ {0}},$ and put $s_{j} (n) := ∣ S_{j} (n) ∣$ . The sets defined above arise naturally in the study of the length of the Pierce series expansion of a rational number. In \cite{Ba-Vu}, Baraskar and Vukusic conjectured that for every fixed $j \geq 2$ , the limit $lim_{n \to \infty} s_{j} (n) / n$ does not exist. In this paper, we prove this conjecture in the affirmative. Moreover, we define a new class of iterated remainder sets $T_{j} (n)$ that naturally arises from the study of the length of the Engel series expansion of a rational number. We analogously study the asymptotic behavior of $t_{j} (n) := ∣ T_{j} (n) ∣$ . We show that $lim_{n \to \infty} \frac{t _{j} ( n )}{n}$ exists precisely for $j \in {0, 1}$ and fails to exist for every fixed integer $j \geq 2$ .

Main resultThe abstract does not state a limitation.

Asymptotic Behavior of Iterated Sets of Remainders

In the authors' words

More on Algebra & number theory that day

Inverse Baer deformations and finite simple skew braces of nilpotent type

Mathematical Principles of a Generalized Tonal Practice

A Machine-Checked Proof that Gardam's A~2​ Lattice Does Not Have Unique Products

On Z2​-extensions of real quadratic fields with class group of 2-rank three

Affine Harish-Chandra center in positive characteristic

A Machine-Checked Proof that Gardam's $A ~_{2}$ Lattice Does Not Have Unique Products

On $Z_{2}$ -extensions of real quadratic fields with class group of $2$ -rank three