arXiv++ Combinatorics

This paper is devoted to proving an infinite sequence of relations for rooted tree maps. On the way, we also give a basis for the space of rooted tree maps.

Recently, inspired by the Connes-Kreimer Hopf algebra of rooted trees, the second named author introduced rooted tree maps as a family of linear maps on the noncommutative polynomial algebra in two letters. These give a class of relations among multiple zeta values, which are known to be a subclass of the so-called linear part of the Kawashima relations. In this paper we show the opposite implication, that is the linear part of the Kawashima relations is implied by the relations coming from rooted tree maps.

Rooted tree maps assign to an element of the Connes-Kreimer Hopf algebra of rooted trees a linear map on the noncommutative polynomial algebra in two letters. Evaluated at any admissible word these maps induce linear relations between multiple zeta values. In this note we show that the derivation relations for multiple zeta values are contained in this class of linear relations.

Based on Hopf algebra of rooted trees introduced by Connes and Kreimer, we construct a class of linear maps on noncommutative polynomial algebra in two indeterminates, namely rooted tree maps. We also prove that their maps induce a class of relations among multiple zeta values.

The multiple zeta values are generalizations of the values of the Riemann zeta function at positive integers. They are known to satisfy a number of relations, among which are the cyclic sum formula. The cyclic sum formula can be stratified via linear operators defined by the second and third authors. We give the number of relations belonging to each stratum by combinatorial arguments.

The Bowman-Bradley theorem asserts that the multiple zeta values at the sequences obtained by inserting a fixed number of twos between 3,1,...,3,1 add up to a rational multiple of a power of pi. We establish its counterpart for multiple zeta-star values by showing an identity in a non-commutative polynomial algebra introduced by Hoffman.