{"id":"arxiv/2608.19276","url":"https://arxiv.org/abs/2608.19276","tags":["math.NT","math.CO"],"score":0,"title":"${}_5F_4$ evaluations and a family of $π^2+\\log^2$ identities","domain":"math.NT","source":"arxiv","authors":["Cetin Hakimoglu-Brown"],"reviews":0,"subject":"math.NT","summary":"We evaluate the series $\\sum_{n\\ge1} z^n\\big/\\!\\big(n^2\\binom{4n}{n}\\big)$, equal to $-\\tfrac{z}{4}\\,{}_5F_4\\!\\left(1,1,1,\\tfrac43,\\tfrac53;\\tfrac54,\\tfrac32,\\tfrac74,2;\\tfrac{27z}{256}\\right)$, in closed form at an infinite family of algebraic points indexed by a rational angle $θ=jπ/N$. Each value equals $c\\,π^2$ plus a universal rational quadratic form in three logarithms, with $c=-\\tfrac13\\left(1-\\tfrac{2j}{N}\\right)^2$. This is the quartic-base case reached but not evaluated by D'Aurizio and Di Trani. The proof is self-contained: an exact integer factor relating two weights, followed by…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-18","reactions":{}}