Abstract:In this paper we establish properties of independence for the continued fraction expansions of two algebraic numbers. Roughly speaking, if the continued fraction expansions of two irrational algebraic numbers have the same long sub-word, then the two continued fraction expansions have the same tails. If the two expansions have mirror symmetry long sub-words, then both the two algebraic numbers are quadratic. Applying the above results, we prove a theorem analogous to the Roth's theorem about approximation by algebraic numbers.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on the independence of continued fraction expansions of algebraic numbers and related Diophantine approximation problems. Specifically:
1. **Independence of continued fraction expansions**:
- The author explores the relationship between the continued fraction expansions of two irrational real algebraic numbers. In particular, if there are identical long subsequences or mirror - symmetric long subsequences in the continued fraction expansions of two algebraic numbers, then these two continued fraction expansions have the same tails. Moreover, if the continued fraction expansions of two algebraic numbers satisfy certain conditions, then they are both quadratic algebraic numbers.
- Specific results include:
- If there are identical long subsequences in the continued fraction expansions of two irrational real algebraic numbers, then these two continued fraction expansions have the same tails.
- If there are mirror - symmetric long subsequences in the continued fraction expansions of two irrational real algebraic numbers, then these two algebraic numbers are both quadratic algebraic numbers, and their shortest periods are cyclically mirror - symmetric.
2. **Diophantine approximation**:
- The author also studies the problem of approximating irrational real numbers with algebraic numbers, similar to Roth's theorem. Roth's theorem states that for any positive number \(\epsilon\) and irrational real number \(\xi\), if there are infinitely many elements \(A\) in the modular group \(PSL(2,\mathbb{Z})\) such that
\[
\left|\xi-\frac{a\infty + b}{c\infty + d}\right|<\|A\|^{-2 - \epsilon},
\]
then \(\xi\) is a transcendental number.
- The author generalizes this result to the case where an irrational real algebraic number is used to replace the point at infinity, and proves a similar conclusion: if there are infinitely many \(\beta\in\Theta_\alpha\) such that
\[
|\xi-\beta|<\|\beta\|^{-2 - \epsilon},
\]
then \(\xi\) is a transcendental number. Here \(\Theta_\alpha\) represents the orbit obtained by the action of the modular group \(PSL(2,\mathbb{Z})\) on the algebraic number \(\alpha\).
In summary, this paper reveals some deep - seated connections between algebraic numbers by studying the structure and properties of continued fraction expansions, and applies them to Diophantine approximation theory, expanding the application scope of the classical Roth's theorem.