6,567 research outputs found
Enumerating Polytropes
Polytropes are both ordinary and tropical polytopes. We show that tropical
types of polytropes in are in bijection with cones of a
certain Gr\"{o}bner fan in restricted
to a small cone called the polytrope region. These in turn are indexed by
compatible sets of bipartite and triangle binomials. Geometrically, on the
polytrope region, is the refinement of two fans: the fan of
linearity of the polytrope map appeared in \cite{tran.combi}, and the bipartite
binomial fan. This gives two algorithms for enumerating tropical types of
polytropes: one via a general Gr\"obner fan software such as \textsf{gfan}, and
another via checking compatibility of systems of bipartite and triangle
binomials. We use these algorithms to compute types of full-dimensional
polytropes for , and maximal polytropes for .Comment: Improved exposition, fixed error in reporting the number maximal
polytropes for , fixed error in definition of bipartite binomial
A constrained tropical optimization problem: complete solution and application example
The paper focuses on a multidimensional optimization problem, which is
formulated in terms of tropical mathematics and consists in minimizing a
nonlinear objective function subject to linear inequality constraints. To solve
the problem, we follow an approach based on the introduction of an additional
unknown variable to reduce the problem to solving linear inequalities, where
the variable plays the role of a parameter. A necessary and sufficient
condition for the inequalities to hold is used to evaluate the parameter,
whereas the general solution of the inequalities is taken as a solution of the
original problem. Under fairly general assumptions, a complete direct solution
to the problem is obtained in a compact vector form. The result is applied to
solve a problem in project scheduling when an optimal schedule is given by
minimizing the flow time of activities in a project under various activity
precedence constraints. As an illustration, a numerical example of optimal
scheduling is also presented.Comment: 20 pages, accepted for publication in Contemporary Mathematic
On Integer Images of Max-plus Linear Mappings
Let us extend the pair of operations (max,+) over real numbers to matrices in
the same way as in conventional linear algebra. We study integer images of
max-plus linear mappings. The question whether Ax (in the max-plus algebra) is
an integer vector for at least one x has been studied for some time but
polynomial solution methods seem to exist only in special cases. In the
terminology of combinatorial matrix theory this question reads: is it possible
to add constants to the columns of a given matrix so that all row maxima are
integer? This problem has been motivated by attempts to solve a class of
job-scheduling problems. We present two polynomially solvable special cases
aiming to move closer to a polynomial solution method in the general case
Monotone Projection Lower Bounds from Extended Formulation Lower Bounds
In this short note, we reduce lower bounds on monotone projections of
polynomials to lower bounds on extended formulations of polytopes. Applying our
reduction to the seminal extended formulation lower bounds of Fiorini, Massar,
Pokutta, Tiwari, & de Wolf (STOC 2012; J. ACM, 2015) and Rothvoss (STOC 2014;
J. ACM, 2017), we obtain the following interesting consequences.
1. The Hamiltonian Cycle polynomial is not a monotone subexponential-size
projection of the permanent; this both rules out a natural attempt at a
monotone lower bound on the Boolean permanent, and shows that the permanent is
not complete for non-negative polynomials in VNP under monotone
p-projections.
2. The cut polynomials and the perfect matching polynomial (or "unsigned
Pfaffian") are not monotone p-projections of the permanent. The latter, over
the Boolean and-or semi-ring, rules out monotone reductions in one of the
natural approaches to reducing perfect matchings in general graphs to perfect
matchings in bipartite graphs.
As the permanent is universal for monotone formulas, these results also imply
exponential lower bounds on the monotone formula size and monotone circuit size
of these polynomials.Comment: Published in Theory of Computing, Volume 13 (2017), Article 18;
Received: November 10, 2015, Revised: July 27, 2016, Published: December 22,
201
The Slice Algorithm For Irreducible Decomposition of Monomial Ideals
Irreducible decomposition of monomial ideals has an increasing number of
applications from biology to pure math. This paper presents the Slice Algorithm
for computing irreducible decompositions, Alexander duals and socles of
monomial ideals. The paper includes experiments showing good performance in
practice.Comment: 25 pages, 8 figures. See http://www.broune.com/ for the data use
- …