Results 1  10
of
58
On triangular decompositions of algebraic varieties
 Presented at the MEGA2000 Conference
, 1999
"... We propose an efficient algorithm for computing triangular decompositions of algebraic varieties. It is based on an incremental process and produces components in order of decreasing dimension. The combination of these two major features is obtained by means of lazy evaluation techniques and a lifti ..."
Abstract

Cited by 68 (36 self)
 Add to MetaCart
(Show Context)
We propose an efficient algorithm for computing triangular decompositions of algebraic varieties. It is based on an incremental process and produces components in order of decreasing dimension. The combination of these two major features is obtained by means of lazy evaluation techniques and a lifting property for calculations modulo regular chains. This allows a good management of the intermediate computations, as confirmed by several implementations and applications of this work. Our algorithm is also well suited for parallel execution.
Polar Varieties and Computation of one Point in each Connected Component of a Smooth Real Algebraic Set
, 2003
"... Let f1,..., fs be polynomials in Q[X1,..., Xn] that generate a radical ideal and let V be their complex zeroset. Suppose that V is smooth and equidimensional; then we show that computing suitable sections of the polar varieties associated to generic projections of V gives at least one point in each ..."
Abstract

Cited by 34 (16 self)
 Add to MetaCart
Let f1,..., fs be polynomials in Q[X1,..., Xn] that generate a radical ideal and let V be their complex zeroset. Suppose that V is smooth and equidimensional; then we show that computing suitable sections of the polar varieties associated to generic projections of V gives at least one point in each connected component of V ∩ R n. We deduce an algorithm that extends that of Bank, Giusti, Heintz and Mbakop to noncompact situations. Its arithmetic complexity is polynomial in the complexity of evaluation of the input system, an intrinsic algebraic quantity and a combinatorial quantity.
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 18 (10 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.
Change of ordering for regular chains in positive dimension
 IN ILIAS S. KOTSIREAS, EDITOR, MAPLE CONFERENCE 2006
, 2006
"... We discuss changing the variable ordering for a regular chain in positive dimension. This quite general question has applications going from implicitization problems to the symbolic resolution of some systems of differential algebraic equations. We propose a modular method, reducing the problem to d ..."
Abstract

Cited by 17 (8 self)
 Add to MetaCart
We discuss changing the variable ordering for a regular chain in positive dimension. This quite general question has applications going from implicitization problems to the symbolic resolution of some systems of differential algebraic equations. We propose a modular method, reducing the problem to dimension zero and using NewtonHensel lifting techniques. The problems raised by the choice of the specialization points, the lack of the (crucial) information of what are the free and algebraic variables for the new ordering, and the efficiency regarding the other methods are discussed. Strong hypotheses (but not unusual) for the initial regular chain are required. Change of ordering in dimension zero is taken as a subroutine.
Fast algorithms for zerodimensional polynomial systems using duality
 APPLICABLE ALGEBRA IN ENGINEERING, COMMUNICATION AND COMPUTING
, 2001
"... Many questions concerning a zerodimensional polynomial system can be reduced to linear algebra operations in the quotient algebra A = k[X1,..., Xn]/I, where I is the ideal generated by the input system. Assuming that the multiplicative structure of the algebra A is (partly) known, we address the q ..."
Abstract

Cited by 16 (3 self)
 Add to MetaCart
Many questions concerning a zerodimensional polynomial system can be reduced to linear algebra operations in the quotient algebra A = k[X1,..., Xn]/I, where I is the ideal generated by the input system. Assuming that the multiplicative structure of the algebra A is (partly) known, we address the question of speeding up the linear algebra phase for the computation of minimal polynomials and rational parametrizations in A. We present new formulæ for the rational parametrizations, extending those of Rouillier, and algorithms extending ideas introduced by Shoup in the univariate case. Our approach is based on the Amodule structure of the dual space � A. An important feature of our algorithms is that we do not require � A to be free and of rank 1. The complexity of our algorithms for computing the minimal polynomial and the rational parametrizations are O(2 n D 5/2) and O(n2 n D 5/2) respectively, where D is the dimension of A. For fixed n, this is better than algorithms based on linear algebra except when the complexity of the available matrix product has exponent less than 5/2.
Improved dense multivariate polynomial factorization algorithms
 J. Symbolic Comput
, 2005
"... We present new deterministic and probabilistic algorithms that reduce the factorization of dense polynomials from several to one variable. The deterministic algorithm runs in subquadratic time in the dense size of the input polynomial, and the probabilistic algorithm is softly optimal when the numb ..."
Abstract

Cited by 15 (3 self)
 Add to MetaCart
(Show Context)
We present new deterministic and probabilistic algorithms that reduce the factorization of dense polynomials from several to one variable. The deterministic algorithm runs in subquadratic time in the dense size of the input polynomial, and the probabilistic algorithm is softly optimal when the number of variables is at least three. We also investigate the reduction from several to two variables and improve the quantitative version of Bertini’s irreducibility theorem. Key words: Polynomial factorization, Hensel lifting, Bertini’s irreducibility theorem.
Algorithms for Computing Triangular Decomposition of Polynomial Systems
, 2011
"... We discuss algorithmic advances which have extended the pioneer work of Wu on triangular decompositions. We start with an overview of the key ideas which have led to either better implementation techniques or a better understanding of the underlying theory. We then present new techniques that we reg ..."
Abstract

Cited by 14 (12 self)
 Add to MetaCart
We discuss algorithmic advances which have extended the pioneer work of Wu on triangular decompositions. We start with an overview of the key ideas which have led to either better implementation techniques or a better understanding of the underlying theory. We then present new techniques that we regard as essential to the recent success and for future research directions in the development of triangular decomposition methods.
High Probability Analysis of the Condition Number of Sparse Polynomial Systems
 THEORETICAL COMPUTER SCIENCE, SPECIAL ISSUE ON ALGEBRAIC AND NUMERICAL ALGORITHMS
, 2002
"... Let F:=(f1,...,fn) be a random polynomial system with fixed ntuple of supports. Our main result is an upper bound on the probability that the condition number of f in a region U is larger than 1/ε. The bound depends on an integral of a differential form on a toric manifold and admits a simple expli ..."
Abstract

Cited by 13 (8 self)
 Add to MetaCart
Let F:=(f1,...,fn) be a random polynomial system with fixed ntuple of supports. Our main result is an upper bound on the probability that the condition number of f in a region U is larger than 1/ε. The bound depends on an integral of a differential form on a toric manifold and admits a simple explicit upper bound when the Newton polytopes (and underlying covariances) are all identical. We also consider polynomials with real coefficients and give bounds for the expected number of real roots and (restricted) condition number. Using a Kähler geometric framework throughout, we also express the expected number of roots of f inside a region U as the integral over U of a certain mixed volume form, thus recovering the classical mixed volume when U = (C ∗ ) n.
Solving Polynomial Systems Equation by Equation
 in IMA Volume 146: Algorithms in Algebraic Geometry
, 2007
"... ..."
(Show Context)