The conjectured recurrence for a(n) holds because the order-5 operator annihilates both the central binomial coefficient and the even-n middle binomial term in the closed form derived from Burnside's lemma.
Fried,Proofs of some conjectures from the OEIS
5 Pith papers cite this work. Polarity classification is still indexing.
fields
math.CO 5years
2026 5representative citing papers
The exponential generating function F(x) = -exp(-x/(1-2x))/(1-2x) for a(n) = -n! 2^n L_n(1/2) satisfies the ODE (1-2x)^2 F'(x) = (1-4x) F(x), from which the recurrence a(n) + (-4n+3)a(n-1) + 4(n-1)^2 a(n-2) = 0 follows by extracting [x^n/n!].
Substituting the closed form a(n) = (-1)^n (2 H_{n-3} - 3)(n-3)! into the left-hand side of the conjectured recurrence reduces it to the zero polynomial via harmonic number identities.
The sequence A001711 satisfies a(n) - (2n+5)a(n-1) + (n+2)^2 a(n-2) = 0 for n >= 2, shown by substituting the closed form (1/4)(n+3)! (2 H_{n+3} - 3) and verifying that harmonic coefficients and constant terms both cancel to zero.
The Meixner sequence A214615 satisfies the recurrence a(n) - a(n-1) + (n-1)^2 a(n-2) = 0 for n >= 2, proved via its EGF satisfying a linear ODE.
citing papers explorer
-
A short proof of Mathar's 2013 recurrence conjecture for the reversible-binary-string sequence A032123
The conjectured recurrence for a(n) holds because the order-5 operator annihilates both the central binomial coefficient and the even-n middle binomial term in the closed form derived from Burnside's lemma.
-
A short proof of Mathar's 2013 recurrence conjecture for the Laguerre sequence~A025166
The exponential generating function F(x) = -exp(-x/(1-2x))/(1-2x) for a(n) = -n! 2^n L_n(1/2) satisfies the ODE (1-2x)^2 F'(x) = (1-4x) F(x), from which the recurrence a(n) + (-4n+3)a(n-1) + 4(n-1)^2 a(n-2) = 0 follows by extracting [x^n/n!].
-
A short proof of Mathar's 2021 recurrence conjecture for the Lehmer-Comtet diagonal A045406
Substituting the closed form a(n) = (-1)^n (2 H_{n-3} - 3)(n-3)! into the left-hand side of the conjectured recurrence reduces it to the zero polynomial via harmonic number identities.
-
A short proof of Mathar's 2020 recurrence conjecture for the generalized-Stirling sequence A001711
The sequence A001711 satisfies a(n) - (2n+5)a(n-1) + (n+2)^2 a(n-2) = 0 for n >= 2, shown by substituting the closed form (1/4)(n+3)! (2 H_{n+3} - 3) and verifying that harmonic coefficients and constant terms both cancel to zero.
-
A short proof of Mathar's 2013 recurrence conjecture for the Meixner sequence A214615
The Meixner sequence A214615 satisfies the recurrence a(n) - a(n-1) + (n-1)^2 a(n-2) = 0 for n >= 2, proved via its EGF satisfying a linear ODE.