Results 1  10
of
16
Numerical Homotopies to compute generic Points on positive dimensional Algebraic Sets
 Journal of Complexity
, 1999
"... Many applications modeled by polynomial systems have positive dimensional solution components (e.g., the path synthesis problems for fourbar mechanisms) that are challenging to compute numerically by homotopy continuation methods. A procedure of A. Sommese and C. Wampler consists in slicing the com ..."
Abstract

Cited by 50 (24 self)
 Add to MetaCart
Many applications modeled by polynomial systems have positive dimensional solution components (e.g., the path synthesis problems for fourbar mechanisms) that are challenging to compute numerically by homotopy continuation methods. A procedure of A. Sommese and C. Wampler consists in slicing the components with linear subspaces in general position to obtain generic points of the components as the isolated solutions of an auxiliary system. Since this requires the solution of a number of larger overdetermined systems, the procedure is computationally expensive and also wasteful because many solution paths diverge. In this article an embedding of the original polynomial system is presented, which leads to a sequence of homotopies, with solution paths leading to generic points of all components as the isolated solutions of an auxiliary system. The new procedure significantly reduces the number of paths to solutions that need to be followed. This approach has been implemented and applied to...
Counting complexity classes for numeric computations II: Algebraic and semialgebraic sets (Extended Abstract)
 J. COMPL
, 2004
"... We define counting #P classes #P ¡ and in the BlumShubSmale setting of computations over the real or complex numbers, respectively. The problems of counting the number of solutions of systems of polynomial inequalities over ¢ , or of systems of polynomial equalities over £ , respectively, turn ou ..."
Abstract

Cited by 21 (13 self)
 Add to MetaCart
We define counting #P classes #P ¡ and in the BlumShubSmale setting of computations over the real or complex numbers, respectively. The problems of counting the number of solutions of systems of polynomial inequalities over ¢ , or of systems of polynomial equalities over £ , respectively, turn out to be natural complete problems in these classes. We investigate to what extent the new counting classes capture the complexity of computing basic topological invariants of semialgebraic sets (over ¢ ) and algebraic sets (over £). We prove that the problem to compute the (modified) Euler characteristic of semialgebraic sets is FP #P¤complete, and that the problem to compute the geometric degree of complex algebraic sets is FP #P¥complete. We also define new counting complexity classes GCR and GCC in the classical Turing model via taking Boolean parts of the classes above, and show that the problems to compute the Euler characteristic and the geometric degree of (semi)algebraic sets given by integer polynomials are complete in these classes. We complement the results in the Turing model by proving, for all k ¦ ∈ , the FPSPACEhardness of the problem of computing the kth Betti number of the set of real zeros of a given integer polynomial. This holds with respect to the singular homology as well as for the BorelMoore homology.
Automatic Generator of Minimal Problem Solvers. ECCV
, 2008
"... Abstract. Finding solutions to minimal problems for estimating epipolar geometry and camera motion leads to solving systems of algebraic equations. Often, these systems are not trivial and therefore special algorithms have to be designed to achieve numerical robustness and computational efficiency. ..."
Abstract

Cited by 17 (3 self)
 Add to MetaCart
Abstract. Finding solutions to minimal problems for estimating epipolar geometry and camera motion leads to solving systems of algebraic equations. Often, these systems are not trivial and therefore special algorithms have to be designed to achieve numerical robustness and computational efficiency. The state of the art approach for constructing such algorithms is the Gröbner basis method for solving systems of polynomial equations. Previously, the Gröbner basis solvers were designed ad hoc for concrete problems and they could not be easily applied to new problems. In this paper we propose an automatic procedure for generating Gröbner basis solvers which could be used even by nonexperts to solve technical problems. The input to our solver generator is a system of polynomial equations with a finite number of solutions. The output of our solver generator is the Matlab or C code which computes solutions to this system for concrete coefficients. Generating solvers automatically opens possibilities to solve more complicated problems which could not be handled manually or solving existing problems in a better and more efficient way. We demonstrate that our automatic generator constructs efficient and numerically stable solvers which are comparable or outperform known manually constructed solvers. The automatic generator is available at
Probabilistic Algorithms for Geometric Elimination
 in Engineering, Communication and Computing
, 1999
"... We develop probabilistic algorithms that solve problems of geometric elimination theory using small memory resources. These algorithms are obtained by means of the adaptation of a general transformation due to A. Borodin which converts uniform boolean circuit depth into sequential (Turing machine) s ..."
Abstract

Cited by 12 (5 self)
 Add to MetaCart
We develop probabilistic algorithms that solve problems of geometric elimination theory using small memory resources. These algorithms are obtained by means of the adaptation of a general transformation due to A. Borodin which converts uniform boolean circuit depth into sequential (Turing machine) space. The boolean circuits themselves are developed using techniques based on the computation of a primitive element of a suitable zerodimensional algebra and diophantine considerations. Our algorithms improve...
An Algorithm for Deciding Zero Equivalence of Nested Polynomially Recurrent Sequences
 Transactions on Algorithms
, 2003
"... We introduce the class of nested polynomially recurrent sequences which includes a large number of sequences that are of combinatorial interest. We present an algorithm for deciding zero equivalence of these sequences, thereby providing a new algorithm for proving identities among combinatorial sequ ..."
Abstract

