Rationality conjecture for the coefficient dimension series of a WZ-seed extension

From papers

Let S=S(a,b,c;n)S=S(a,b,c;n) be the summand obtained from the WZ pair in the harmonic extension of the displayed Ramanujan 1/π1/\pi-series, and let VN(S)V_N(S) be the span of the coefficients of degree-NN parameter monomials. WZ-seed coefficient conjecture. The generating function of the coefficient-space dimensions is conjectured to be

N0dimVN(S)tN=?1(1t)(1t2)(1t4).\sum_{N\geq0}\dim V_N(S)t^N\stackrel{?}{=}\frac{1}{(1-t)(1-t^2)(1-t^4)}.

Its initial values are 1+t+2t2+2t3+4t4+4t5+6t6+1+t+2t^2+2t^3+4t^4+4t^5+6t^6+\cdots. This predicts a simple graded structure for the independent identities obtained by harmonic coefficient extraction from the WZ seed; the source gives only computational evidence.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Kam Cheong Au, “Discovering hypergeometric series with harmonic numbers via Wilf-Zeilberger seeds”, arXiv:2602.08721 (2026).

Solutions 0

No solutions have been posted yet.