Showing 1–8 of 8 results for author: Butkovic, P

Tropical tensor product and beyond

Authors: Peter Butkovic, Miroslav Fiedler

Abstract: Our aim is to introduce the tropical tensor product and investigate its properties. In particular we show its use for solving tropical matrix equations. Our aim is to introduce the tropical tensor product and investigate its properties. In particular we show its use for solving tropical matrix equations. △ Less

Submitted 8 May, 2018; originally announced May 2018.

Comments: 7 pages

MSC Class: 15A18; 15A80

On Integer Images of Max-plus Linear Mappings

Authors: Peter Butkovic

Abstract: 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 combinato… ▽ More 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. △ Less

Submitted 26 September, 2017; originally announced September 2017.

MSC Class: 15A18 (Primary); 15A80 (Secondary)

On Tropical Linear and Integer Programs

Authors: Peter Butkovic

Abstract: We present simple compact proofs of the strong and weak duality theorems of tropical linear programming. It follows that there is no duality gap for a pair of tropical primal-dual problems. This result together with known properties of subeigenvectors enables us to directly solve a special tropical linear program with two-sided constraints. We also study the duality gap in tropical integer linear… ▽ More We present simple compact proofs of the strong and weak duality theorems of tropical linear programming. It follows that there is no duality gap for a pair of tropical primal-dual problems. This result together with known properties of subeigenvectors enables us to directly solve a special tropical linear program with two-sided constraints. We also study the duality gap in tropical integer linear programming. A direct solution is available for the primal problem. An algorithm of quadratic complexity is presented for the dual problem. A direct solution is available provided that all coefficients of the objective function are integer. This solution yields a good estimate of the optimal objective function value in the general case. △ Less

Submitted 26 September, 2017; originally announced September 2017.

MSC Class: 15A18 (Primary); 15A80 (Secondary)

On the max-algebraic core of a nonnegative matrix

Authors: Peter Butkovic, Hans Schneider, Sergei Sergeev

Abstract: The max-algebraic core of a nonnegative matrix is the intersection of column spans of all max-algebraic matrix powers. Here we investigate the action of a matrix on its core. Being closely related to ultimate periodicity of matrix powers, this study leads us to new modifications and geometric characterizations of robust, orbit periodic and weakly stable matrices. The max-algebraic core of a nonnegative matrix is the intersection of column spans of all max-algebraic matrix powers. Here we investigate the action of a matrix on its core. Being closely related to ultimate periodicity of matrix powers, this study leads us to new modifications and geometric characterizations of robust, orbit periodic and weakly stable matrices. △ Less

Submitted 31 May, 2013; originally announced May 2013.

Comments: 27 pages

MSC Class: 15A80; 15A18; 15A03

Journal ref: Electronic J. of Linear Algebra, 27 (2014)

Two cores of a nonnegative matrix

Authors: Peter Butkovic, Hans Schneider, Sergei Sergeev, Bit-Shun Tam

Abstract: We prove that the sequence of eigencones (i.e., cones of nonnegative eigenvectors) of positive powers A^k of a nonnegative square matrix A is periodic both in max algebra and in nonnegative linear algebra. Using an argument of Pullman, we also show that the Minkowski sum of the eigencones of powers of A is equal to the core of A defined as the intersection of nonnegative column spans of matrix pow… ▽ More We prove that the sequence of eigencones (i.e., cones of nonnegative eigenvectors) of positive powers A^k of a nonnegative square matrix A is periodic both in max algebra and in nonnegative linear algebra. Using an argument of Pullman, we also show that the Minkowski sum of the eigencones of powers of A is equal to the core of A defined as the intersection of nonnegative column spans of matrix powers, also in max algebra. Based on this, we describe the set of extremal rays of the core. The spectral theory of matrix powers and the theory of matrix core is developed in max algebra and in nonnegative linear algebra simultaneously wherever possible, in order to unify and compare both versions of the same theory. △ Less

Submitted 29 May, 2013; v1 submitted 9 August, 2012; originally announced August 2012.

