Semigroup of matrices acting on the max-plus projective space

We investigate the action of semigroups of d×d matrices with entries in the max-plus semifield on the max-plus projective space. Recall that semigroups generated by one element with projectively bounded image are projectively finite and thus contain idempotent elements.In terms of orbits, our main result states that the image of a minimal orbit by an idempotent element of the semigroup with minimal rank has at most d! elements. Moreover, each idempotent element with minimal rank maps at least one orbit onto a singleton.This allows us to deduce the central limit theorem for stochastic recurrent sequences driven by independent random matrices that take countably many values, as soon as the semigroup generated by the values contains an element with projectively bounded image.     

Bijective linear rank preservers for spaces of matrices over antinegative semirings

We classify the bijective linear operators on spaces of matrices over antinegative commutative semirings with no zero divisors which preserve certain rank functions such as the symmetric rank, the factor rank and the tropical rank. We also classify the bijective linear operators on spaces of matrices over the max-plus semiring which preserve the Gondran-Minoux row rank or the Gondran-Minoux column rank.     

A concise proof of Kruskal’s theorem on tensor decomposition

A theorem of J. Kruskal from 1977, motivated by a latent-class statistical model, established that under certain explicit conditions the expression of a third-order tensor as the sum of rank-1 tensors is essentially unique. We give a new proof of this fundamental result, which is substantially shorter than both the original one and recent versions along the original lines.     

Determinant of a matrix that commutes with a Jordan matrix

Given a Jordan matrix J, we obtain an explicit formula for the determinant of any matrix T that commutes with it.     

Inequalities for Gondran-Minoux rank and idempotent semirings

The rank-sum, rank-product, and rank-union inequalities for Gondran-Minoux rank of matrices over idempotent semirings are considered. We prove these inequalities for matrices over quasi-selective semirings without zero divisors, which include matrices over the max-plus semiring. Moreover, it is shown that the inequalities provide the linear algebraic characterization for the class of quasi-selective semirings. Namely, it is proven that the inequalities hold for matrices over an idempotent semiring S without zero divisors if and only if S is quasi-selective. For any idempotent semiring which is not quasi-selective it is shown that the rank-sum, rank-product, and rank-union inequalities do not hold in general. Also, we provide an example of a selective semiring with zero divisors such that the rank-sum, rank-product, and rank-union inequalities do not hold in general.     

Output feedback stabilization for a class of nonlinear time-evolution systems

A variety of problems in nonlinear time-evolution systems such as communication networks, computer networks, manufacturing, traffic management, etc., can be modelled as min–max-plus systems in which operations of min, max and addition appear simultaneously. Systems with only maximum (or minimum) constraints can be modelled as max-plus system and handled by max-plus algebra which changes the original nonlinear system in the traditional sense into linear system in this framework. Min-max-plus systems are extensions of max-plus systems and nonlinear even in the max-plus algebra view. Output feedback stabilization for min–max-plus systems with min–max-plus inputs and max-plus outputs is considered in this paper. Max-plus projection representation for the closed-loop system with min–max-plus output feedback is introduced and the formula to calculate the cycle time is presented. Stabilization of reachable systems with at least one observable state and a further result for reachable and observable systems are worked out, during which max-plus output feedbacks are used to stabilize the systems. The method based on the max-plus algebra is constructive in nature.     

Strong monotonicity for various means

Point-wise monotonicity (in parameters) for various one-parameter families of scalar means such as power difference means, binomial means and Stolarsky means is well known, but norm comparison for corresponding operator means requires monotonicity in the sense of positive definiteness. Among other things we obtain monotonicity in the sense of infinite divisibility, which is much stronger than that in the sense of positive definiteness. These strong monotonicity results are proved based on explicit computations for measures in relevant Lévy–Khintchine (or actually Kolmogorov) formulas.     

On Bandt's tangential distribution for self-similar measures

