56 research outputs found
Solving generic nonarchimedean semidefinite programs using stochastic game algorithms
A general issue in computational optimization is to develop combinatorial
algorithms for semidefinite programming. We address this issue when the base
field is nonarchimedean. We provide a solution for a class of semidefinite
feasibility problems given by generic matrices. Our approach is based on
tropical geometry. It relies on tropical spectrahedra, which are defined as the
images by the valuation of nonarchimedean spectrahedra. We establish a
correspondence between generic tropical spectrahedra and zero-sum stochastic
games with perfect information. The latter have been well studied in
algorithmic game theory. This allows us to solve nonarchimedean semidefinite
feasibility problems using algorithms for stochastic games. These algorithms
are of a combinatorial nature and work for large instances.Comment: v1: 25 pages, 4 figures; v2: 27 pages, 4 figures, minor revisions +
benchmarks added; v3: 30 pages, 6 figures, generalization to non-Metzler sign
patterns + some results have been replaced by references to the companion
work arXiv:1610.0674
A Complete Characterization of the Gap between Convexity and SOS-Convexity
Our first contribution in this paper is to prove that three natural sum of
squares (sos) based sufficient conditions for convexity of polynomials, via the
definition of convexity, its first order characterization, and its second order
characterization, are equivalent. These three equivalent algebraic conditions,
henceforth referred to as sos-convexity, can be checked by semidefinite
programming whereas deciding convexity is NP-hard. If we denote the set of
convex and sos-convex polynomials in variables of degree with
and respectively, then our main
contribution is to prove that if and
only if or or . We also present a complete
characterization for forms (homogeneous polynomials) except for the case
which is joint work with G. Blekherman and is to be published
elsewhere. Our result states that the set of convex forms in
variables of degree equals the set of sos-convex forms if
and only if or or . To prove these results, we present
in particular explicit examples of polynomials in
and
and forms in
and , and a
general procedure for constructing forms in from nonnegative but not sos forms in variables and degree .
Although for disparate reasons, the remarkable outcome is that convex
polynomials (resp. forms) are sos-convex exactly in cases where nonnegative
polynomials (resp. forms) are sums of squares, as characterized by Hilbert.Comment: 25 pages; minor editorial revisions made; formal certificates for
computer assisted proofs of the paper added to arXi
Bioinformatics tools for cancer metabolomics
It is well known that significant metabolic change take place as cells are transformed from normal to malignant. This review focuses on the use of different bioinformatics tools in cancer metabolomics studies. The article begins by describing different metabolomics technologies and data generation techniques. Overview of the data pre-processing techniques is provided and multivariate data analysis techniques are discussed and illustrated with case studies, including principal component analysis, clustering techniques, self-organizing maps, partial least squares, and discriminant function analysis. Also included is a discussion of available software packages
- ā¦