Cyclic-sum conjecture for finite multiple harmonic q-series

Let tt be a non-negative integer, let d0,d1,,dtd_0,d_1,\dots,d_t be non-negative integers, and let zn(s;ζn)z_n(\mathbf{s};\zeta_n) denote the finite multiple harmonic qq-series associated with an index s\mathbf{s} and a primitive nn-th root of unity ζn\zeta_n. In both cyclic sums, interpret dj=dkd_j=d_k whenever jkj\equiv k modulo t+1t+1.

Cyclic-sum conjecture. For every integer n>rn>r and every primitive root of unity ζn\zeta_n, the following hold. With r=j=0tdj+2tr=\sum_{j=0}^{t}d_j+2t,

j=0tzn(1dj,2,1dj+1,2,,2,1dj+t)=(1)tn(n+tr+1)(1ζn)r.\sum_{j=0}^{t}z_n\left( \\{1\\}^{d_j},2,\\{1\\}^{d_{j+1}},2,\dots,2,\\{1\\}^{d_{j+t}} \right)= \frac{(-1)^t}{n}\binom{n+t}{r+1}(1-\zeta_n)^{r}.

With r=j=0t2dj+3tr=\sum_{j=0}^{t}2d_j+3t,

j=0tzn(2dj,3,2dj+1,3,,3,2dj+t)(1ζn)rQ.\sum_{j=0}^{t}z_n\left( \\{2\\}^{d_j},3,\\{2\\}^{d_{j+1}},3,\dots,3,\\{2\\}^{d_{j+t}} \right)\in (1-\zeta_n)^r\mathbb{Q}.

These conjectures generalize the preceding cyclic identities for indices containing alternating blocks of 11's and 22's, or 22's and 33's. The first part predicts an exact evaluation, while the second asserts rational divisibility by (1ζn)r(1-\zeta_n)^r; no resolution is supplied in the source context.

Sources & referencesView supporting material

Primary source

Khodabakhsh Hessami Pilehrood, Tatiana Hessami Pilehrood and Roberto Tauraso, “On 3-2-1 values of finite multiple harmonic q-series at roots of unity”, arXiv:2101.03576 (2021).

Additional references

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

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.