Abstract:A linear vector equation in two unknown vectors is examined in the framework of tropical algebra dealing with the theory and applications of semirings and semifields with idempotent addition. We consider a two-sided equation where each side is a tropical product of a given matrix by one of the unknown vectors. We use a matrix sparsification technique to reduce the equation to a set of vector inequalities that involve row-monomial matrices obtained from the given matrices. An existence condition of solutions for the inequalities is established, and a direct representation of the solutions is derived in a compact vector form. To illustrate the proposed approach and to compare the obtained result with that of an existing solution procedure, we apply our solution technique to handle two-sided equations known in the literature. Finally, a computational scheme based on the approach to derive all solutions of the two-sided equation is discussed.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is: within the framework of tropical algebra, solve a two - sided linear vector equation with two unknown vectors. Specifically, the equation is in the form of \(Ax = By\), where \(A\) and \(B\) are given matrices, \(x\) and \(y\) are unknown vectors, and matrix - vector multiplication is defined in the tropical algebra setting. ### Specific description of the problem 1. **Equation form**: \[ Ax = By \] where \(A\in X^{m\times n}\) and \(B\in X^{m\times k}\), \(x\in X^{n}\) and \(y\in X^{k}\) are unknown vectors, and all operations are carried out within the framework of tropical algebra. 2. **Challenges**: - Solving this two - sided linear vector equation is a difficult problem that has not been fully solved yet. - Most of the existing methods rely on iterative algorithms and lack direct analytical solutions. ### The solution of the paper In order to construct an analytical solution, the author proposes a new scheme based on the matrix sparsification technique. The main steps include: 1. **Matrix sparsification**: - Convert the original matrices \(A\) and \(B\) into row - monomial matrices, which are obtained by keeping one non - zero element in each row and setting the rest of the elements to 0. 2. **Conversion into an inequality group**: - Use the sparsified matrices to convert the original equation into a series of vector inequalities. 3. **Existence conditions and analytical solutions**: - Establish the existence conditions of the solutions of these inequalities and derive the compact vector form of the solutions. 4. **Computation scheme**: - Propose a computation scheme based on the above method to solve all possible solutions. ### Key formulas and results - **Existence conditions**: \[ Tr(AA^{-}BB^{-}) = 1 \] where \(A^{-}\) and \(B^{-}\) are the reverse transpose matrices of matrices \(A\) and \(B\) respectively. - **Form of solutions**: \[ x=(A^{-}BB^{-}A)^{*}u\oplus A^{-}B(B^{-}AA^{-}B)^{*}v \] \[ y = B^{-}A(A^{-}BB^{-}A)^{*}u\oplus(B^{-}AA^{-}B)^{*}v \] where \(u\) and \(v\) are arbitrary parameter vectors such that \(x\) and \(y\) are regular. Through this method, the author not only provides a theoretical analytical solution, but also provides specific steps for practical calculations.

Using matrix sparsification to solve tropical linear vector equations

Algebraic solution of tropical best approximation problems

Matrix Factorization in Tropical and Mixed Tropical-Linear Algebras

On the Solutions of Linear Systems over Additively Idempotent Semirings

The Nullstellensatz and Positivstellensatz for Sparse Tropical Polynomial Systems

Direct solution to constrained tropical optimization problems with application to project scheduling

Linear algebra over T-pairs

The Sherman–Morrison–Woodbury formula for generalized linear matrix equations and applications

A tensor-based approach to solving linear systems involving Kronecker sum of matrices

A model reduction method for large-scale linear multidimensional dynamical systems

Infinite matroids in tropical differential algebra

Solving Multi-linear Systems with ℳ -Tensors

Matrix Sparsification and the Sparse Null Space Problem

On solution of tropical discrete best approximation problems

Sparse decompositions of nonlinear dynamical systems and applications to moment-sum-of-squares relaxations

Krylov methods for low-rank commuting generalized Sylvester equations

Semidefinite Relaxation Methods for Tensor Absolute Value Equations.

Structured Multi-Matrix Variate, Matrix Polynomial Equations: Solution Techniques

Preconditioning techniques for generalized Sylvester matrix equations

Solving a Class of Infinite-Dimensional Tensor Eigenvalue Problems by Translational Invariant Tensor Ring Approximations