Enumerating the rationals from left to right

S.P. Glasby

DOI: https://doi.org/10.48550/arXiv.1011.2823

2010-11-12

Abstract:Farey sequences, Stern-Brocot sequences, the Calkin-Wilf sequences are shown to be generated via almost identical second order recurrence relations. These sequences have combinatorial, computational, and geometric applications, and are useful for enumerating the rational numbers.

Number Theory

What problem does this paper attempt to address?

Two trees enumerating the positive rationals

Lionel Ponton

DOI: https://doi.org/10.48550/arXiv.1707.02366

2017-07-08

Abstract:We give two trees allowing to represent all positive rational numbers. These trees can be seen as ternary and quinary analogues of the Calkin-Wilf tree. For each of these two trees, we give recurrence formulas allowing to compute the rational number corresponding to the node n. These are analogues of the formulas given by Donald Knuth and Moshe Newman for the Calkin-Wilf tree. Finally, we show that the two sequences we have obtained, together with Calkin-Wilf sequence, are the only ones which satisfy a relation analogue to Newman's relation and enumerate the positive rationals.

Number Theory
Regularity properties of the Stern enumeration of the rationals

Bruce Reznick

DOI: https://doi.org/10.48550/arXiv.math/0610601

2006-10-19

Abstract:The Stern sequence (s(n)) is defined by s(0) = 0, s(1) = 1, s(2n) = s(n), s(2n+1) = s(n) + s(n+1). Stern showed in 1858 that gcd(s(n),s(n+1)) = 1, and that for every pair of relatively prime positive integers (a,b), there exists a unique n so that s(n) = a and s(n+1) = b. We show that, in a strong sense, the average value of s(n)/s(n+1) is 3/2, and that for all d, (s(n),s(n+1)) is uniformly distributed among all feasible pairs of congruence classes modulo d. More precise results are presented for d = 2 and 3.

Number Theory,Combinatorics
Enumerating curves on rational surfaces: the rational fibration method

Lucia Caporaso,Joe Harris

DOI: https://doi.org/10.48550/arXiv.alg-geom/9608023

1996-08-22

Algebraic Geometry

Abstract:A new, simple method to approach enumerative questions about rational curves on rational surfaces is described. Applications include a short proof of Kontsevich's formula for plane curves and a the solution of the analogous problem for the Hirzebruch surface F_3.
The continued fractions ladder of specific pairs of irrationals

M. Lakner,P. Petek,M. Škapin Rugelj

DOI: https://doi.org/10.9734/BJMCS/2014/9892

2013-10-17

Abstract:Quadratic irrationals posses a periodic continued fraction expansion. Much less is known about cubic irrationals. We do not even know if the partial quotients are bounded, even though extensive computations suggest they might follow Kuzmin's probability law. Results are given for sequences of partial quotients of positive irrational numbers $\xi$ and $m \over \xi$ with $m$ a natural number. A big partial quotient in one sequence finds a connection in the other.

Number Theory
Odometers, Backward continued fractions and counting rationals

Godofredo Iommi,Mario Ponce

2024-05-23

Abstract:It has been more than twenty years since Moshe Newman, based on work by Neil Calkin and Herbert Wilf, introduced an explicit bijection between the rational and natural numbers. Interestingly, this bijection is dynamic in nature. Indeed, Newman's map has the property that the orbit of zero provides the required bijection. Claudio Bonanno and Stefano Isola, using continued fractions expansions, described the dynamics of its first return time map T. They proved that it is topologically conjugated to the dyadic odometer. In this article, we prove that the correct numerical system needed to analyze this map is the backward continued fractions. Indeed, this approach has the advantage that it provides explicitly the action of T on the expansion. As a by-product, we naturally obtain an explicit formula for Minkowski's question mark function in terms of backward continued fractions. The whole point of Newman was to provide an explicit bijection, our approach shares the same taste for the explicit.

Dynamical Systems,Number Theory
Rational reductions for holonomic sequences

Rong-Hua Wang

