Abstract:We prove a new linear relation for multiple zeta values. This is a natural generalization of the restricted sum formula proved by Eie, Liaw and Ong. We also present an analogous result for finite multiple zeta values.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the generalized restricted sum formulae for multiple zeta values (MZVs) and finite multiple zeta values (FMZVs). Specifically, the author tries to prove a new linear relation, which is a natural generalization of the restricted sum formulae previously proved by Eie, Liaw and Ong. In addition, the author also presents a similar result for finite multiple zeta values.
### Overview of Main Contents
1. **Definitions of Multiple Zeta Values and Multiple Zeta - Star Values**:
- For \( k_1, \ldots, k_r \in \mathbb{Z}_{\geq 1} \) and \( k_1 \geq 2 \), multiple zeta values (MZVs) and multiple zeta - star values (MZSVs) are defined respectively as:
\[
\zeta(k_1, \ldots, k_r) := \sum_{n_1 > \cdots > n_r \geq 1} \frac{1}{n_1^{k_1} \cdots n_r^{k_r}}
\]
\[
\zeta^\star(k_1, \ldots, k_r) := \sum_{n_1 \geq \cdots \geq n_r \geq 1} \frac{1}{n_1^{k_1} \cdots n_r^{k_r}}
\]
2. **Main Results**:
- **Theorem 1.1**: For \( (k_1, \ldots, k_r) \in \mathbb{Z}_{\geq 1}^r \) and \( t \in \mathbb{Z}_{\geq 0} \), we have:
\[
\sum_{m_1 + \cdots + m_r = r + t} \left( \prod_{i = 1}^r \sum_{|a_i| = k_i + m_i - 1} \zeta^+(a_{m_1}, \ldots, a_{m_r}) \right)=t \sum_{l = 0}^t \sum_{m_1 + \cdots + m_{r - 1}=t - l} \left( \prod_{i = 1}^{r - 1} \sum_{|e| = l} \zeta^+((k_1, \{1\}^{m_1}, \ldots, k_{r - 1}, \{1\}^{m_{r - 1}}, k_r)+e) \right)
\]
where \( a_i \) represents an \( m_i \)-ary positive integer combination.
3. **Results for Finite Multiple Zeta Values**:
- **Theorem 1.6**: For \( (k_1, \ldots, k_r) \in \mathbb{Z}_{\geq 1}^r \) and \( t \in \mathbb{Z}_{\geq 0} \), we have:
\[
\sum_{m_1 + \cdots + m_r = r + t} \left( \prod_{i = 1}^r \sum_{|a_i| = k_i + m_i - 1} \zeta_F(a_{m_1}, \ldots, a_{m_r}) \right)=t \sum_{l = 0}^t \sum_{m_1 + \cdots + m_{r - 1}=t - l} \left( \prod_{i = 1}^{r - 1} \sum_{|e| = l} \zeta_F((k_1, \{1\}^{m_1}, \ldots, k_{r - 1}, \{1\}^{m_{r - 1}}, k_r)+e) \right)
\]
4. **Proof of Equivalence**: