Deterministic genericity for polynomial ideals
نویسندگان
چکیده
منابع مشابه
Deterministic Genericity for Polynomial Ideals
We consider several notions of genericity appearing in algebraic geometry and commutative algebra. Special emphasis is put on various stability notions which are defined in a combinatorial manner and for which a number of equivalent algebraic characterisations are provided. It is shown that in characteristic zero the corresponding generic positions can be obtained with a simple deterministic al...
متن کاملTheta Bodies for Polynomial Ideals
Inspired by a question of Lovász, we introduce a hierarchy of nested semidefinite relaxations of the convex hull of real solutions to an arbitrary polynomial ideal, called theta bodies of the ideal. For the stable set problem in a graph, the first theta body in this hierarchy is exactly Lovász’s theta body of the graph. We prove that theta bodies are, up to closure, a version of Lasserre’s rela...
متن کاملDeterministic polynomial-time test for prime ideals in a Dedekind domain with finite rank
We describe a deterministic polynomial-time test that determining whether a nonzero ideal is a prime ideal in a Dedekind domain with finite rank. The techniques which we used are basis representation of finite rings and the Hermite and Smith normal forms.
متن کاملGenericity of Algebraically Observable Polynomial Systems
E. Sontag has introduced the concept of algebraic observability for n-dimensional polynomial systems. It is a stronger notion than the usual concept of observability and implies the existence of a polynomial expression of the state variables in terms of a finite number of derivatives of the output function. We prove that algebraic observability is a generic property for polynomial systems of bo...
متن کاملPerturbation of Polynomial Ideals
In this paper we explore the interrelationship between the theory of polynomial ideals and certain branches of analysis including multivariate approximation theory and linear partial differential equations. Specifically, we use the perturbation technique from analysis to study the codimension of a multivariate polynomial ideal. Let K be a field. In this paper, K will often be the field C of com...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Computation
سال: 2018
ISSN: 0747-7171
DOI: 10.1016/j.jsc.2017.03.008