Comments: The layout of the paper has been changed; numerous minor changes and corrections

MSC Class: 15A80; 15A18; 15A03; 15B48

Journal ref: Linear Algebra and its Applications, 439 (7), 2013, 1929-1954

Z-matrix equations in max algebra, nonnegative linear algebra and other semirings

Authors: Peter Butkovic, Hans Schneider, Sergei Sergeev

Abstract: We study the max-algebraic analogue of equations involving Z-matrices and M-matrices, with an outlook to a more general algebraic setting. We show that these equations can be solved using the Frobenius trace down method in a way similar to that in non-negative linear algebra, characterizing the solvability in terms of supports and access relations. We give a description of the solution set as comb… ▽ More We study the max-algebraic analogue of equations involving Z-matrices and M-matrices, with an outlook to a more general algebraic setting. We show that these equations can be solved using the Frobenius trace down method in a way similar to that in non-negative linear algebra, characterizing the solvability in terms of supports and access relations. We give a description of the solution set as combination of the least solution and the eigenspace of the matrix, and provide a general algebraic setting in which this result holds. △ Less

Submitted 6 June, 2012; v1 submitted 20 October, 2011; originally announced October 2011.

Comments: 21 pages, 1 figure

MSC Class: 15A80; 15A06; 15B48

Journal ref: Linear and Multilinear Algebra, 60(10), 2012, 1191-1210

On visualisation scaling, subeigenvectors and Kleene stars in max algebra

Authors: Sergei Sergeev, Hans Schneider, Peter Butkovic

Abstract: The purpose of this paper is to investigate the interplay arising between max algebra, convexity and scaling problems. The latter, which have been studied in nonnegative matrix theory, are strongly related to max algebra. One problem is strict visualisation scaling, which means finding, for a given nonnegative matrix A, a diagonal matrix X such that all elements of X^{-1}AX are less than or equa… ▽ More The purpose of this paper is to investigate the interplay arising between max algebra, convexity and scaling problems. The latter, which have been studied in nonnegative matrix theory, are strongly related to max algebra. One problem is strict visualisation scaling, which means finding, for a given nonnegative matrix A, a diagonal matrix X such that all elements of X^{-1}AX are less than or equal to the maximum cycle geometric mean of A, with strict inequality for the entries which do not lie on critical cycles. In this paper such scalings are described by means of the max-algebraic subeigenvectors and Kleene stars of nonnegative matrices as well as by some concepts of convex geometry. △ Less

Submitted 29 March, 2009; v1 submitted 14 August, 2008; originally announced August 2008.

Comments: 22 pages

MSC Class: 15A48; 15A39; 52B11; 52A20

Journal ref: Linear Algebra and its Applications, 431 (12), 2009, 2395-2406

Generators, extremals and bases of max cones

Authors: Peter Butkovic, Hans Schneider, Sergei Sergeev

Abstract: Max cones are max-algebraic analogs of convex cones. In the present paper we develop a theory of generating sets and extremals of max cones in ${\mathbb R}_+^n$. This theory is based on the observation that extremals are minimal elements of max cones under suitable scalings of vectors. We give new proofs of existing results suitably generalizing, restating and refining them. Of these, it is impo… ▽ More Max cones are max-algebraic analogs of convex cones. In the present paper we develop a theory of generating sets and extremals of max cones in ${\mathbb R}_+^n$. This theory is based on the observation that extremals are minimal elements of max cones under suitable scalings of vectors. We give new proofs of existing results suitably generalizing, restating and refining them. Of these, it is important that any set of generators may be partitioned into the set of extremals and the set of redundant elements. We include results on properties of open and closed cones, on properties of totally dependent sets and on computational bounds for the problem of finding the (essentially unique) basis of a finitely generated cone. △ Less

Submitted 6 October, 2006; v1 submitted 20 April, 2006; originally announced April 2006.

Comments: 15 pages, 1 figure; v2: new layout, several new references, renumbering of results

MSC Class: 15A48; 15A03

Journal ref: Linear Algebra and its Applications, 421 (2-3), 2007, p. 394-406