On bounds for the effective differential Nullstellensatz (Q907329)

Let \(F\) be a partial differential field of characteristic zero with \(m\) commuting differentiation, and let \(\mathcal R\) be the ring of differential polynomials on \(n\) unknowns with coefficients in \(F\). We denote by \(\mathcal R^B\) the subring of the ring \(\mathcal R\) consisting of differential polynomials of order at most \(B\). Let \(S\) be a finite subset of \(\mathcal R\) consisting of differential polynomials of order and degree not greater than \(D\) and \(p\), respectively. In the paper, the authors seek a minimum number \(B=B(m,n,p,D)\) such that \([S]=\mathcal R \sim (S) =\mathcal R^B\), where the \([S]\) and \((S)\) are the differential and ordinary ideals generated by the set \(S\) in the rings \(\mathcal R\) and \(\mathcal R^B\), respectively. The primary estimate of the number \(B\) was obtained by \textit{W. D. Brownawell} [Ann. Math. (2) 126, 577--591 (1987; Zbl 0641.14001)] in terms of the Ackermann function and has the form \(B\leq A(m+8,n+\max (n,p,D))\). Here the authors ``make these bounds more explicit and, therefore, more applicable to understanding the computational complexity of the problem, which is essential to designing more efficient algorithms''.