Abstract:We propose a novel approach for studying rooted trees by using functions that we will call descent functions. We provide a construction method for rooted trees that allows to study their properties through the use of descent functions. Moreover, in this way, we are able to compose rooted trees with each other. Such a new composition of rooted trees is a very powerful tool applied in this paper in order to obtain important results as the creation of new rational and Pythagorean trees.
What problem does this paper attempt to address?
This paper attempts to solve the construction and combination problems of rooted trees by introducing and using descent functions. Specifically, the main objectives of the paper include:
1. **Propose a new research method**: Use descent functions to provide a new method for generating rooted trees, so that the properties of trees can be easily studied through these functions.
2. **Simplify the study of trees**: By introducing descent functions, the study of tree levels can be significantly simplified, and the degree of any node can be directly found.
3. **Introduce combinatorial operations of trees**: The paper introduces a brand - new and very powerful tool - combinatorial operations of trees, which makes it possible to generate new trees from a given pair of trees.
4. **Apply to rational trees and Pythagorean trees**: The paper shows how to use this new combinatorial method to construct new rational trees and primitive Pythagorean triples trees. There are only a few known examples of these two types of trees in the existing literature, while the method in the paper can generate infinitely many new examples.
### Specific problem description
- **Rational trees**: The paper shows how to generate new rational trees by combining Kepler trees and Calkin - Wilf trees. For example, by defining a combinatorial descent function, a new rational tree can be generated, in which each positive rational number appears exactly once.
\[
\theta\left(\frac{a}{b}\right) =
\begin{cases}
\theta_K\left(\frac{a}{b}\right) & \text{if } b \text{ is even}, \\
\theta_C\left(\frac{a}{b}\right) & \text{if } b \text{ is odd}.
\end{cases}
\]
- **Pythagorean trees**: The paper generates two new Pythagorean trees (PT3 and PT4) by combining two known Pythagorean trees (PT1 and PT2). The generation of these new trees is based on dividing the node set \( X \) into two disjoint subsets \( A_1 \) and \( A_2 \), and applying different descent functions according to different rules.
### Summary
The core problem of the paper is to provide a new and powerful method for generating and studying rooted trees, especially rational trees and Pythagorean trees, by introducing descent functions and combinatorial operations of trees. This method not only simplifies the study of trees, but also can generate infinitely many new tree structures.