Abstract:The sum formula is a basic identity of multiple zeta values that expresses a Riemann zeta value as a homogeneous sum of multiple zeta values of a given dimension. This formula was already known to Euler in the dimension two case, conjectured in the early 1990s for higher dimensions and then proved by Granville and Zagier independently. Recently a weighted form of Euler's formula was obtained by Ohno and Zudilin. We generalize it to a weighted sum formula for multiple zeta values of all dimensions.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the weighted sum formula for multiple zeta values (MZVs). Specifically, the author aims to generalize the weighted Euler sum formula proposed by Ohno and Zudilin to multiple zeta values of arbitrary dimensions.
### Background and Problem Description
Multiple zeta values are the values of a special class of multivariable analytic functions at integer points, defined as:
\[
\zeta(s_1, \cdots, s_k) = \sum_{n_1 > \cdots > n_k > 0} \frac{1}{n_1^{s_1} \cdots n_k^{s_k}}
\]
where \( s_1 \geq 2 \), \( s_i \geq 1 \) (\( i = 2, \cdots, k \)). The study of these values can be traced back to the work of Goldbach and Euler and was formally introduced into the field of mathematics in the early 1990s.
An important goal is to determine all the algebraic relations among multiple zeta values. One of the known important identities is the sum formula, which shows that for given positive integers \( k \) and \( n \geq k + 1 \):
\[
\sum_{s_i \geq 1, s_1 \geq 2, s_1 + \cdots + s_k = n} \zeta(s_1, \cdots, s_k) = \zeta(n)
\]
### The Work of Ohno and Zudilin
Ohno and Zudilin recently proved a weighted form of the Euler sum formula:
\[
\sum_{i = 2}^{n - 1} 2^i \zeta(i, n - i) = (n + 1)\zeta(n), \quad n \geq 2
\]
### The Main Contribution of This Paper
On this basis, the author further generalizes this result and proposes a weighted sum formula applicable to multiple zeta values of arbitrary dimensions. Specifically, they prove the following theorem:
**Theorem 1.1 (Weighted Sum Formula)**: For positive integers \( k \geq 2 \) and \( n \geq k + 1 \), we have
\[
\sum_{s_i \geq 1, s_1 \geq 2, s_1 + \cdots + s_k = n} \left[ 2^{s_1 - 1} + (2^{s_1 - 1} - 1) \left( \sum_{i = 2}^{k - 1} 2^{S_i - s_1 - (i - 1)} + 2^{S_{k - 1} - s_1 - (k - 2)} \right) \right] \zeta(s_1, \cdots, s_k) = n\zeta(n)
\]
where \( S_i = s_1 + \cdots + s_i \) (\( i = 1, \cdots, k - 1 \)).
This formula extends the original weighted Euler sum formula from two - dimensional to arbitrary dimensions, thus providing a new tool for studying the relations among multiple zeta values.