S.P. Glasby
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.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to show how to use almost the same recurrence relations to construct three well - known rational number enumeration sequences from left to right: the Stern - Brocot sequence (SBn), the Calkin - Wilf sequence (CWn), and the Farey sequence (Fn). These three sequences play important roles in mathematics, especially in the field of number theory.
### Specific problem description
1. **Stern - Brocot sequence (SBn)**:
- New sequences are generated by inserting mediants.
- For example, \( SB_0=\left[ \frac{0}{1},\frac{1}{0} \right] \), representing 0 and ∞ as fractions.
- \( SB_1=\left[ \frac{0}{1},\frac{1}{1},\frac{1}{0} \right] \), which is generated by inserting mediants.
2. **Calkin - Wilf sequence (CWn)**:
- A binary tree structure is generated using specific rules.
- For example, \( CW_1 = \left[ \frac{1}{1} \right] \), \( CW_2=\left[ \frac{1}{2},\frac{2}{1} \right] \).
3. **Farey sequence (Fn)**:
- It contains all the simplest fractions with denominators not exceeding n and is arranged in natural order.
- For example, \( F_1=\left[ \frac{0}{1},\frac{1}{1} \right] \), \( F_2=\left[ \frac{0}{1},\frac{1}{2},\frac{1}{1} \right] \).
### Main contributions of the paper
The paper shows that these sequences can be constructed from left to right by almost the same recurrence relations. Specifically:
- **Stern - Brocot sequence**:
\[
a_{-1} = 0,\quad a_0 = 1,\quad a_i=k_i a_{i - 1}-a_{i - 2}\quad \text{for}\ 1\leq i < N,
\]
\[
b_{-1} = 1,\quad b_0 = n,\quad b_i=k_i b_{i - 1}-b_{i - 2}\quad \text{for}\ 1\leq i < N,
\]
where \( k_i = 2\log_2|i|_2 + 1 \), and \( |i|_2 \) represents the largest power of 2.
- **Calkin - Wilf sequence**:
\[
a_{-1} = 0,\quad a_0 = 1,\quad a_i=k_i a_{i - 1}-a_{i - 2}\quad \text{for}\ 1\leq i <\infty,
\]
\[
b_{-1} = 1,\quad b_0 = n,\quad b_i=k_i b_{i - 1}-b_{i - 2}\quad \text{for}\ 1\leq i < N,
\]
- **Farey sequence**:
\[
A_{-1} = 0,\quad A_0 = 1,\quad A_i=K_i A_{i - 1}-A_{i - 2}\quad \text{for}\ 1\leq i < N,
\]
\[
B_{-1} = 1,\quad B_0 = n,\quad B_i=K_i B_{i - 1}-B_{i - 2}\quad \text{for}\ 1\leq i < N,
\]
where \( K_i=\le