It is shown that the local geometry of a self-similar measure as captured by Bandt's average tangential distribution is the same at -almost all points of the underlying space. Moreover, for a self-similar measure explicit formulas for Bandt's tangential distribution as well as for the average density of Bedford and Fisher are derived.     

Perturbations on the subdiagonals of Toeplitz matrices

Let L be an Hermitian linear functional defined on the linear space of Laurent polynomials. It is very well known that the Gram matrix of the associated bilinear functional in the linear space of polynomials is a Toeplitz matrix. In this contribution we analyze some linear spectral transforms of L such that the corresponding Toeplitz matrix is the result of the addition of a constant in a subdiagonal of the initial Toeplitz matrix. We focus our attention in the analysis of the quasi-definite character of the perturbed linear functional as well as in the explicit expressions of the new monic orthogonal polynomial sequence in terms of the first one.     

An explicit Lipschitz constant for the joint spectral radius

In 2002, Wirth has proved that the joint spectral radius of irreducible compact sets of matrices is locally Lipschitz continuous as a function of the matrix set. In the paper, an explicit formula for the related Lipschitz constant is obtained.     

The generalized order-k Fibonacci–Pell sequence by matrix methods

In this paper, we consider the usual and generalized order-k Fibonacci and Pell recurrences, then we define a new recurrence, which we call generalized order-k F–P sequence. Also we present a systematic investigation of the generalized order-k F–P sequence. We give the generalized Binet formula, some identities and an explicit formula for sums of the generalized order-k F–P sequence by matrix methods. Further, we give the generating function and combinatorial representations of these numbers. Also we present an algorithm for computing the sums of the generalized order-k Pell numbers, as well as the Pell numbers themselves.     

On the space of quadruples of quinary alternating forms

We discuss some aspects of the invariant theory and arithmetic of the prehomogeneous vector space of quadruples of quinary alternating forms. In particular, we complete the explicit construction of all prehomogeneous covariants of this space and give the rational classification of maximal singular orbits.     

Criteria of unitary equivalence of Hermitian operators with a degenerate spectrum

Nonimprovable, in general, estimates of the number of necessary and sufficient conditions for two Hermitian operators to be unitarily equaivalent in a unitary space are obtained when the multiplicities of eigenvalues of operators can be more than 1. The explicit form of these conditions is given. In the Appendix the concept of conditionally functionally independent functions is given and the corresponding necessary and sufficient conditions are presented.     

Fast state space algorithms for matrix Nehari and Nehari-Takagi interpolation problems

Numerical algorithms with complexityO(n ²) operations are proposed for solving matrix Nehari and Nehari-Takagi problems withn interpolation points. The algorithms are based on explicit formulas for the solutions and on theorems about cascade decomposition of rational matrix function given in a state space form. The method suggests also fast algorithms for LDU factorizations of structured matrices. The numerical behavior of the designed algorithms is studied for a wide set of examples.     

Linear complexity algorithm for semiseparable matrices

A new linear complexity algorithm for general nonsingular semiseparable matrices is presented. For symmetric matrices whose semiseparability rank equals to 1 this algorithm leads to an explicit formula for the inverse matrix.Supported in part by the NSF Grant DMS 9306357     

Max algebraic powers of irreducible matrices in the periodic regime: An application of cyclic classes

In max algebra it is well known that the sequence of max algebraic powers A^k, with A an irreducible square matrix, becomes periodic after a finite transient time T(A), and the ultimate period γ is equal to the cyclicity of the critical graph of A.In this connection, we study computational complexity of the following problems: (1) for a given k, compute a periodic power A^r with and r?T(A), (2) for a given x, find the ultimate period of {A^l⊗x}. We show that both problems can be solved by matrix squaring in O(n³logn) operations. The main idea is to apply an appropriate diagonal similarity scaling A?X^-1AX, called visualization scaling, and to study the role of cyclic classes of the critical graph.