Term Algebras, Canonical Representations and Difference Ring Theory for Symbolic Summation

DOI10.1007/978-3-030-80219-6_17zbMath1484.81078arXiv2102.01471OpenAlexW3126698746MaRDI QIDQ5022185

No author found.

Publication date: 18 January 2022

Published in: Texts & Monographs in Symbolic Computation (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Number-theoretic algorithms; complexity (11Y16) Strong interaction, including quantum chromodynamics (81V05) Feynman diagrams (81T18) Numerical summation of series (65B10)

Related Items (4)

Hypergeometric structures in Feynman integrals ⋮ Refined telescoping algorithms in RΠΣ -extensions to reduce the degrees of the denominators✱ ⋮ Analytic Integration Methods in Quantum Field Theory: An Introduction ⋮ The SAGEX review on scattering amplitudes Chapter 4: Multi-loop Feynman integrals

Uses Software

• SIGMA
• MultiIntegrate

Cites Work

• Solving parameterized linear difference equations in terms of indefinite nested sums and products
• Analytic and algorithmic aspects of generalized harmonic sums and polylogarithms
• The Problem of Integration in Finite Terms
• Rational solutions of linear differential and difference equations with polynomial coefficients
• MATAD: A program package for the computation of MAssive TADpoles
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Calculating three loop ladder and \(V\)-topologies for massive operator matrix elements by computer algebra
• A symbolic summation approach to Feynman integral calculus
• A difference ring theory for symbolic summation
• The Abel-Zeilberger algorithm
• Parameterized telescoping proves algebraic independence of sums
• Elliptic Feynman integrals and pure functions
• Determining the closed forms of the anomalous dimensions and Wilson coefficients from Mellin moments by means of computer algebra
• The two-mass contribution to the three-loop gluonic operator matrix element \(A_{g g, Q}^{(3)}\)
• An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
• Degree bounds to find polynomial solutions of parameterized linear difference equations in \(\Pi\Sigma\)-fields
• Algebraic relations between harmonic sums and associated quantities.
• Multi-variable Zeilberger and Almkvist-Zeilberger algorithms and the sharpening of Wilf-Zeilberger theory
• Massive Feynman diagrams and inverse binomial sums
• The 3-loop non-singlet heavy flavor contributions and anomalous dimensions for the structure function \(\mathrm{F}_2(\mathrm{x, Q}^{\mathrm{2}})\) and transversity
• The 3-loop pure singlet heavy flavor contributions to the structure function \(F_2(x, Q^2)\) and the anomalous dimension
• The 3-loop non-singlet heavy flavor contributions to the structure function \(g_1(x, Q^2)\) at large momentum transfer
• A refined difference field theory for symbolic summation
• Differential Galois theory of linear difference equations
• Polynomial ring automorphisms, rational \((w,\sigma )\)-canonical forms, and the assignment problem
• Automated proofs for some Stirling number identities
• Theory of summation in finite terms
• A holonomic systems approach to special functions identities
• The method of creative telescoping
• Liouvillian solutions of linear differential equations with Liouvillian coefficients
• Hypergeometric solutions of linear recurrences with polynomial coefficients
• Solving difference equations in finite terms
• Finite singularities and hypergeometric solutions of linear recurrence equations
• Symbolic integration. I: Transcendental functions
• Galois theory of difference equations
• \(q\)-hypergeometric solutions of \(q\)-difference equations
• Computer proofs of a new family of harmonic number identities.
• On solutions of linear ordinary difference equations in their coefficient field
• Algebraic independence of sequences generated by (cyclotomic) harmonic sums
• Summation theory. II: Characterizations of \(R {\Pi}{\Sigma}^{\ast}\)-extensions and algorithmic aspects
• Refined holonomic summation algorithms in particle physics
• Denominator bounds for systems of recurrence equations using \(\Pi\Sigma\)-extensions
• Representing \((q-)\)hypergeometric products and mixed versions in difference rings
• Product representations in \(\Pi\Sigma\)-fields
• Greatest factorial factorization and symbolic summation
• A \textit{Mathematica} version of Zeilberger's algorithm for proving binomial coefficient identities
• An implementation of Karr's summation algorithm in Mathematica
• Multibasic and mixed hypergeometric Gosper-type algorithms
• On rational solutions of systems of linear differential equations
• An extension of Zeilberger's fast algorithm to general holonomic functions
• On rational and hypergeometric solutions of linear ordinary difference equations in \(\Pi\Sigma^\ast\)-field extensions
• The absent-minded passengers problem: a motivating challenge solved by computer algebra
• The polarized three-loop anomalous dimensions from on-shell massive operator matrix elements
• The heavy fermion contributions to the massive three loop form factors
• Minimal representations and algebraic relations for single nested products
• The three-loop polarized pure singlet operator matrix element with two different masses
• Structural theorems for symbolic summation
• The method of arbitrarily large moments to calculate single scale processes in quantum field theory
• The three-loop splitting functions \(P_{q g}^{(2)}\) and \(P_{g g}^{(2, \operatorname{N}_{\operatorname{F}})}\)
• The transition matrix element \(A_{gq}(N)\) of the variable flavor number scheme at \(O({\alpha}_s^3)\)
• Summation algorithms for Stirling number identities
• Plane partitions. VI: Stembridge's TSPP theorem
• A new Sigma approach to multi-summation
• Indefinite summation with unspecified summands
• Computing the algebraic relations of \(C\)-finite sequences and multisequences
• Liouville's theorem on functions with elementary integrals
• Asymptotic and exact results on the complexity of the Novelli-Pak-Stoyanovskii algorithm
• Reducing differential equations for multiloop master integrals
• Symbolic summation assists combinatorics
• HIGH-PRECISION CALCULATION OF MULTILOOP FEYNMAN INTEGRALS BY DIFFERENCE EQUATIONS
• Ore Polynomials in Sage
• Fast Algorithms for Refined Parameterized Telescoping in Difference Fields
• Harmonic sums and polylogarithms generated by cyclotomic polynomials
• A non-holonomic systems approach to special function identities
• Iterated binomial sums and their associated iterated integrals
• The kite integral to all orders in terms of elliptic polylogarithms
• Application of unspecified sequences in symbolic summation
• Desingularization explains order-degree curves for ore operators
• Symbolic Summation in Difference Rings and Applications
• A Symbolic Summation Approach to Find Optimal Nested Sum Representations
• Evaluation of Binomial Double Sums Involving Absolute Values
• Hypergeometric dispersion and the orbit problem
• SIMPLIFYING SUMS IN ΠΣ*-EXTENSIONS
• Summation in Finite Terms
• Decision procedure for indefinite hypergeometric summation
• HARMONIC SUMS, MELLIN TRANSFORMS AND INTEGRALS
• Analytic computing methods for precision calculations in quantum field theory
• Iterated elliptic and hypergeometric integrals for Feynman diagrams
• Symbolic summation with single-nested sum extensions
• Nested sums, expansion of transcendental functions, and multiscale multiloop integrals
• Expansion around half-integer values, binomial sums, and inverse binomial sums
• Anti-Differentiation and the Calculation of Feynman Amplitudes
• Creative Telescoping for Holonomic Functions
• Solving Linear Recurrence Equations with Polynomial Coefficients
• Simplifying Multiple Sums in Difference Fields
• On the structure of compatible rational functions
• Finding telescopers with minimal depth for indefinite nested sum and product expressions

This page was built for publication: Term Algebras, Canonical Representations and Difference Ring Theory for Symbolic Summation