37,421 research outputs found
Real root finding for equivariant semi-algebraic systems
Let be a real closed field. We consider basic semi-algebraic sets defined
by -variate equations/inequalities of symmetric polynomials and an
equivariant family of polynomials, all of them of degree bounded by .
Such a semi-algebraic set is invariant by the action of the symmetric group. We
show that such a set is either empty or it contains a point with at most
distinct coordinates. Combining this geometric result with efficient algorithms
for real root finding (based on the critical point method), one can decide the
emptiness of basic semi-algebraic sets defined by polynomials of degree
in time . This improves the state-of-the-art which is exponential
in . When the variables are quantified and the
coefficients of the input system depend on parameters , one
also demonstrates that the corresponding one-block quantifier elimination
problem can be solved in time
Scalar Levin-Type Sequence Transformations
Sequence transformations are important tools for the convergence acceleration
of slowly convergent scalar sequences or series and for the summation of
divergent series. Transformations that depend not only on the sequence elements
or partial sums but also on an auxiliary sequence of so-called remainder
estimates are of Levin-type if they are linear in the , and
nonlinear in the . Known Levin-type sequence transformations are
reviewed and put into a common theoretical framework. It is discussed how such
transformations may be constructed by either a model sequence approach or by
iteration of simple transformations. As illustration, two new sequence
transformations are derived. Common properties and results on convergence
acceleration and stability are given. For important special cases, extensions
of the general results are presented. Also, guidelines for the application of
Levin-type sequence transformations are discussed, and a few numerical examples
are given.Comment: 59 pages, LaTeX, invited review for J. Comput. Applied Math.,
abstract shortene
- …