2024-01-29

Abstract:Given a holonomic sequence $F(n)$, we characterize rational functions $r(n)$ so that $r(n)F(n)$ can be summable. We provide upper and lower bounds on the degree of the numerator of $r(k)$ and show the denominator of $r(n)$ can be read from annihilators of $F(k)$. This illustration provides the so-called rational reductions which can be used to generate new multi-sum equalities and congruences from known ones.

Combinatorics
Integer Sequences: Irregular Arrays and Intra-Block Permutations

Boris Putievskiy

DOI: https://doi.org/10.48550/arXiv.2310.18466

2023-10-28

Abstract:This article investigates integer sequences that partition the sequence into blocks of various lengths - irregular arrays. The main result of the article is explicit formulas for numbering of irregular arrays. A generalization of Cantor diagonal method is proposed. We also define and describe intra-block permutations of natural numbers. Generalizations of reluctant sequences are introduced, namely generalized reluctant sequences and generalized reverse reluctant sequences. Explicit formulas are presented for these sequences. The article provides numerous examples to illustrate all statements.

Combinatorics
Realizability of Some Combinatorial Sequences

Geng-Rui Zhang

2024-02-29

Abstract:A sequence $a=(a_n)_{n=1}^\infty$ of non-negative integers is called realizable if there is a self-map $T:X\to X$ on a set $X$ such that $a_n$ is equal to the number of periodic points of $T$ in $X$ of (not necessarily exact) period $n$, for all $n\geq1$. The sequence $a$ is called almost realizable if there exists a positive integer $m$ such that $(ma_n)_{n=1}^\infty$ is realizable. In this article, we show that certain wide classes of integer sequences are realizable, which contain many famous combinatorial sequences, such as the sequences of Apéry numbers of both kinds, central Delannoy numbers, Franel numbers, Domb numbers, Zagier numbers, and central trinomial coefficients. We also show that the sequences of Catalan numbers, Motzkin numbers, and large and small Schröder numbers are not almost realizable.

Number Theory,Combinatorics,Dynamical Systems
On some combinatorial sequences associated to invariant theory

Alin Bostan,Jordan Tirrell,Bruce W. Westbury,Yi Zhang

DOI: https://doi.org/10.48550/arXiv.2110.13753

2022-04-20

Abstract:We study the enumerative and analytic properties of some sequences constructed using tensor invariant theory. The octant sequences are constructed from the exceptional Lie group $G_2$ and the quadrant sequences from the special linear group $SL(3)$. In each case we show that the corresponding sequences are related by binomial transforms. The first three octant sequences and the first four quadrant sequences are listed in the On-Line Encyclopedia of Integer Sequences (OEIS). These sequences all have interpretations as enumerating two-dimensional lattice walks but for the octant sequences the boundary conditions are unconventional. These sequences are all P-recursive and we give the corresponding recurrence relations. In all cases the associated differential operators are of third order and have the remarkable property that they can be solved to give closed formulae for the ordinary generating functions in terms of classical Gaussian hypergeometric functions. Moreover, we show that the octant sequences and the quadrant sequences are related by the branching rules for the inclusion of $SL(3)$ in $G_2$.

Combinatorics,Symbolic Computation
Some Fibonacci-Related Sequences

Benoit Cloitre,Jeffrey Shallit

2024-01-02

Abstract:We discuss an interesting sequence defined recursively; namely, sequence A105774 from the On-Line Encyclopedia of Integer Sequences, and study some of its properties. Our main tools are Fibonacci representation, finite automata, and the Walnut theorem-prover. We also prove two new results about synchronized sequences.

Combinatorics,Discrete Mathematics,Formal Languages and Automata Theory
Density theorems for rational numbers

Andreas Koutsogiannis

DOI: https://doi.org/10.48550/arXiv.1212.4187

2012-12-18

Abstract:Introducing the notion of a rational system of measure preserving transformations and proving a recurrence result for such systems, we give sufficient conditions in order a subset of rational numbers to contain arbitrary long arithmetic progressions.

