A short proof of Mathar's 2013 recurrence conjecture for the reversible-binary-string sequence A032123
组合数学
2026-05-15 v1
摘要
For the OEIS sequence A032123, the number of length- black-and-white strings with black beads, considered up to reversal, R. J. Mathar contributed in November 2013 the conjectured order-5 P-recursive recurrence We give a short proof. Burnside's lemma applied to the reversal action gives the closed form ; the two summands satisfy elementary recurrences of order and respectively; and Mathar's order-5 operator, applied to each summand separately, reduces to a polynomial identity that simplifies to zero after a brief calculation. The supplementary archive includes a SymPy script which verifies the polynomial identities symbolically and checks Mathar's recurrence numerically for .
引用
@article{arxiv.2605.14213,
title = {A short proof of Mathar's 2013 recurrence conjecture for the reversible-binary-string sequence A032123},
author = {Tong Niu},
journal= {arXiv preprint arXiv:2605.14213},
year = {2026}
}
备注
10 pages