arXiv++ Combinatorics

We present necessary and sufficient criteria for a max-algebraic supereigenvector, i.e., a solution of the system $A\otimes\textbf{x}\geq\textbf{x}$ with $A\in\overline{\mathbb{R}}^{n\times n}$ in max-plus algebra, to be an extremal. We also show that the suggested extremality criteria can be verified in $O(n^2)$ time for any given solution $\textbf{x}$.

Tropical linear algebra has been recently put forward by Grigoriev and Shpilrain as a promising platform for implementation of protocols of Diffie-Hellman and Stickel type. Based on the CSR expansion of tropical matrix powers, we suggest a simple algorithm for the following tropical discrete logarithm problem: "Given that $A=V\otimes F^{\otimes t}$ for a unique $t$ and matrices $A$, $V$, $F$ of appropriate dimensions, find this $t$." We then use this algorithm to suggest a simple attack on a protocol based on the tropical semidirect product. The algorithm and the attack are guaranteed to work in some important special cases and are shown to be efficient in our numerical experiments.

This article presents an attempt to extend the CSR decomposition, previously introduced for tropical matrix powers, to tropical inhomogeneous matrix products. The CSR terms for inhomogeneous matrix products are introduced, then a case is described where an inhomogeneous product admits such CSR decomposition after some length and give a bound on this length. In the last part of the paper a number of counterexamples are presented to show that inhomogeneous products do not admit CSR decomposition under more general conditions.

Building on the weak CSR approach developed in a previous paper by Merlet, Nowak and Sergeev, we establish new bounds for the periodicity threshold of the powers of a tropical matrix. According to that approach, bounds on the ultimate periodicity threshold take the form of T=max(T_1,T_2), where T_1 is a bound on the time after which the weak CSR expansion starts to hold and T_2 is a bound on the time after which the first CSR term starts to dominate. The new bounds on T_1 and T_2 established in this paper make use of the cyclicity of the associated graph and the (tropical) factor rank of the matrix, which leads to much improved bounds in favorable cases. For T_1, in particular, we obtain new extensions of bounds of Schwarz, Kim and Gregory-Kirkland-Pullman, previously known as bounds on exponents of digraphs. For similar bounds on T_2, we introduce the novel concept of walk reduction threshold and establish bounds on it that use both cyclicity and factor rank.

In this paper we provide a new graph theoretic proof of the tropical Jacobi identity, recently obtained in [AGN16]. We also develop an application of this theorem to optimal assignments with supervisions. That is, optimally assigning multiple tasks to one team, or daily tasks to multiple teams, where each team has a supervisor task or a supervised task.

We study the transients of matrices in max-plus algebra. Our approach is based on the weak CSR expansion. Using this expansion, the transient can be expressed by $\max\{T_1,T_2\}$, where $T_1$ is the weak CSR threshold and $T_2$ is the time after which the purely pseudoperiodic CSR terms start to dominate in the expansion. Various bounds have been derived for $T_1$ and $T_2$, naturally leading to the question which matrices, if any, attain these bounds. In the present paper we characterize the matrices attaining two particular bounds on $T_1$, which are generalizations of the bounds of Wielandt and Dulmage-Mendelsohn on the indices of non-weighted digraphs. This also leads to a characterization of tightness for the same bounds on the transients of critical rows and columns. The characterizations themselves are generalizations of those for the non-weighted case.

The max-Lukasiewicz semiring is defined as the unit interval [0,1] equipped with the arithmetics "a+b"=max(a,b) and "ab"=max(0,a+b-1). Linear algebra over this semiring can be developed in the usual way. We observe that any problem of the max-Lukasiewicz linear algebra can be equivalently formulated as a problem of the tropical (max-plus) linear algebra. Based on this equivalence, we develop a theory of the matrix powers and the eigenproblem over the max-Lukasiewicz semiring.

We give a combinatorial description of extremal generators of the supereigenvector cone {x: Ax>=x} in max algebra.

We extend the Markov chain tree theorem to general commutative semirings, and we generalize the state reduction algorithm to commutative semifields. This leads to a new universal algorithm, whose prototype is the state reduction algorithm which computes the Markov chain tree vector of a stochastic matrix.

This paper aims to unify and extend existing techniques for deriving upper bounds on the transient of max-plus matrix powers. To this aim, we introduce the concept of weak CSR expansions: A^t=CS^tR + B^t. We observe that most of the known bounds (implicitly) take the maximum of (i) a bound for the weak CSR expansion to hold, which does not depend on the values of the entries of the matrix but only on its pattern, and (ii) a bound for the CS^tR term to dominate. To improve and analyze (i), we consider various cycle replacement techniques and show that some of the known bounds for indices and exponents of digraphs apply here. We also show how to make use of various parameters of digraphs. To improve and analyze (ii), we introduce three different kinds of weak CSR expansions (named after Nachtigall, Hartman-Arguelles, and Cycle Threshold). As a result, we obtain a collection of bounds, in general incomparable to one another, but better than the bounds found in the literature.

We study sequences of optimal walks of a growing length, in weighted digraphs, or equivalently, sequences of entries of max-algebraic matrix powers with growing exponents. It is known that these sequences are eventually periodic when the digraphs are strongly connected. The transient of such periodicity depends, in general, both on the size of digraph and on the magnitude of the weights. In this paper, we show that some bounds on the indices of periodicity of (unweighted) digraphs, such as the bounds of Wielandt, Dulmage-Mendelsohn, Schwarz, Kim and Gregory-Kirkland-Pullman, apply to the weights of optimal walks when one of their ends is a critical node.

We introduce a notion of dimension of max-min convex sets, following the approach of tropical convexity. We introduce a max-min analogue of the tropical rank of a matrix and show that it is equal to the dimension of the associated polytope. We describe the relation between this rank and the notion of strong regularity in max-min algebra, which is traditionally defined in terms of unique solvability of linear systems and trapezoidal property.