Abstract:We prove an identity for multiple zeta star values, which generalises some identities due to Imatomi, Tanaka, Tasaka and Wakabayashi. This identity gives an analogue of cyclic insertion type identities, for multiple zeta star values, and connects the block decomposition with Zhao's generalised 2-1 formula.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the generalization and proof of certain identities regarding multiple zeta star values (MZSVs). Specifically, the author attempts to prove a new identity about MZSVs, which can be regarded as an analogue of the cyclic insertion conjecture in the case of MZSVs.
### Problem Background
Multiple zeta values (MZVs) and multiple zeta star values (MZSVs) are defined by the following series:
- **Multiple Zeta Value (MZV)**:
\[
\zeta(s_1, s_2, \ldots, s_r) := \sum_{0 < n_1 < n_2 < \cdots < n_r} \frac{1}{n_1^{s_1} n_2^{s_2} \cdots n_r^{s_r}}
\]
- **Multiple Zeta Star Value (MZSV)**:
\[
\zeta^\star(s_1, s_2, \ldots, s_r) := \sum_{0 < n_1 \leq n_2 \leq \cdots \leq n_r} \frac{1}{n_1^{s_1} n_2^{s_2} \cdots n_r^{s_r}}
\]
where \(r\) is called the depth, and \(s_1 + s_2+\cdots + s_r\) is called the weight.
### Main Objectives of the Paper
The main objective of the paper is to prove a new identity about MZSVs, which is similar to the cyclic insertion conjecture in classical MZVs. Specifically, the author attempts to prove the following identity:
\[
\sum_{\sigma \in S_n} \zeta^\star(\text{bl}^{-1}(2 \circ \ell_{\sigma(1)}, \ldots, \ell_{\sigma(n)})) = \sum_{r \in \text{Part}_{\text{odd}}(n)} 2^{|r|} \prod_{i} ((#r_i - 1)!) \prod_{i} \tilde{\zeta}\left(\sum_{j \in r_i} \ell_j\right)
\]
where:
- \(S_n\) is the symmetric group.
- \(\text{Part}_{\text{odd}}(n)\) is the set of decompositions of the set \(\{1, \ldots, n\}\) into parts of odd size.
- \(\circ\) represents a specific operator (it can be a comma “,” or a plus “+”).
- \(\text{bl}^{-1}\) is the inverse operation of block decomposition.
- \(\tilde{\zeta}(n)\) is a specific function, defined as follows:
\[
\tilde{\zeta}(n) =
\begin{cases}
\zeta(n) & \text{if } n \text{ is odd} \\
\frac{1}{2} \zeta^\star(\{2\}^{n/2}) & \text{if } n \text{ is even}
\end{cases}
\]
### Significance and Applications
The significance of this identity lies in that it provides a new method to understand and calculate MZSVs, and forms an analogy with the cyclic insertion conjecture in classical MZVs. By connecting block decomposition with Zhao's generalized 2 - 1 formula, the author is able to give other similar cyclic insertion identities in MZSVs.
### Conclusion
This paper successfully generalizes the previous cyclic insertion conjecture regarding MZVs, providing...