||It has been suggested that this article be merged with Stern–Brocot tree. (Discuss) Proposed since December 2014.|
In number theory, the Calkin–Wilf tree is a tree in which the vertices correspond 1-for-1 to the positive rational numbers. The tree is rooted at the number 1, and any rational number expressed in simplest terms as the fraction a/b has as its two children the numbers a/(a + b) and (a + b)/b. Every positive rational number appears exactly once in the tree.
The sequence of rational numbers in a breadth-first traversal of the Calkin–Wilf tree is known as the Calkin–Wilf sequence. Its sequence of numerators (or, offset by one, denominators) is Stern's diatomic series, and can be computed by the fusc function.
The Calkin–Wilf tree is named after Neil Calkin and Herbert Wilf, who considered it in their 2000 paper. The tree was introduced earlier by Jean Berstel and Aldo de Luca as Raney tree, since they drew some ideas from a paper by George N. Raney. Stern's diatomic series was formulated much earlier by Moritz Abraham Stern, a 19th-century German mathematician who also invented the closely related Stern–Brocot tree.
Definition and structure
The Calkin–Wilf tree may be defined as a directed graph in which each positive rational number a/b occurs as a vertex and has one outgoing edge to another vertex, its parent. We assume that a/b is in simplest terms; that is, the greatest common divisor of a and b is 1. If a/b < 1, the parent of a/b is a/(b − a); if a/b is greater than one, the parent of a/b is (a − b)/b. Thus, in either case, the parent is a fraction with a smaller sum of numerator and denominator, so repeated reduction of this type must eventually reach the number 1. As a graph with one outgoing edge per vertex and one root reachable by all other vertices, the Calkin–Wilf tree must indeed be a tree.
The children of any vertex in the Calkin–Wilf tree may be computed by inverting the formula for the parents of a vertex. Each vertex a/b has one child whose value is less than 1, a/(a + b), because this is the only value less than 1 whose parent formula leads back to a/b. Similarly, each vertex a/b has one child whose value is greater than 1, (a + b)/b.
Although it is a binary tree (each vertex has two children), the Calkin–Wilf tree is not a binary search tree: its inorder does not coincide with the sorted order of its vertices. However, it is closely related to a different binary search tree on the same set of vertices, the Stern–Brocot tree: the vertices at each level of the two trees coincide, and are related to each other by a bit-reversal permutation.
Breadth first traversal
The Calkin–Wilf sequence is the sequence of rational numbers generated by a breadth-first traversal of the Calkin–Wilf tree,
- 1/1, 1/2, 2/1, 1/3, 3/2, 2/3, 3/1, 1/4, 4/3, 3/5, 5/2, 2/5, 5/3, 3/4, ….
Because the Calkin–Wilf tree contains every positive rational number exactly once, so does this sequence. The denominator of each fraction equals the numerator of the next fraction in the sequence. The Calkin–Wilf sequence can also be generated directly by the formula
Stern's diatomic sequence
Stern's diatomic sequence is the integer sequence
The nth value in the sequence is the value fusc(n) of the fusc function, defined by the recurrence relations fusc(2n) = fusc(n) and fusc(2n + 1) = fusc(n) + fusc(n + 1), with the base cases fusc(0) = 0 and fusc(1) = 1. The nth rational number in a breadth-first traversal of the Calkin–Wilf tree is the number fusc(n) / fusc(n + 1). Thus, the diatomic sequence forms both the sequence of numerators and the sequence of denominators of the numbers in the Calkin–Wilf sequence.
The function fusc(n + 1) is the number of odd binomial coefficients of the form  and also counts the number of ways of writing n as a sum of powers of two in which each power occurs at most twice. This can be seen from the recurrence defining fusc: the expressions as a sum of powers of two for an even number 2n either have no 1's in them (in which case they are formed by doubling each term an expression for n) or two 1's (in which case the rest of the expression is formed by doubling each term in an expression for n − 1), so the number of representations is the sum of the number of representations for n and for n − 1, matching the recurrence. Similarly, each representation for an odd number 2n + 1 is formed by doubling a representation for n and adding 1, again matching the recurrence. For instance,
- 6 = 4 + 2 = 4 + 1 + 1 = 2 + 2 + 1 + 1
has three representations as a sum of powers of two with at most two copies of each power, so fusc(6 + 1) = 3.
- Berstel & de Luca (1997), Section 6.
- Raney (1973).
- The description here is dual to the original definition by Calkin and Wilf, which begins by defining the child relationship and derives the parent relationship as part of a proof that every rational appears once in the tree. As defined here, every rational appears once by definition, and instead the fact that the resulting structure is a tree requires a proof.
- Gibbons, Lester & Bird (2006).
- Calkin & Wilf (2000): "a list of all positive rational numbers, each appearing once and only once, can be made by writing down 1/1, then the fractions on the level just below the top of the tree, reading from left to right, then the fractions on the next level down, reading from left to right, etc." Gibbons, Lester & Bird (2006) discuss efficient functional programming techniques for performing this breadth first traversal.
- Aigner & Ziegler (2004) credit this formula to Moshe Newman.
- The fusc name was given to it in 1976 by Edsger W. Dijkstra; see EWD570 and EWD578.
- Calkin & Wilf (2000), Theorem 1.
- Carlitz (1964).
- The OEIS entry credits this fact to Carlitz (1964) and to uncited work of Lind. However, Carlitz' paper describes a more restricted class of sums of powers of two, counted by fusc(n) instead of by fusc(n + 1).
- Aigner, Martin; Ziegler, Günter M. (2004), Proofs from THE BOOK (3rd ed.), Berlin; New York: Springer, pp. 94–97, ISBN 978-3-540-40460-6
- Berstel, Jean; de Luca, Aldo (1997), "Sturmian words, Lyndon words and trees", Theoretical Computer Science 178: 171–203, doi:10.1016/S0304-3975(96)00101-6
- Calkin, Neil; Wilf, Herbert (2000), "Recounting the rationals", American Mathematical Monthly (Mathematical Association of America) 107 (4): 360–363, doi:10.2307/2589182, JSTOR 2589182.
- Carlitz, L. (1964), "A problem in partitions related to the Stirling numbers", Bulletin of the American Mathematical Society 70 (2): 275–278, doi:10.1090/S0002-9904-1964-11118-6, MR 0157907.
- Dijkstra, Edsger W. (1982), Selected Writings on Computing: A Personal Perspective, Springer-Verlag, ISBN 0-387-90652-5. EWD 570: An exercise for Dr.R.M.Burstall, pp. 215–216, and EWD 578: More about the function "fusc" (A sequel to EWD570), pp. 230–232, reprints of notes originally written in 1976.
- Gibbons, Jeremy; Lester, David; Bird, Richard (2006), "Functional pearl: Enumerating the rationals", Journal of Functional Programming 16 (3): 281–291, doi:10.1017/S0956796806005880.
- Raney, George N. (1973), "On continued fractions and finite automata", Mathematische Annalen 206: 265–283, doi:10.1007/BF01355980
- Stern, Moritz A. (1858), "Ueber eine zahlentheoretische Funktion", Journal für die reine und angewandte Mathematik 55: 193–220.