Some results on symplectic matrices

The principal results are that if A is an integral matrix such that AA^T is symplectic then A = CQ, where Q is a permutation matrix and C is symplectic; and that if A is a hermitian positive definite matrix which is symplectic, and B is the unique hermitian positive definite pth.root of A, where p is a positive integer, then B is also symplectic.     

A result on integral symmetric matrices

Let A be an integral matrix such that det A = 1 mod mA ≡ A^T mod m, where m is odd. It is shown that a symmetric integral matrix B of determinant 1 exists such that B ≡ A mod m. The result is false if m is even.     

Convexoid and generalized derivations

Let E,F be two Banach spaces and let S be a symmetric norm ideal of L(E,F). For AL(F) and BL(E) the generalized derivation δ_S,A,B is the operator on S that sends X to AX−XB. A bounded linear operator is said to be convexoid if its (algebraic) numerical range coincides with the convex hull of its spectrum. We show that δ_S,A,B is convexoid if and only if A and B are convexoid.     

Linear operators that preserve pairs of matrices which satisfy extreme rank properties

A pair of m×n matrices (A,B) is called rank-sum-maximal if rank(A+B)=rank(A)+rank(B), and rank-sum-minimal if rank(A+B)=|rank(A)−rank(B)|. We characterize the linear operators that preserve the set of rank-sum-minimal matrix pairs, and the linear operators that preserve the set of rank-sum-maximal matrix pairs over any field with at least min(m,n)+2 elements and of characteristic not 2.     

On matrices stochastically similar to matrices with equal diagonal elements

A necessary and sufficient condition for a matrix to be stochastically similar to a matrix with equal diagonal elements is obtained Aand B are called Stochastically similar if B=SAS ^{? 1} where S is quasi-stochastic i.e., all row sums of .S are I. An inverse elementary divisor problem for quasi-stochastic matrices is also considered.     

The rank of the difference of matrices with prescribed similarity classes

Let F be a field and let A,B be n × n matrices over I. We study the rank of A' - B' when A and B run over the set of matrices similar to A and B, respectively.     

Some generators for the algebra of n×n matrices

In this note, we show how the algebra of n×n matrices over a field can be generated by a pair of matrices AB, where A is an arbitrary nonscalar matrix and B can be chosen so that there is the maximum degree of linear independence between the higher commutators of B with A.     

Primes in the semigroup of non-negative matrices

A matrix A in the semigroup N_n of non-negative n×nmatrices is prime if A is not monomial and A=BC,BCεN_n implies that either B or C is monomial. One necessary and another sufficient condition are given for a matrix in N_n to be prime. It is proved that every prime in N_n is completely decomposable.     

Products of complic cosquares and pseudo-involutory matrices

LetF be a field with (nontrivial) involution (i.e.F-conjugation). A nonsingular matrix Aover Fis called a complic F-cosquare provided A=S^*-1for some matrix Sover Fand is called p.i. (pseudo-involutory) provided A=A^-1 It is shown that Ais a complic F-cosquare iff Ais the product of two p.i. matrices over Fand that det (AA)=1 iff Ais the product of two complic F-cosquares (hence iff A is the product of four p.i. matrices over F). It is conjectured that, except for one obvious case (2 x 2 matrices over the field of order 2), every unimodular matrix A over an arbitrary field Fis a product S¹ST:1T with S1 and Tover FThis conjecture is proved for matricesAof order ≤3.     

Bipartite double cover and perfect 2-matching covered graph with its algorithm

Let B(G) denote the bipartite double cover of a non-bipartite graph G with v≥2 vertices and ? edges. We prove that G is a perfect 2-matching covered graph if and only if B(G) is a 1-extendable graph. Furthermore, we prove that B(G) is a minimally 1-extendable graph if and only if G is a minimally perfect 2-matching covered graph and for each e = xy ∈ E(G), there is an independent set S in G such that |Γ_G(S)| = |S| + 1, x ∈S and |Γ_G-xy(S) | = |S|. Then, we construct a digraph D from B(G) or G and show that D is a strongly connected digraph if and only if G is a perfect 2-matching covered graph. So we design an algorithm in O(v?) time that determines whether G is a perfect 2-matching covered graph or not.     

An extension theorem for t-designs

