Computation of differential Chow forms for ordinary prime differential ideals
From MaRDI portal
Publication:895970
DOI10.1016/J.AAM.2015.09.004zbMATH Open1333.12002arXiv1501.02755OpenAlexW1907618065MaRDI QIDQ895970FDOQ895970
Authors: Wei Li, Yinghong Li 
Publication date: 11 December 2015
Published in: Advances in Applied Mathematics (Search for Journal in Brave)
Abstract: In this paper, we propose algorithms to compute differential Chow forms for prime differential ideals which are given by their characteristic sets. The main algorithm is based on an optimal bound for the order of a prime differential ideal in terms of its characteristic set under an arbitrary ranking, which shows the Jacobi bound conjecture holds in this case. Apart from the order bound, we also give a degree bound for the differential Chow form. In addition, for prime differential ideals given by their characteristic sets under an orderly ranking, a much more simpler algorithm is given to compute its differential Chow form. The computational complexity of both is single exponential in terms of the Jacobi number, the maximal degree of the differential polynomials in the characteristic set and the number of variables.
Full work available at URL: https://arxiv.org/abs/1501.02755
Recommendations
- A bound for the order of characteristic set elements of an ordinary prime differential ideal and some applications
- The computational complexity of the Chow form
- Computing characteristic sets of ordinary radical differential ideals
- Differential Chow form and sparse differential resultant
- The differential dimension polynomial for characterizable differential ideals
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Associative differential operations
- Title not available (Why is that?)
- Matrix multiplication via arithmetic progressions
- ESTIMATES FOR THE ORDERS OF ZEROS OF FUNCTIONS OF A CERTAIN CLASS AND APPLICATIONS IN THE THEORY OF TRANSCENDENTAL NUMBERS
- Definability and fast quantifier elimination in algebraically closed fields
- Algebraic independence criteria.
- Chow polytopes and general resultants
- Title not available (Why is that?)
- Parallel Algorithms for Algebraic Problems
- Computing differential characteristic sets by change of ordering
- Resolvent representation for regular differential ideals
- Systems of n Partial Differential Equations in n Unknown Functions: the Conjecture of M. Janet
- Sparse differential resultant
- Jacobi's Bound for the Order of Systems of First Order Differential Equations
- A bound for the order of characteristic set elements of an ordinary prime differential ideal and some applications
- The computational complexity of the Chow form
- Title not available (Why is that?)
- Bounds for the degrees in the Nullstellensatz
- Zur algebraischen Geometrie. IX. Über zugeordnete Formen und algebraische Systeme von algebraischen Mannigfaltigkeiten
- Algebraic transformation of differential characteristic decompositions from one ranking to another
- Title not available (Why is that?)
- Product formulas for resultants and Chow forms
- Title not available (Why is that?)
- Kähler differentials and differential algebra
- The notion of dimension in the theory of algebraic differential equations
- Looking for the order of a system of arbitrary ordinary differential equations. Translated from the Latin manuscript by François Ollivier. Edited by S. Cohn and C. W. Borchardt.
- The Greenspan Bound for the Order of Differential Systems
- Nonstandard methods for bounds in differential polynomial rings
- How to compute the Chow form of an unmixed polynomial ideal in single exponential time
- Chow form for projective differential variety
- Sparse differential resultant for Laurent differential polynomials
- On the generalized Ritt problem as a computational problem
- Intersection theory in differential algebraic geometry: generic intersections and the differential Chow form
- On Chern numbers of algebraic varieties with arbitrary singularities
- Order and Dimension
- Title not available (Why is that?)
Cited In (8)
- Intersection theory in differential algebraic geometry: generic intersections and the differential Chow form
- Elimination theory in differential and difference algebra
- Title not available (Why is that?)
- Computing Chow forms and some applications
- On the complexity of the resolvent representation of some prime differential ideals
- Ritt-Wu characteristic set method for Laurent partial differential polynomial systems
- Advances in elimination theory for algebraic differential and difference equations
- Proof mining and effective bounds in differential polynomial rings
This page was built for publication: Computation of differential Chow forms for ordinary prime differential ideals
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q895970)
