Related papers: Mahler measure and the WZ algorithm

We show how the continuous Almkvist-Zeilberger algorithm can be used to efficiently discover and prove differential equations satisfied by generating functions of sequences defined as integrals of powers of C-finite polynomial sequences…

The Mahler measure of the polynomials $t(x^m-1) y - (x^n-1) \in \dC[x,y]$ is essentially the sum of volumes of a certain collection of ideal hyperbolic polyhedra in $\HH^3$, which can be determined a priori as a function on the parameter…

This report introduces new series and variations of some hypergeometric type identities for fast computing of logarithms $\log\,p$ for small positive integers $p$. These series were found using Wilf Zeilberger (WZ) method and/or integer…

Let $\chi_{-f}$ be the odd quadratic Dirichlet character of conductor $f$, and let $\mathrm{m}(P)$ denote the Mahler measure of a polynomial $P$. In 1984, Chinburg conjectured that for any such $\chi_{-f}$ there exist an integral bivariate…

In this paper, we prove two supercongruences by the Wilf-Zeilberger method. One of them is, for any prime $p>3$, \begin{align*} \sum_{n=0}^{(p-1)/2}\frac{3n+1}{(-8)^n}\binom{2n}n^3\equiv…

Recently, Chen, Hou and Jin used both Abel's lemma on summation by parts and Zeilberger's algorithm to generate recurrence relations for definite summations. Meanwhile, they proposed the Abel-Gosper method to evaluate some indefinite sums…

We use the elliptic regulator to recover some identities between Mahler measures involving certain families of genus 2 curves that were conjectured by Boyd and proven by Bertin and Zudilin by differentiating the Mahler measures and using…

We utilize the Wilf-Zeilberger (WZ) method to establish congruences related to truncated Ramanujan-type series. By constructing hypergeometric terms $f(k, a, b, \ldots)$ with Gosper-summable differences and selecting appropriate parameters,…

Let $t\geq2$ and $k\geq1$ be integers. Let $H_{k}(z)$ with $\left\vert z\right\vert <1$ be the limit of a certain subsequence of the Stern polynomials introduced by Dilcher and Eriksen. We use Mahler's method to prove the algebraic…

We introduce vector space norms associated to the Mahler measure by using the L^p norm versions of the Weil height recently introduced by Allcock and Vaaler. In order to do this, we determine orthogonal decompositions of the space of…

We give a new and simple proof of a theorem of Garza estimating the height (or Mahler measure) of an algebraic number with real conjugates.

In the work we propose an algorithm for a Wiener -- Hopf factorization of scalar polynomials based on notions of indices and essential polynomials. The algorithm uses computations with finite Toeplitz matrices and permits to obtain…

Gottfried Leibniz embarked on a research program to prove all the Aristotelic categorical syllogisms by diagrammatic and algebraic methods. He succeeded in proving them by means of Euler diagrams, but didn't produce a manuscript with their…

Mixtures of Mallows models are a popular generative model for ranking data coming from a heterogeneous population. They have a variety of applications including social choice, recommendation systems and natural language processing. Here we…

By using the Wilf-Zeilberger method, we prove a novel finite combinatorial identity related to a bivariate generating function for $\zeta(2+r+2s)$ (an extension of a Bailey-Borwein-Bradley Apery-like formula for even zeta values). Such…

We obtain pullback formulas for Klingen Eisenstein series with arbitrary levels, with respect to both Siegel congruence and paramodular subgroups, in degree two. Pullback results are used, along with the Fourier series expansion of Klingen…

We develop a potential theory for the Wess--Zumino--Witten (WZW) equation in the space of K\"ahler potentials which is parallel to the potential theory for the Hermitian--Yang--Mills equation. A concept called $\omega$-harmonicity on graphs…

We discuss some (conjectural) evaluations of $L$-values attached to elliptic curves of conductors 15, 21, 24 and 32 as "hypergeometric periods". These numerical observations are motivated by the Mahler measures of three-variable…

We prove the integrality of the Taylor coefficients of roots of mirror maps at the origin. By mirror maps, we mean formal power series z.exp(G(z)/F(z)), where F(z) and G(z)+log(z)F(z) are particular solutions of certain generalized…

In this paper we prove some new identities for multiple zeta values and multiple zeta star values of arbitrary depth by using the methods of integral computations of logarithm function and iterated integral representations of series. By…