Computer Algebra for Nested Sums and Products [FWF SFB F050-09]

@article{RISC6688,
author = {E.D. Ocansey and C. Schneider},
title = {{Representation of hypergeometric products of higher nesting depths in difference rings}},
language = {english},
journal = {J. Symb. Comput.},
volume = {120},
pages = {1--50},
isbn_issn = {ISSN: 0747-7171},
year = {2024},
note = {arXiv:2011.08775 [cs.SC]},
refereed = {yes},
length = {50},
url = {https://doi.org/10.1016/j.jsc.2023.03.002}
}

@article{RISC6643,
author = {J. Blümlein and C. Schneider and M. Saragnese},
title = {{Hypergeometric Structures in Feynman Integrals}},
language = {english},
abstract = {Hypergeometric structures in single and multiscale Feynman integrals emerge in a wide class of topologies. Using integration-by-parts relations, associated master or scalar integrals have to be calculated. For this purpose it appears useful to devise an automated method which recognizes the respective (partial) differential equations related to the corresponding higher transcendental functions. We solve these equations through associated recursions of the expansion coefficient of the multivalued formal Taylor series. The expansion coefficients can be determined using either the package {tt Sigma} in the case of linear difference equations or by applying heuristic methods in the case of partial linear difference equations. In the present context a new type of sums occurs, the Hurwitz harmonic sums, and generalized versions of them. The code {tt HypSeries} transforming classes of differential equations into analytic series expansions is described. Also partial difference equations having rational solutions and rational function solutions of Pochhammer symbols are considered, for which the code {tt solvePartialLDE} is designed. Generalized hypergeometric functions, Appell-,~Kamp'e de F'eriet-, Horn-, Lauricella-Saran-, Srivasta-, and Exton--type functions are considered. We illustrate the algorithms by examples.},
journal = {Annals of Mathematics and Artificial Intelligence},
volume = { 91},
number = {5},
pages = {591--649},
isbn_issn = {ISSN 1573-7470},
year = {2023},
note = {arXiv:2111.15501 [math-ph]},
refereed = {yes},
keywords = {hypergeometric functions, symbolic summation, expansion, partial linear difference equations, partial linear differential equations},
length = {59},
url = {https://doi.org/10.1007/s10472-023-09831-8}
}

@article{RISC6710,
author = {Koustav Banerjee and Peter Paule and Cristian-Silviu Radu and Carsten Schneider},
title = {{Error bounds for the asymptotic expansion of the partition function}},
language = {english},
abstract = {Asymptotic study on the partition function $p(n)$ began with the work of Hardy and Ramanujan. Later Rademacher obtained a convergent series for $p(n)$ and an error bound was given by Lehmer. Despite having this, a full asymptotic expansion for $p(n)$ with an explicit error bound is not known. Recently O'Sullivan studied the asymptotic expansion of $p^{k}(n)$-partitions into $k$th powers, initiated by Wright, and consequently obtained an asymptotic expansion for $p(n)$ along with a concise description of the coefficients involved in the expansion but without any estimation of the error term. Here we consider a detailed and comprehensive analysis on an estimation of the error term obtained by truncating the asymptotic expansion for $p(n)$ at any positive integer $n$. This gives rise to an infinite family of inequalities for $p(n)$ which finally answers to a question proposed by Chen. Our error term estimation predominantly relies on applications of algorithmic methods from symbolic summation. },
journal = {Rocky Mt J Math },
volume = {to appear},
pages = {?--?},
isbn_issn = {ISSN: 357596},
year = {2023},
note = {arXiv:2209.07887 [math.NT]},
refereed = {yes},
keywords = {partition function, asymptotic expansion, error bounds, symbolic summation},
length = {43},
url = {https://doi.org/10.35011/risc.22-13}
}

@article{RISC6497,
author = {J. Ablinger and J. Blümlein and A. De Freitas and M. Saragnese and C. Schneider and K. Schönwald},
title = {{New 2– and 3–loop heavy flavor corrections to unpolarized and polarized deep-inelastic scattering}},
language = {english},
abstract = {A survey is given on the new 2-- and 3--loop results for the heavy flavor contributions to deep--inelastic scattering in the unpolarized and the polarized case. We also discuss related new mathematical aspectsapplied in these calculations.},
journal = {SciPost Phys. Proc.},
number = {8},
pages = {137.1--137.15},
isbn_issn = {ISSN 2666-4003},
year = {2022},
note = {DIS2021, arXiv:2107.09350 [hep-ph]},
refereed = {yes},
length = {15},
url = {https://www.doi.org/10.21468/SciPostPhysProc.8.137}
}

@article{RISC6527,
author = {J. Blümlein and P. Marquard and C. Schneider and K. Schönwald},
title = {{The Two-Loop Massless Off-Shell QCD Operator Matrix Elements to Finite Terms}},
language = {english},
abstract = {We calculate the unpolarized and polarized two--loop massless off--shell operator matrix elements in QCD to $O(ep)$ in the dimensional parameter in an automated way. Here we use the method of arbitrary high Mellin moments and difference ring theory, based on integration-by-parts relations. This method also constitutes one way to compute the QCD anomalous dimensions. The presented higher order contributions to these operator matrix elements occur as building blocks in the corresponding higher order calculations upto four--loop order. All contributing quantities can be expressed in terms of harmonic sums in Mellin--$N$ space or by harmonic polylogarithms in $z$--space. We also perform comparisons to the literature. },
journal = {Nuclear Physics B},
volume = {980},
pages = {1--131},
isbn_issn = {ISSN 0550-3213},
year = {2022},
note = {arXiv:2202.03216 [hep-ph]},
refereed = {yes},
keywords = {QCD, Operator Matrix Element, 2-loop Feynman diagrams, computer algebra, large moment method},
length = {131},
url = {https://www.doi.org/10.1016/j.nuclphysb.2022.115794}
}

@article{RISC6224,
author = {Sergei A. Abramov and Manuel Bronstein and Marko Petkovšek and Carsten Schneider},
title = {{On Rational and Hypergeometric Solutions of Linear Ordinary Difference Equations in ΠΣ∗-field extensions}},
language = {english},
journal = {J. Symb. Comput.},
volume = {107},
pages = {23--66},
isbn_issn = {ISSN 0747-7171},
year = {2021},
note = {arXiv:2005.04944 [cs.SC]},
refereed = {yes},
length = {44},
url = {https://doi.org/10.1016/j.jsc.2021.01.002}
}

@article{RISC6294,
author = {J. Ablinger and J. Blümlein and C. Schneider},
title = {{Iterated integrals over letters induced by quadratic forms}},
language = {english},
journal = {Physical Review D },
volume = {103},
number = {9},
pages = {096025--096035},
isbn_issn = {ISSN 2470-0029},
year = {2021},
note = {arXiv:2103.08330 [hep-th]},
refereed = {yes},
length = {11},
url = {https://www.doi.org/10.1103/PhysRevD.103.096025}
}

@article{RISC6299,
author = {J. Ablinger and A. Uncu},
title = {{qFunctions -- A Mathematica package for q-series and partition theory applications}},
language = {english},
journal = {Journal of Symbolic Computation},
volume = {107},
pages = {145--166},
isbn_issn = {ISSN 0747-7171},
year = {2021},
note = {arXiv:1910.12410},
refereed = {yes},
length = {22},
url = {https://doi.org/10.1016/j.jsc.2021.02.003}
}

@article{RISC5896,
author = {J. Ablinger},
title = {{Discovering and Proving Infinite Pochhammer Sum Identities}},
language = {english},
journal = {Experimental Mathematics},
pages = {1--15},
publisher = {Taylor & Francis},
isbn_issn = {?},
year = {2019},
note = {10.1080/10586458.2019.1627254},
refereed = {yes},
length = {15},
url = {https://doi.org/10.1080/10586458.2019.1627254}
}

@article{RISC5801,
author = {Ali Kemal Uncu and Alexander Berkovich},
title = {{Refined q-Trinomial Coefficients and Two Infinite Hierarchies of q-Series Identities }},
language = {english},
abstract = {We will prove an identity involving refined q-trinomial coefficients. We then extend this identity to two infinite families of doubly bounded polynomial identities using transformation properties of the refined q-trinomials in an iterative fashion in the spirit of Bailey chains. One of these two hierarchies contains an identity which is equivalent to Capparelli's first Partition Theorem. },
journal = {ArXiv e-prints (accepted)},
pages = {1--10},
isbn_issn = {N/A},
year = {2019},
refereed = {yes},
length = {10},
url = {https://arxiv.org/abs/1810.12048}
}

@article{RISC5898,
author = {Ali Kemal Uncu},
title = {{A Polynomial Identity Implying Schur's Partition Theorem }},
language = {english},
abstract = {We propose and prove a new polynomial identity that implies Schur's partition theorem. We give combinatorial interpretations of some of our expressions in the spirit of Kurşungöz. We also present some related polynomial and q-series identities. },
journal = {ArXiv e-prints (submitted)},
pages = {1--11},
isbn_issn = {N/A},
year = {2019},
refereed = {yes},
length = {11},
url = {https://arxiv.org/abs/1903.01157}
}

@article{RISC5791,
author = {Ali Kemal Uncu and Alexander Berkovich},
title = {{Elementary Polynomial Identities Involving q-Trinomial Coefficients }},
language = {english},
journal = {ArXiv e-prints (submitted)},
pages = {--},
isbn_issn = {N/A},
year = {2018},
refereed = {yes},
length = {0},
url = {https://arxiv.org/abs/1810.06497}
}