Fast algorithms for refined parameterized telescoping in difference fields

DOI10.1007/978-3-319-15081-9_10zbMATH Open1434.39004arXiv1307.7887OpenAlexW2162674514MaRDI QIDQ2808012FDOQ2808012

Authors: Carsten Schneider 

Publication date: 25 May 2016

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Abstract: Parameterized telescoping (including telescoping and creative telescoping) and refined versions of it play a central role in the research area of symbolic summation. Karr introduced 1981 $PiSigma$-fields, a general class of difference fields, that enables one to consider this problem for indefinite nested sums and products covering as special cases, e.g., the ($q$--)hypergeometric case and their mixed versions. This survey article presents the available algorithms in the framework of $PiSigma$-extensions and elaborates new results concerning efficiency.

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

Recommendations

• Representation of hypergeometric products in difference rings
• A refined difference field theory for symbolic summation
• Symbolic summation with single-nested sum extensions
• Solving parameterized linear difference equations in terms of indefinite nested sums and products
• A collection of denominator bounds to solve parameterized linear difference equations in \(\Pi\Sigma\)-extensions

Mathematics Subject Classification ID

Additive difference equations (39A10) Iteration theory, iterative and composite equations (39B12)

Cited In (17)

• The SAGEX review on scattering amplitudes Chapter 4: Multi-loop Feynman integrals
• On rational and hypergeometric solutions of linear ordinary difference equations in \(\Pi\Sigma^\ast\)-field extensions
• Summation theory. II: Characterizations of \(R {\Pi}{\Sigma}^{\ast}\)-extensions and algorithmic aspects
• Contiguous Relations and Creative Telescoping
• Algebraic independence of sequences generated by (cyclotomic) harmonic sums
• Refined telescoping algorithms in RΠΣ -extensions to reduce the degrees of the denominators✱
• Symbolic summation with single-nested sum extensions
• Representation of hypergeometric products of higher nesting depths in difference rings
• Term Algebras, Canonical Representations and Difference Ring Theory for Symbolic Summation
• Parameterized telescoping proves algebraic independence of sums
• Comments on Risch’s On the Integration of Elementary Functions which are Built Up Using Algebraic Operations
• Interview with Peter Paule
• A difference ring theory for symbolic summation
• Hypergeometric structures in Feynman integrals
• The three-loop polarized singlet anomalous dimensions from off-shell operator matrix elements
• Minimal representations and algebraic relations for single nested products
• A case study for \(\zeta (4)\)

This page was built for publication: Fast algorithms for refined parameterized telescoping in difference fields

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