47,875 research outputs found
Toric Generalized Characteristic Polynomials
We illustrate an efficient new method for handling polynomial systems with
degenerate solution sets. In particular, a corollary of our techniques is a new
algorithm to find an isolated point in every excess component of the zero set
(over an algebraically closed field) of any by system of polynomial
equations. Since we use the sparse resultant, we thus obtain complexity bounds
(for converting any input polynomial system into a multilinear factorization
problem) which are close to cubic in the degree of the underlying variety --
significantly better than previous bounds which were pseudo-polynomial in the
classical B\'ezout bound. By carefully taking into account the underlying toric
geometry, we are also able to improve the reliability of certain sparse
resultant based algorithms for polynomial system solving
Recent Progress in Image Deblurring
This paper comprehensively reviews the recent development of image
deblurring, including non-blind/blind, spatially invariant/variant deblurring
techniques. Indeed, these techniques share the same objective of inferring a
latent sharp image from one or several corresponding blurry images, while the
blind deblurring techniques are also required to derive an accurate blur
kernel. Considering the critical role of image restoration in modern imaging
systems to provide high-quality images under complex environments such as
motion, undesirable lighting conditions, and imperfect system components, image
deblurring has attracted growing attention in recent years. From the viewpoint
of how to handle the ill-posedness which is a crucial issue in deblurring
tasks, existing methods can be grouped into five categories: Bayesian inference
framework, variational methods, sparse representation-based methods,
homography-based modeling, and region-based methods. In spite of achieving a
certain level of development, image deblurring, especially the blind case, is
limited in its success by complex application conditions which make the blur
kernel hard to obtain and be spatially variant. We provide a holistic
understanding and deep insight into image deblurring in this review. An
analysis of the empirical evidence for representative methods, practical
issues, as well as a discussion of promising future directions are also
presented.Comment: 53 pages, 17 figure
Solving Degenerate Sparse Polynomial Systems Faster
Consider a system F of n polynomial equations in n unknowns, over an
algebraically closed field of arbitrary characteristic. We present a fast
method to find a point in every irreducible component of the zero set Z of F.
Our techniques allow us to sharpen and lower prior complexity bounds for this
problem by fully taking into account the monomial term structure. As a
corollary of our development we also obtain new explicit formulae for the exact
number of isolated roots of F and the intersection multiplicity of the
positive-dimensional part of Z. Finally, we present a combinatorial
construction of non-degenerate polynomial systems, with specified monomial term
structure and maximally many isolated roots, which may be of independent
interest.Comment: This is the final journal version of math.AG/9702222 (``Toric
Generalized Characteristic Polynomials''). This final version is a major
revision with several new theorems, examples, and references. The prior
results are also significantly improve
Maximum Hands-Off Control: A Paradigm of Control Effort Minimization
In this paper, we propose a new paradigm of control, called a maximum
hands-off control. A hands-off control is defined as a control that has a short
support per unit time. The maximum hands-off control is the minimum support (or
sparsest) per unit time among all controls that achieve control objectives. For
finite horizon control, we show the equivalence between the maximum hands-off
control and L1-optimal control under a uniqueness assumption called normality.
This result rationalizes the use of L1 optimality in computing a maximum
hands-off control. We also propose an L1/L2-optimal control to obtain a smooth
hands-off control. Furthermore, we give a self-triggered feedback control
algorithm for linear time-invariant systems, which achieves a given sparsity
rate and practical stability in the case of plant disturbances. An example is
included to illustrate the effectiveness of the proposed control.Comment: IEEE Transactions on Automatic Control, 2015 (to appear
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
- …