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.
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 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.
The relationship between the Ohno relation and multiple polylogarithms are discussed. Using this relationship, the algebraic reduction of the Ohno relation is given.
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…
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…
The sum formula for multiple zeta values are derived, via the Mellin transform, from the Euler connection formula and the Landen connection formula for polylogarithms. These connection formulas for multiple polylogarithms will be considered in the framework of the theory of the formal Knizhnik-Zamolodchikov equation.
We introduce and study new versions of polylogarithms and a zeta function on a completion of $\mathbb F_q (x)$ at a finite place. The construction is based on the use of the Carlitz differential equations for $\mathbb F_q$-linear functions.
We use visible point vector identities to examine polylogarithms in the neighbourhood of the Riemann zeta function zeroes. New formulas limiting to the trivial zeroes and to the critical line on the zeta function are given. Similar results arise from Euler-Zagier sums given in Bailey, Borwein and Crandall [4] providing new infinite product identities.
This paper investigates a new family of special functions referred to as hypergeometric zeta functions. Derived from the integral representation of the classical Riemann zeta function, hypergeometric zeta functions exhibit many properties analogous to their classical counterpart, including the intimate connection to Bernoulli numbers. These new properties are treated in detail and are used to demonstrate a functional inequality satisfied by second-order hypergeometric zeta functions.
Some zero-free regions were known on the right half of the complex plane in the form of vertical strips for fractional hypergeometric zeta functions. In this paper, we describe and demonstrate zero free regions on the left half of the complex plane for fractional hypergeometric zeta functions. The fractional hypergeometric zeta function of order $a$ has no zeros to the left half of the complex plane except the trivial zeros on the real axis.
With every path on a projective line minus zero, one and infinity there is associated a measure. We are studying a sum of two such measures associated to paths from the tangential point at zero to roots of one. We show that the obtained measure can be defined very elementary. Integrating agaist this measure we get p-adic Hurwitz zeta functions constructed previously by Shiratani.
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.
An unpublished identity of Gosper restates a hypergeometric identity for odd zeta values in terms of an infinite product of matrices. We show that this correspondence runs much deeper, and show that many examples of WZ-accelerated series for zeta values lift to infinite matrix products. We also introduce a new matrix subgroup, the Gosper group, which all of our matrix products fall into.
The hypergeometric zeta function is defined in terms of the zeros of the Kummer function M(a, a + b; z). It is established that this function is an entire function of order 1. The classical factorization theorem of Hadamard gives an expression as an infinite product. This provides linear and quadratic recurrences for the hypergeometric zeta function. A family of associated polynomials is characterized as Appell polynomials and the underlying distribution is given explicitly in terms of the zeros of the associated hypergeometric function. These properties are also given a probabilistic interpre…
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.
The author has found today an error in the denominator of the residue equation (4.5). This unfortunate mistake makes the conclusions and the title of the paper incorrect. The function $Z(s,x)$ is regular at $x=1$ and the multivalued part disappears. The original motivation of the paper was to derive an old (and correct!) result due to the author using a different approach.
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 show that the shuffle algebras for polylogarithms and regularized MZVs in the sense of Ihara, Kaneko and Zagier are both free commutative nonunitary Rota-Baxter algebras with one generator. We apply these results to show that the full sets of shuffle relations of polylogarithms and regularized MZVs are derived by a single series. We also take this approach to study the extended double shuffle relations of MZVs by comparing these shuffle relations with the quasi-shuffle relations of the regularized MZVs in our previous approach of MZVs by renormalization.
We formulate a parametrized uniformly absolutely globally convergent series of $ζ$(s) denoted by Z(s, x). When expressed in closed form, it is given by Z(s, x) = (s -- 1)$ζ$(s) + 1 x Li s z z -- 1 dz, where Li s (x) is the polylogarithm function. As an immediate first application of the new parametrized series, a new expression of $ζ$(s) follows: (s -- 1)$ζ$(s) = -- 1 0 Li s z z -- 1 dz. As a second important application, using the functional equation and exploiting uniform convergence of the series defining Z(s, x), we have for any non-trivial zero s
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 $T$ be the triangle with vertices (1,0), (0,1), (1,1). We study certain integrals over $T$, one of which was computed by Euler. We give expressions for them both as a linear combination of multiple zeta values, and as a polynomial in single zeta values. We obtain asymptotic expansions of the integrals, and of sums of certain multiple zeta values with constant weight. We also give related expressions for Euler's constant. In the final section, we evaluate more general integrals -- one is a Chen (Drinfeld-Kontsevich) iterated integral -- over some polytopes that are higher-dimensional analog…
We study the action of Hecke operators on the set of hypergeometric functions. We show that the spectrum of these operators is the set of powers n^a and that polylogarithms play a dominant role in the study of the corresponding eigenfunctions. As a corollary, we obtain a characterization of completely multiplicative hypergeometric coefficients.
The Riemann zeta function at integer arguments can be written as an infinite sum of certain hypergeometric functions and more generally the same can be done with polylogarithms, for which several zeta functions are a special case. An analytic continuation formula for these hypergeometric functions exists and is used to derive some infinite sums which allow the zeta function at integer arguments n to be written as a weighted infinite sum of hypergeometric functions at n - 1. The form might be considered to be a shift operator for the Riemann zeta function which leads to the curious values ζF(0)…
This is a summary for the authors' article "The formal KZ equation on the moduli space ${\mathcal M}_{0,5}$ and the harmonic product of multiple zeta values" (prerint (2009) arXiv:0910.0718), including a new result on the five term relation for the dilogarithm. This note will appear in the RIMS Kôkyûroku for the conference on "Representation Theory and Combinatorics" held at Hokkaido University from August 25th to 28th, 2009.
This paper studies algebraic and analytic structures associated with the Lerch zeta function, extending the complex variables viewpoint taken in part II. The Lerch transcendent $Φ(s, z, c)$ is obtained from the Lerch zeta function $ζ(s, a, c)$ by the change of variable $z=e^{2 πi a}$. We show that it analytically continues to a maximal domain of holomorphy in three complex variables $(s, z, c)$ as a multivalued function defined over the base manifold ${\bf C} \times P^1({\bf C} \smallsetminus \{0, 1, \infty\}) \times ({\bf C}\smallsetminus {\bf Z})$. and compute the monodromy functions definin…
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.
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.
A formalism is provided to calculate tree amplitudes in open superstring theory for any multiplicity at any order in the inverse string tension. We point out that the underlying world-sheet disk integrals share substantial properties with color-ordered tree amplitudes in Yang-Mills field theories. In particular, we closely relate world-sheet integrands of open-string tree amplitudes to the Kawai-Lewellen-Tye representation of supergravity amplitudes. This correspondence helps to reduce the singular parts of world-sheet disk integrals -including their string corrections- to lower-point results.…
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 establish the triple integral evaluation \[ \int_{1}^{\infty} \int_{0}^{1} \int_{0}^{1} \frac{dz \, dy \, dx}{x(x+y)(x+y+z)} = \frac{5}{24} ζ(3), \] as well as the equivalent polylogarithmic double sum \[ \sum_{k=1}^{\infty} \sum_{j=k}^{\infty} \frac{(-1)^{k-1}}{k^{2}} \, \frac{1}{j \, 2^{j}} = \frac{13}{24} ζ(3). \] This double sum is related to, but less approachable than, similar sums studied by Ramanujan. It is also reminiscent of Euler's formula $ζ(2,1) = ζ(3)$, which is the simplest instance of duality of multiple polylogarithms. We review this duality and apply it to derive a compani…
We study the incomplete Mellin transformation of the fractional part and the related log-sine function when composed by an affine complex map. We evaluate the corresponding integral in two different ways which yields equalities with series in hypergeometric functions on each side. These equalities capture basic analytic properties of the Hurwitz zeta function like meromorphic extension and the functional equation. We give rates of convergence for the involved series. As a special case we find that the exponential rate of convergence for the deformation of the log-sine to the fractional part in…
By using the method of iterated integral representations of series, we establish some explicit relationships between multiple zeta values and Integrals of logarithmic functions. As applications of these relations, we show that multiple zeta values of the form \[ζ( {\bar 1,{\left\{ 1 \right\}_{m - 1}},\bar 1,{\left\{ 1 \right\}_{k - 1}}} ),\ (k,m\in \mathbb{N})\] for $m=1$ or $k=1$, and \[ζ( {\bar 1,{\left\{ 1 \right\}_{m - 1}},p,{\left\{ 1 \right\}_{k - 1}}}),\ (k,m\in\mathbb{N})\] for $p=1$ and $2$, satisfy certain recurrence relations which allow us to write them in terms of zeta values, pol…
Let $\mathbb{F}_q$ be a finite field with $q$ elements, $ψ$ a non-zero element of $\mathbb{F}_q$, and $n$ an integer $\geq 3$ prime to $q$. The aim of this article is to show that the zeta function of the projective variety over $\mathbb{F}_q$ defined by $X_ψ\colon x_1^n+...+x_n^n - n ψx_1... x_n=0$ has, when $n$ is prime and $X_ψ$ is non singular (i.e. when $ψ^n \neq 1$), an explicit decomposition in factors coming from affine varieties of odd dimension $\leq n-4$ which are of hypergeometric type. The method we use consists in counting separately the number of points of $X_ψ$ and of some vari…
We propose hypergeometric constructions of simultaneous approximations to polylogarithms. These approximations suit for computing the values of polylogarithms and satisfy 4-term Apery-like (polynomial) recursions.
With this paper we introduce a new series representation of $ζ(3)$, which is based on the Clausen representation of odd integer zeta values. Although, relatively fast converging series based on the Clausen representation exist for $ζ(3)$, their convergence behavior is very slow compared to BBP-type formulas, and as a consequence they are not used for explicit numerical computations. The reason is found in the fact that the corresponding Clausen function can be calculated analytically for a few rational arguments only, where $x=\frac{1}{6}$ is the smallest one. Using polylogarithmic identities …
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.
The integral $t$-motivic cohomology and the class module of a (rigid analytically trivial) Anderson $t$-motive were introduced by the first author in [Gaz22b]. This paper is devoted to their determination in the particular case of tensor powers of the Carlitz $t$-motive, namely, the function field counterpart $\underline{A}(n)$ of Tate twists $\mathbb{Z}(n)$. We find out that these modules are in relation with fundamental objects of function field arithmetic: integral $t$-motivic cohomology governs linear relations among Carlitz polylogarithms, its torsion is expressed in terms of the denomina…
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 action of the Hecke operators Un on the set of hy- pergeometric functions, as well as on formal power series. We show that the spectrum of these operators on the set of hypergeometric functions is the set n^a with a an integer and n a positive integer, and that the polylogarithms play a dominant role in the study of the eigenfunctions of the Hecke operators Un on the set of hypergeometric functions. As a corollary of our results on simultaneous eigen- functions, we also obtain an apriori unrelated result regarding the behavior of completely multiplicative hypergeometric coefficien…
We introduce a $q$-analog of the multiple harmonic series commonly referred to as multiple zeta values. The multiple $q$-zeta values satisfy a $q$-stuffle multiplication rule analogous to the stuffle multiplication rule arising from the series representation of ordinary multiple zeta values. Additionally, multiple $q$-zeta values can be viewed as special values of the multiple $q$-polylogarithm, which admits a multiple Jackson $q$-integral representation whose limiting case is the Drinfel'd simplex integral for the ordinary multiple polylogarithm when $q=1$. The multiple Jackson $q$-integral r…
We study properties of coefficients of a linear form, originating from a multiple integral. As a corollary, we prove Vasilyev's conjecture, connected with the problem of irrationality of the Riemann zeta function at odd integers.
We give an explicit formula for the shuffle relation in a general double shuffle framework that specializes to double shuffle relations of multiple zeta values and multiple polylogarithms. As an application, we generalize the well-known decomposition formula of Euler that expresses the product of two Riemann zeta values as a sum of double zeta values to a formula that expresses the product of two multiple polylogarithm values as a sum of other multiple polylogarithm values.
The purpose of this article is to give an explicit description, in terms of hypergeometric functions over finite fields, of zeta function of a certain type of smooth hypersurfaces that generalizes Dwork family. The point here is that we count the number of rational points employing both character sums and the theory of weights, which enables us to enlighten the calculation of the zeta function.
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 prove formulas for special values of the Ramanujan tau zeta function. Our formulas show that $L(Δ, k)$ is a period in the sense of Kontsevich and Zagier when $k\ge12$. As an illustration, we reduce $L(Δ, k)$ to explicit integrals of hypergeometric and algebraic functions when $k\in\{12,13,14,15\}$.