{"id":"arxiv/2605.04369","url":"https://arxiv.org/abs/2605.04369","tags":["math.CO"],"score":0,"title":"A short proof of Mathar's 2016 recurrence conjecture for OEIS A176677","domain":"math.CO","source":"arxiv","authors":["Tong Niu"],"reviews":0,"subject":"math.CO","summary":"For the OEIS sequence A176677, defined by the quadratic convolution recurrence $a(0) = a(1) = 1$ and $a(n+1) = \\sum_{p=0}^n a(p) a(n-p) - 1$ for $n \\ge 1$, R.~J.~Mathar contributed in March 2016 the conjectured order-4 P-recursive recurrence \\[ (n+1)\\,a(n) + 2(-3n+1)\\,a(n-1) + (9n-13)\\,a(n-2) - 4\\,a(n-3) + 4(-n+4)\\,a(n-4) = 0. \\] We give a short proof. The convolution recurrence translates directly into the algebraic equation $z(1-z) G(z)^2 - (1-z) G(z) + (1 - z - z^2) = 0$ for the ordinary generating function $G(z)$, and Mathar's recurrence then drops out as the coefficient form of a…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-06","reactions":{}}