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.
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.
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…
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)…
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.
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 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…
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\}$.
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.
We give a new proof of a theorem of Zudilin that equates a very-well-poised hypergeometric series and a particular multiple integral. This integral generalizes integrals of Vasilenko and Vasilyev which were proposed as tools in the study of the arithmetic behaviour of values of the Riemann zeta function at integers. Our proof is based on limiting cases of a basic hypergeometric identity of Andrews.
A new multiple-integral representation of a general family of very-well-poised hypergeometric series is proved. Inspite of an analytic character of the result, it is motivated by the recent arithmetic progress for the values of the Riemann zeta function at odd integers. The multiple integrals are of Euler-type and can be viewed as a natural generalization of Beukers' integrals for $ζ(2)$ and $ζ(3)$.
A general hypergeometric construction of linear forms in (odd) zeta values is presented. The construction allows to recover the records of Rhin and Viola for the irrationality measures of $ζ(2)$ and $ζ(3)$, as well as to explain Rivoal's "infinitely-many" result (math.NT/0008051) and to prove that at least one of the four numbers $ζ(5)$, $ζ(7)$, $ζ(9)$, and $ζ(11)$ is irrational.
In his work studying the Zeta functions of families of hypersurfaces, Dwork came upon a one-parameter family of hypersurfaces (now known as \emph{the} Dwork family). These examples were not only useful to Dwork in his study of his deformation theory for computing Zeta functions of families, but they have also proven to be extremely useful to physicists working in mirror symmetry. A startling result is that these families are very closely linked to hypergeometric functions. This phenomenon was carefully studied by Dwork and Candelas, de la Ossa, and Rodríguez-Villegas in a few special cases. Dw…
In this note, by using several ideas of other researchers, we derive several relations among multiple zeta-star values from the hypergeometric identities of C. Krattenthaler and T. Rivoal.
Using some transformation formulas of the generalized hypergeometric series $\,_3F_2$, we give another proof of D. Zagier's evaluation formula of the multiple zeta values $ζ(2,...,2,3,2,...,2)$.
In this paper, the extended double shuffle relations for interpolated multiple zeta values are established. As an application, Hoffman's relations for interpolated multiple zeta values are proved. Furthermore, a generating function for sums of interpolated multiple zeta values of fixed weight, depth and height is represented by hypergeometric functions, and we discuss some special cases.
Recent results of Zlobin and Cresson-Fischler-Rivoal allow one to decompose any suitable $p$-uple series of hypergeometric type into a linear combination (over the rationals) of multiple zeta values of depth at most $p$; in some cases, only the multiple zeta values with 2's and 3's are involved (as in Hoffman's conjecture). In this text, we study the depth $p$ part of this linear combination, namely the contribution of the multiple zeta values of depth exactly $p$. We prove that it satisfies some symmetry property as soon as the $p$-uple series does, and make some conjectures on the depth $p-1…
In 1914, Hardy proved that infinitely many non-trivial zeros of the Riemann zeta function lie on the critical line using the transformation formula of the Jacobi theta function. Recently the first author obtained an integral representation involving the Riemann $Ξ$-function and the confluent hypergeometric function linked to the general theta transformation. Using this result, we show that a series consisting of bounded vertical shifts of a product of the Riemann $Ξ$-function and the real part of a confluent hypergeometric function has infinitely many zeros on the critical line, thereby genera…
In this paper, we investigate the relationships among hypergeometric series, truncated hypergeometric series, and Gaussian hypergeometric functions through some families of `hypergeometric' algebraic varieties that are higher dimensional analogues of Legendre curves.
In this article, we give a proof of the link between the zeta function of two families of hypergeometric curves and the zeta function of a family of quintics that was observed numerically by Candelas, de la Ossa, and Rodriguez Villegas. The method we use is based on formulas of Koblitz and various Gauss sums identities; it does not give any geometric information on the link.
Interpolated multiple $q$-zeta values are deformation of multiple $q$-zeta values with one parameter, $t$, and restore classical multiple zeta values as $t = 0$ and $q \to 1$. In this paper, we discuss generating functions for sum of interpolated multiple $q$-zeta values with fixed weight, depth and $i$-height. The functions are systematically expressed in terms of the basic hypergeometric functions. Compared with the result of Ohno and Zagier, our result includes three generalizations: general height, $q$-deformation and $t$-interpolation. As an application, we prove some expected relations f…
In this paper, we give an elementary account into Zagier's formula for multiple zeta values involving Hoffman elements. Our approach allows us to obtain direct proof in a special case via rational zeta series involving the coefficient $ζ(2n)$. This formula plays an important role in proving Hoffman's conjecture which asserts that every multiple zeta value of weight $k$ can be expressed as a $\mathbb{Q}$-linear combinations of multiple zeta values of the same weight involving $2$'s and $3$'s. Also, using a similar hypergeometric argument via rational zeta series, we produce a new Zagier-type fo…
We initiate the study of spectral zeta functions $ζ_{X}$ for finite and infinite graphs $X$, instead of the Ihara zeta function, with a perspective towards zeta functions from number theory and connections to hypergeometric functions. The Riemann hypothesis is shown to be equivalent to an approximate functional equation of graph zeta functions. The latter holds at all points where Riemann's zeta function $ζ(s)$ is non-zero. This connection arises via a detailed study of the asymptotics of the spectral zeta functions of finite torus graphs in the critcal strip and estimates on the real part of …
We define a function which extends Gaussian hypergeometric series to the $p$-adic setting. This new function allows results involving Gaussian hypergeometric series to be extended to a wider class of primes. We demonstrate this by providing various congruences between the function and truncated classical hypergeometric series. These congruences provide a framework for proving the supercongruence conjectures of Rodriguez-Villegas.
We give a new method to prove in a uniform and easy way various transformation formulas for Gauss hypergeometric functions. The key is Jacobi's canonical form of the hypergeometric differential equation. Analogy for $q$-hypergeometric functions is also studied.
In this work we present an explicit relation between the number of points on a family of algebraic curves over $\F_{q}$ and sums of values of certain hypergeometric functions over $\F_{q}$. Moreover, we show that these hypergeometric functions can be explicitly related to the roots of the zeta function of the curve over $\F_{q}$ in some particular cases. A general conjecture relating these last two is presented and advances toward its proof are shown in the last section.
The non-commutative harmonic oscillator is a $2\times2$-system of harmonic oscillators with a non-trivial correlation. We write down explicitly the special value at $s=2$ of the spectral zeta function of the non-commutative harmonic oscillator in terms of the complete elliptic integral of the first kind, which is a special case of a hypergeometric function.
Some rapidly convergent formulae for special values of the Riemann zeta function are given. We obtain a generating function formula for zeta(4n+3) which generalizes Apery's series for zeta(3), and appears to give the best possible series relations of this type, at least for n<12. The formula reduces to a finite but apparently non-trivial combinatorial identity. The identity is equivalent to an interesting new integral evaluation for the central binomial coefficient. We outline a new technique for transforming and summing certain infinite series. We also derive a beautiful formula which provide…
In this article we find finite field analogues of certain product formulas satisfied by the classical hypergeometric series. We express product of two ${_2}F_1$-Gaussian hypergeometric series as ${_4}F_3$- and ${_3}F_2$-Gaussian hypergeometric series. We use properties of Gauss and Jacobi sums and our earlier works on finite field Appell series to deduce these product formulas satisfied by the Gaussian hypergeometric series. We then use these transformations to evaluate explicitly some special values of ${_4}F_3$- and ${_3}F_2$-Gaussian hypergeometric series. By counting points on CM elliptic …
We identify the $p$-adic unit roots of the zeta function of a projective hypersurface over a finite field of characteristic $p$ as the eigenvalues of a product of special values of a certain matrix of $p$-adic series. That matrix is a product $F(Λ^p)^{-1}F(Λ)$, where the entries in the matrix $F(Λ)$ are $A$-hypergeometric series with integral coefficients and $F(Λ)$ is independent of $p$.
In this paper we explore special values of Gaussian hypergeometric functions in terms of products of Euler $Γ$-functions and exponential functions of linear functions of the hypergeometric parameters. They include some classical evaluations, but the main inspiration is from the contiguity method recently applied by Akihito Ebisu.
This monograph is intended to be considered as my habilitation (D.Sc.) thesis; because of that and as everything has already appeared in English, it is performed exclusively in Russian. The monograph comprises a detailed introduction and seven chapters that represent part of my work influenced by Apéry's proof from 1978 of the irrationality of $ζ(2)$ and $ζ(3)$, the values of Riemann's zeta function. Chapter 1 is about "at least one of the four numbers $ζ(5)$, $ζ(7)$, $ζ(9)$ and $ζ(11)$ is irrational" (based in part on arXiv:math.NT/0206176). Chapter 2 explains a connection between the general…
We study the hypergeometric functions associated to five one-parameter deformations of Delsarte K3 quartic hypersurfaces in projective space. We compute all of their Picard--Fuchs differential equations; we count points using Gauss sums and rewrite this in terms of finite field hypergeometric sums; then we match up each differential equation to a factor of the zeta function, and we write this in terms of global L-functions. This computation gives a complete, explicit description of the motives for these pencils in terms of hypergeometric motives.
In this paper we refine Ball-Rivoal's theorem by proving that for any odd integer $a$ sufficiently large in terms of $ε>0$, there exist $[ \frac{(1-ε)\log a}{1+\log 2}]$ odd integers $s$ between 3 and $a$, with distance at least $a^ε$ from one another, at which Riemann zeta function takes $\Q$-linearly independent values. As a consequence, if there are very few integers $s$ such that $ζ(s)$ is irrational, then they are rather evenly distributed. The proof involves series of hypergeometric type estimated by the saddle point method, and the generalization to vectors of Nesterenko's linear indepe…
This paper discusses the simplest examples of spectral zeta functions, especially those associated with graphs, a subject which has not been much studied. The analogy and the similar structure of these functions, such as their parallel definition in terms of the heat kernel and their functional equations, are emphasized. Another theme is to point out various contexts in which these non-classical zeta functions appear. This includes Eisenstein series, the Langlands program, Verlinde formulas, Riemann hypotheses, Catalan numbers, Dedekind sums, and hypergeometric functions. Several open-ended pr…
Let $λ\in \mathbb{Q}\setminus \{0, -1\}$ and $l \geq 2$. Denote by $C_{l,λ}$ the nonsingular projective algebraic curve over $\mathbb{Q}$ with affine equation given by $$y^l=(x-1)(x^2+λ).$$ In this paper we give a relation between the number of points on $C_{l, λ}$ over a finite field and Gaussian hypergeometric series. We also give an alternate proof of a result of McCarthy (2010). We find some special values of ${_{3}}F_2$ and ${_{2}}F_1$ Gaussian hypergeometric series. Finally we evaluate the value of ${_{3}}F_2(4)$ which extends a result of Ono (1998).
Sorokin gave in 1996 a new proof that pi is transcendental. It is based on a simultaneous Padé approximation problem involving certain multiple polylogarithms, which evaluated at the point 1 are multiple zeta values equal to powers of pi. In this paper we construct a Padé approximation problem of the same flavour, and prove that it has a unique solution up to proportionality. At the point 1, this provides a rational linear combination of 1 and multiple zeta values in an extended sense that turn out to be values of the Riemann zeta function at odd integers. As an application, we obtain a new pr…
We provide formulas for traces of p-th Hecke operators in level 1 in terms of values of finite field 2F1-hypergeometric functions, extending previous work of the author to all odd primes p, instead of only those p=1 (mod 12). We first give a general level 1 trace formula in terms of the trace of Frobenius on a family of elliptic curves, and then we draw on recent work of Lennon to produce level 1 trace formulas in terms of hypergeometric functions for all primes p >3.
We present here a formula for expressing the trace of the Frobenius endomorphism of an elliptic curve $E$ over $\mathbb{F}_q$ satisfying $j(E)\neq 0,1728$ and $q\equiv 1 \pmod{12}$ in terms of special values of Gaussian hypergeometric series. This paper uses methods introduced in Fuselier's work for one parameter families of curves to express the trace of Frobenius of $E$ as a function of its $j$-invariant and discriminant instead of a parameter, which are more intrinsic characteristics of the curve.
In this small note, we provide an elementary proof of the fact that infinitely many odd zeta values are irrational. For the first time, this celebrated theorem been proven by Rivoal and Ball--Rivoal. The original proof uses highly non-elementary methods like the saddle-point method and Nesterenko's linear independence criterion. Recently, Zudilin has re-proven a slightly weaker form of his important result that at least one of the odd zeta values $ζ(5),ζ(7),ζ(9)$ and $ζ(11)$ is irrational, by elementary means. His new main ingredient are certain 'twists by half' of hypergeometric series. Gener…
We prove explicit formulas for certain first and second moment sums of families of Gaussian hypergeometric functions $_{n+1}F_n$, $n\ge1$, over finite fields with $q$ elements where $q$ is an odd prime. This enables us to find an estimate for the value $_6F_5(1)$. In addition, we evaluate certain second moments of traces of the family of Clausen elliptic curves in terms of the value $_3F_2(-1)$. These formulas also allow us to express the product of certain $_2F_1$ and $_{n+1}F_n$ functions in terms of finite field Appell series which generalizes current formulas for products of $_2F_1$ functi…