Abstract:Assume that $\alpha>1$ is an algebraic number and $\xi\neq0$ is a real number. We are concerned with the distribution of the fractional parts of the sequence $(\xi \alpha^{n})$. Under various Diophantine conditions on $\xi$ and $\alpha$, we obtain lower bounds on the number $n$ with $1\leq n\leq N $ for which the fractional part of the sequence $(\xi \alpha^{n})_{n\geq1}$ fall into a prescribed region $I\subset [0,1]$, extending several results in the literature. As an application, we show that the Fourier decay rate of some self-similar measures is logarithmic, generalizing a result of Varjú and Yu.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the distribution of the fractional parts of specific sequences. Specifically, the author focuses on the distribution of the fractional parts of sequences of the form \((\xi \alpha^n)\) in a given interval \(I \subset [0,1]\). Here, \(\alpha > 1\) is an algebraic number, and \(\xi \neq 0\) is a real number.
### Main problem description:
1. **Distribution of fractional parts**:
- Study how many of the fractional parts of the sequence \((\xi \alpha^n)\) fall within a given interval \(I \subset [0,1]\) when \(1 \leq n \leq N\).
- This problem can be regarded as a quantitative version of previous results on uniform distribution modulo 1.
2. **Fourier decay rate**:
- As an application, the author shows that the Fourier decay rate of certain self - similar measures is logarithmic, generalizing the results of Varjú and Yu.
### Mathematical background:
- **Algebraic numbers and Diophantine approximation**: The author uses the properties of algebraic numbers and tools in Diophantine approximation theory to study this problem.
- **Liouville numbers**: Discusses the properties of Liouville numbers and their role in the problem.
- **Height function**: Introduces the height function of algebraic numbers and its basic properties, which are used to estimate the magnitudes of certain expressions.
### Main conclusions:
1. **Results in the rational case (Theorem 1.2)**:
- When \(\alpha\) is a rational number \(\frac{p}{q}\) and satisfies certain conditions, there exist a constant \(\delta_1 \in (0, \frac{1}{2})\) and a positive number \(C = C(\alpha, \xi)\) such that
\[
\#\{1 \leq n \leq N : \| \xi \alpha^n - \eta \| \geq \delta_1\} \geq C \log N
\]
2. **Results in the algebraic number case (Theorem 1.4)**:
- When \(\alpha\) is an algebraic number and \(\xi\) is not a Liouville number in \(Q(\alpha)\), there exist a constant \(\delta_2 \in (0, \frac{1}{2})\) and a positive number \(C = C(\alpha, \xi)\) such that
\[
\#\{1 \leq n \leq N : \| \xi \alpha^n - \eta \| \geq \delta_2\} \geq C \log N
\]
3. **Further generalization (Theorem 1.7)**:
- When \(\alpha\) is an algebraic number with at least one conjugate not in the unit circle, there exist a constant \(\delta_3 \in (0, \frac{1}{2})\) and a positive number \(C = C(\alpha, \xi)\) such that
\[
\#\{1 \leq n \leq N : \| \xi \alpha^n - \eta \| \geq \delta_3\} \geq C \log N
\]
- In particular, if \(1 \leq \xi \leq \alpha\), then there exist a constant \(\delta_4 \in (0, \frac{1}{2})\) and a positive number \(C = C(\alpha)\) such that
\[
\#\{1 \leq n \leq N : \| \xi \alpha^n \| \geq \delta_4\} \geq C \log N