On some properties of Perron numbers

Nikita Sidorov

2023-11-03

Abstract:Let $\theta$ be a real number, $n\in\mathbb N$, and $D_n(\theta)=\left\{\sum_{k=1}^n a_k\theta^{k}\mid a_k\in\{0,\dots,\lfloor \theta\rfloor\}\right\}. $ Let $\theta$ be a Perron number, that is, an algebraic integer $>1$ whose other Galois conjugates are less than $\theta$ in absolute value. I shall prove two results: (1) $\theta^n\ll\#D_n(\theta)\ll\sqrt n \theta^n.$ (2) $\theta$ is of height $\le \lfloor\theta\rfloor$.

Number Theory

What problem does this paper attempt to address?

This paper aims to explore some properties of Perron numbers. Specifically, the author attempts to solve the following problems:

1. **Estimation of the cardinality of the set \( D_n(\theta) \)**:
- Let \(\theta\) be a Perron number, that is, an algebraic integer greater than 1, and the absolute values of all its other Galois conjugates are less than \(\theta\).
- Define the set
\[
D_n(\theta)=\left\{\sum_{k = 1}^n a_k\theta^k\mid a_k\in\{0,1,\ldots,\lfloor\theta\rfloor\}\right\}
\]
- The author proves the following two conclusions about the cardinality of \( D_n(\theta) \):
1. For any Perron number \(\theta\), we have
\[
\theta^n\ll\#D_n(\theta)\ll n^{1/2}\theta^n
\]
2. If all Galois conjugates of \(\theta\) are real numbers, then
\[
\#D_n(\theta)\asymp\theta^n
\]

2. **Estimation of the height of Perron numbers**:
- The author proves that the height of a Perron number \(\theta\) (that is, the maximum absolute value of the coefficients when it is a root of a polynomial) does not exceed \(\lfloor\theta\rfloor\). In other words, \(\theta\) is a root of a polynomial with integer coefficients, and the absolute values of these coefficients do not exceed \(\lfloor\theta\rfloor\).

### Main Theorems

- **Theorem 1**: For any Perron number \(\theta\), we have
\[
\theta^n\ll\#D_n(\theta)\ll n^{1/2}\theta^n
\]
Further, if all Galois conjugates of \(\theta\) are real numbers, then
\[
\#D_n(\theta)\asymp\theta^n
\]

- **Theorem 2**: The height of a Perron number \(\theta\) does not exceed \(\lfloor\theta\rfloor\), that is, \(\theta\) is a root of a polynomial with integer coefficients, and the absolute values of these coefficients do not exceed \(\lfloor\theta\rfloor\).

### Proof Ideas

- The author gradually derives the above conclusions by introducing some auxiliary definitions and lemmas and using tools such as Birkhoff's ergodic theorem and the central limit theorem. In particular, when \(\theta\) has non - real Galois conjugates, the author obtains the final result by analyzing the behavior of the complex part.

### Conclusions

- The main contribution of this paper lies in the in - depth study of the properties of Perron numbers, especially in the cardinality estimation of the set \( D_n(\theta) \) and the height estimation of Perron numbers. These results not only deepen our understanding of Perron numbers but also provide a theoretical basis for further research in related fields.