3,329 research outputs found
Compact Formulae in Sparse Elimination
International audienceIt has by now become a standard approach to use the theory of sparse (or toric) elimination, based on the Newton polytope of a polynomial, in order to reveal and exploit the structure of algebraic systems. This talk surveys compact formulae, including older and recent results, in sparse elimination. We start with root bounds and juxtapose two recent formulae: a generating function of the m-Bézout bound and a closed-form expression for the mixed volume by means of a matrix permanent. For the sparse resultant, a bevy of results have established determinantal or rational formulae for a large class of systems, starting with Macaulay. The discriminant is closely related to the resultant but admits no compact formula except for very simple cases. We offer a new determinantal formula for the discriminant of a sparse multilinear system arising in computing Nash equilibria. We introduce an alternative notion of compact formula, namely the Newton polytope of the unknown polynomial. It is possible to compute it efficiently for sparse resultants, discriminants, as well as the implicit equation of a parameterized variety. This leads us to consider implicit matrix representations of geometric objects
Counting Real Connected Components of Trinomial Curve Intersections and m-nomial Hypersurfaces
We prove that any pair of bivariate trinomials has at most 5 isolated roots
in the positive quadrant. The best previous upper bounds independent of the
polynomial degrees were much larger, e.g., 248832 (for just the non-degenerate
roots) via a famous general result of Khovanski. Our bound is sharp, allows
real exponents, allows degeneracies, and extends to certain systems of
n-variate fewnomials, giving improvements over earlier bounds by a factor
exponential in the number of monomials. We also derive analogous sharpened
bounds on the number of connected components of the real zero set of a single
n-variate m-nomial.Comment: 27 pages, 2 figures. Extensive revision of math.CO/0008069. To appear
in Discrete and Computational Geometry. Technique from main theorem (Theorem
1) now pushed as far as it will go. In particular, Theorem 1 now covers
certain fewnomial systems of type (n+1,...,n+1,m) and certain non-sparse
fewnomial systems. Also, a new result on counting non-compact connected
components of fewnomial hypersurfaces (Theorem 3) has been adde
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
Numerical Study of the Fundamental Modular Region in the Minimal Landau Gauge
We study numerically the so-called fundamental modular region Lambda, a
region free of Gribov copies, in the minimal Landau gauge for pure SU(2)
lattice gauge theory. To this end we evaluate the influence of Gribov copies on
several quantities --- such as the smallest eigenvalue of the Faddeev-Popov
matrix, the third and the fourth derivatives of the minimizing function, and
the so-called horizon function --- which are used to characterize the region
Lambda. Simulations are done at four different values of the coupling: beta =
0, 0.8, 1.6, 2.7, and for volumes up to 16^4. We find that typical (thermalized
and gauge-fixed) configurations, including those belonging to the region
Lambda, lie very close to the Gribov horizon , and are
characterized, in the limit of large lattice volume, by a negative-definite
horizon tensor.Comment: 17 pages, including two figures; latex style has been correcte
- …