New effective differential Nullstellensatz
From MaRDI portal
Publication:908094
DOI10.1016/J.AIM.2015.12.021zbMATH Open1394.12003arXiv1411.1000OpenAlexW2269795257MaRDI QIDQ908094FDOQ908094
Authors: Richard Gustavson, Alexey Ovchinnikov, Marina Kondratieva 
Publication date: 2 February 2016
Published in: Advances in Mathematics (Search for Journal in Brave)
Abstract: We show new upper and lower bounds for the effective differential Nullstellensatz for differential fields of characteristic zero with several commuting derivations. Seidenberg was the first to address this problem in 1956, without giving a complete solution. The first explicit bounds appeared in 2009 in a paper by Golubitsky, Kondratieva, Szanto, and Ovchinnikov, with the upper bound expressed in terms of the Ackermann function. D'Alfonso, Jeronimo, and Solern'o, using novel ideas, obtained in 2014 a new bound if restricted to the case of one derivation and constant coefficients. To obtain the bound in the present paper without this restriction, we extend this approach and use the new methods of Freitag and Le'on S'anchez and of Pierce from 2014, which represent a model-theoretic approach to differential algebraic geometry.
Full work available at URL: https://arxiv.org/abs/1411.1000
Recommendations
- On bounds for the effective differential Nullstellensatz
- Nonstandard methods for bounds in differential polynomial rings
- Effective differential Nullstellensatz for ordinary DAE systems with constant coefficients
- A new bound for the existence of differential field extensions
- A bound for orders in differential Nullstellensatz
Differential algebra (12H05) Abstract differential equations (12H20) Effectivity, complexity and computational aspects of algebraic geometry (14Q20)
Cites Work
- Title not available (Why is that?)
- Sharp estimates for the arithmetic Nullstellensatz
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- On the effective Nullstellensatz
- Sharp Effective Nullstellensatz
- Title not available (Why is that?)
- Computing representations for radicals of finitely generated differential ideals
- Factorization-free decomposition algorithms in differential algebra
- A bound for orders in differential Nullstellensatz
- Jet and prolongation spaces
- Title not available (Why is that?)
- Bounds for the degrees in the Nullstellensatz
- Fields with several commuting derivations
- A combinatorial proof of the effective Nullstellensatz
- Effective uniform bounding in partial differential fields
- Title not available (Why is that?)
- Nonstandard methods for bounds in differential polynomial rings
- Effective differential Nullstellensatz for ordinary DAE systems with constant coefficients
- Complexity of quantifier elimination in the theory of ordinary differential equations
- On bounds for the effective differential Nullstellensatz
- Title not available (Why is that?)
Cited In (15)
- Elimination theory in differential and difference algebra
- Effective differential Nullstellensatz for ordinary DAE systems with constant coefficients
- Algorithms yield upper bounds in differential algebra
- On the differential and full algebraic complexities of operator matrices transformations
- A new bound for the existence of differential field extensions
- Effective bounds for the consistency of differential equations
- A bound for orders in differential Nullstellensatz
- Dynamical method in algebra: Effective Nullstellensätze
- Combinatorial differential algebra of \(x^p\)
- New order bounds in differential elimination algorithms
- Products of ideals and jet schemes
- Advances in elimination theory for algebraic differential and difference equations
- Simple differential field extensions and effective bounds
- Proof mining and effective bounds in differential polynomial rings
- Nonstandard methods for bounds in differential polynomial rings
This page was built for publication: New effective differential Nullstellensatz
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q908094)
