2,769 research outputs found
Implicitization of curves and (hyper)surfaces using predicted support
We reduce implicitization of rational planar parametric curves and (hyper)surfaces to linear algebra, by interpolating the coefficients of the implicit equation.
For predicting the implicit support, we focus on methods that exploit input and output structure in the sense of sparse (or toric) elimination theory, namely by computing the Newton polytope of the implicit polynomial, via sparse resultant theory.
Our algorithm works even in the presence of base points but, in this case, the implicit equation shall be obtained as a factor of the produced polynomial.
We implement our methods on Maple, and some on Matlab as well, and study their numerical stability and efficiency on several classes of curves and surfaces.
We apply our approach to approximate implicitization,
and quantify the accuracy of the approximate output,
which turns out to be satisfactory on all tested examples; we also relate our measures to Hausdorff distance.
In building a square or rectangular matrix, an important issue is (over)sampling the given curve or surface: we conclude that unitary complexes offer the best tradeoff between speed and accuracy when numerical methods are employed, namely SVD, whereas for exact kernel computation random integers is the method of choice.
We compare our prototype to existing software and find that it is rather competitive
Symbolic-Numeric Algorithms for Computer Analysis of Spheroidal Quantum Dot Models
A computation scheme for solving elliptic boundary value problems with
axially symmetric confining potentials using different sets of one-parameter
basis functions is presented. The efficiency of the proposed symbolic-numerical
algorithms implemented in Maple is shown by examples of spheroidal quantum dot
models, for which energy spectra and eigenfunctions versus the spheroid aspect
ratio were calculated within the conventional effective mass approximation.
Critical values of the aspect ratio, at which the discrete spectrum of models
with finite-wall potentials is transformed into a continuous one in strong
dimensional quantization regime, were revealed using the exact and adiabatic
classifications.Comment: 6 figures, Submitted to Proc. of The 12th International Workshop on
Computer Algebra in Scientific Computing (CASC 2010) Tsakhkadzor, Armenia,
September 5 - 12, 201
Counting and computing regions of -decomposition: algebro-geometric approach
New methods for -decomposition analysis are presented. They are based on
topology of real algebraic varieties and computational real algebraic geometry.
The estimate of number of root invariant regions for polynomial parametric
families of polynomial and matrices is given. For the case of two parametric
family more sharp estimate is proven. Theoretic results are supported by
various numerical simulations that show higher precision of presented methods
with respect to traditional ones. The presented methods are inherently global
and could be applied for studying -decomposition for the space of parameters
as a whole instead of some prescribed regions. For symbolic computations the
Maple v.14 software and its package RegularChains are used.Comment: 16 pages, 8 figure
On the asymptotic and practical complexity of solving bivariate systems over the reals
This paper is concerned with exact real solving of well-constrained,
bivariate polynomial systems. The main problem is to isolate all common real
roots in rational rectangles, and to determine their intersection
multiplicities. We present three algorithms and analyze their asymptotic bit
complexity, obtaining a bound of \sOB(N^{14}) for the purely projection-based
method, and \sOB(N^{12}) for two subresultant-based methods: this notation
ignores polylogarithmic factors, where bounds the degree and the bitsize of
the polynomials. The previous record bound was \sOB(N^{14}).
Our main tool is signed subresultant sequences. We exploit recent advances on
the complexity of univariate root isolation, and extend them to sign evaluation
of bivariate polynomials over two algebraic numbers, and real root counting for
polynomials over an extension field. Our algorithms apply to the problem of
simultaneous inequalities; they also compute the topology of real plane
algebraic curves in \sOB(N^{12}), whereas the previous bound was
\sOB(N^{14}).
All algorithms have been implemented in MAPLE, in conjunction with numeric
filtering. We compare them against FGB/RS, system solvers from SYNAPS, and
MAPLE libraries INSULATE and TOP, which compute curve topology. Our software is
among the most robust, and its runtimes are comparable, or within a small
constant factor, with respect to the C/C++ libraries.
Key words: real solving, polynomial systems, complexity, MAPLE softwareComment: 17 pages, 4 algorithms, 1 table, and 1 figure with 2 sub-figure
Computing Dynamic Output Feedback Laws
The pole placement problem asks to find laws to feed the output of a plant
governed by a linear system of differential equations back to the input of the
plant so that the resulting closed-loop system has a desired set of
eigenvalues. Converting this problem into a question of enumerative geometry,
efficient numerical homotopy algorithms to solve this problem for general
Multi-Input-Multi-Output (MIMO) systems have been proposed recently. While
dynamic feedback laws offer a wider range of use, the realization of the output
of the numerical homotopies as a machine to control the plant in the time
domain has not been addressed before. In this paper we present symbolic-numeric
algorithms to turn the solution to the question of enumerative geometry into a
useful control feedback machine. We report on numerical experiments with our
publicly available software and illustrate its application on various control
problems from the literature.Comment: 20 pages, 3 figures; the software described in this paper is publicly
available via http://www.math.uic.edu/~jan/download.htm
A symbolic-numeric approach for parametrizing ruled surfaces
This paper presents symbolic algorithms to determine whether a given surface (implicitly or parametrically defined) is a rational ruled surface and find a proper parametrization of the ruled surface. However, in practical applications, one has to deal with numerical objects that are given approximately, probably because they proceed from an exact data that has been perturbed under some previous measuring process or manipulation. For these numerical objects, the authors adapt the symbolic algorithms presented by means of the use of numerical techniques. The authors develop numeric algorithms that allow to determine ruled surfaces "close" to an input (not necessarily ruled) surface, and the distance between the input and the output surface is computed.Ministerio de Ciencia, Innovación y UniversidadesNational Natural Science Foundation of Chin
- …