3 research outputs found
Algebraic solutions of tropical optimization problems
We consider multidimensional optimization problems, which are formulated and
solved in terms of tropical mathematics. The problems are to minimize
(maximize) a linear or nonlinear function defined on vectors of a
finite-dimensional semimodule over an idempotent semifield, and may have
constraints in the form of linear equations and inequalities. The aim of the
paper is twofold: first to give a broad overview of known tropical optimization
problems and solution methods, including recent results; and second, to derive
a direct, complete solution to a new constrained optimization problem as an
illustration of the algebraic approach recently proposed to solve tropical
optimization problems with nonlinear objective function.Comment: 25 pages, presented at Intern. Conf. "Algebra and Mathematical Logic:
Theory and Applications", June 2-6, 2014, Kazan, Russi
Signed tropicalization of polar cones
We study the tropical analogue of the notion of polar of a cone, working over
the semiring of tropical numbers with signs. We characterize the cones which
arise as polars of sets of tropically nonnegative vectors by an invariance
property with respect to a tropical analogue of Fourier-Motzkin elimination. We
also relate tropical polars with images by the nonarchimedean valuation of
classical polars over real closed nonarchimedean fields and show, in
particular, that for semi-algebraic sets over such fields, the operation of
taking the polar commutes with the operation of signed valuation (keeping track
both of the nonarchimedean valuation and sign). We apply these results to
characterize images by the signed valuation of classical cones of matrices,
including the cones of positive semidefinite matrices, completely positive
matrices, completely positive semidefinite matrices, and their polars,
including the cone of co-positive matrices, showing that hierarchies of
classical cones collapse under tropicalization. We finally discuss an
application of these ideas to optimization with signed tropical numbers.Comment: 24 pages, 1 figure. Changes with respect to Version 2: we improved
Introduction and added Examples 3.24 and 3.25 illustrating that "bend
addition" can be considered as a tropical analogue of the Fourier-Motzkin
eliminatio