Symmetry conjecture for the generalized alternating hyperharmonic coefficients

Let r,m,jNr,m,j\in\mathbb N, and let f(r,s1,s2)f(r,s_{1},s_{2}) be the index bound occurring in the coefficient recursion. For 0mf(r,s1,s2)0\leq m\leq f(r,s_{1},s_{2}) and 0jf(r,s1,s2)m0\leq j\leq f(r,s_{1},s_{2})-m, let b(r,s1,s2,m,j,k)b(r,s_{1},s_{2},m,j,k) denote the corresponding coefficient for k0,1,2,3k\in\\{0,1,2,3\\}. The coefficient symmetry conjecture. We conjecture that

b(r,s1,s2,m,j,k)=(1)m+jb(r,s1,s2,j,m,k)(k=0,1,2,3).b(r,s_{1},s_{2},m,j,k)=(-1)^{m+j}b(r,s_{1},s_{2},j,m,k)\qquad (k=0,1,2,3).

This is one of three proposed structural properties of the coefficients that express Euler sums of generalized alternating hyperharmonic numbers in terms of classical alternating Euler sums; its resolution is not given in the supplied text.

Sources & referencesView supporting material

Primary source

Rusen Li, “Euler sums of generalized alternating hyperharmonic numbers II”, arXiv:2108.00826 (2021).

Additional references

2 papers in this index state this conjecture (2021). The statement above is taken from the most recent of them; the others are arXiv:2103.10622.

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.