A Sieve on Rational Imbalances and the First Appearance of Denominators

TL;DR

The paper introduces a novel sieve that systematically enumerates rational imbalances and denominators, revealing unique properties of their first appearances and connections to hyperbolic geometry and rational enumeration.

Contribution

It constructs a new sieve for rational imbalances, proving each positive integer appears exactly once as a denominator and linking the enumeration to hyperbolic geometry.

Findings

Every positive integer appears exactly once as a denominator.

The first appearance of each denominator coincides with the unit fraction 1/d.

The sieve enumerates all rationals in (-1,1) without repetition.

Abstract

We construct a sieve that enumerates rational ``imbalances'' of the form $(p-q)/(p+q)$ for integers $p\ge2$ and $1\le q<p$, ordered lexicographically by $(p,q)$. Each imbalance is reduced to lowest terms, and we record the sequence of distinct denominators as they first appear. We show that every positive integer occurs exactly once as such a denominator, and that its first appearance coincides with the unit fraction $1/d$. We then prove that the sieve, when viewed as a map from pairs $(p,q)$ to reduced fractions, enumerates all rational numbers in $(-1,1)$ without repetition, extend it symmetrically to all of $\mathbb{Q}$, and discuss its connections to hyperbolic geometry and rational enumeration theory.