In the mathematical modeling of many problems, including, but not limited to, physical sciences, biological sciences, engineering, image processing, computer graphics, medical imaging, and even social sciences lately, solution methods most frequently involve matrix equations. In conjunction with powerful computing machines, complex numerical calculations employing matrix methods could be performed sometimes even in real time. It is well known that infinite matrices arise more naturally than finite matrices and have a colorful history in development from sequences, series and quadratic forms. Modern viewpoint considers infinite matrices more as operators defined between certain specific infinite-dimensional normed spaces, Banach spaces, or Hilbert spaces. Giant and rapid advancements in the theory and applications of finite matrices have been made over the past several decades. These developments have been well documented in many books, monographs, and research journals. The present topics of research include diagonally dominant matrices, their many extensions, inverse of matrices, their recursive computation, singular matrices, generalized inverses, inverse positive matrices with specific emphasis on their applications to economics like the Leontief input-output models, and use of finite difference and finite element methods in the solution of partial differential equations, perturbation methods, and eigenvalue problems of interest and importance to numerical analysts, statisticians, physical scientists, and engineers, to name a few.

The aim of this special issue is to announce certain recent advancements in matrices, finite and infinite, and their applications. For a review of infinite matrices and applications, see P. N. Shivakumar, and K. C. Sivakumar (Linear Algebra Appl., 2009). Specifically, an example of an application can be found in the classical problem “shape of a drum,” in P. N. Shivakumar, W. Yan, and Y. Zhang (WSES transactions in Mathematics, 2011). The focal themes of this special issue are inverse positive matrices including -matrices, applications of operator theory, matrix perturbation theory, and pseudospectra, matrix functions and generalized eigenvalue problems and inverse problems including scattering and matrices over quaternions. In the following, we present a brief overview of a few of the central topics of this special issue.

For -matrices, let us start by mentioning the most cited books by R. Berman and R. J. Plemmons (SIAM, 1994), and by R. A. Horn and C. R. Johnson (Cambridge, 1994), as excellent sources. One of the most important properties of invertible -matrices is that their inverses are nonnegative. There are several works that have considered generalizations of some of the important properties of -matrices. We only point out a few of them here. The article by D. Mishra and K. C. Sivakumar (Oper. Matrices, 2012), considers generalizations of inverse nonnegativity to the Moore-Penrose inverse, while more general classes of matrices are the objects of discussion in D. Mishra and K. C. Sivakumar (Linear Algebra Appl., 2012), and A. N. Sushama, K. Premakumari and K. C. Sivakumar (Electron. J. Linear Algebra 2012).

A brief description of the papers in the issue is as follows.

In the work of Z. Zhang, the problem of solving certain optimization problems on Hermitian matrix functions is studied. Specifically, the author considers the extremal inertias and ranks of a given function (which is defined in terms of matrices , , , and in ), subject to , satisfying certain matrix equations. As applications, the author presents necessary and sufficient conditions for to be positive definite, positive semidefinite, and so forth. As another application, the author presents a characterization for , again, subject to , satisfying certain matrix equations.

The task of determining parametrized splitting preconditioners for certain generalized saddle point problems is undertaken by W.-H. Luo and T.-Z. Huang in their work. The well-known and very widely applicable Sherman-Morrison-Woodbury formula for the sum of matrices is used in determining a preconditioner for linear equations where the coefficient matrix may be singular and nonsymmetric. Illustrations of the procedure are provided for Stokes and Oseen problems.

The work reported by A. González, A. Suarez and D. Garcia deals with the problem of estimating the Frobenius condition of the matrix , given a matrix , where satisfies the condition that . Here, is a certain subspace of and denotes the Frobenius norm. The authors derive certain spectral and geometrical properties of the preconditioner as above.

Let , , and be (not necessarily square) matrices with quaternion entries so that the matrix is square. Y. Lin and Q.-W. Wang present necessary and sufficient conditions so that the top left block of exists satisfying the conditions that is nonsingular and the matrix is the top left block of . A general expression for such an , when it exists, is obtained. A numerical illustration is presented.

