Erdős Problem 684 at Density One: Small-prime Parts of Binomial Coefficients and Gaussian Fluctuations

Abstract

For $0\le k\le n$, let $u(n,k)$ be the largest divisor of $\left(\genfrac{}{}{0ex}{}{n}{k}\right)$ whose prime factors are at most $k$. Erdős Problem #684 concerns the special threshold $u(n,k)>n^2$ and asks how early this small-prime part can be forced to become large. We prove the density-one analogue for every fixed power threshold. If $f_c(n)$ is the least $k$ for which $u(n,k)>n^c$, then, for each fixed $c>0$, \[ f_c(n)=\left(\frac{c}{1-γ}+o(1)\right)\log n \] for almost all positive integers $n$. In particular, \[ f_2(n)=\left(\frac{2}{1-γ}+o(1)\right)\log n =(4.730544237\ldots+o(1))\log n \] for the Erdős #684 threshold. This is a normal-order theorem, not a pointwise resolution of the corresponding worst-case problem. The constant $1-{\hat{I}}^3$ is arithmetic. Kummer's theorem rewrites $\log u(n,k)$ as a sum of carry indicators, and complete-residue averaging gives \[ m(k)=k\sum_{p\leq k}\frac{\log p}{p-1}-\log k!=(1-γ)k+o(k). \] The cancellation in this formula moves the typical crossing from the naive scale $c\log n$ to $c(1-{\hat{I}}^3{)}^{-1}\log n$. We prove the required concentration uniformly for every $k\le A\log X$ on one dyadic interval, after discarding a zero-density exceptional set caused by large powers of small primes dividing one of the nearby integers $n,n-1,\dots$. We also prove Gaussian fluctuations in the logarithmic range. If $k=k(X)\to \infty$, $k\le A\log X$, and $n$ is uniform in $[X,2X)\cap \mathbb{Z}$, then \[ \frac{\log u(n,k)-m(k)}{\sqrt{V(k)}}\Rightarrow \mathcal N(0,1), \qquad V(k)\sim (2-\log(2π))k\log k. \] Higher prime powers are needed for the mean, but after centering their aggregate is $L^2$-negligible on the Gaussian scale; the variance comes only from the prime levels.

19 pages, no figures