Abstract:Special kinds of continued fractions have been proved to converge to transcendental real numbers by means of the celebrated Subspace Theorem. In this paper we study the analogous $p$--adic problem. More specifically, we deal with Browkin $p$--adic continued fractions. First we give some new remarks about the Browkin algorithm in terms of a $p$--adic Euclidean algorithm. Then, we focus on the heights of some $p$--adic numbers having a periodic $p$--adic continued fraction expansion and we obtain some upper bounds. Finally, we exploit these results, together with $p$--adic Roth-like results, in order to prove the transcendence of two families of $p$--adic continued fractions.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to construct transcendental p - adic continued fractions generated by the Browkin algorithm. Specifically, the authors studied specific types of Browkin p - adic continued fractions, which have periodic partial quotients, and explored the upper bounds of the height (i.e., the measure of algebraic numbers) of these numbers. Using these results, combined with the p - adic version of Roth's theorem and the subspace theorem, the authors proved the transcendental properties of three types of Browkin p - adic continued fractions.
### Main contributions of the paper
1. **Upper bounds of the height of periodic continued fractions**:
- The authors first studied the height of p - adic numbers with periodic partial quotients and gave the upper bounds of these heights. These results are not only crucial for the proof of the main theorems in this paper but also of independent interest in the context of estimating the height of algebraic numbers.
2. **Proof of transcendence**:
- Using the above results of the upper bounds of the height, combined with the p - adic version of Roth's theorem and the subspace theorem, the authors proved the transcendental properties of three types of Browkin p - adic continued fractions. These results extend the existing research on real - number continued fractions and generalize it to the p - adic number field.
### Specific results
- **Theorem A**:
- Let \(\alpha = [0, b_1, b_2, b_3, \ldots]\) be a non - periodic Browkin p - adic continued fraction. Suppose that one of the following conditions holds:
- (a) The sequence \((|b_i|_p)_{i \geq 1}\) is bounded, and there are infinitely many subsequences \(b_{n_i} = \ldots = b_{n_i+\lambda_i k_i - 1} = p^{- 1}\) (satisfying some technical conditions).
- (b) The sequence \((b_i)_{i \geq 1}\) starts with arbitrarily long palindromic strings, \(|b_n|_\infty < |b_n|^{1/4}_p\) for all \(n \gg 0\), and \(\alpha\) is not a quadratic irrational number.
- Then \(\alpha\) is a transcendental number. Moreover, if the hypothesis of (a) is weakened to \(b_{h + k_i}=b_h\), for \(n_i \leq h \leq n_i+(\lambda_i - 1)k_i - 1\) (slightly changing some technical conditions), then \(\alpha\) is either a transcendental number or a quadratic irrational number.
### Proof methods
- **Estimation of upper bounds of height**:
- The authors obtained the upper bounds of the height by analyzing the properties of the partial quotients and convergents of periodic continued fractions. These estimates are based on the special properties of the Browkin algorithm, especially the way of choosing partial quotients.
- **Application of Roth's theorem and the subspace theorem**:
- The authors used the p - adic version of Roth's theorem and the subspace theorem to prove that certain types of continued fractions cannot be algebraic numbers, thereby deducing their transcendence.
### Conclusion
This paper successfully proved the transcendental properties of several types of continued fractions by systematically studying the height and periodicity of Browkin p - adic continued fractions. These results not only enrich the theory of continued fractions in the p - adic number field but also provide new tools and methods for further research.