Polynomial ring automorphisms, rational (w, )-canonical forms, and the assignment problem
Polynomial ring automorphisms, rational \((w,\sigma )\)-canonical forms, and the assignment problem
Let \(k[x]\) be a univariate polynomial ring over a field of characteristic zero and \(w\) a weight function. Any automorphism \(\sigma \) of \(k[x]\) is uniquely extendable to an automorphism of the rational function field \(k(x)\). The authors investigate representations of rational functions \(R\in k(x)\) of the form \[ R=K\cdot \frac{\sigma S}{S} \tag{\(*\)} \] with \(K, S\in k(x)\). Such an equality is called a rational \(\sigma\)-normal form \((RNF_\sigma)\) of \(R\) if the numerator of \(K\) is coprime to the image of the denominator of \(K\) by all iterates \(\sigma ^n\), \(n \in \mathbb Z\). Related notions of strict \(RNF_\sigma\)'s and rational \((w,\sigma)\)-canonical forms \((RCF_{w,\sigma})\) are introduced. The paper contains a theory and algorithms for computing \(RNF_\sigma\)'s and \(RCF_{w,\sigma}\)'s for any \(R\in k(x)\). A constructive proof of their existence is given before it is shown that the degrees of the numerator and denominator of \(K\) in a representation (\(*\)) can be simultaneously minimized precisely when (\(*\)) is an \(RNF_\sigma\) of \(R\). A core result shows how to reduce computation of \(RCF_{w,\sigma}\)'s to the well-known assignment problem. Moreover, it is proved that \(R\in k(x)\) has unique rational \((w,\sigma)\)-canonical form provided a suitable hypothesis on the irreducible factors of \(R\) is satisfied. The theory developed in this paper has applications to the problem of succinct representation of \(\sigma\)-hypergeometric terms.
- Decision procedure for indefinite hypergeometric summation
- Galois theory of difference equations
- Greatest factorial factorization and symbolic summation
- scientific article; zbMATH DE number 2151175 (Why is no real title available?)
- scientific article; zbMATH DE number 3793772 (Why is no real title available?)
- Hypergeometric dispersion and the orbit problem
- Hypergeometric solutions of linear recurrences with polynomial coefficients
- Multibasic and mixed hypergeometric Gosper-type algorithms
- On solutions of linear ordinary difference equations in their coefficient field
- Polynomial-time algorithm for the orbit problem
- Product representations in -fields
- Rational normal forms and minimal decompositions of hypergeometric terms
- Rational summation and Gosper-Petkovšek representation
- Summation in Finite Terms
- The method of creative telescoping
- Theory of summation in finite terms
- Summation theory. II: Characterizations of \(R {\Pi}{\Sigma}^{\ast}\)-extensions and algorithmic aspects
- On rational and hypergeometric solutions of linear ordinary difference equations in \(\Pi\Sigma^\ast\)-field extensions
- Minimal representations and algebraic relations for single nested products
- scientific article; zbMATH DE number 2151175 (Why is no real title available?)
- A difference ring theory for symbolic summation
- Term algebras, canonical representations and difference ring theory for symbolic summation
- Simplifying multiple sums in difference fields
- Representation of hypergeometric products in difference rings
- Refined telescoping algorithms in RΠΣ -extensions to reduce the degrees of the denominators✱
- Representation of hypergeometric products of higher nesting depths in difference rings
This page was built for publication: Polynomial ring automorphisms, rational \((w,\sigma )\)-canonical forms, and the assignment problem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q972847)
