206 research outputs found
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
The Multivariate Resultant is NP-hard in any Characteristic
The multivariate resultant is a fundamental tool of computational algebraic
geometry. It can in particular be used to decide whether a system of n
homogeneous equations in n variables is satisfiable (the resultant is a
polynomial in the system's coefficients which vanishes if and only if the
system is satisfiable). In this paper we present several NP-hardness results
for testing whether a multivariate resultant vanishes, or equivalently for
deciding whether a square system of homogeneous equations is satisfiable. Our
main result is that testing the resultant for zero is NP-hard under
deterministic reductions in any characteristic, for systems of low-degree
polynomials with coefficients in the ground field (rather than in an
extension). We also observe that in characteristic zero, this problem is in the
Arthur-Merlin class AM if the generalized Riemann hypothesis holds true. In
positive characteristic, the best upper bound remains PSPACE.Comment: 13 page
Computer analysis and design of concrete shell roofs
This paper is a preliminary version of Chapter 3 of a State-of-the-Art Report by the IASS Working Group 5: Concrete Shell Roofs. The intention of this chapter is to set forth for those who intend to design concrete shell roofs information and advice about the selection, verification and utilization of commercial computer tools for analysis and design tasks.The computer analysis and design steps for a concrete shell roof are described. Advice follows on the aspects to be considered in the application of commercial finite element (FE)computer programs to concrete shell analysis, starting with recommendations on how novices can gain confidence and competence in the use of software. To establish vocabulary and provide background references, brief surveys are presented of, first,element types and formulations for shells and, second, challenges presented by advanced analyses of shells. The final section of the chapter indicates what capabilities to seek in selecting commercial FE software for the analysis and design of concrete shell roofs. Brief concluding remarks summarize advice regarding judicious use of computer analysis in
design practice
Some Speed-Ups and Speed Limits for Real Algebraic Geometry
We give new positive and negative results (some conditional) on speeding up
computational algebraic geometry over the reals: (1) A new and sharper upper
bound on the number of connected components of a semialgebraic set. Our bound
is novel in that it is stated in terms of the volumes of certain polytopes and,
for a large class of inputs, beats the best previous bounds by a factor
exponential in the number of variables. (2) A new algorithm for approximating
the real roots of certain sparse polynomial systems. Two features of our
algorithm are (a) arithmetic complexity polylogarithmic in the degree of the
underlying complex variety (as opposed to the super-linear dependence in
earlier algorithms) and (b) a simple and efficient generalization to certain
univariate exponential sums. (3) Detecting whether a real algebraic surface
(given as the common zero set of some input straight-line programs) is not
smooth can be done in polynomial time within the classical Turing model (resp.
BSS model over C) only if P=NP (resp. NP<=BPP). The last result follows easily
from an unpublished result of Steve Smale.Comment: This is the final journal version which will appear in Journal of
Complexity. More typos are corrected, and a new section is added where the
bounds here are compared to an earlier result of Benedetti, Loeser, and
Risler. The LaTeX source needs the ajour.cls macro file to compil
- …