For a complex hermitian of order with eigenvalues , the celebrated Kantorovich inequality is , for all unit vectors . Equivalently , for all unit vectors . F. Chen, in his work on refinements of Kantorovich inequality for hermitian matrices, obtains some refinements of the second inequality, where the proofs use only elementary ideas (http://www.math.ntua.gr/~ppsarr/).

It is pertinent to point out that, among other things, an interesting generalization of -matrices is obtained by S. Jose and K. C. Sivakumar. The authors consider the problem of nonnegativity of the Moore-Penrose inverse of a perturbation of the form given that . Using a generalized version of the Sherman-Morrison-Woodbury formula, conditions for to be nonnegative are derived. Applications of the results are presented briefly. Iterative versions of the results are also studied.

It is well known that the concept of quaternions was introduced by Hamilton in 1843 and has played an important role in contemporary mathematics such as noncommutative algebra, analysis, and topology. Nowadays, quaternion matrices are widely and heavily used in computer science, quantum physics, altitude control, robotics, signal and colour image processing, and so on. Many questions can be reduced to quaternion matrices and solving quaternion matrix equations. This special issue has provided an excellent opportunity for researchers to report their recent results.

Let denote the space of all matrices whose entries are quaternions. Let be Hermitian and self-invertible. is called reflexive (relative to ) if . The authors F.-L. Li, X.-Y. Hu, and L. Zhang present an efficient algorithm for finding the reflexive solution of the quaternion matrix equation: . They also show that, given an appropriate initial matrix, their procedure yields the least reflexive solution with respect to the Frobenius norm.

In the work on the ranks of a constrained hermitian matrix expression, S. W. Yu gives formulas for the maximal and minimal ranks of the quaternion Hermitian matrix expression , where is a Hermitian solution to quaternion matrix equations , , and , and also applies this result to some special system of quaternion matrix equations.

Y. Yao reports his findings on the optimization on ranks and inertias of a quadratic hermitian matrix function. He presents one solution for optimization problems on the ranks and inertias of the quadratic Hermitian matrix function subject to a consistent system of matrix equations and . As applications, he derives necessary and sufficient conditions for the solvability to the systems of matrix equations and matrix inequalities , and .

Let be a nontrivial real symmetric involution matrix. A complex matrix is called -conjugate if . In the work on the hermitian -conjugate solution of a system of matrix equations, C.-Z. Dong, Q.-W. Wang, and Y.-P. Zhang present necessary and sufficient conditions for the existence of the hermitian -conjugate solution to the system of complex matrix equations and . An expression of the Hermitian -conjugate solution is also presented.

A perturbation analysis for the matrix equation is undertaken by X.-F. Duan and Q.-W. Wang. They give a precise perturbation bound for a positive definite solution. A numerical example is presented to illustrate the sharpness of the perturbation bound.

Linear matrix equations and their optimal approximation problems have great applications in structural design, biology, statistics, control theory, and linear optimal control, and as a consequence, they have attracted the attention of several researchers for many decades. In the work of Q.-W. Wang and J. Yu, necessary and sufficient conditions of and the expressions for orthogonal solutions, symmetric orthogonal solutions, and skew-symmetric orthogonal solutions of the system of matrix equations and are derived. When the solvability conditions are not satisfied, the least squares symmetric orthogonal solutions and the least squares skew-symmetric orthogonal solutions are obtained. A methodology is provided to compute the least squares symmetric orthogonal solutions, and an illustrative example is given to illustrate the proposed algorithm.

Many real-world engineering systems are too complex to be defined in precise terms, and, in many matrix equations, some or all of the system parameters are vague or imprecise. Thus, solving a fuzzy matrix equation becomes important. In the work reported by X. Guo and D. Shang, the fuzzy matrix equation in which , and are , , and nonnegative LR fuzzy numbers matrices, respectively, is investigated. This fuzzy matrix system, which has a wide use in control theory and control engineering, is extended into three crisp systems of linear matrix equations according to the arithmetic operations of LR fuzzy numbers. Based on the pseudoinverse matrix, a computing model to the positive fully fuzzy linear matrix equation is provided, and the fuzzy approximate solution of original fuzzy systems is obtained by solving the crisp linear matrix systems. In addition, the existence condition of nonnegative fuzzy solution is discussed, and numerical examples are given to illustrate the proposed method. Overall, the technique of LR fuzzy numbers and their operations appears to be a strong tool in investigating fully fuzzy matrix equations.

Left and right inverse eigenpairs problem arises in a natural way, when studying spectral perturbations of matrices and relative recursive problems. F.-L. Li, X.-Y. Hu, and L. Zhang consider in their work left and right inverse eigenpairs problem for -hermitian matrices and its optimal approximate problem. The class of -hermitian matrices contains hermitian and perhermitian matrices and has numerous applications in engineering and statistics. Based on the special properties of -hermitian matrices and their left and right eigenpairs, an equivalent problem is obtained. Then, combining a new inner product of matrices, necessary and sufficient conditions for the solvability of the problem are given, and its general solutions are derived. Furthermore, the optimal approximate solution, a calculation procedure to compute the unique optimal approximation, and numerical experiments are provided.

Finally, let us point out a work on algebraic coding theory. Recall that a communication system, in which a receiver can verify the authenticity of a message sent by a group of senders, is referred to as a multisender authentication code. In the work reported by X. Wang, the author constructs multi-sender authentication codes using polynomials over finite fields. Here, certain important parameters and the probabilities of deceptions of these codes are also computed.

Acknowledgments

We wish to thank all the authors for their contributions and the reviewers for their valuable comments in bringing the special issue to fruition.

P. N. Shivakumar
Panayiotis Psarrakos
K. C. Sivakumar
Yang Zhang