Rationality conjectures for two harmonic WZ-seed dimension series

From papers

Let S1=S1(a,b,c,d;n)S_1=S_1(a,b,c,d;n) and S2=S2(a,b,c,d;n)S_2=S_2(a,b,c,d;n) be the two summands obtained from the WZ seeds in the harmonic extension of the displayed series, and let VN(Si)V_N(S_i) be their degree-NN coefficient spaces. Two-seed rationality conjecture. The generating functions of the individual dimension sequences, and of the dimension sequence of their sum, are rational; more precisely,

N0dimVN(S1)tN=?1(1t)2(1t2)(1t3),\sum_{N\geq0}\dim V_N(S_1)t^N\stackrel{?}{=}\frac{1}{(1-t)^2(1-t^2)(1-t^3)},

and

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

The source also asserts rationality for the generating function of dim(VN(S1)+VN(S2))\dim(V_N(S_1)+V_N(S_2)), but does not provide its explicit form. These conjectures encode the observed number of independent harmonic-number summation identities; no proof is given.

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.