Combinatorics
Mathematical irrational numbers not so physically irrational

Y. J. Zhao,Y. H. Gao,J. P. Huang

DOI: https://doi.org/10.48550/arXiv.0901.0768

2009-01-07

Data Analysis, Statistics and Probability

Abstract:We investigate the topological structure of the decimal expansions of the three famous naturally occurring irrational numbers, $\pi$, $e$, and golden ratio, by explicitly calculating the diversity of the pair distributions of the ten digits ranging from 0 to 9. And we find that there is a universal two-phase behavior, which collapses into a single curve with a power law phenomenon. We further reveal that the two-phase behavior is closely related to general aspects of phase transitions in physical systems. It is then numerically shown that such characteristics originate from an intrinsic property of genuine random distribution of the digits in decimal expansions. Thus, mathematical irrational numbers are not so physically irrational as long as they have such an intrinsic property.
On Rational Recursion for Holonomic Sequences

Bertrand Teguia Tabuguia,James Worrell

2024-06-15

Abstract:It was recently conjectured that every component of a discrete-time rational dynamical system is a solution to an algebraic difference equation that is linear in its highest-shift term (a quasi-linear equation). We prove that the conjecture holds in the special case of holonomic sequences, which can straightforwardly be represented by rational dynamical systems. We propose two algorithms for converting holonomic recurrence equations into such quasi-linear equations. The two algorithms differ in their efficiency and the minimality of orders in their outputs.

Symbolic Computation,Formal Languages and Automata Theory,Commutative Algebra,Dynamical Systems
On certain Fibonacci representations

Kálmán Liptai,László Németh,Tamás Szakács,László Szalay

2024-03-22

Abstract:One of the most popular and studied recursive series is the Fibonacci sequence. It is challenging to see how Fibonacci numbers can be used to generate other recursive sequences. In our article, we describe some families of integer recurrence sequences as rational polynomial linear combinations of Fibonacci numbers.

Number Theory
Stern Sequences for a Family of Multidimensional Continued Fractions: TRIP-Stern Sequences

Ilya Amburg,Krishna Dasaratha,Laure Flapan,Thomas Garrity,Chansoo Lee,Cornelia Mihaila,Nicholas Neumann-Chun,Sarah Peluse,Matthew Stoffregen

DOI: https://doi.org/10.48550/arXiv.1509.05239

2017-03-26

Abstract:The Stern diatomic sequence is closely linked to continued fractions via the Gauss map on the unit interval, which in turn can be understood via systematic subdivisions of the unit interval. Higher dimensional analogues of continued fractions, called multidimensional continued fractions, can be produced through various subdivisions of a triangle. We define triangle partition-Stern sequences (TRIP-Stern sequences for short), higher-dimensional generalizations of the Stern diatomic sequence, from the method of subdividing a triangle via various triangle partition algorithms. We then explore several combinatorial results about TRIP-Stern sequences, which may be used to give rise to certain well-known sequences. We finish by generalizing TRIP-Stern sequences and presenting analogous results for these generalizations.

Combinatorics,Number Theory
On binomial equations defining rational normal scrolls

Margherita Barile

DOI: https://doi.org/10.48550/arXiv.math/0602609

2007-01-12

Abstract:We show that a rational normal scroll can in general be set-theoretically defined by a proper subset of the 2-minors of the associated two-row matrix. This allows us to find a class of rational normal scrolls that are almost set-theoretic complete intersections.

Algebraic Geometry,Commutative Algebra
Integer Sequences and Output Arrays

John P. D'Angelo,Jiri Lebl

DOI: https://doi.org/10.48550/arXiv.2208.09544

2022-08-20

Abstract:The first author recently introduced an integer sequence now numbered A355519 in OEIS. This sequence arose from counting bracket tournaments; its study evokes the analysis of the Catalan triangle (sequence A009766 in OEIS) and the related Catalan numbers, sequence A000108 in OEIS. We therefore introduce a general construction that places these sequences on the same footing and suggests many new integer sequences. We provide code for performing this construction and a lengthy list of examples. This construction determines a function from input sequences to output sequences. Some of the resulting output sequences are in OEIS and others are not.

