{"id":"arxiv/2608.01781","url":"https://arxiv.org/abs/2608.01781","tags":["math.NT","math.CO"],"score":0,"title":"Factorial residues modulo a prime: beyond the square-root bound","domain":"math.NT","source":"arxiv","authors":["Xiyu Hu"],"reviews":0,"subject":"math.NT","summary":"For a prime \\(p\\), let \\(A_p=\\{k!\\pmod p:1\\leq k<p\\}\\). We prove \\(|A_p|\\gg p^{8/15}\\), improving the general lower bound \\((\\sqrt{2}-o(1))p^{1/2}\\). The proof begins with the identity \\((n+2)!=(n+1)!+((n+1)!)^2/n!\\) in \\(\\mathbb{F}_p\\), which produces many incidences for a family of fractional-linear maps. After Cauchy--Schwarz, the transition maps between two members of this family become affine lines, with multiplicity at most two. The Cartesian-product point-line incidence theorem of Stevens and de Zeeuw then yields the exponent \\(8/15\\).","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-03","reactions":{}}