48,334 research outputs found
Finding at least one point in each connected component of a real algebraic set defined by a single equation
Rapport interne.Deciding efficiently the emptiness of a real algebraic set defined by a single equation is a fundamental problem of computational real algebraic geometry. We propose an algorithm for this test. We find, when the algebraic set is non empty, at least one point on each semi-algebraically connected component. The problem is reduced to deciding the existence of real critical points of the distance function and computing them
Polar Varieties, Real Equation Solving and Data-Structures: The hypersurface case
In this paper we apply for the first time a new method for multivariate
equation solving which was developed in \cite{gh1}, \cite{gh2}, \cite{gh3} for
complex root determination to the {\em real} case. Our main result concerns the
problem of finding at least one representative point for each connected
component of a real compact and smooth hypersurface. The basic algorithm of
\cite{gh1}, \cite{gh2}, \cite{gh3} yields a new method for symbolically solving
zero-dimensional polynomial equation systems over the complex numbers. One
feature of central importance of this algorithm is the use of a
problem--adapted data type represented by the data structures arithmetic
network and straight-line program (arithmetic circuit). The algorithm finds the
complex solutions of any affine zero-dimensional equation system in non-uniform
sequential time that is {\em polynomial} in the length of the input (given in
straight--line program representation) and an adequately defined {\em geometric
degree of the equation system}. Replacing the notion of geometric degree of the
given polynomial equation system by a suitably defined {\em real (or complex)
degree} of certain polar varieties associated to the input equation of the real
hypersurface under consideration, we are able to find for each connected
component of the hypersurface a representative point (this point will be given
in a suitable encoding). The input equation is supposed to be given by a
straight-line program and the (sequential time) complexity of the algorithm is
polynomial in the input length and the degree of the polar varieties mentioned
above.Comment: Late
Polar Varieties and Efficient Real Elimination
Let be a smooth and compact real variety given by a reduced regular
sequence of polynomials . This paper is devoted to the
algorithmic problem of finding {\em efficiently} a representative point for
each connected component of . For this purpose we exhibit explicit
polynomial equations that describe the generic polar varieties of . This
leads to a procedure which solves our algorithmic problem in time that is
polynomial in the (extrinsic) description length of the input equations and in a suitably introduced, intrinsic geometric parameter, called
the {\em degree} of the real interpretation of the given equation system .Comment: 32 page
A Special Homotopy Continuation Method For A Class of Polynomial Systems
A special homotopy continuation method, as a combination of the polyhedral
homotopy and the linear product homotopy, is proposed for computing all the
isolated solutions to a special class of polynomial systems. The root number
bound of this method is between the total degree bound and the mixed volume
bound and can be easily computed. The new algorithm has been implemented as a
program called LPH using C++. Our experiments show its efficiency compared to
the polyhedral or other homotopies on such systems. As an application, the
algorithm can be used to find witness points on each connected component of a
real variety
Numerical algebraic geometry for model selection and its application to the life sciences
Researchers working with mathematical models are often confronted by the
related problems of parameter estimation, model validation, and model
selection. These are all optimization problems, well-known to be challenging
due to non-linearity, non-convexity and multiple local optima. Furthermore, the
challenges are compounded when only partial data is available. Here, we
consider polynomial models (e.g., mass-action chemical reaction networks at
steady state) and describe a framework for their analysis based on optimization
using numerical algebraic geometry. Specifically, we use probability-one
polynomial homotopy continuation methods to compute all critical points of the
objective function, then filter to recover the global optima. Our approach
exploits the geometric structures relating models and data, and we demonstrate
its utility on examples from cell signaling, synthetic biology, and
epidemiology.Comment: References added, additional clarification
Non-existence of torically maximal hypersurfaces
Torically maximal curves (known also as simple Harnack curves) are real
algebraic curves in the projective plane such that their logarithmic Gau{\ss}
map is totally real. In this paper we show that hyperplanes in projective
spaces are the only torically maximal hypersurfaces of higher dimensions.Comment: 10 pages. V2 merges the first version of this paper with the first
version of arXiv:1510.0026
The plastikstufe - a generalization of the overtwisted disk to higher dimensions
In this article, we give a first prototype-definition of overtwistedness in
higher dimensions. According to this definition, a contact manifold is called
"overtwisted" if it contains a "plastikstufe", a submanifold foliated by the
contact structure in a certain way. In three dimensions the definition of the
plastikstufe is identical to the one of the overtwisted disk. The main
justification for this definition lies in the fact that the existence of a
plastikstufe implies that the contact manifold does not have a (semipositive)
symplectic filling.Comment: This is the version published by Algebraic & Geometric Topology on 15
December 200
- …