Fast algorithms for refined parameterized telescoping in difference fields

DOI10.1007/978-3-319-15081-9_10MaRDI QIDQ2808012zbMATH OpenOpenAlexFDO

Authors Carsten Schneider

Publication date 25 May 2016

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

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

Mathematics Subject Classification ID

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

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.

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

Cited in

(18)

• A case study for \(\zeta (4)\)
• A difference ring theory for symbolic summation
• Representation of hypergeometric products of higher nesting depths in difference rings
• Parameterized telescoping proves algebraic independence of sums
• The SAGEX review on scattering amplitudes Chapter 4: Multi-loop Feynman integrals
• The three-loop polarized singlet anomalous dimensions from off-shell operator matrix elements
• Algebraic independence of sequences generated by (cyclotomic) harmonic sums
• Minimal representations and algebraic relations for single nested products
• On rational and hypergeometric solutions of linear ordinary difference equations in \(\Pi\Sigma^\ast\)-field extensions
• Hypergeometric structures in Feynman integrals
• Representation of hypergeometric products in difference rings
• Contiguous relations and creative telescoping
• Refined telescoping algorithms in RΠΣ -extensions to reduce the degrees of the denominators✱
• Term algebras, canonical representations and difference ring theory for symbolic summation
• Summation theory. II: Characterizations of \(R {\Pi}{\Sigma}^{\ast}\)-extensions and algorithmic aspects
• Interview with Peter Paule
• Comments on Risch's \textit{On the integration of elementary functions which are built up using algebraic operations}
• Symbolic summation with single-nested sum extensions

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)