{"id":"arxiv/2610.28338","url":"https://arxiv.org/abs/2610.28338","tags":["math.NT","math.AG"],"score":0,"title":"Unconditional Subexponential Arithmetic Circuits for Positive Factorial Multiples","domain":"math.NT","source":"arxiv","authors":["Liang Zhang"],"reviews":0,"subject":"math.NT","summary":"Let $τ(n)$ be the least number of binary additions, subtractions and multiplications required to construct $n$ from $1$ and $2$, with reuse of intermediate values. We show that, for every sufficiently large integer $k$, some positive integer $m$ satisfies \\[ τ(mk!)\\leq \\exp\\!\\left(O\\!\\left((\\log k)^{2/3}(\\log\\log k)^{1/3}\\right)\\right). \\] The proof combines unconditional results of Lenstra, Pila and Pomerance on smooth numbers in short intervals and on orders of genus-two Jacobians with a five-parameter family carrying a rational divisor class of infinite order. We encode rational divisor…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-20","reactions":{}}