Minimal representations and algebraic relations for single nested products
From MaRDI portal
Publication:2217201
DOI10.1134/S0361768820020103zbMATH Open1478.33008arXiv1911.04837OpenAlexW3016600692MaRDI QIDQ2217201FDOQ2217201
Authors: Carsten Schneider 
Publication date: 18 December 2020
Published in: Programming and Computer Software (Search for Journal in Brave)
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.
Full work available at URL: https://arxiv.org/abs/1911.04837
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
symbolic computationSmith normal formalgebraic relationssymbolic summationdifference ringnested product
Symbolic computation and algebraic computation (68W30) Difference algebra (12H10) (q)-gamma functions, (q)-beta functions and integrals (33D05) Connections of hypergeometric functions with groups and algebras, and related topics (33C80)
Cites Work
- Symbolic summation assists combinatorics
- A \textit{Mathematica} version of Zeilberger's algorithm for proving binomial coefficient identities
- Multi-variable Zeilberger and Almkvist-Zeilberger algorithms and the sharpening of Wilf-Zeilberger theory
- A holonomic systems approach to special functions identities
- Decision procedure for indefinite hypergeometric summation
- Title not available (Why is that?)
- Galois theory of difference equations
- Calculating three loop ladder and \(V\)-topologies for massive operator matrix elements by computer algebra
- An extension of Zeilberger's fast algorithm to general holonomic functions
- An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
- Title not available (Why is that?)
- The method of creative telescoping
- On solutions of linear ordinary difference equations in their coefficient field
- SIMPLIFYING SUMS IN ΠΣ*-EXTENSIONS
- Summation in Finite Terms
- Parameterized telescoping proves algebraic independence of sums
- Creative telescoping for holonomic functions
- Smith normal form of dense integer matrices fast algorithms into practice
- Differential Galois theory of linear difference equations
- Title not available (Why is that?)
- Greatest factorial factorization and symbolic summation
- Multibasic and mixed hypergeometric Gosper-type algorithms
- A symbolic summation approach to find optimal nested sum representations
- A refined difference field theory for symbolic summation
- Rational solutions of linear differential and difference equations with polynomial coefficients
- On the structure of compatible rational functions
- Theory of summation in finite terms
- Product representations in \(\Pi\Sigma\)-fields
- Structural theorems for symbolic summation
- Fast algorithms for refined parameterized telescoping in difference fields
- A difference ring theory for symbolic summation
- Title not available (Why is that?)
- Polynomial ring automorphisms, rational \((w,\sigma )\)-canonical forms, and the assignment problem
- The two-mass contribution to the three-loop gluonic operator matrix element \(A_{g g, Q}^{(3)}\)
- Title not available (Why is that?)
- The rational component of the solution of a first-order linear recurrence relation with a rational right side
- Order-degree curves for hypergeometric creative telescoping
- Computing the algebraic relations of \(C\)-finite sequences and multisequences
- Faster inversion and other black box matrix computations using efficient block projections
- Special functions, \(q\)-series and related topics
- Summation theory. II: Characterizations of \(R {\Pi}{\Sigma}^{\ast}\)-extensions and algorithmic aspects
- Algebraic and algorithmic aspects of linear difference equations
- Representing \((q-)\)hypergeometric products and mixed versions in difference rings
- Fast computation of Smith forms of sparse matrices over local rings
Cited In (9)
- Term algebras, canonical representations and difference ring theory for symbolic summation
- NestedProducts
- On rational and hypergeometric solutions of linear ordinary difference equations in \(\Pi\Sigma^\ast\)-field extensions
- Refined telescoping algorithms in RΠΣ -extensions to reduce the degrees of the denominators✱
- Representation of hypergeometric products of higher nesting depths in difference rings
- Small representations of the relation algebra \(\mathcal E_{n+1}(1,2,3)\)
- Solving linear difference equations with coefficients in rings with idempotent representations
- Order bounds for C2-finite sequences
- Representing \((q-)\)hypergeometric products and mixed versions in difference rings
Uses Software
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)
