Problems

Is it true that for every ε,η>0 there exists a k such that the density of n for which P(n(n+1)…(n+k))>n^1-ε is at least 1-η, where P(m) is the greatest prime divisor of m? A short argument via the Matomäki-Radziwiłł theorem establishes the…

Let A(n) be the least positive integer not dividing binom2nn. Erdos asked for the behaviour of A(n) for reasonable n. Under an explicit dyadic-regularity formalization of reasonable, the distribution is determined on dyadic intervals…

For n ≥ 4, the natural scalar Poisson-summation certificates cannot prove the Regev-Stephens-Davidowitz Gaussian mass conjecture: any such certificate saturates, so the whole approach is blocked.

Does there exist a good pairwise-coprime sequence u_n with ∑ 1/u_n < ∞ and polynomial growth? What if one only requires u_n ≤ e^o(n)?

Let M(n) be the supremum of ∑_a ∈ A 1/(n-a) over pairwise coprime A ⊂ [1,n). Erdos asked whether M(n) ≤ ∑_p<n 1/p + O(1) uniformly. The average order is settled: ∑_n ≤ N M(n) = e^-γ N loglog N + O(N).

Let n_k be the least integer greater than 2k for which ∏_i=1^k (n_k - i) has no prime factor in (k, 2k). How rapidly must n_k grow?

The Lonely Runner Conjecture of Wills and Cusick states that among k+1 runners at distinct constant speeds on a unit circle, each runner is at some time at distance at least 1/(k+1) from all others. Following Rosenfeld's computer-assisted…

Regev and Stephens-Davidowitz conjectured that Z^n maximizes the Gaussian mass Θ_L(t) = ∑_x ∈ L e^-t|x|^2 over stable lattices for every t > 0. The sharp inequality holds for every integral unimodular lattice of rank n ≤ 32, with equality…

Let x_n = tan(∑_k=1^n arctan k). Amdeberhan, Medina and Moll conjectured that x_n ∉ Z for every n ≥ 5. Any integer value x_n = m must satisfy |m| ≥ e^(1/2+o(1)) n log n, which forces #1 ≤ n ≤ N : x_n ∈ Z = O(log N). The conjecture…