Results 1  10
of
20
Computing the equidimensional decomposition of an algebraic closed set by means of lifting fibers
 J. Complexity
, 2000
"... We present a new probabilistic method for solving systems of polynomial equations and inequations. Our algorithm computes the equidimensional decomposition of the Zariski closure of the solution set of such systems. Each equidimensional component is encoded by a generic fiber, that is a finite set o ..."
Abstract

Cited by 63 (2 self)
 Add to MetaCart
We present a new probabilistic method for solving systems of polynomial equations and inequations. Our algorithm computes the equidimensional decomposition of the Zariski closure of the solution set of such systems. Each equidimensional component is encoded by a generic fiber, that is a finite set of points obtained from the intersection of the component with a generic transverse affine subspace. Our algorithm is incremental in the number of equations to be solved. Its complexity is mainly cubic in the maximum of the degrees of the solution sets of the intermediate systems counting multiplicities. Our method is designed for coefficient fields having characteristic zero or big enough with respect to the number of solutions. If the base field is the field of the rational numbers then the resolution is first performed modulo a random prime number after we have applied a random change of coordinates. Then we search for coordinates with small integers and lift the solutions up to the rational numbers. Our implementation is available within our package Kronecker from version 0.166, which is written in the Magma computer algebra system. 1
Generalized polar varieties: Geometry and algorithms
, 2004
"... Let V be a closed algebraic subvariety of the n–dimensional projective space over the complex or real numbers and suppose that V is non–empty and equidimensional. The classic notion of a polar variety of V associated with a given linear subvariety of the ambient space of V was generalized and motiva ..."
Abstract

Cited by 37 (12 self)
 Add to MetaCart
(Show Context)
Let V be a closed algebraic subvariety of the n–dimensional projective space over the complex or real numbers and suppose that V is non–empty and equidimensional. The classic notion of a polar variety of V associated with a given linear subvariety of the ambient space of V was generalized and motivated in [2]. As particular instances of this notion of a generalized polar variety one reobtains the classic one and an alternative type of a polar varietiy, called dual. As main result of the present paper we show that for a generic choice of their parameters the generalized polar varieties of V are empty or equidimensional and smooth in any regular point of V. In the case that the variety V is affine and smooth and has a complete intersection ideal of definition, we are able, for a generic parameter choice, to describe locally the generalized polar varieties of V by explicit equations. Finally, we indicate how this description may be used in order to design in
On the geometry of polar varieties
, 2009
"... We have developed in the past several algorithms with intrinsic complexity bounds for the problem of point finding in real algebraic varieties. Our aim here is to give a comprehensive presentation of the geometrical tools which are necessary to prove the correctness and complexity estimates of these ..."
Abstract

Cited by 33 (17 self)
 Add to MetaCart
We have developed in the past several algorithms with intrinsic complexity bounds for the problem of point finding in real algebraic varieties. Our aim here is to give a comprehensive presentation of the geometrical tools which are necessary to prove the correctness and complexity estimates of these algorithms. Our results form also the geometrical main ingredients for the computational treatment of singular hypersurfaces. In particular, we show the non–emptiness of suitable generic dual polar varieties of (possibly singular) real varieties, show that generic polar varieties may become singular at smooth points of the original variety and exhibit a sufficient criterion when this is not the case. Further, we introduce the new concept of meagerly generic polar varieties and give a degree estimate for them in terms of the degrees of generic polar varieties. The statements are illustrated by examples and a computer experiment.
The Hardness of Polynomial Equation Solving
, 2003
"... Elimination theory is at the origin of algebraic geometry in the 19th century and deals with algorithmic solving of multivariate polynomial equation systems over the complex numbers, or, more generally, over an arbitrary algebraically closed field. In this paper we investigate the intrinsic seq ..."
Abstract

Cited by 26 (14 self)
 Add to MetaCart
(Show Context)
Elimination theory is at the origin of algebraic geometry in the 19th century and deals with algorithmic solving of multivariate polynomial equation systems over the complex numbers, or, more generally, over an arbitrary algebraically closed field. In this paper we investigate the intrinsic sequential time complexity of universal elimination procedures for arbitrary continuous data structures encoding input and output objects of elimination theory (i.e. polynomial equation systems) and admitting the representation of certain limit objects.
Solving Polynomial Systems Equation by Equation
 in IMA Volume 146: Algorithms in Algebraic Geometry
, 2007
"... ..."
(Show Context)
Numerical decomposition of the rankdeficiency set of a matrix of multivariate polynomials
, 2008
"... ..."
Geometric Completion of Differential Systems using NumericSymbolic Continuation
 SIGSAM Bulletin
, 2002
"... Symbolic algorithms using a finite number of exact differentiations and eliminations are able to reduce over and underdetermined systems of polynomially nonlinear differential equations to involutive form. The output involutive form enables the identification of consistent initial values, and eases ..."
Abstract

Cited by 11 (9 self)
 Add to MetaCart
(Show Context)
Symbolic algorithms using a finite number of exact differentiations and eliminations are able to reduce over and underdetermined systems of polynomially nonlinear differential equations to involutive form. The output involutive form enables the identification of consistent initial values, and eases the application of exact or numerical integration methods. Motivated to avoid expression swell of pure symbolic approaches and with the desire to handle systems with approximate coefficients, we propose the use of homotopy continuation methods to perform the differentialelimination process on such nonsquare systems. Examples such as the classic index 3 Pendulum illustrate the new procedure. Our approach uses slicing by random linear subspaces to intersect its jet components in finitely many points. Generation of enough generic points enables irreducible jet components of the differential system to be interpolated. 1
Polyhedral Methods in Numerical Algebraic Geometry
"... In numerical algebraic geometry witness sets are numerical representations of positive dimensional solution sets of polynomial systems. Considering the asymptotics of witness sets we propose certificates for algebraic curves. These certificates are the leading terms of a Puiseux series expansion of ..."
Abstract

Cited by 6 (4 self)
 Add to MetaCart
In numerical algebraic geometry witness sets are numerical representations of positive dimensional solution sets of polynomial systems. Considering the asymptotics of witness sets we propose certificates for algebraic curves. These certificates are the leading terms of a Puiseux series expansion of the curve starting at infinity. The vector of powers of the first term in the series is a tropism. For proper algebraic curves, we relate the computation of tropisms to the calculation of mixed volumes. With this relationship, the computation of tropisms and Puiseux series expansions could be used as a preprocessing stage prior to a more expensive witness set computation. Systems with few monomials have fewer isolated solutions and fewer data are needed to represent their positive dimensional solution sets.