Number Theory,Combinatorics
A special sequence and primorial numbers

Amit Kumar Basistha,Eugen J. Ionascu

2023-11-22

Abstract:In this paper, we study a class of functions defined recursively on the set of natural numbers in terms of the greatest common divisor algorithm of two numbers and requiring a minimality condition. These functions are permutations, products of infinitely many cycles that depend on certain breaks in the natural numbers involving the primes, and some special products of primes with a density of approximately $29.4\%$. We show that these functions split into only two equivalence classes (modulo the natural equivalence relation of eventually identical maps): one is the class of the identity map and the other is generated by a map whose discrete derivative is almost periodic with ``periods" the primorial numbers.

Number Theory
On several irrationality problems for Ahmes series

Vjekoslav Kovač,Terence Tao

2024-11-28

Abstract:Using basic tools of mathematical analysis and elementary probability theory we address several problems on the irrationality of series of distinct unit fractions, $\sum_k 1/a_k$. In particular, we study subseries of the Lambert series $\sum_k 1/(t^k-1)$ and two types of irrationality sequences $(a_k)$ introduced by Paul Erdős and Ronald Graham. Next, we address a question of Erdős, who asked how rapidly a sequence of positive integers $(a_k)$ can grow if both series $\sum_k 1/a_k$ and $\sum_k 1/(a_k+1)$ have rational sums. Our construction of double exponentially growing sequences $(a_k)$ with this property generalizes to any number $d$ of series $\sum_k 1/(a_k+j)$, $j=0,1,2,\ldots,d-1$, and, in particular, also gives a positive answer to a question of Erdős and Ernst Straus on the interior of the set of $d$-tuples of their sums. Finally, we prove the existence of a sequence $(a_k)$ such that all well-defined sums $\sum_k 1/(a_k+t)$, $t\in\mathbb{Z}$, are rational numbers, giving a negative answer to a conjecture by Kenneth Stolarsky.

Number Theory,Classical Analysis and ODEs
Rational numbers with odd greedy expansion of fixed length

Joel Louwsma,Joseph Martino

2023-09-14

Abstract:Given a positive rational number $n/d$ with $d$ odd, its odd greedy expansion starts with the largest odd denominator unit fraction at most $n/d$, adds the largest odd denominator unit fraction so the sum is at most $n/d$, and continues as long as the sum is less than $n/d$. It is an open question whether this expansion always has finitely many terms. Given a fixed positive integer $n$, we find all reduced fractions with numerator $n$ whose odd greedy expansion has length $2$. Given $m-1$ odd positive integers, we find all rational numbers whose odd greedy expansion has length $m$ and begins with these numbers as denominators. Given $m-2$ compatible odd positive integers, we find an infinite family of rational numbers whose odd greedy expansion has length $m$ and begins with these numbers as denominators.

Number Theory

Enumerating the rationals from left to right

Two trees enumerating the positive rationals

Regularity properties of the Stern enumeration of the rationals

Enumerating curves on rational surfaces: the rational fibration method

The continued fractions ladder of specific pairs of irrationals

Odometers, Backward continued fractions and counting rationals

Rational reductions for holonomic sequences

Integer Sequences: Irregular Arrays and Intra-Block Permutations

Realizability of Some Combinatorial Sequences

On some combinatorial sequences associated to invariant theory

Some Fibonacci-Related Sequences

Density theorems for rational numbers

Mathematical irrational numbers not so physically irrational

On Rational Recursion for Holonomic Sequences

On certain Fibonacci representations

Stern Sequences for a Family of Multidimensional Continued Fractions: TRIP-Stern Sequences

On binomial equations defining rational normal scrolls

Integer Sequences and Output Arrays

A special sequence and primorial numbers

On several irrationality problems for Ahmes series

Rational numbers with odd greedy expansion of fixed length