Discovering and proving infinite binomial sums identities

DOI10.1080/10586458.2015.1116028zbMATH Open1365.05009arXiv1507.01703OpenAlexW2963556800MaRDI QIDQ2969997FDOQ2969997

Jakob Ablinger

Publication date: 24 March 2017

Published in: Experimental Mathematics (Search for Journal in Brave)

Abstract: We consider binomial and inverse binomial sums at infinity and rewrite them in terms of a small set of constants, such as powers of $pi$ or $log(2)$. In order to perform these simplifications, we view the series as specializations of generating series. For these generating series, we derive integral representations in terms of root-valued iterated integrals. Using substitutions, we express the interated integrals as cyclotomic harmonic polylogarithms. Finally, by applying known relations among the cyclotomic harmonic polylogarithms, we derive expressions in terms of several constants.

Full work available at URL: https://arxiv.org/abs/1507.01703

Recommendations

• Discovering and proving infinite Pochhammer sum identities
• Iterated binomial sums and their associated iterated integrals
• Integrals and polygamma representations for binomial sums
• Some more identities involving rational sums
• Binomial sums involving harmonic numbers

zbMATH Keywords

Feynman diagramspolylogarithmsshuffle algebrasmulti-zeta valuescyclotomic sumsnested integral

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Factorials, binomial coefficients, combinatorial functions (05A10) Binomial coefficients; factorials; (q)-identities (11B65) Multiple Dirichlet series and zeta functions and multizeta values (11M32) Higher logarithm functions (33B30)

Cites Work

• HARMONIC POLYLOGARITHMS
• Quasi-shuffle products
• Harmonic sums and polylogarithms generated by cyclotomic polynomials
• Expansion around half-integer values, binomial sums, and inverse binomial sums
• Analytic and algorithmic aspects of generalized harmonic sums and polylogarithms
• Single-scale diagrams and multiple binomial sums
• New results for the \(\varepsilon{}\)-expansion of certain one-, two- and three-loop Feynman diagrams
• On the series \(\sum ^{\infty}_{k=1}\binom{2k}{k}^{-1}k^{-n}\) and related sums
• \(\overline{MS}\) vs. pole masses of gauge bosons. II: Two-loop electroweak fermion corrections
• Massive Feynman diagrams and inverse binomial sums
• Central Binomial Sums, Multiple Clausen Values, and Zeta Values
• Interesting Series Involving the Central Binomial Coefficient
• Harmonic Sums, Polylogarithms,Special Numbers, and Their Generalizations
• Summing one- and two-dimensional series related to the Euler series
• Applications of integer relation algorithms

Cited In (31)

• Analytic auxiliary mass flow to compute master integrals in singular kinematics
• Series with harmonic-like numbers and squared binomial coefficients
• The Art of Proving Binomial Identities
• Discovering and Proving Infinite Pochhammer Sum Identities
• Infinite series about harmonic numbers inspired by Ramanujan-like formulae
• Explicit formulas of sums involving harmonic numbers and Stirling numbers
• General order Euler sums with multiple argument
• Infinite summation formulas related to Riemann Zeta function from hypergeometric series
• On two conjectures due to Sun
• Further Apéry-like series for Riemann zeta function
• Harmonic-binomial Euler-like sums via expansions of \((\arcsin x)^p\)
• Proving Two Conjectural Series for $$\zeta (7)$$ and Discovering More Series for $$\zeta (7)$$
• Rationalizability of square roots
• Alternating multiple zeta values, and explicit formulas of some Euler-Apéry-type series
• New evaluations of inverse binomial series via cyclotomic multiple zeta values
• Alternating series of Apéry-type for the Riemann zeta function.
• A WZ proof for a Ramanujan-like series involving cubed binomial coefficients
• Nested Integrals and Rationalizing Transformations
• Title not available (Why is that?)
• Sun's series via cyclotomic multiple zeta values
• Title not available (Why is that?)
• Further Ramanujan-like series containing harmonic numbers and squared binomial coefficients
• Logarithmic integrals with applications to BBP and Euler-type sums
• Hypergeometric structures in Feynman integrals
• The ubiquitous Apéry number
• The inverse Mellin transform via analytic continuation
• The three-loop polarized singlet anomalous dimensions from off-shell operator matrix elements
• The first-order factorizable contributions to the three-loop massive operator matrix elements \(A_{Qg}^{(3)}\) and \(\Delta A_{Qg}^{(3)}\)
• The three-loop single mass polarized pure singlet operator matrix element
• Gauss's theorem and harmonic number summation formulae with certain mathematical constants
• From Madhava–Leibniz to Lehmer’s Limit

This page was built for publication: Discovering and proving infinite binomial sums identities

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2969997)