Results 1  10
of
39
A General Approach To Removing Degeneracies
 SIAM J. Computing
, 1991
"... We wish to increase the power of an arbitrary algorithm designed for nondegenerate input, by allowing it to execute on all inputs. We concentrate on infinitesimal symbolic perturbations that do not affect the output for inputs in general position. Otherwise, if the problem mapping is continuous, th ..."
Abstract

Cited by 52 (6 self)
 Add to MetaCart
We wish to increase the power of an arbitrary algorithm designed for nondegenerate input, by allowing it to execute on all inputs. We concentrate on infinitesimal symbolic perturbations that do not affect the output for inputs in general position. Otherwise, if the problem mapping is continuous, the input and output space topology are at least as coarse as the real euclidean one and the output space is connected, then our perturbations make the algorithm produce an output arbitrarily close or identical to the correct one. For a special class of algorithms, which includes several important algorithms in computational geometry,we describe a deterministic method that requires no symbolic computation. Ignoring polylogarithmic factors, this method increases only the worstcase bit complexity by a multiplicative factor which is linear in the dimension of the geometric space. For general algorithms, a randomized scheme with arbitrarily high probability of success is proposed; the bit complexity is then bounded by a smalldegree polynomial in the original worstcase complexity. In addition to being simpler than previous ones, these are the first efficient perturbation methods.
Quantifier Elimination for Real Algebra  the Quadratic Case and Beyond
 AAECC
, 1993
"... . We present a new, "elementary" quantifier elimination method for various special cases of the general quantifier elimination problem for the firstorder theory of real numbers. These include the elimination of one existential quantifier 9x in front of quantifierfree formulas restricted by a non ..."
Abstract

Cited by 42 (4 self)
 Add to MetaCart
. We present a new, "elementary" quantifier elimination method for various special cases of the general quantifier elimination problem for the firstorder theory of real numbers. These include the elimination of one existential quantifier 9x in front of quantifierfree formulas restricted by a nontrivial quadratic equation in x (the case considered also in [7]), and more generally in front of arbitrary quantifierfree formulas involving only polynomials that are quadratic in x. The method generalizes the linear quantifier elimination method by virtual substitution of test terms in [9]. It yields a quantifier elimination method for an arbitrary number of quantifiers in certain formulas involving only linear and quadratic occurences of the quantified variables. Moreover, for existential formulas ' of this kind it yields sample answers to the query represented by '. The method is implemented in reduce as part of the redlog package (see [4, 5]). Experiments show that the method is appl...
An Algorithm for Sums of Squares of Real Polynomials
 Journal of Pure and Applied Algebra
"... This paper was written while the rst author was a visitor at Dortmund University. She gratefully thanks the Deutscher Akademischer Austauschdienst for funding for this visit, as well as Professor E. Becker and his assistants for their warm hospitality during her stay. AN ALGORITHM FOR SUMS OF SQUAR ..."
Abstract

Cited by 32 (0 self)
 Add to MetaCart
This paper was written while the rst author was a visitor at Dortmund University. She gratefully thanks the Deutscher Akademischer Austauschdienst for funding for this visit, as well as Professor E. Becker and his assistants for their warm hospitality during her stay. AN ALGORITHM FOR SUMS OF SQUARES OF REAL POLYNOMIALS 5
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 25 (7 self)
 Add to MetaCart
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
Diffractive Nonlinear Geometric Optics With Rectification
 Indiana Univ. Math. J
, 1998
"... . This paper studies high frequency solutions of nonlinear hyperbolic equations for time scales at which diffractive effects and nonlinear effects are both present in the leading term of approximate solutions. The key innovation is the analysis of rectification effects, that is the interaction of t ..."
Abstract

Cited by 20 (4 self)
 Add to MetaCart
. This paper studies high frequency solutions of nonlinear hyperbolic equations for time scales at which diffractive effects and nonlinear effects are both present in the leading term of approximate solutions. The key innovation is the analysis of rectification effects, that is the interaction of the nonoscillatory local mean field with the rapidly oscillating fields. The main results prove that in the limit of frequency tending to infinity, the relative error in our approximate solutions tends to zero. One of our main conclusions is that for oscillatory fields associated with wave vectors on curved parts of the characteristic variety, the interaction is negligible to leading order. For wave vectors on flat parts of the variety, the interaction is spelled out in detail. Outline. x1. Introduction. x2. The ansatz and the first profile equations. x3. Large time asymptotics for linear symmetric hyperbolic systems. x4. Profile equations, continuation. x5. Solvability of the profile eq...
Variations by complexity theorists on three themes of Euler, . . .
 COMPUTATIONAL COMPLEXITY
, 2005
"... This paper surveys some connections between geometry and complexity. A main role is played by some quantities —degree, Euler characteristic, Betti numbers — associated to algebraic or semialgebraic sets. This role is twofold. On the one hand, lower bounds on the deterministic time (sequential and pa ..."
Abstract

Cited by 10 (3 self)
 Add to MetaCart
This paper surveys some connections between geometry and complexity. A main role is played by some quantities —degree, Euler characteristic, Betti numbers — associated to algebraic or semialgebraic sets. This role is twofold. On the one hand, lower bounds on the deterministic time (sequential and parallel) necessary to decide a set S are established as functions of these quantities associated to S. The optimality of some algorithms is obtained as a consequence. On the other hand, the computation of these quantities gives rise to problems which turn out to be hard (or complete) in different complexity classes. These two kind of results thus turn the quantities above into measures of complexity in two quite different ways.
Complex Monodromy and the topology of real algebraic sets, Compositio Math
"... Abstract. We study the Euler characteristic of the real Milnor fibres of a real analytic map, using a relation between complex monodromy and complex conjugation. We deduce the result of Coste and Kurdyka that the Euler characteristic of the link of an irreducible algebraic subset of a real algebraic ..."
Abstract

Cited by 9 (5 self)
 Add to MetaCart
Abstract. We study the Euler characteristic of the real Milnor fibres of a real analytic map, using a relation between complex monodromy and complex conjugation. We deduce the result of Coste and Kurdyka that the Euler characteristic of the link of an irreducible algebraic subset of a real algebraic set is generically constant modulo 4. We generalize this result to iterated links of ordered families of algebraic subsets.
Robustness of Nonlinear Systems Subject to TimeVarying Perturbations
, 1997
"... this paper we study robustness of discretetime nonlinear systems based on these results. The key idea is to define a stability radius for the perturbed nonlinear system, and then to examine the related stability radii for the linearized system. Following the approach outlined in [6, 7] we assume th ..."
Abstract

Cited by 9 (7 self)
 Add to MetaCart
this paper we study robustness of discretetime nonlinear systems based on these results. The key idea is to define a stability radius for the perturbed nonlinear system, and then to examine the related stability radii for the linearized system. Following the approach outlined in [6, 7] we assume there exists a fixed point x