加载中…
We prove that has Poissonian pair correlation for almost every real , solving a Problem posed by Aistleitner, El-Baz and Munsch [Open Problem 3, Geom. Funct. Anal. 2021]. Our main contribution is a new four-point counting estimate with a fixed power saving over at tolerance , valid on the ranges left after a first-moment and Borel–Cantelli argument. Its proof reduces the counting condition to the required proximity of an implicitly defined real root to an integer; a Fejér kernel majorizes this condition, and multidimensional van der Corput - and -processes supply the saving. A localized Mellin argument then yields the second-moment estimate needed for the metric conclusion.

生成讲解博客的中文版本

生成AI智能校验的中文版本