Some Complexity Results for Polynomial Ideals

  title={Some Complexity Results for Polynomial Ideals},
  author={Ernst W. Mayr},
  journal={J. Complex.},
  • E. Mayr
  • Published 1 September 1997
  • Mathematics
  • J. Complex.
In this paper, we survey some of our new results on the complexity of a number of problems related to polynomial ideals. We consider multivariate polynomials over some ring, like the integers or the rationals. For instance, a polynomial ideal membership problem is a (w+ 1)-tupleP= (f,g1,g2, ?gwwherefand thegiare multivariate polynomials, and the problem is to determine whetherfis in the ideal generated by thegi. For polynomials over the integers or rationals, this problem is known to be… 
Complexity of Membership Problems of Different Types of Polynomial Ideals
We survey degree bounds and complexity classes of the word problem for polynomial ideals and related problems. The word problem for general polynomial ideals is known to be exponential
On the complexity of counting components of algebraic varieties
Gröbner Basis over Semigroup Algebras: Algorithms and Applications for Sparse Polynomial Systems
This work introduces the first algorithm that overcomes the restriction of sparsity in the case where all the polynomials have the same sparsity structure, that is the same Newton polytope.
Counting complexity classes for numeric computations II: algebraic and semialgebraic sets
It is proved that, for all k ∈ N, the FPSPACE-hardness of the problem of computing the kth Betti number of the set of real zeros of a given integer polynomial holds with respect to the singular homology as well as for the Borel-Moore homology.
Gröbner Bases and Nullstellensätze for Graph-Coloring Ideals
This paper provides lower bounds on the difficulty of computing Gr\"obner bases and Nullstellensatz certificates for the coloring ideals of general graphs and provides a polynomial-time algorithm for chordal graphs.
Graph-Coloring Ideals: Nullstellensatz Certificates, Gröbner Bases for Chordal Graphs, and Hardness of Gröbner Bases
Lower bounds on the difficulty of computing Gröbner bases and Nullstellensatz certificates for the coloring ideals of general graphs are provided and a robust notion of hardness derived from the inapproximability of coloring problems is proved.
Linear Diophantine equations and applications
The present manuscript covers the following subjects, all related to the study of nonnegative integer solutions of linear systems of Diophantine equations. • The justification and implementation of
Counting Complexity Classes for Numeric Computations. III: Complex Projective Sets
It is proved that the corresponding result is true over C, namely that the computation of the Euler characteristic of an affine or projective complex variety is complete in the class FPC#PC, and a corresponding completeness result for the Turing model.
Algorithms for blackbox radical membership, Nullstellensatz and tr.deg
This work significantly improves effective Nullstellensatz degree-bound, when r ≪ n.deg r of the input polynomials is smaller than the number of variables n, and shows that these problems reduce to the case of r + 1 polynmials of tr.deg ≥ r .
On the robust hardness of Gröbner basis computation


Gröbner Bases: An Algorithmic Method in Polynomial Ideal Theory
Problems connected with ideals generated by finite sets F of multivariate polynomials occur, as mathematical subproblems, in various branches of systems theory, see, for example, [5]. The method of
On the complexity of computing a Gröbner basis for the radical of a zero dimensional ideal
We show that if a system of polynomials f l , f 2 , . . . ,Jr in n variables with deg(fl) _< d over the rational numbers has only finitely many affine zeros, then, all the affine zeros can be
Membership in Plynomial Ideals over Q Is Exponential Space Complete
It is shown that the problem for multivariate polynomials over the rationals is solvable in exponential space, establishing its exponential space completeness.
An optimal algorithm for constructing the reduced Gröbner basis of binomial ideals
An optimal, exponential space algorithm for generating the reduced Grobner basis of binomial ideals over Q in general is presented, making use of the close relationship between commutative semigroups and pure difierence binomial ideal.
Lower Bounds for diophantine Approximation
An intrinsic lower bound for the logarithmic height of diophantine approximations to a given solution of a zero--dimensional polynomial equation system is obtained and represents a multivariate version of Liouville's classical theorem on approximation of algebraic numbers by rationals.
Membership problem, Representation problem and the Computation of the Radical for one-dimensional Ideals
Borders are given for the complexity of the above problems which are simply exponential in the number n of variables in the one-dimensional case, and it is shown that in the general case the first two problems are doubly exponential only in the dimension of the ideal.
Exponential space computation of Gröbner bases
Using the ability to find normal forms, it is shown how to obtain the Groebner basis in exponential space by transforming a representation of the normal form into a system of linear equations and solving this system.
Binomial Ideals
We investigate the structure of ideals generated by binomials (polynomials with at most two terms) and the schemes and varieties associated to them. The class of binomial ideals contains many
Optimal Gröbner Base Algorithms for Binomial Ideals
An optimal, exponential space algorithm for generating the reduced Grobner basis of binomial ideals is exhibited and this result is then applied to derive space optimal decision procedures for the finite enumeration and subword problems for commutative semigroups.
Ideals, varieties, and algorithms - an introduction to computational algebraic geometry and commutative algebra (2. ed.)
The algorithmic roots of algebraic object, called a close relationship between ideals, many of polynomial equations in geometric, object called a more than you, for teaching purposes and varieties, and the solutions and reduce even without copy.