Samuel Goldberg | arXiv Science

arXiv2023

Patterns of primes in joint Sato--Tate distributions

For $j=1,2$, let $f_j(z) = \sum_{n=1}^{\infty} a_{j}(n) e^{2πi nz}$ be a holomorphic, non-CM cuspidal newform of even weight $k_j \ge 2$ with trivial nebentypus. For each prime $p$, let $θ_{j}(p)\in[0,π]$ be the angle such that $a_j(p) = 2p^{(k-1)/2} \cos θ_{j}(p)$. The now-proven Sato--Tate conjecture states that the angles $(θ_j(p))$ equidistribute with respect to the measure $dμ_{\mathrm ST} = \frac{2}π\sin^2θ\,dθ$. We show that, if $f_1$ is not a character twist of $f_2$, then for subintervals $I_1,I_2 \subset [0,π]$, there exist infinitely many bounded gaps between the primes $p$ such that $θ_1(p) \in I_1$ and $θ_2(p) \in I_2$. We also prove a common generalization of the bounded gaps with the Green--Tao theorem.

math.NT↗

arXiv2022

Large sets avoiding infinite arithmetic / geometric progressions

We study some variants of the Erdős similarity problem. We pose the question if every measurable subset of the real line with positive measure contains a similar copy of an infinite geometric progression. We construct a compact subset $E$ of the real line such that $0$ is a Lebesgue density point of $E$, but $E$ does not contain any (non-constant) infinite geometric progression. We give a sufficient density type condition that guarantees that a set contains an infinite geometric progression. By slightly improving a recent result of Bradford, Kohut and Mooroogen arXiv:2205.04786, we construct a closed set $F\subset[0,\infty)$ such that the measure of $F\cap[t,t+1]$ tends to $1$ at infinity but $F$ does not contain any infinite arithmetic progression. We also slightly improve a more general recent result by Kolountzakis and Papageorgiou arXiv:2208.02637 for more general sequences. We give a sufficient condition that guarantees that a given Cantor type set contains at least one infinite geometric progression with any quotient between $0$ and $1$. This can be applied to most symmetric Cantor sets of positive measure.

math.MG↗