TY - JOUR
T1 - Creative Telescoping on Multiple Sums
AU - Koutschan, Christoph
AU - Wong, Elaine
N1 - Publisher Copyright:
© 2021, The Author(s), under exclusive licence to Springer Nature Switzerland AG.
PY - 2021/9
Y1 - 2021/9
N2 - We showcase a collection of practical strategies to deal with a problem arising from an analysis of integral estimators derived via quasi-Monte Carlo methods. The problem reduces to a triple binomial sum, thereby enabling us to open up the holonomic toolkit, which contains tools such as creative telescoping that can be used to deduce a recurrence satisfied by the sum. While applying these techniques, a host of issues arose that partly needed to be resolved by hand. In other words, no creative telescoping implementation currently exists that can resolve all these issues automatically. Thus, we felt the need to compile the different strategies we tried and the difficulties that we encountered along the way. In particular, we highlight the necessity of the certificate in these computations and how its complexity can greatly influence the computation time.
AB - We showcase a collection of practical strategies to deal with a problem arising from an analysis of integral estimators derived via quasi-Monte Carlo methods. The problem reduces to a triple binomial sum, thereby enabling us to open up the holonomic toolkit, which contains tools such as creative telescoping that can be used to deduce a recurrence satisfied by the sum. While applying these techniques, a host of issues arose that partly needed to be resolved by hand. In other words, no creative telescoping implementation currently exists that can resolve all these issues automatically. Thus, we felt the need to compile the different strategies we tried and the difficulties that we encountered along the way. In particular, we highlight the necessity of the certificate in these computations and how its complexity can greatly influence the computation time.
KW - Creative telescoping
KW - Holonomic function
KW - Hypergeometric series
KW - Symbolic summation
UR - http://www.scopus.com/inward/record.url?scp=85105427369&partnerID=8YFLogxK
U2 - 10.1007/s11786-021-00514-3
DO - 10.1007/s11786-021-00514-3
M3 - Article
AN - SCOPUS:85105427369
SN - 1661-8270
VL - 15
SP - 483
EP - 498
JO - Mathematics in Computer Science
JF - Mathematics in Computer Science
IS - 3
ER -