🔢 mathematics

An Explicit Expression for MZVs in Terms of Symmetric MZVs

This paper offers a simplified proof that symmetric multiple zeta values generate the entire space of multiple zeta values, provides an algorithm to express these values in terms of symmetric ones and their products, and presents new results on symmetric and finite multiple zeta values of depth three.

Original authors: Katsumi Kina

Published 2026-07-08

📖 4 min read🧠 Deep dive

CC BY 4.0

Original authors: Katsumi Kina

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are trying to organize a massive, chaotic library of numbers called Multiple Zeta Values (MZVs). These numbers are like rare, complex artifacts that mathematicians study to understand the deep structure of numbers. For a long time, these artifacts were scattered in a huge room, and nobody knew if a smaller, more organized collection could actually represent everything in that room.

This paper, written by Katsumi Kina, is like a new, simpler instruction manual for reorganizing that library. Here is the breakdown of what the author does, using everyday analogies:

1. The Big Problem: The "Symmetric" Shortcut

Mathematicians Kaneko and Zagier introduced a special type of number called a Symmetric Multiple Zeta Value (SMZV). Think of these as "mirror images" of the original complex numbers. They are special because they have a built-in symmetry (like a reflection in a mirror) that makes them easier to handle.

There was a big question: Can these "mirror" numbers (SMZVs) be used to build every single original number in the library?

The Old Proof: A mathematician named Yasuda proved this was true, but his proof was like a complex, winding maze. It required a very specific, hard-to-find key (a special set of numbers called $\zeta^\natural$ ) to unlock the door.
The New Proof: Kina says, "I found a shorter path." Instead of using Yasuda's special key, Kina uses a different tool called multitangent functions (think of these as a special kind of "glue" that holds the numbers together). This new path is more direct and easier to follow.

2. The Algorithm: The "Translation Machine"

Once Kina proved that the mirror numbers can represent everything, he didn't just stop there. He built a translation machine (an algorithm).

Imagine you have a sentence written in a very difficult, ancient language (a complex MZV). Kina's machine takes that sentence and translates it into a mix of:

Mirror Sentences (SMZVs): The simpler, symmetric versions.
Product Sentences: Simple combinations of two smaller numbers multiplied together.

How the machine works (The Recipe):

Step 1: It looks at the "depth" of the number (how many layers it has).
Step 2: It uses a specific set of rules (like a recipe) to break the complex number down.
Step 3: It reassembles the pieces using the mirror numbers and simple products.

Example:
If you have a complex number like $\zeta(2, 3)$ , the machine tells you exactly how to write it as a sum of mirror numbers like $\zeta_S(2, 3)$ and $\zeta_S(3, 2)$ , plus a few simple products. It's like taking a complicated Lego castle and showing you exactly which standard bricks and mirrored bricks you need to build it again.

3. The "Depth 3" Mystery

The paper also looks at numbers with three layers (depth 3).

The Odd Case: If the total "weight" of the number is odd, the structure is already well understood. It's like a simple stack of blocks.
The Even Case: If the weight is even, it's more like a tangled knot. Kina shows that even these tangled knots can be untangled and described using the mirror numbers and simple products. He provides specific formulas for how these "depth 3" knots relate to each other.

4. The Connection to "Finite" Numbers

There is another world of numbers called Finite Multiple Zeta Values (FMZVs). These are like the "shadow" versions of the real numbers, existing in a different mathematical universe (involving prime numbers).

The Big Conjecture: Mathematicians believe that the "Mirror" numbers (SMZVs) and the "Shadow" numbers (FMZVs) are actually two sides of the same coin. If you understand one, you understand the other.
Kina's Contribution: By showing how to express the real numbers using the mirror numbers, he strengthens the evidence for this "two sides of the same coin" theory. He also checks if the rules that work for the mirror numbers also work for the shadow numbers, and finds that they do.

Summary

In simple terms, this paper does three main things:

Simplifies the Proof: It proves that a special, symmetric set of numbers is powerful enough to describe all complex multiple zeta values, using a clearer, shorter argument than before.
Builds a Tool: It creates a step-by-step recipe (algorithm) to turn any complex number into a combination of these symmetric numbers and simple products.
Checks the Rules: It verifies that these rules hold true even for numbers with three layers and confirms that the same logic applies to the "shadow" versions of these numbers.

The paper doesn't claim to solve real-world engineering problems or medical issues; it stays strictly within the realm of pure number theory, acting as a cleaner, more efficient map for navigating a very abstract mathematical landscape.

Technical Summary: An Explicit Expression for MZVs in Terms of Symmetric MZVs

