Partial sums of multiple zeta value series (Q2372717): Difference between revisions

Let \(p\) be a prime number, \(d\geq 1\), \(s_1,\ldots,s_d\in {\mathbb N}\). The author studies the \(p\)-divisibility of the series \[ H_d^*(s_1,\ldots,s_d;n):=\sum_{1\leq k_1<\ldots<k_d\leq n \atop p\nmid k_1,\ldots,p\nmid k_d} k_1^{-s_1}\ldots k_d^{-s_d},n\in{\mathbb N}. \] If \(n\geq 1\) and \(p\geq 2n+3\) then \[ \begin{multlined}\frac{-2}{2n-1}H_1^*(2n-1;p^a-1)\equiv p^a H_1^*(2n;p^a-1) \pmod {p^{3a}} \\ \equiv p^{2a}\frac{2n}{2n+p^{a-1}}B_{p^{a-1}(p-1)-2n} \pmod{p^{3a}},\end{multlined} \] with Bernoulli numbers \(B\). If \(s,d\geq 1\), \(p\geq d+2\) and \(p-1\) divides none of \(sl\) and \(sl+1\) for \(l=1,2,\ldots,d\) then \[ H_d^*(s,\ldots,s;p^a-1)\equiv 0 \pmod {p^{{\mathcal P}(sd-1)a}}, \] where \({\mathcal P}\) is the parity function. If \(s_1,s_2\geq 1\), \(p\geq 3\), \(s_1\equiv m,s_2\equiv n\pmod{p-1}\), \(0\leq m,n\leq p-2\) then \[ H_2^*(s_1,s_2;p^a-1)\equiv p^{a-1}\cdot \omega\pmod{p^a}, \] where \[ \omega=\begin{cases} \eta&(m,n)=(0,0), \\ 1&(m,n)=(1,0),\\ -1&(m,n)=(0,1),\\ \frac{(-1)^n}{m+n}\left(\frac{m+n}{m}\right)B_{p-m-n}&p\geq m+n,m,n\geq 1,\\ 0&\text{otherwise}, \end{cases} \] \[ \eta=\begin{cases} 1&a=1,\\ \frac12&a\neq 1. \end{cases} \]