We give a finite analogue of the well-known formula $\mathrm{Li}_{\underbrace{1, \ldots, 1}_n}(t) = \frac{1}{n!}\mathrm{Li}_1(t)^n$ of multiple polylogarithms for any positive integer n by using the shuffle relation of finite multiple polylogarithms of Ono-Yamamoto type. Unlike the usual case, the terms regarded as error terms appear in this formula. As a corollary, we obtain $"t \leftrightarrow 1 - t"$ type new functional equations of finite multiple polylogarithms of Ono-Yamamoto type and Sakugawa-Seki type.
We present new functional equations in weights 5, 6 and 7 and use them for explicit depth reduction of multiple polylogarithms. These identities generalize the crucial identity $\mathbf{Q}_4$ from the recent work of Goncharov and Rudenko that was used in their proof of the weight 4 case of Zagier's Polylogarithm Conjecture.
Recently, several people study finite multiple zeta values (FMZVs) and finite polylogarithms (FPs). In this paper, we introduce finite multiple polylogarithms (FMPs), which are natural generalizations of FMZVs and FPs, and we establish functional equations of FMPs. As applications of these functional equations, we calculate special values of FMPs containing generalizations of congruences obtained by Meštrović, Z. W. Sun, Z. W. Sun-L. L. Zhao, and Tauraso-J. Zhao. We show supercongruences for certain generalized Bernoulli numbers and the Bernoulli numbers as an appendix.
We prove the $\boldsymbol{p}$-adic duality theorem for the finite star-multiple polylogarithms. That is a generalization of Hoffman's duality theorem for the finite multiple zeta-star values.
In this paper, we define finite Carlitz multiple polylogarithms and show that every finite multiple zeta value over the rational function field $\mathbb{F}_{q}(θ)$ is an $\mathbb{F}_{q}(θ)$-linear combination of finite Carlitz multiple polylogarithms at integral points. It is completely compatible with the formula for Thakur MZV's established in [C14].
We derive new functional equations for Nielsen polylogarithms. We show that, when viewed modulo $\mathrm{Li}_5$ and products of lower weight functions, the weight $5$ Nielsen polylogarithm $S_{3,2}$ satisfies the dilogarithm five-term relation. We also give some functional equations and evaluations for Nielsen polylogarithms in weights up to 8, and general families of identities in higher weight.
We define subvarieties of $\mathcal{M}_{0,n}$ equipped with algebraic functions that are solutions to the generic double shuffle equations satisfied by multiple polylogarithms on $\mathcal{M}_{0,n}$.
In this paper we consider iterated integrals of multiple polylogarithm functions and prove some explicit relations of multiple polylogarithm functions. Then we apply the relations obtained to find numerous formulas of alternating multiple zeta values in terms of unit-exponent alternating multiple zeta values. In particular, we prove several conjectures given by Borwein-Bradley-Broadhurst \cite{BBBL1997}, and give some general results. Furthermore, we discuss Kaneko-Yamamoto multiple zeta values, and establish some relations between it and multiple zeta values. Finally, we establish a linear re…
It is known that multiple zeta values can be written in terms of certain iterated log-sine integrals. Conversely, we evaluate iterated log-sine integrals in terms of multiple polylogarithms and multiple zeta values in this paper. We also suggest some conjectures on multiple zeta values, multiple Clausen values, multiple Glaisher values and iterated log-sine integrals.
In this article, we express solutions of the Gauss hypergeometric equation as a series of the multiple polylogarithms by using iterated integral. This representation is the most simple case of a semisimple representation of solutions of the formal KZ equation. Moreover, combining this representation with the connection relations of solutions of the Gauss hypergeometric equation, we obtain various relations of the multiple polylogarithms of one variable and the multiple zeta values.
We introduce the multivariable connected sum which is a generalization of Seki-Yamamoto's connected sum and prove the fundamental identity for these sums by series manipulation. This identity yields explicit procedures for evaluating multivariable connected sums and for giving relations among special values of multiple polylogarithms. In particular, our class of relations contains Ohno's relations for multiple polylogarithms.
The Mahler measures of certain polynomials of up to five variables are given in terms of multiple polylogarithms. Each formula is homogeneous and its weight coincides with the number of variables of the corresponding polynomial.
We consider multiple polylogarithms in a single variable at non-positive integers. Defining a connected graded Hopf algebra, we apply Connes' and Kreimer's algebraic Birkhoff decomposition to renormalize multiple polylogarithms at non-positive integer arguments, which satisfy the shuffle relation. The q-analogue of this result is as well presented, and compared to the classical case.
In this paper, we define a finite sum analogue of multiple polylogarithms inspired by the work of Kaneko and Zaiger and prove that they satisfy a certain analogue of the shuffle relation. Our result is obtained by using a certain partial fraction decomposition due to Komori-Matsumoto-Tsumura. As a corollary, we give an algebraic interpretation of our shuffle product.
The duality relation of one-variable multiple polylogarithms was proved by Hirose, Iwaki, Sato and Tasaka by means of iterated integrals. In this paper, we give a new proof using the method of connected sums, which was recently invented by Seki and the author. Interestingly, the connected sum involves the hypergeometric function in its connector. Moreover, we introduce two kinds of $q$-analogues of the one-variable multiple polylogarithms and generalize the duality to them.
In this paper we show that the iterated integrals on products of one variable multiple polylogarithms from 0 to 1 are actually multiple zeta values if they are convergent. In the divergent case, we define regularized iterated integrals from 0 to 1. By the same method, we show that the regularized iterated integrals are also multiple zeta values. As an application, we give new series representations for multiple zeta values and calculate some interesting examples of iterated integrals.
Mordell-Tornheim multiple zeta-functions, their integral analogues, and relations among multiple polylogarithms
Graduate School of Mathematics, Nagoya University（名古屋大学大学院数学研究科）；Center for General Education, Aichi Institute of Technology（爱知工业大学通识教育中心）；Division of Mathematics, Chiba Institute of Technology（千叶工业大学数学系）；Harish-Chandra Research Institute（哈里什-钱德拉研究所）
Numerous examples of functional relations for multiple polylogarithms are known. For elliptic polylogarithms, however, tools for the exploration of functional relations are available, but only very few relations are identified. Starting from an approach of Zagier and Gangl, which in turn is based on considerations about an elliptic version of the Bloch group, we explore functional relations between elliptic polylogarithms and link them to the relations which can be derived using the elliptic symbol formalism. The elliptic symbol formalism in turn allows for an alternative proof of the validity…
We generalize the definition of overconvergent $p$-adic multiple polylogarithms and of $p$-adic cyclotomic multiple zeta values and we prove a bound on their norm. A byproduct of the proof is a characterization of these objects in terms of certain regularized $p$-adic iterated integrals. The generalization of the definition consists in replacing the underlying Frobenius structure by its iterations. The bound on the norms of overconvergent $p$-adic multiple polylogarithms that we obtain is a prerequisite for our subsequent papers on $p$-adic cyclotomic multiple zeta values.
We study the de Rham fundamental group of the configuration space $E^{(n)}$ of $n+1$ marked points on an elliptic curve $E$, and define multiple elliptic polylogarithms. These are multivalued functions on $E^{(n)}$ with unipotent monodromy, and are constructed by a general averaging procedure. We show that all iterated integrals on $E^{(n)}$, and in particular the periods of the unipotent fundamental group of the punctured curve $E \backslash \{0\}$, can be expressed in terms of these functions.
The goal of the paper is to give a systematic way to numerically evaluate the generating function of a periodic multiple polylogarithm using a Chen-Fliess series with a rational generating series. The idea is to realize the corresponding Chen-Fliess series as a bilinear dynamical system. A standard form for such a realization is given. The method is also generalized to the case where the multiple polylogarithm has non-periodic components. This allows one, for instance, to numerically validate the Hoffman conjecture. Finally, a setting in terms of dendriform algebras is provided.
Our aim of this paper is to propose a method of analytic continuation of Carlitz multiple (star) polylogarithms to the whole space by using Artin-Schreier equation and present a treatment of their branches by introducing the notion of monodromy modules. As applications of this method, we obtain (1) a method of continuation of the logarithms of higher tensor powers of Carlitz module, (2) the orthogonal property (Chang-Mishiba functional relations), (3) a branch independency of the Eulerian property.
In this paper, we give a simultaneous vanishing principle for the $v$-adic Carlitz multiple polylogarithms (abbreviated as CMPLs) at algebraic points, where $v$ is a finite place of the rational function field over a finite field. This principle establishes the fact that the $v$-adic vanishing of CMPLs at algebraic points is equivalent to its $\infty$-adic counterpart being Eulerian. This reveals a nontrivial connection between the $v$-adic and $\infty$-adic worlds in positive characteristic.
The Galois action on the pro-$\ell$ étale fundamental groupoid of the projective line minus three points with rational base points gives rise to a non-commutative formal power series in two variables with $\ell$-adic coefficients, called the $\ell$-adic Galois associator. In the present paper, we focus on how Landen's functional equation of trilogarithms and its $\ell$-adic Galois analog can be derived algebraically from the $S_3$-symmetry of the projective line minus three points. Twofold proofs of the functional equation will be presented, one is based on Zagier's tensor criterion devised in…
We generalize the well-known parity theorem for multiple zeta values (MZV) to functional equations of multiple polylogarithms (MPL). This reproves the parity theorem for MZV with an additional integrality statement, and also provides parity theorems for special values of MPL at roots of unity (also known as coloured MZV). We give explicit formulas in depths 2 and 3 and provide a computer program to compute the functional equations.
We develop the theory of multiple polylogarithms from analytic, Hodge and motivic point of view. Define the category of mixed Tate motives over a ring of integers in a number field. Describe explicitly the multiple polylogarithm Hopf algebra.
We prove sum formulas for double polylogarithms of Hurwitz type, that is, involving a shifting parameter $b$ in the denominator. These formulas especially imply well-known sum formulas for double zeta values, and sum formulas for double $L$-values. Further, differentiating in $b$, we obtain a kind of weighted sum formula for double polylogarithms and double $L$-values. We also give sum formulas for partial double zeta values with some congruence conditions. Our proofs of those sum formulas are based on certain functional relations for double polylogarithms of Hurwitz type.
We suggest a definition of cluster polylogarithms on an arbitrary cluster variety and classify them in type $A$. We find functional equations for multiple polylogarithms which generalize equations discovered by Abel, Kummer, and Goncharov to an arbitrary weight. As an application, we prove a part of the Goncharov depth conjecture in weight six.
In this paper we shall define the analytic continuation of the multiple polylogarithms by using Chen's theory of iterated path integrals and compute the monodromy of all multiple logarithms explicitly.
We shall define the q-analogs of multiple zeta functions and multiple polylogarithms in this paper and study their properties, based on the work of Kaneko et al. and Schlesinger, respectively.
It's well known that multiple polylogarithms give rise to good unipotent variations of mixed Hodge-Tate structures. In this paper we shall {\em explicitly} determine these structures related to multiple logarithms and some other multiple polylogarithms of lower weights. The purpose of this explicit construction is to give some important applications: First we study of the limit mixed Hodge-Tate structures and make a conjecture relating the variations of mixed Hodge-Tate structures of multiple logarithms to those of general multiple {\em poly}logarithms. Then following Deligne and Beilinson we …
The relationship between the Ohno relation and multiple polylogarithms are discussed. Using this relationship, the algebraic reduction of the Ohno relation is given.
The special values of multiple polylogarithms, which including multiple zeta values, appear some fields of mathematics and physics. Many kinds of their linear relations are investigated as well as their algebraic relations. From the viewpoint of a connection matrix of Fuchsian equations, we derive two kinds of duality of these values.
We express a general multiple polylogarithm of weight n as an explicit linear combination of multiple polylogarithms of weight n in n-2 variables. We express a general multiple polylogarithm of weight 4 as an explicit linear combination of multiple polylogarithms of type (3,1). We deduce a 4 parameters functional equation expressing a certain linear combination of multiple polylogarithms of type (3,1) as a linear combination of polylogarithms of weight 4.
Our main aim in this paper is to give a foundation of the theory of $p$-adic multiple zeta values. We introduce (one variable) $p$-adic multiple polylogarithms by Coleman's $p$-adic iterated integration theory. We define $p$-adic multiple zeta values to be special values of $p$-adic multiple polylogarithms. We consider the (formal) $p$-adic KZ equation and introduce the $p$-adic Drinfel'd associator by using certain two fundamental solutions of the $p$-adic KZ equation. We show that our $p$-adic multiple polylogarithms appear as coefficients of a certain fundamental solution of the $p$-adic KZ…
Graphical functions are single-valued complex functions which arise from Feynman amplitudes. We study their properties and use their connection to multiple polylogarithms to calculate Feynman periods. For the zig-zag and two more families of phi^4 periods we give exact results modulo products. These periods are proved to be expressible as integer linear combinations of single-valued multiple polylogarithms evaluated at one. For the larger family of 'constructible' graphs we give an algorithm that allows one to calculate their periods by computer algebra. The theory of graphical functions is us…
We describe a solution of the Gauss hypergeometric equation, $F(α,β,γ;z)$ by power series in paramaters $α,β,γ$ whose coefficients are $\Z$ linear combinations of multiple polylogarithms. And using the representation and connection reletions of solutions of the hypergeometric equation, we show some relations of multiple zeta values.
We survey various results and conjectures concerning multiple polylogarithms and the multiple zeta function. Among the results, we announce our resolution of several conjectures on multiple zeta values. We also provide a new integral representation for the general multiple polylogarithm, and develop a q-analogue of the shuffle product.
Let $N$ be a positive integer. In this paper we shall study the special values of multiple polylogarithms at $N$th roots of unity, called multiple polylogarithm values (MPVs) of level $N$. These objects are generalizations of multiple zeta values and alternating Euler sums, which was studied by Euler, and more recently, many mathematicians and theoretical physicists.. Our primary goal in this paper is to investigate the relations among the MPVs of the same weight and level by using the regularized double shuffle relations, regularized distribution relations, lifted versions of such relations f…
In this paper we will give an account of Dan's reduction method for reducing the weight $ n $ multiple logarithm $ I_{1,1,\ldots,1}(x_1, x_2, \ldots, x_n) $ to an explicit sum of lower depth multiple polylogarithms in $ \leq n - 2 $ variables. We provide a detailed explanation of the method Dan outlines, and we fill in the missing proofs for Dan's claims. This establishes the validity of the method itself, and allows us to produce a corrected version of Dan's reduction of $ I_{1,1,1,1} $ to $ I_{3,1} $'s and $ I_4 $'s. We then use the symbol of multiple polylogarithms to answer Dan's question …
Pellarin introduced the deformation of multiple zeta values of Thakur as elements over Tate algebras. In this paper, we relate these values to a certain coordinate of a higher dimensional Drinfeld module over Tate algebras which we will introduce. Moreover, we define multiple polylogarithms in our setting and represent deformation of multiple zeta values as a linear combination of multiple polylogarithms.
We establish a tannakian formalism of $p$-adic multiple polylogarithms and $p$-adic multiple zeta values introduced in our previous paper via a comparison isomorphism between a de Rham fundamental torsor and a rigid fundamental torsor of the projective line minus three points and also discuss its Hodge and etale analogues. As an application we give a way to erase log poles of $p$-adic multiple polylogarithms and introduce overconvergent $p$-adic multiple polylogarithms which might be $p$-adic multiple analogue of Zagier's single-valued complex polylogarithms.
We construct algebraic cycles in Bloch's cubical cycle group which correspond to multiple polylogarithms with generic arguments. Moreover, we construct out of them a Hopf subalgebra in the Bloch-Kriz cycle Hopf algebra. In the process, we are led to other Hopf algebras built from trees and polygons, which are mapped to the latter. We relate the coproducts to the one for Goncharov's motivic multiple polylogarithms and to the Connes-Kreimer coproduct on plane trees and produce the associated Hodge realization for polygons.
In this paper, we give a natural construction of mixed Tate motives whose periods are a class of iterated integrals which include the multiple polylogarithm functions. Given such an iterated integral, we construct two divisors $A$ and $B$ in the moduli spaces $\mathcal{\bar{M}}_{0,n}$ of $n$-pointed stable curves of genus 0, and prove that the cohomology of the pair $(\mathcal{\bar{M}}_{0,n}-A,B-B\cap A)$ is a framed mixed Tate motive whose period is that integral. It generalizes the results of A. Goncharov and Yu. Manin for multiple zeta values. Then we apply our construction to the dilogarit…
