arXiv++ Combinatorics

In this note, we extend the definition of multiple harmonic sums and apply their stuffle relations to obtain explicit evaluations of the sums $R_n(p,t)=\sum\nolimits_{m=0}^n m^p H_m^t$, where $H_m$ are harmonic numbers. When $t\le 4$ these sums were first studied by Spieß around 1990 and, more recently, by Jin and Sun. Our key step first is to find an explicit formula of a special type of the extended multiple harmonic sums. This also enables us to provide a general structural result of the sums $R_n(p,t)$ for all $t\ge 0$.

Motivated by a question of Rota, this paper studies the relationship between Rota--Baxter algebras and symmetric related functions. The starting point is the fact that the space of quasi-symmetric functions is spanned by monomial quasi-symmetric functions which are indexed by compositions. When composition is replaced by left weak composition (LWC), we obtain the concept of LWC monomial quasi-symmetric functions and the resulting space of LWC quasi-symmetric functions. In line with the question of Rota, the latter is shown to be isomorphic to the free commutative nonunitary Rota--Baxter algebra on one generator. The combinatorial interpretation of quasi-symmetric functions by $P$-partitions from compositions is extended to the context of left weak compositions, leading to the concept of LWC fundamental quasi-symmetric functions. The transformation formulas for LWC monomial and LWC fundamental quasi-symmetric functions are obtained, generalizing the corresponding results for quasi-symmetric functions. Extending the close relationship between quasi-symmetric functions and multiple zeta values, weighted multiple zeta values and a $q$-analog of multiple zeta values are investigated and a decomposition formula is established.

In this paper we provide an algebraic derivation of the explicit Witten volume formulas for a few semi-simple Lie algebras by combining a combinatorial method with the ideas used by Gunnells and Sczech in computation of higher-dimensional Dedekind sums.

In this short note, we provide an explicit formula to compute every colored double Tornheim's series by using double polylogarithm values at roots of unity. When the colors are given by $\pm 1$ our formula is different from that of Tsumura [On alternating analogues of Tornheim's double series II, Ramanujan J. 18 (2009), 81-90] even though numerical data confirm both are correct in almost all the cases. This agreement can also be checked rigorously by using regularized double shuffle relations of the alternating double zeta values in weights less than eight.

In this paper we shall prove that every Witten multiple zeta value of weight w>3 attached to sl(4) at nonnegative integer arguments is a finite rational linear combinations of MZVs of the weight w and the depths three or less, except for the nine irregular cases where the Riemann zeta value zeta(w-2) and the double zeta values of weight w-1 and depth <3 are also needed.

In this note we shall study the Witten multiple zeta function associated to the Lie algebra so(5) defined by Matsumoto. Our main result shows that its special values at nonnegative integers are always expressible by alternating Euler sums. More precisely, every such special value of weight w>2 is a finite rational linear combination of alternating Euler sums of weight w and depth at most two, except when the only nonzero argument is one of the two last variables in which case $ζ(w-1)$ is needed.

In this short note we will provide a new and shorter proof of the following exotic shuffle relation of multiple zeta values: $$ζ(\{2\}^m \sha\{3,1\}^n)={2n+m\choose m} \frac{π^{4n+2m}}{(2n+1)\cdot (4n+2m+1)!}.$$ This was proved by Zagier when n=0, by Broadhurst when $m=0$, and by Borwein, Bradley, and Broadhurst when m=1. In general this was proved by Bowman and Bradley in \emph{The algebra and combinatorics of shuffles and multiple zeta values}, J. of Combinatorial Theory, Series A, Vol. \textbf{97} (1)(2002), 43--63. Our idea in the general case is to use the method of Borwein et al. to reduce the above general relation to some families of combinatorial identities which can be verified by WZ-method.

\medskip\noindent\textbf{Résumé.} Soit $l$ un entier et $\ors=(s_1, \dots, s_l)$ une séquence d'entiers positifs. Dans ce document, nous étudierons les propriétés arithmétique de sommes harmoniques multiples $H(\ors; n)$, qui est le $n$-ème somme partielle de la valeur de la série multiple zeta $ζ(\ors)$. On conjecture que pour tout $\ors$ et de tous les premiers $p$, il n'y a que de nombreux finitely $p$-partie intégrante sommes $H(\ors,n)$. Ceci généralise une conjecture de Eswarathasan et Levine et Boyd pour la série harmonique. Nous fournissons beaucoup d'éléments de preuve pour cette conjecture générale ainsi que certaines heuristiques argument soutenir. Ce document fait suite à \emph{Wolstenholme Type Theorem for multiple harmonic sums}, Intl.\ J.\ of Number Theory \textbf{4}(1) (2008) 73-106.