Abstract:We revisit a classic theorem of Frougny and Sakarovitch concerning automata for $\varphi$-representations, and show how to obtain it in a different and more computationally direct way. Using it, we can find simple, induction-free proofs of existing results in the literature about these representations, in a uniform and straightforward manner. In particular, we can easily and "automatically'' recover many of the results of recent papers of Dekking and Van Loon. We also obtain a number of new results on $\varphi$-representations.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to re - examine and prove the classical theorem of Frougny and Sakarovitch about phi - representations automata in a different and more direct computational way. Through this method, simple, non - inductive proofs of the results about these representations in the existing literature can be found, and many results in Dekking and Van Loon's recent paper can be easily "automatically" recovered in a unified and direct manner. In addition, some new results about phi - representations are also obtained.
Specifically, the goals of the paper include:
1. **Explain how to use the existing Walnut theorem prover software to explicitly calculate the Frougny - Sakarovitch automata**: This allows us to verify whether the canonical phi - representation of non - negative integers can be calculated by the finite automaton A.
2. **Use this automata to re - prove the results in the existing literature**: For example, re - prove some results proposed by Dekking and Van Loon, especially those about Knott expansions. By changing the conditions imposed on the expansion forms, other types of expansions can be easily and "automatically" enumerated.
3. **Obtain new results**: Through the above methods, the author not only reproduces the existing results, but also obtains some new results, especially in terms of the properties of phi - representations.
### Formula Summary
The formulas involved in the paper include:
- The basic form of phi - representation:
\[
z=\sum_{i = -\infty}^{r}a_i\varphi^i
\]
where \(a_i\in\{0, 1\}\) and \(\varphi=\frac{1 + \sqrt{5}}{2}\) is the golden ratio.
- Uniqueness conditions for the canonical phi - representation:
- For all \(i\), \(a_i a_{i + 1}\neq1\)
- If the expansion is infinite, it cannot end with 010101...
- Key formula derivations:
\[
\sum_{i = 0}^{r}a_i\varphi^i=\left(\sum_{i = 0}^{r}a_iF_i\right)\varphi+\sum_{i = 0}^{r}a_iF_{i - 1}
\]
\[
\sum_{i = 1}^{s}b_i\varphi^{-i}=\left(\sum_{i = 1}^{s}b_iF_{-i}\right)\varphi+\sum_{i = 1}^{s}b_iF_{-i - 1}
\]
Through these formulas, the author is able to construct automata to verify and calculate various properties of phi - representations and further explore their applications.