Abstract:For every algebraic number $\kappa$ on the unit circle which is not a root of unity we prove the existence of a strict sequence of algebraic numbers whose height tends to zero, such that the averages of the evaluation of $f_\kappa(z)=\log|z -\kappa|$ in the conjugates are essentially bounded from above by $-h(\kappa)$. This completes a characterisation on functions $f_\kappa$ initiated by Autissier and Baker-Masser, who cover the cases $\kappa=2$ and $|\kappa|\ne 1$ respectively. Using the same ideas we also prove analogues in the $p$-adic setting.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the equidistribution properties of logarithms of a specific algebraic number κ (on the unit circle and not a root of unity). Specifically, the author studied whether for algebraic numbers κ not in the set K∞, there exists a strict sequence (αn)n∈N such that as n tends to infinity, the heights h(αn) of these algebraic numbers tend to 0 and satisfy specific limit conditions.
### Problem Background
1. **Existing Results**:
- Autissier and Baker - Masser respectively studied the behavior of the function fκ(z) = log|z − κ| in different situations.
- For the case of |κ| ≠ 1, it has been proven that these κ do not belong to K∞.
- For κ = 2, Autissier provided a counterexample, showing that 2 does not belong to K∞.
- For the roots of unity μ∞, it has been proven that they belong to K∞.
2. **Unsolved Problems**:
- For algebraic numbers κ on the unit circle but not roots of unity, it is not yet clear whether they belong to K∞.
### Main Contributions of the Paper
- **Theorem 3**: The author proved that for all algebraic numbers κ on the unit circle but not roots of unity, there exists a strict sequence (αn)n∈N such that the values of limsup and liminf satisfy specific conditions, thus proving that these κ do not belong to K∞.
- **p - adic Analogous Results**: The author also proved a similar conclusion in the p - adic case.
### Formula Summary
- **Definition of Height**:
\[
h(\alpha)=\frac{m(P)}{d}
\]
where \(P\) is the Z - minimal polynomial of \(\alpha\), \(d\) is the degree of the polynomial, and \(m(P)\) is the logarithmic Mahler measure of the polynomial.
- **Limit Conditions**:
\[
\lim_{n \to \infty}\left|\frac{1}{[Q(\alpha_n):Q]}\sum_{\sigma:Q(\alpha_n)\to C}\log|\sigma(\alpha_n)-\kappa|-\int_{0}^{1}\log|e^{2\pi it}-\kappa|dt\right| = |\log|\kappa||>0
\]
- **Core Inequalities of Theorem 3**:
\[
\limsup_{n \to \infty}\frac{1}{[Q(\alpha_n):Q]}\sum_{\sigma:Q(\alpha_n)\to C}\log|\sigma(\alpha_n)-\kappa|\leq -h(\kappa)<0
\]
\[
\liminf_{n \to \infty}\frac{1}{[Q(\alpha_n):Q]}\sum_{\sigma:Q(\alpha_n)\to C}\log|\sigma(\alpha_n)-\kappa|\geq -d(h(\kappa)+\log(2))
\]
Through these results, the author completed the full characterization of the set K∞, that is, K∞ = {0} ∪ μ∞, where μ∞ is the set of all roots of unity.