Additive Energy and the Hausdorff dimension of the exceptional set in metric pair correlation problems
Christoph Aistleitner, Gerhard Larcher, Mark Lewko
备注：
22 pages. Version 2 contains an appendix by Jean Bourgain. Version 3 with corrections suggested by the referee. The paper will be published in the Israel Journal of Mathematics
For a sequence of integers $\{a(x)\}_{x \geq 1}$ we show that the distribution of the pair correlations of the fractional parts of $\{ \langle αa(x) \rangle \}_{x \geq 1}$ is asymptotically Poissonian for almost all $α$ if the additive energy of truncations of the sequence has a power savings improvement over the trivial estimate. Furthermore, we give an estimate for the Hausdorff dimension of the exceptional set as a function of the density of the sequence and the power savings in the energy estimate. A consequence of these results is that the Hausdorff dimension of the set of $α$ such that $\{\langle αx^d \rangle\}$ fails to have Poissonian pair correlation is at most $\frac{d+2}{d+3} < 1$. This strengthens a result of Rudnick and Sarnak which states that the exceptional set has zero Lebesgue measure. On the other hand, classical examples imply that the exceptional set has Hausdorff dimension at least $\frac{2}{d+1}$.
An appendix by Jean Bourgain was added after the first version of this paper was written. In this appendix two problems raised in the paper are solved.
Let $R$ be a commutative ring with identity. A unit $u$ of $R$ is called exceptional if $1-u$ is also a unit. When $R$ is a finite commutative ring, we determine the additive and multiplicative structures of its exceptional units; and then as an application we find a necessary and sufficient condition under which $R$ is generated by its exceptional units.
Dobiński set $\mathcal{D}$ is an exceptional set for a certain infinite product identity, whose points are characterized as having exceedingly good approximations by dyadic rationals. We study the Hausdorff dimension and logarithmic measure of $\mathcal{D}$ by means of the Mass Transference Principle and by the construction of certain appropriate Cantor-like sets, termed willow sets, contained in $\mathcal{D}$.
The authors have recently obtained a lower bound of the Hausdorff dimension of the sets of vectors $(x_1, \ldots, x_d)\in [0,1)^d$ with large Weyl sums, namely of vectors for which $$ \left| \sum_{n=1}^{N}\exp(2πi (x_1 n+\ldots +x_d n^{d})) \right| \ge N^α $$ for infinitely many integers $N \ge 1$. Here we obtain an upper bound for the Hausdorff dimension of these exceptional sets.
Improving earlier estimates of several authors we show that the number E(X) of Goldbach exceptional even integers (that is, even integers which cannot be written as the sum of two primesw) below X satisfies tho bound E(X) < X^0.72 for sufficiently large X. In the proof crucial role is played by the explicit formula for the contribution of the major arcs proved in Part I of this series (arXiv:1804.05561). In this new version some misprints are corrected and an explanatory sentence is added to the common proof of theorems C and D.
We consider Bourgain's ergodic theorem regarding arithmetic averages in the cases where quantitative mixing is present in the dynamical system. Focusing on the case of the horocyclic flow, those estimates allows us to bound from above the Hausdorff dimension of the exceptional set, providing evidence towards conjectures by Margulis,Shah and Sarnak regarding equidistribution of arithmetic averages in homogeneous spaces. We also prove the existence of a uniform upper bound for the Hausdorff dimension of the exceptional set which is independent from the spectral gap.
We show that, for any $0<γ<1/2$, any $(α,β)\in\mathbb{R}^2$ except on a set with Hausdorff dimension about $\sqrtγ$, 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α\rangle\langle nβ\rangle<\varepsilon$ is greater than $γ\varepsilon\log N$ up to a uniform constant. This can be seen as a quantitative result on the fact that the exceptional set to Littlewood's conjecture has Hausdorff dimension zero, obtained by M. Einsiedler, A. Katok and E. Lindenstrauss in 2000's. For the proof, we study the behavior of the empirical measure…
Sharp Hausdorff Dimension Bounds for Sets with Bounded and Growing Digits in $N$-expansions
Faculty of Applied Sciences, National University of Science and Technology POLITEHNICA Bucharest（布加勒斯特国立科技大学应用科学学院）；Gheorghe Mihoc-Caius Iacob Institute of Mathematical Statistics and Applied Mathematics of the Romanian Academy（罗马尼亚科学院格奥尔基·米霍克-卡尤斯·雅各布数学统计与应用数学研究所）；Romanian Naval Academy “Mircea cel Batran”（米尔恰·钱贝兰罗马尼亚海军学院）
Suppose $n\geq 2$ and $\mathcal{A}_{i}\subset \{0,1,\cdots ,(n-1)\}$ for $ i=1,\cdots ,l,$ let $K_{i}=\bigcup\nolimits_{a\in \mathcal{A}_{i}}n^{-1}(K_{i}+a)$ be self-similar sets contained in $[0,1].$ Given $ m_{1},\cdots ,m_{l}\in \mathbb{Z}$ with $\prod\nolimits_{i}m_{i}\neq 0,$ we let \begin{equation*} S_{x}=\left\{ \mathbf{(}y_{1},\cdots ,y_{l}\mathbf{)}:m_{1}y_{1}+\cdots +m_{l}y_{l}=x\text{ with }y_{i}\in K_{i}\text{ }\forall i\right\} . \end{equation*} In this paper, we analyze the Hausdorff dimension and Hausdorff measure of the following set \begin{equation*} U_{r}=\{x:\mathbf{Card}(S_…
A special case of the Menshov--Rademacher theorem implies for almost all polynomials $x_1Z+\ldots +x_d Z^{d} \in {\mathbb R}[Z]$ of degree $d$ for the Weyl sums satisfy the upper bound $$ \left| \sum_{n=1}^{N}\exp\left(2πi \left(x_1 n+\ldots +x_d n^{d}\right)\right) \right| \leqslant N^{1/2+o(1)}, \qquad N\to \infty. $$ Here we investigate the exceptional sets of coefficients $(x_1, \ldots, x_d)$ with large values of Weyl sums for infinitely many $N$, and show that in terms of the Baire categories and Hausdorff dimension they are quite massive, in particular of positive Hausdorff dimension in …
