Abstract:In this paper we give a generalization of the main results in \cite{ab,ab1} about $b$-ary expansions of algebraic numbers. As a byproduct we get a large class of new transcendence criteria. One of our corollaries implies that $b$-ary expansions of linearly independent irrational algebraic numbers are quite independent. Motivated by this result, we propose a generalized Borel conjecture.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is about the properties of the $b$-ary expansions of algebraic numbers, especially to what extent these expansions can exhibit some kind of independence or randomness. Specifically, the paper aims to generalize the main results in the existing literature [1, 2] regarding the $b$-ary expansions of algebraic numbers, and in the process, a large class of new criteria for transcendental numbers are obtained.
### Main contributions of the paper
1. **Generalize existing results**:
- The article generalizes the results of Adamczewski and Bugeaud in references [1, 2], which mainly involve the complexity and independence of the $b$-ary expansions of algebraic numbers.
- By introducing more general conditions and theorems, the author is able to deal with the problem of the simultaneous $b$-ary expansions of multiple algebraic numbers.
2. **New criteria for transcendental numbers**:
- As a by - product, the article obtains many new criteria for transcendental numbers. For example, Theorem 2.7 shows that for an irrational algebraic number $\alpha$ and $m$ fixed non - zero integers $a_1, a_2,\ldots, a_m$, the $b$-ary expansion of $\alpha$ cannot satisfy Condition 2.5 (see the paper for details).
3. **Propose the generalized Borel conjecture**:
- Inspired by the above results, the author proposes a generalized Borel conjecture (Conjecture 4.2). The conjecture states that if the algebraic numbers $\alpha_1, \alpha_2,\ldots, \alpha_n$ are linearly independent of 1 over the field of rational numbers $\mathbb{Q}$, then their $b$-ary expansions are "normal", that is, the frequency of each digit block of length $m$ in the $b$-ary expansion is $\frac{1}{b^m}$.
### Specific problem description
- **$b$-ary expansion of algebraic numbers**: Any real number $\omega$ has a unique $b$-ary expansion form:
\[
\omega = [\omega]+\sum_{i = 1}^{\infty}a_ib^{-i}=[\omega]+0.a_1a_2\cdots,
\]
where $a_i\in\{0, 1,\ldots, b - 1\}$, and the set $\{i\mid a_i\neq b - 1\}$ is infinite.
- **Definition of normal numbers**: A real number $\omega$ is called normal in base $b$ if for every $k\geq1$, the frequency of each digit block of length $k$ composed of $\{0, 1,\ldots, b - 1\}$ in the $b$-ary expansion of $\omega$ is $\frac{1}{b^k}$.
- **Borel conjecture**: Almost all real numbers are normal in any base $b$. Borel also conjectured that all irrational algebraic numbers are normal in any base $b$, but this seems to be beyond the capabilities of modern mathematics.
### Key theorems and conclusions
- **Theorem 1.2**: The $b$-ary expansion of an irrational algebraic number has no long - repeating patterns.
- **Theorem 2.7**: For an irrational algebraic number $\alpha$ and $m$ fixed non - zero integers $a_1, a_2,\ldots, a_m$, the $b$-ary expansion of $\alpha$ cannot satisfy Condition 2.5.
- **Theorem 2.10**: For $m$ algebraic numbers $\alpha_1, \alpha_2,\ldots, \alpha_m$, if 1, $\alpha_1, \alpha_2,\ldots, \alpha_m$ are linearly independent over the field of rational numbers $\mathbb{Q}$, then their $b$-ary expansions cannot satisfy Condition 2.6.
### Summary
This paper deepens the understanding of the properties of the $b$-ary expansions of algebraic numbers by generalizing existing results and proposing new criteria for transcendental numbers. At the same time, the proposed generalized Borel conjecture provides a new direction for further research on the randomness and independence of algebraic numbers.