Related papers: Abel's Lemma and Identities on Harmonic Numbers
This paper describes algorithms to deal with nested symbolic sums over combinations of harmonic series, binomial coefficients and denominators. In addition it treats Mellin transforms and the inverse Mellin transformation for functions that…
The harmonic numbers and higher-order harmonic numbers appear frequently in several areas which are related to combinatorial identities, many expressions involving special functions in analytic number theory, and analysis of algorithms. The…
Motivated by Wilmshurst's conjecture, we investigate the zeros of harmonic polynomials. We utilize a certified counting approach which is a combination of two methods from numerical algebraic geometry: numerical polynomial homotopy…
We extend the generic Bell inequalities suggested by Son, Lee, and Kim [Phys. Rev. Lett. 96, 060406 (2006)] to incorporate multiple observables for tripartite systems and introduce a geometric methodology for calculating classical upper…
In this paper, we establish some expressions of Mneimneh-type binomial sums involving multiple harmonic-type sums in terms of finite sums of Stirling numbers, Bell numbers and some related variables. In particular, we present some new…
We prove some polynomial identities from which we deduce congruences modulo $p^2$ for the Fermat quotient $\frac{2^p-2}{p}$ for any odd prime $p$ (Proposition 1 and Theorem 1). These congruences are simpler than the one obtained by…
Recently, Maesaka, Seki and Watanabe discovered a surprising equality between multiple harmonic sums and certain Riemann sums which approximate the iterated integral expression of the multiple zeta values. In this paper, we describe the…
We evaluate the determinant $\det_{1\leq i,j\leq n}(\binom{x+y+j}{x-i+2j}-\binom{x+y+j}{x+i+2j})$, which gives the number of lozenge tilings of a hexagon with cut off corners. A particularly interesting feature of this evaluation is that it…
Polynomial reduction, designed first for hypergeometric terms, can be used to automatically prove and generate new hypergeometric identities from old ones. In this paper, we extend the reduction method to holonomic sequences. As…
We develop a systematic and fully explicit approach to the evaluation of binomial sums involving reciprocals of binomial coefficients based on Beta integral techniques. Starting from a simple integral representation, we provide a derivation…
We verify new cases of the Arithmetic Fundamental Lemma (AFL) of Wei Zhang. This relies on a recursive algorithm which allows, under certain conditions, to reduce the AFL identity in question to an AFL identity in lower dimension. The main…
The alternating ternary sum in an associative algebra, $abc - acb - bac + bca + cab - cba$, gives rise to the partially alternating ternary sum in an associative dialgebra with products $\dashv$ and $\vdash$ by making the argument $a$ the…
We extend Zeilberger's approach to special function identities to cases that are not holonomic. The method of creative telescoping is thus applied to definite sums or integrals involving Stirling or Bernoulli numbers, incomplete Gamma…
Following the method of combinatorial telescoping for alternating sums given by Chen, Hou and Mu, we present a combinatorial telescoping approach to partition identities on sums of positive terms. By giving a classification of the…
In this paper, we provide an algorithm for verifying the validity of identities of the form $\underset{A\subseteq\overline{n}}{\sum}c_{A}\left\Vert x_{A}\right\Vert ^{2}=0$, where $x_{A}=\underset{i\in A}{\sum}x_{i}$ and…
In this series of seven papers, predominantly by means of elementary analysis, we establish a number of identities related to the Riemann zeta function. Whilst this paper is mainly expository, some of the formulae reported in it are…
In recent years, there has been intensive research on the ${\mathbb Q}$-linear relations between multiple zeta (star) values. In this paper, we prove many families of identities involving the $q$-analog of these values, from which we can…
We establish Ohno-type identities for multiple harmonic ($q$-)sums which generalize Hoffman's identity and Bradley's identity. Our result leads to a new proof of the Ohno-type relation for $\mathcal{A}$-finite multiple zeta values recently…
A sequence $\textbf{p}=(p_{n})$ of real numbers is called Abel convergent to $\ell$ if the series $\Sigma_{k=0}^{\infty}p_{k}x^{k}$ is convergent for $0\leq x<1$ and \[\lim_{x \to 1^{-}}(1-x) \sum_{k=0}^{\infty}p_{k}x^{k}=\ell.\] We…
In this paper we give a computer proof of a new polynomial identity, which extends a recent result of Alladi and the first author. In addition, we provide computer proofs for new finite analogs of Jacobi and Euler formulas. All computer…