Problem Statement
The paper addresses the structural relationship between Multiple Zeta Values (MZVs) and Symmetric Multiple Zeta Values (SMZVs). Specifically, it investigates the claim that the space of MZVs of a given weight $k$ , denoted $Z_k$ , is generated by SMZVs. This is grounded in the Kaneko–Zagier conjecture, which posits an isomorphism between the space of Finite Multiple Zeta Values (FMZVs) and the space of MZVs modulo $\zeta(2)$ . A critical component of this conjecture is that SMZVs generate the entire space of MZVs (modulo $\zeta(2)Z$ ). While Seidai Yasuda previously proved that $Z_k = Z_{S, \ast, k}$ (where $Z_{S, \ast, k}$ is the span of $\ast$ -symmetric MZVs), the original proof relied on specific auxiliary real numbers ( $\zeta^\natural, F$ ) and extended double shuffle relations. This paper seeks to provide a simpler proof and an explicit algorithmic method for expressing arbitrary MZVs in terms of SMZVs and products of MZVs.

Methodology
The author, Katsumi Kina, employs generating functions and properties of multitangent functions to derive the results. The core methodology involves:

Generating Functions: The paper utilizes generating functions for X-regularized MZVs ( $Z(X_1, \dots, X_r)$ ), their duals ( $Z^\vee$ ), and symmetric variants ( $Z_S$ ).
Multitangent Functions: The proof leverages the expansion of multitangent functions $\Psi_k(z)$ in terms of coefficients $\zeta_a(k)$ , which are related to SMZVs via duality relations (Theorem 2.3).
Duality and Shuffle Relations: Unlike Yasuda's proof, which relied primarily on extended double shuffle relations (EDSR), this approach explicitly incorporates duality relations. The author establishes a connection between the generating function of the dual index and the coefficients of the multitangent expansion.
Algebraic Manipulation: By differentiating generating functions and comparing coefficients modulo SMZVs and products of MZVs, the author derives recurrence relations. Specifically, the paper proves that the partial derivatives of the generating function $Z$ vanish under these modular conditions, implying that any MZV can be reduced to a linear combination of SMZVs and products.

Key Contributions and Results

Simplified Proof of Generation: The paper provides a new, simpler proof of Theorem 1.3 (Yasuda), establishing that $Z_k = Z_{S, \ast, k}$ for any integer $k \ge 0$ . The proof demonstrates that any MZV can be expressed as a $\mathbb{Q}$ -linear combination of X-symmetric MZVs and products of MZVs.
Explicit Algorithm: Based on the proof, the author presents an algorithm to express MZVs in terms of SMZVs. The algorithm involves:
1. Computing specific generating function identities without taking modulo.
2. Expanding these as power series to compare coefficients.
3. Iteratively rewriting X-regularized MZVs and their products until the expression contains only SMZVs and products of SMZVs.
4. Utilizing the harmonic product relation in $Z/\zeta(2)Z$ to finalize the expression.
Explicit Formulas for Low Depths:
- Depth 1: The paper recovers known results relating depth-1 SMZVs to single MZVs (e.g., $\zeta_S(k_1, k_2)$ in terms of $Z_S(k_1+k_2)$ ).
- Depth 2: The author derives explicit formulas for depth-2 MZVs ( $Z_S(k_1, k_2)$ where $k_1+k_2$ is even) in terms of depth-3 SMZVs and products of depth-1 SMZVs (Theorem 4.3).
Structure of Triple SMZVs and FMZVs: The paper investigates the vector space spanned by triple SMZVs and FMZVs ( $T Z^F_k$ $T Z_{k}^{F}$ ).
- It confirms that for odd weights, the space is generated by a single element.
- For even weights, it proves that the space is spanned by elements of the form $\zeta_F(1, r, k-r-1)$ .
- It establishes relations between products of depth-1 values and triple values involving Bernoulli numbers (Propositions 5.4 and 5.5).
Definition of $Z_A(k_1, k_2)$ : Motivated by Theorem 4.3, the paper proposes a definition for $Z_A(k_1, k_2)$ (an element in the FMZV space) that mirrors the structure of the derived expression for $Z_S(k_1, k_2)$ , facilitating a direct comparison between the symmetric and finite cases.

Significance and Claims
The paper claims to offer a more direct and computationally explicit approach to the generation of MZVs by SMZVs compared to previous work. By utilizing duality relations alongside shuffle relations, the author constructs an algorithm that yields explicit coefficients for these expressions. The author notes that while the general algorithm is computationally complex, it is feasible for implementation.

The significance of the work lies in:

Algorithmic Clarity: Providing a step-by-step method to convert MZVs into SMZVs, which is essential for verifying the Kaneko–Zagier conjecture in specific cases.
Structural Insight: Clarifying the generating sets for spaces of triple SMZVs and FMZVs, particularly for even weights.
Unification: The results reinforce the conjectured isomorphism between the spaces of SMZVs and FMZVs by demonstrating parallel structural properties (such as the generation by specific triple indices) in both settings.

The paper remains modest regarding the general case, acknowledging that while the algorithm is computable, obtaining a closed-form explicit formula for arbitrary depth is difficult. It concludes by noting that the equivalence of two different definitions of $Z_A(r, s)$ is only partially resolved in the appendix, leaving that specific equivalence as an open or partial result.

1. The Big Problem: The "Symmetric" Shortcut

2. The Algorithm: The "Translation Machine"

3. The "Depth 3" Mystery

4. The Connection to "Finite" Numbers

Summary

More like this