Minimal representations and algebraic relations for single nested products
From MaRDI portal
Publication:2217201
Abstract: Recently, it has been shown constructively how a finite set of hypergeometric products, multibasic hypergeometric products or their mixed versions can be modeled properly in the setting of formal difference rings. Here special emphasis is put on robust constructions: whenever further products have to be considered, one can reuse --up to some mild modifications-- the already existing difference ring. In this article we relax this robustness criteria and seek for another form of optimality. We will elaborate a general framework to represent a finite set of products in a formal difference ring where the number of transcendental product generators is minimal. As a bonus we are able to describe explicitly all relations among the given input products.
This paper details on the theory behind an algorithm for computing minimal representations of certain product expressions in the context of difference ring theory. The fundamental problem is to represent products in a transcendental basis, where not only hypergeometric products are considered, but general expressions from difference rings. A framework for solving this problem is described, and the underlying theory is explicated. In particular, it is shown that the results produced by the algorithm are optimal in a certain sense (minimal number of products and minimal order of the involved roots of unity). Among many other techniques, the Smith normal form of integer matrices plays a crucial role in the computations. The algorithm is implemented in a Mathematica package called NestedProducts.
Recommendations
- Algebraic analysis of minimal representations
- Minimal representations of Cuntz algebras
- The representations of nested composition algebras
- Representations of the direct product of matrix algebras
- scientific article; zbMATH DE number 1444404
- Multiplicative derivations of nest algebras
- Minimal relation algebras
- Products of multialgebras and their fundamental algebras
- Minimal models for monomial algebras
- Minimal representation-infinite artin algebras
Cites work
- A \textit{Mathematica} version of Zeilberger's algorithm for proving binomial coefficient identities
- A difference ring theory for symbolic summation
- A holonomic systems approach to special functions identities
- A refined difference field theory for symbolic summation
- A symbolic summation approach to find optimal nested sum representations
- Algebraic and algorithmic aspects of linear difference equations
- An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
- An extension of Zeilberger's fast algorithm to general holonomic functions
- Calculating three loop ladder and V-topologies for massive operator matrix elements by computer algebra
- Computing the algebraic relations of \(C\)-finite sequences and multisequences
- Creative telescoping for holonomic functions
- Decision procedure for indefinite hypergeometric summation
- Differential Galois theory of linear difference equations
- Fast algorithms for refined parameterized telescoping in difference fields
- Fast computation of Smith forms of sparse matrices over local rings
- Faster inversion and other black box matrix computations using efficient block projections
- Galois theory of difference equations
- Greatest factorial factorization and symbolic summation
- scientific article; zbMATH DE number 1086647 (Why is no real title available?)
- scientific article; zbMATH DE number 194711 (Why is no real title available?)
- scientific article; zbMATH DE number 872231 (Why is no real title available?)
- scientific article; zbMATH DE number 3207354 (Why is no real title available?)
- scientific article; zbMATH DE number 3385223 (Why is no real title available?)
- Multi-variable Zeilberger and Almkvist-Zeilberger algorithms and the sharpening of Wilf-Zeilberger theory
- Multibasic and mixed hypergeometric Gosper-type algorithms
- On solutions of linear ordinary difference equations in their coefficient field
- On the structure of compatible rational functions
- Order-degree curves for hypergeometric creative telescoping
- Parameterized telescoping proves algebraic independence of sums
- Polynomial ring automorphisms, rational \((w,\sigma )\)-canonical forms, and the assignment problem
- Product representations in -fields
- Rational solutions of linear differential and difference equations with polynomial coefficients
- Representing (q-)hypergeometric products and mixed versions in difference rings
- SIMPLIFYING SUMS IN ΠΣ*-EXTENSIONS
- Smith normal form of dense integer matrices fast algorithms into practice
- Special functions, q-series and related topics
- Structural theorems for symbolic summation
- Summation in Finite Terms
- Summation theory. II: Characterizations of \(R {\Pi}{\Sigma}^{\ast}\)-extensions and algorithmic aspects
- Symbolic summation assists combinatorics
- The method of creative telescoping
- The rational component of the solution of a first-order linear recurrence relation with a rational right side
- The two-mass contribution to the three-loop gluonic operator matrix element \(A_{g g, Q}^{(3)}\)
- Theory of summation in finite terms
Cited in
(10)- Small representations of the relation algebra \(\mathcal E_{n+1}(1,2,3)\)
- Representing (q-)hypergeometric products and mixed versions in difference rings
- On rational and hypergeometric solutions of linear ordinary difference equations in \(\Pi\Sigma^\ast\)-field extensions
- Term algebras, canonical representations and difference ring theory for symbolic summation
- NestedProducts
- Order bounds for C2-finite sequences
- Refined telescoping algorithms in RΠΣ -extensions to reduce the degrees of the denominators✱
- Representation of hypergeometric products of higher nesting depths in difference rings
- Solving linear difference equations with coefficients in rings with idempotent representations
- Symbolic summation in multivariate difference fields
This page was built for publication: Minimal representations and algebraic relations for single nested products
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2217201)
