Weighted sum formulas of multiple \(t\)-values with even arguments (Q776164)

Let \({\mathbf{k}}:=(k_1,\ldots,k_n)\) be the finite sequence of positive integers, \(k_1+\cdots+k_n\) be the weight of \(\mathbf{k}\), and \(n\) be depth of \(\mathbf{k}\). For \(k_1>1\), we say that \(\mathbf{k}\) is admissible, while \(I(k,n)\) means the set of all \({\mathbf{k}}\) having weight \(k\) and depth \(n\). For any positive integers \(m, k, n\), \(k \geq n\), and any symmetric polynomial \(f(x_1,\ldots,x_n) \in {\mathbb{Q}}[x_1,\ldots,x_n]\), the weighted sums of multiple \(t\)-values and of multiple \(t\)-star values are defined respectively as follow \[ T_f(2m,k,n):=\sum_{(k_1,\ldots,k_n)\in I(k,n)}f(k_1,\ldots,k_n)t(2mk_1,\ldots,2mk_n) \] and \[ T_f^*(2m,k,n):=\sum_{(k_1,\ldots,k_n)\in I(k,n)}f(k_1,\ldots,k_n)t^*(2mk_1,\ldots,2mk_n). \] Here \[ t(k_1,\ldots,k_n):=\sum_{\substack{m_1>\cdots>m_n>0 \\ {\text{odd } } m_i}} \frac{1}{m_1^{k_1}\cdots m_n^{k_n}}, \ t^*(k_1,\ldots,k_n):=\sum_{\substack{m_1\geq\cdots\geq m_n\geq 1 \\ {\text{odd } } m_i}}\frac{1}{m_1^{k_1}\cdots m_n^{k_n}}. \] In the paper, weighted sums \(T_f(2,k,n)\) and \(T_{f^*}(2,k,n)\) are studied. More precisely, it is proved that, for polynomial \(f(x_1,\ldots,x_n)\in {\mathbb{Q}}[x_1,\ldots,x_n]\) of degree \(r\), \[ T_f(2,k,n)=\sum_{l=0}^{\min\{T,k\}}c_{f,l}(k)\zeta(2l)t(2k-2l) \] and \[ T_{f^*}(2,k,n)=\sum_{l=0}^{\min\{T,k\}}c_{f,l}^*(k)\zeta(2l)t(2k-2l) \] with \(T=\max\{[(r+n-2)/2],[(n-1)/2]\}\), \(c_{f,l}(x), c_{f,l}^*(x) \in {\mathbb{Q}}[x]\) depending only on \(l\) and \(f\), and \({\text{deg }}c_{f,l}(x), {\text{deg }}c^*_{f,l}(x)\leq r+n-2l-1\). Also, the weighted sums of products of \(t\)-values at even integers are studied.