An improvement of the lower bound of the number of integers in Littlewood's conjecture

Shunsuke Usuki

2024-04-20

Abstract:In this paper, we improve the results in the author's previous paper \cite{Usu22}, which deals with the quantitative problem on Littlewood's conjecture. We show that, for any $0<\gamma<1$, any $(\alpha,\beta)\in\mathbb{R}^2$ except on a set with Hausdorff dimension about $\sqrt{\gamma}$, any small $0<\varepsilon<1$ and any large $N\in\mathbb{N}$, the number of integers $n\in[1,N]$ such that $n\langle n\alpha\rangle\langle n\beta\rangle<\varepsilon$ is greater than $\gamma(\log N)^2/(\log\log N)^2$ up to a universal constant.

Number Theory,Dynamical Systems

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to improve the lower bound estimate of the number of integers in Littlewood's conjecture. Specifically, on the basis of previous work, the author further improves the quantitative estimate of the number of integers satisfying the inequality under specific conditions in Littlewood's conjecture.

### Background and Problem Description

Littlewood's conjecture is a well - known number theory problem, which is stated as follows:

**Conjecture 1.1 (Littlewood, around 1930)**: For any \((\alpha, \beta)\in\mathbb{R}^2\),

\[
\liminf_{n\rightarrow\infty}n\langle n\alpha\rangle\langle n\beta\rangle = 0,
\]

where \(\langle x\rangle=\min_{n\in\mathbb{Z}}|x - n|\) represents the distance from \(x\) to the nearest integer.

The research of Einsiedler, Katok and Lindenstrauss in the 2000s showed that the Hausdorff dimension of the set composed of \((\alpha, \beta)\) that violate the above conjecture is zero. In addition, the author gave a quantitative version of the result in previous work.

### Main Contributions of the Paper

The main objective of this paper is to improve these quantitative results. Specifically, the author proves the following theorem:

**Theorem 1.4**: For any \(0 <\gamma< 1\), there exists a subset \(Z(\gamma)\subset\mathbb{R}^2\) satisfying \(\dim_H Z(\gamma)\leq15\sqrt{\gamma}\), such that for any \((\alpha, \beta)\in\mathbb{R}^2\setminus Z(\gamma)\) and any \(0 <\varepsilon<4^{-1}e^{-2}\), we have

\[
\liminf_{N\rightarrow\infty}\frac{(\log\log N)^2}{(\log N)^2}\left|\left\{n\in\{1,\ldots,N\}\mid n\langle n\alpha\rangle\langle n\beta\rangle <\varepsilon\right\}\right|\geq\frac{\gamma}{72}.
\]

### Explanation

This result means that in most cases (that is, except for an exceptional set with a very small Hausdorff dimension), when \(N\) is sufficiently large, the number of integers \(n\) satisfying \(n\langle n\alpha\rangle\langle n\beta\rangle <\varepsilon\) grows at a rate of at least \(\frac{\gamma(\log\log N)^2}{72(\log N)^2}\).

In this way, the author significantly improves the lower bound estimate of the number of integers in Littlewood's conjecture and provides more accurate quantitative results.