In 1994, van Trung (Discrete Math. 128 (1994) 337–348) [9] proved that if, for some positive integers d and h, there exists an S_λ(t,k,v) such that

then there exists an S_λ(v−t+1)(t,k,v+1) having v+1 pairwise disjoint subdesigns S_λ(t,k,v). Moreover, if B_i and B_j are any two blocks belonging to two distinct such subdesigns, then d|B_i∩B_j|<k−h. In 1999, Baudelet and Sebille (J. Combin. Des. 7 (1999) 107–112) proved that if, for some positive integers, there exists an S_λ(t,k,v) such that

where m=min{s,v−k} and n=min{i,t}, then there exists an

having pairwise disjoint subdesigns S_λ(t,k,v). The purpose of this paper is to generalize these two constructions in order to produce a new recursive construction of t-designs and a new extension theorem of t-designs.     

Long division for Laurent series matrices and the optimal assignment problem

We present a necessary and sufficient condition to represent a Laurent series matrix A(x) as a product where is a Laurent series matrix whose leading scalar matrix is nonsingular and U(x) and V(x) are diagonal matrices whose nonzero entries are powers of x. If A(x) can be written in this form, then the matrix equation A(x)Y(x) = B(x) can be solved by long division. Our result relies on a classical theorem on optimal assignments.     

A new class of fuzzy implications. Axioms of fuzzy implication revisited

Many different fuzzy implication operators have been proposed; most of them fit into one of the two classes: implication operations that are based on an explicit representation of implication A → B in terms of &, , and ¬ (e.g., S-implications that are based on the formula B ¬ A), and R-implications that are based on an implicit representation of implication A → B as the weakest C for which C&B implies A. However, some fuzzy implication operations (such as b^a) cannot be naturally represented in this form. To describe such operations, we propose a new (third) class of implication operations called A-implications whose relation to &, , and ¬ is described by (implicit) axioms.     

Controllability completion problems of partial upper triangular matrices

The main result of this paper states sufficient conditions for the existence of a completion A_c of an n × n partial upper triangular matrix A, such that the pair (A_cB) has prescribed controllability indices, being B an n×m matrix. If A is a partial Hessenberg matrix some conditions may be dropped. An algorithm that obtains a completion A_c of A such that pair (A_ce_k) is completely controllable, where e_k is a unit vector, is used to proof the results.     

Linear operators preserving unitary t-congruence (orthogonal similarity) on complex (real) matrices

Two complex (real) square matrices A and B are said io be unitarily t-congruent (orthogonally similar) it there exists a unitary (an orthogonal) matrix U such that A=UBU¹ We characterize those linear operators that preserve unitary t-congruence on complex matrices and those linear operators that preserve orthogonal similarity on real matrices. This answers a question raised in a paper by Y. P. Hong, R. A. Horn and the first author.     

Multiplicative properties of generalized matrix functions

We consider scalar-valued matrix functions for n×n matrices A=(a_ij) defined by Where G is a subgroup of S_n the group of permutations on n letters, and χ is a linear character of G. Two such functions are the permanent and the determinant. A function (1) is multiplicative on a semigroup S of n×n matrices if d(AB)=d(A)d(B) AB∈S.

With mild restrictions on the underlying scalar ring we show that every element of a semigroup containing the diagonal matrices on which (1) is multiplicative can have at most one nonzero diagonal(i.e., diagonal with all nonzero entries)and conversely, provided that χ is the principal character(χ≡1).     

Linear transformations on matrices: The invariance of commuting pairs of matrices

Let L be a linear transformation on the set of all n×n matrices over an algebraically closed field of characteristic 0. It is shown that if AB=BA implies L(A)L(B)=L(B)L(A) and if either L is nonsingular or the implication in the hypothesis can also be reversed, then L is a sum of a scalar multiple of a similarity transformation and a linear functional times the identity transformation.     

Column completion of a pair of matrices

Given a pair of matrices (AB) it is well known that its invariant factors and its controllability indices form a complete set of invariants for the Γ-equivalence [11] or block similarity [5]. How do they vary by adding columns to B? This problem was solved in [12] when B = 0; here we give a complete answer for this question.     

Sums and products of matrices with prescribed similarity classes

Let F be a field and let A and n × n matrices over F. We study some properties of A^' + B^' and A^'B^', when A^' and B^' run over the sets of the matrices similar to A and B, respectively.