Computation of differential Chow forms for ordinary prime differential ideals

DOI10.1016/J.AAM.2015.09.004MaRDI QIDQ895970zbMATH OpenOpenAlexFDO

Authors Wei Li, Yinghong Li

Publication date 11 December 2015

Published in Advances in Applied Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

characteristic setsingle exponential algorithmdifferential Chow formJacobi bound

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Differential algebra (12H05)

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.

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

• scientific article; zbMATH DE number 1824068 (Why is no real title available?)
• scientific article; zbMATH DE number 16648 (Why is no real title available?)
• scientific article; zbMATH DE number 1252509 (Why is no real title available?)
• scientific article; zbMATH DE number 575960 (Why is no real title available?)
• scientific article; zbMATH DE number 704831 (Why is no real title available?)
• scientific article; zbMATH DE number 806917 (Why is no real title available?)
• scientific article; zbMATH DE number 3252945 (Why is no real title available?)
• scientific article; zbMATH DE number 3314445 (Why is no real title available?)
• scientific article; zbMATH DE number 3415973 (Why is no real title available?)
• A bound for the order of characteristic set elements of an ordinary prime differential ideal and some applications
• Algebraic independence criteria.
• Algebraic transformation of differential characteristic decompositions from one ranking to another
• Associative differential operations
• Bounds for the degrees in the Nullstellensatz
• Chow form for projective differential variety
• Chow polytopes and general resultants
• Computing differential characteristic sets by change of ordering
• Definability and fast quantifier elimination in algebraically closed fields
• ESTIMATES FOR THE ORDERS OF ZEROS OF FUNCTIONS OF A CERTAIN CLASS AND APPLICATIONS IN THE THEORY OF TRANSCENDENTAL NUMBERS
• How to compute the Chow form of an unmixed polynomial ideal in single exponential time
• Intersection theory in differential algebraic geometry: generic intersections and the differential Chow form
• Jacobi's Bound for the Order of Systems of First Order Differential Equations
• Kähler differentials and differential algebra
• 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.
• Matrix multiplication via arithmetic progressions
• Nonstandard methods for bounds in differential polynomial rings
• On Chern numbers of algebraic varieties with arbitrary singularities
• On the generalized Ritt problem as a computational problem
• Order and Dimension
• Parallel Algorithms for Algebraic Problems
• Product formulas for resultants and Chow forms
• Resolvent representation for regular differential ideals
• Sparse differential resultant
• Sparse differential resultant for Laurent differential polynomials
• Systems of n Partial Differential Equations in n Unknown Functions: the Conjecture of M. Janet
• The Greenspan Bound for the Order of Differential Systems
• The computational complexity of the Chow form
• The notion of dimension in the theory of algebraic differential equations
• Zur algebraischen Geometrie. IX. Über zugeordnete Formen und algebraische Systeme von algebraischen Mannigfaltigkeiten

Cited in

(8)

• Intersection theory in differential algebraic geometry: generic intersections and the differential Chow form
• Elimination theory in differential and difference algebra
• scientific article; zbMATH DE number 2151234 (Why is no real title available?)
• 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)