6 research outputs found
Root Isolation of Zero-dimensional Polynomial Systems with Linear Univariate Representation
In this paper, a linear univariate representation for the roots of a
zero-dimensional polynomial equation system is presented, where the roots of
the equation system are represented as linear combinations of roots of several
univariate polynomial equations. The main advantage of this representation is
that the precision of the roots can be easily controlled. In fact, based on the
linear univariate representation, we can give the exact precisions needed for
roots of the univariate equations in order to obtain the roots of the equation
system to a given precision. As a consequence, a root isolation algorithm for a
zero-dimensional polynomial equation system can be easily derived from its
linear univariate representation.Comment: 19 pages,2 figures; MM-Preprint of KLMM, Vol. 29, 92-111, Aug. 201
An Elimination Method for Solving Bivariate Polynomial Systems: Eliminating the Usual Drawbacks
We present an exact and complete algorithm to isolate the real solutions of a
zero-dimensional bivariate polynomial system. The proposed algorithm
constitutes an elimination method which improves upon existing approaches in a
number of points. First, the amount of purely symbolic operations is
significantly reduced, that is, only resultant computation and square-free
factorization is still needed. Second, our algorithm neither assumes generic
position of the input system nor demands for any change of the coordinate
system. The latter is due to a novel inclusion predicate to certify that a
certain region is isolating for a solution. Our implementation exploits
graphics hardware to expedite the resultant computation. Furthermore, we
integrate a number of filtering techniques to improve the overall performance.
Efficiency of the proposed method is proven by a comparison of our
implementation with two state-of-the-art implementations, that is, LPG and
Maple's isolate. For a series of challenging benchmark instances, experiments
show that our implementation outperforms both contestants.Comment: 16 pages with appendix, 1 figure, submitted to ALENEX 201
Probing the arrangement of hyperplanes
AbstractIn this paper we investigate the combinatorial complexity of an algorithm to determine the geometry and the topology related to an arrangement of hyperplanes in multi-dimensional Euclidean space from the “probing” on the arrangement. The “probing” by a flat means the operation from which we can obtain the intersection of the flat and the arrangement. For a finite set H of hyperplanes in Ed, we obtain the worst-case number of fixed direction line probes and that of flat probes to determine a generic line of H and H itself. We also mention the bound for the computational complexity of these algorithms based on the efficient line probing algorithm which uses the dual transform to compute a generic line of H.We also consider the problem to approximate arrangements by extending the point probing model, which have connections with computational learning theory such as learning a network of threshold functions, and introduce the vertical probing model and the level probing model. It is shown that the former is closely related to the finger probing for a polyhedron and that the latter depends on the dual graph of the arrangement.The probing for an arrangement can be used to obtain the solution for a given system of algebraic equations by decomposing the μ-resultant into linear factors. It also has interesting applications in robotics such as a motion planning using an ultrasonic device that can detect the distances to obstacles along a specified direction
Root Isolation of Zero-dimensional Polynomial Systems with Linear Univariate Representation
Abstract In this paper, a linear univariate representation for the roots of a zero-dimensional polynomial equation system is presented, where the roots of the equation system are represented as linear combinations of roots of several univariate polynomial equations. The main advantage of this representation is that the precision of the roots can be easily controlled. In fact, based on the linear univariate representation, we can give the exact precisions needed for isolating the roots of the univariate equations in order to obtain the roots of the equation system to a given precision. As a consequence, a root isolation algorithm for a zero-dimensional polynomial equation system can be easily derived from its linear univariate representation
Exact Symbolic-Numeric Computation of Planar Algebraic Curves
We present a novel certified and complete algorithm to compute arrangements
of real planar algebraic curves. It provides a geometric-topological analysis
of the decomposition of the plane induced by a finite number of algebraic
curves in terms of a cylindrical algebraic decomposition. From a high-level
perspective, the overall method splits into two main subroutines, namely an
algorithm denoted Bisolve to isolate the real solutions of a zero-dimensional
bivariate system, and an algorithm denoted GeoTop to analyze a single algebraic
curve.
Compared to existing approaches based on elimination techniques, we
considerably improve the corresponding lifting steps in both subroutines. As a
result, generic position of the input system is never assumed, and thus our
algorithm never demands for any change of coordinates. In addition, we
significantly limit the types of involved exact operations, that is, we only
use resultant and gcd computations as purely symbolic operations. The latter
results are achieved by combining techniques from different fields such as
(modular) symbolic computation, numerical analysis and algebraic geometry.
We have implemented our algorithms as prototypical contributions to the
C++-project CGAL. They exploit graphics hardware to expedite the symbolic
computations. We have also compared our implementation with the current
reference implementations, that is, LGP and Maple's Isolate for polynomial
system solving, and CGAL's bivariate algebraic kernel for analyses and
arrangement computations of algebraic curves. For various series of challenging
instances, our exhaustive experiments show that the new implementations
outperform the existing ones.Comment: 46 pages, 4 figures, submitted to Special Issue of TCS on SNC 2011.
arXiv admin note: substantial text overlap with arXiv:1010.1386 and
arXiv:1103.469