Cited by 6 (5 self)
 Add to MetaCart
We introduce the class of nested polynomially recurrent sequences which includes a large number of sequences that are of combinatorial interest. We present an algorithm for deciding zero equivalence of these sequences, thereby providing a new algorithm for proving identities among combinatorial sequences: in order to prove an identity, decide by the algorithm whether the difference of left hand side and right hand side is identically zero. This algorithm is able to treat mathematical objects which are not covered by any other known symbolic method for proving combinatorial identities. Despite its theoretical flavor and its high complexity, an implementation of the algorithm can be successfully applied to nontrivial examples. Key words: symbolic computation, combinatorial sequences, nested polynomially recurrent sequences, zero equivalence, decision procedure 1
Computing Multidimensional Persistence ⋆
"... Abstract. The theory of multidimensional persistence captures the topology of a multifiltration – a multiparameter family of increasing spaces. Multifiltrations arise naturally in the topological analysis of scientific data. In this paper, we give a polynomial time algorithm for computing multidimen ..."
Abstract

Cited by 4 (1 self)
 Add to MetaCart
Abstract. The theory of multidimensional persistence captures the topology of a multifiltration – a multiparameter family of increasing spaces. Multifiltrations arise naturally in the topological analysis of scientific data. In this paper, we give a polynomial time algorithm for computing multidimensional persistence. 1
Convex Integer Maximization via Graver Bases
, 2008
"... We present a new algebraic algorithmic scheme to solve convex integer maximization problems of the following form, where c is a convex function on R d and w1x,..., wdx are linear forms on R n, max {c(w1x,..., wdx) : Ax = b, x ∈ N n}. This method works for arbitrary input data A, b, d, w1,..., wd, c. ..."
Abstract

Cited by 4 (2 self)
 Add to MetaCart
We present a new algebraic algorithmic scheme to solve convex integer maximization problems of the following form, where c is a convex function on R d and w1x,..., wdx are linear forms on R n, max {c(w1x,..., wdx) : Ax = b, x ∈ N n}. This method works for arbitrary input data A, b, d, w1,..., wd, c. Moreover, for fixed d and several important classes of programs in variable dimension, we prove that our algorithm runs in polynomial time. As a consequence, we obtain polynomial time algorithms for various types of multiway transportation problems, packing problems, and partitioning problems in variable dimension.
The complexity of computing the Hilbert polynomial of smooth equidimensional complex projective varieties
, 2005
"... We continue the study of counting complexity begun in [7, 8, 9] by proving upper and lower bounds on the complexity of computing the Hilbert polynomial of a homogeneous ideal. We show that the problem of computing the Hilbert polynomial of a smooth equidimensional complex projective variety can be r ..."
Abstract

Cited by 3 (2 self)
 Add to MetaCart
We continue the study of counting complexity begun in [7, 8, 9] by proving upper and lower bounds on the complexity of computing the Hilbert polynomial of a homogeneous ideal. We show that the problem of computing the Hilbert polynomial of a smooth equidimensional complex projective variety can be reduced in polynomial time to the problem of counting the number of complex common zeros of a finite set of multivariate polynomials. Moreover, we prove that the more general problem of computing the Hilbert polynomial of a homogeneous ideal is polynomial space hard. This implies polynomial space lower bounds for both the problems of computing the rank and the Euler characteristic of cohomology groups of coherent sheaves on projective space, improving the #Plower bound in Bach [1].
On the Complexity of Counting Components of Algebraic Varieties
, 2008
"... We give a uniform method for the two problems of counting the connected and irreducible components of complex algebraic varieties. Our algorithms are purely algebraic, i.e., they use only the field structure of C. They work in parallel polynomial time, i.e., they can be implemented by algebraic circ ..."
Abstract

Cited by 3 (2 self)
 Add to MetaCart
We give a uniform method for the two problems of counting the connected and irreducible components of complex algebraic varieties. Our algorithms are purely algebraic, i.e., they use only the field structure of C. They work in parallel polynomial time, i.e., they can be implemented by algebraic circuits of polynomial depth. The design of our algorithms relies on the concept of algebraic differential forms. A further important building block is an algorithm of Szántó computing a variant of characteristic sets. Furthermore, we use these methods to obtain a parallel polynomial time algorithm for computing the Hilbert polynomial of a projective variety which is arithmetically CohenMacaulay.
Convex Integer Maximization via Graver Bases
, 2008
"... We present a new algebraic algorithmic scheme to solve convex integer maximization problems of the following form, where c is a convex function on R d and w1x,..., wdx are linear forms on R n, max {c(w1x,..., wdx) : Ax = b, x ∈ N n}. This method works for arbitrary input data A, b, d, w1,..., wd, c. ..."
Abstract

Cited by 2 (2 self)
 Add to MetaCart
We present a new algebraic algorithmic scheme to solve convex integer maximization problems of the following form, where c is a convex function on R d and w1x,..., wdx are linear forms on R n, max {c(w1x,..., wdx) : Ax = b, x ∈ N n}. This method works for arbitrary input data A, b, d, w1,..., wd, c. Moreover, for fixed d and several important classes of programs in variable dimension, we prove that our algorithm runs in polynomial time. As a consequence, we obtain polynomial time algorithms for various types of multiway transportation problems, packing problems, and partitioning problems in variable dimension.