Contraction of Ore ideals with applications

DOI10.1145/2930889.2930890MaRDI QIDQ2985855zbMATH OpenOpenAlexFDO

Authors Yi Zhang

Publication date 10 May 2017

Published in Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)

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

zbMATH Keywords

contractiondesingularizationOre algebraSyzygy

Mathematics Subject Classification ID

Commutative rings of differential operators and their modules (13N10) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Symbolic computation and algebraic computation (68W30)

Abstract: Ore operators form a common algebraic abstraction of linear ordinary differential and recurrence equations. Given an Ore operator $L$ with polynomial coefficients in $x$, it generates a left ideal $I$ in the Ore algebra over the field $mathbfk(x)$ of rational functions. We present an algorithm for computing a basis of the contraction ideal of $I$ in the Ore algebra over the ring $R[x]$ of polynomials, where $R$ may be either $mathbfk$ or a domain with $mathbfk$ as its fraction field. This algorithm is based on recent work on desingularization for Ore operators by Chen, Jaroschek, Kauers and Singer. Using a basis of the contraction ideal, we compute a completely desingularized operator for $L$ whose leading coefficient not only has minimal degree in $x$ but also has minimal content. Completely desingularized operators have interesting applications such as certifying integer sequences and checking special cases of a conjecture of Krattenthaler.

Recommendations

• Desingularization of Ore operators
• Desingularization explains order-degree curves for Ore operators
• On Ore rings, linear operators and factorization
• Ore polynomials in Sage
• scientific article; zbMATH DE number 4029720

Cited in

(7)

• Desingularization in the \(q\)-Weyl algebra
• Removing apparent singularities of linear difference systems
• Constructive arithmetics in Ore localizations enjoying enough commutativity
• A factorization algorithm for \(G\)-algebras and its applications
• Desingularization explains order-degree curves for Ore operators
• Hyperexponential solutions of finite-rank ideals in orthogonal ore rings
• Desingularization of Ore operators

This page was built for publication: Contraction of Ore ideals with applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2985855)