{"id":"arxiv/2610.33567","url":"https://arxiv.org/abs/2610.33567","tags":["math.NT"],"score":0,"title":"Local obstructions and certified computations for perfect powers in power sums","domain":"math.NT","source":"arxiv","authors":["Ákos Pintér"],"reviews":0,"subject":"math.NT","summary":"Let $S_k(x)=1^k+\\cdots+x^k$. We study perfect-power values of $S_k(x)$ by combining local valuations with finite congruence certificates. For an irregular Bernoulli pair $(p,r)$ with $e=v_p(B_r)\\ge1$, we prove a valuation formula uniform for $k\\equiv r+1\\pmod{p^e(p-1)}$, subject to an explicit condition on $v_p(x(x+1))$. This gives explicit families of nonexistence results in which both $x$ and $k$ are unbounded. We also determine all solutions of $S_k(x)=y^n$ for $3\\le x\\le10^6$ with $x\\equiv0,3\\pmod4$, leaving $k$ and $n\\ge2$ unrestricted and including squares. This extends Hajdu's…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-24","reactions":{}}