{"id":"arxiv/2611.02280","url":"https://arxiv.org/abs/2611.02280","tags":["math.NT","cs.CC"],"score":0,"title":"Deterministic Polynomial-Time Primality Testing with a Single Binomial Congruence","domain":"math.NT","source":"arxiv","authors":["Joseph M. Shunia"],"reviews":0,"subject":"math.NT","summary":"We give a deterministic polynomial-time primality test whose main verification is the congruence $(1+X)^n=1+X^n$ in $C_n[X]/(X^r-b(Y))$, where $C_n=(\\mathbb{Z}/n\\mathbb{Z})[Y]/(Φ_r(Y))$. Two identities in the coefficient ring normalize $b$ and ensure compatibility with the main congruence. A finite-field root count and a lattice bound show that an accepted input is a prime power; elementary preprocessing excludes nontrivial perfect powers. We construct $b$ deterministically using Jacobi sums and the uniform Dedekind-zeta zero-free theorem of Cureton and Thorner, which extends OpenAI's Hecke…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-11-01","reactions":{}}