On a characterization of irreducibility of a non-negative matrix

Let A denote an n×n matrix with all its elements real and non-negative, and let r_i be the sum of the elements in the ith row of A, i=1,…,n. Let B=A?D(r₁,…,r_n), where D(r₁,…,r_n) is the diagonal matrix with r_i at the position (i,i). Then it is proved that A is irreducible if and only if rank B=n?1 and the null space of B^T contains a vector d whose entries are all non-null.     

Symposium on combinatorial mathematics and optimal design

Let A₁,A₂,…,A_n be finite sets such that A_i?A_j for all i≠j. Let F be an intersecting family consisting of sets contained in some A_i, i=1,2,…,n. Chvátal conjectured that among the largest intersecting families, there is always a star. In this paper, we obtain another proof of a result of Schönheim: If A₁∩A₂∩?∩A_n≠?, then the conjecture is true. We also prove that if A_i∩A_jA_k = ? for all i≠j≠k≠i or if the independent system satisfies a hereditary tree structure, then the conjecture is also true.     

Simultaneous triangularization of a pair of matrices whose commutator has rank two

Let A,B be n×n matrices with entries in an algebraically closed field F of characteristic zero, and let C=AB?BA. It is shown that if C has rank two and AⁱB^jC^k is nilpotent for 0?i, j?n?1, 1?k?2, then A, B are simultaneously triangularizable over F. An example is given to show that this result is in some sense best possible.     

The inverse M-matrix problem

One aspect of the inverse M-matrix problem can be posed as follows. Given a positive n × n matrix A=(a_ij) which has been scaled to have unit diagonal elements and off-diagonal elements which satisfy 0 < y ? a_ij ? x < 1, what additional element conditions will guarantee that the inverse of A exists and is an M-matrix? That is, if A^?1=B=(b_ij), then b_ii> 0 and b_ij ? 0 for i≠_j. If n=2 or x=y no further conditions are needed, but if n ? 3 and y < x, then the following is a tight sufficient condition. Define an interpolation parameter s via x²=sy+(1?s)y²; then B is an M-matrix if s^?1 ? n?2. Moreover, if all off-diagonal elements of A have the value y except for a_ij=a_jj=x when i=n?1, n and 1 ? _j ? n?2, then the condition on both necessary and sufficient for B to be an M-matrix.     

Simultaneous quasidiagonalization of complex matrices

Let

be the complex algebra generated by a pair of n × n Hermitian matrices A, B. A recent result of Watters states that A, B are simultaneously unitarily quasidiagonalizable [i.e., A and B are simultaneously unitarily similar to direct sums C₁⊕…⊕C_t,D₁⊕…⊕D_t for some t, where C_i, D_i are k_i × k_i and k_i?2(1?i?t)] if and only if [p(A, B), A]² and [p(A, B), B]² belong to the center of

for all polynomials p(x, y) in the noncommuting variables x, y. In this paper, we obtain a finite set of conditions which works. In particular we show that if A, B are positive semidefinite, then A, B are simultaneously quasidiagonalizable if (and only if) [A, B]², [A², B]² and [A, B²]² commute with A, B.     

Jordan higher all-derivable points on nontrivial nest algebras

Let A be a Banach algebra with unity I and M be a unital Banach A-bimodule. A family of continuous additive mappings D=(δ_i)_i∈N from A into M is called a higher derivable mapping at X, if δ_n(AB)=∑_i+j=nδ_i(A)δ_j(B) for any A,B∈A with AB=X. In this paper, we show that D is a Jordan higher derivation if D is a higher derivable mapping at an invertible element X. As an application, we also get that every invertible operator in a nontrivial nest algebra is a higher all-derivable point.     

LEGENDRE TRANSFORMATIONS AND CARTAN FORMS IN THE CALCULUS OF VARIATIONS OF MULTIPLE INTEGRALS

ABSTRACT

(PART II): In terms of a given Hamiltonian function the 1-form w = dH + ?_j|dπ^j is defined, where {?_j:j = 1,…, n} denotes an invariant basis of the planes of the distribution D_n. The latter is said to be canonical if w = 0 (which is analogous to the definition of Hamiltonian vector fields in symplectic geometry). This condition is equivalent to two sets of canonical equations that are expressed explicitly in term of the derivatives of H with respect to its positional arguments. The distribution D_n is said to be pseudo-Lagrangian if dπ^j(?_j,V_h) = 0; if D_n, is both canonical and pseudo-Lagrangian it is integrable and such that H = const. on each leaf of the resulting foliation. The Cartan form associated with this construction [9] is defined a II = π² ? ? πⁿ. If π is closed, the distribution D_N is integrable, and the exterior system {π^j} admits the representation ψ^j = dS^j in terms of a set of 0-forms S^j on M. If, in addition, the distribution D_N is canonical, these functions satisfy a single first order Hamilton-Jacobi equation, and conversely. Finally, a complete figure is constructed on the basis of the assumptions that (i) the Cartan form be closed, and (ii) that the distribution D_n, be both canonical and integrable. The last of these requirements implies the existence of N functions ψ^A that depend on x^h and N parameters w^B, whose derivatives are given by ?ψ^A (x^h, w^B)/?x^j = B^A _j (x^h, ψ^B (x^h,w^B)). The complete figure then consists of two complementary foliations: the leaves of the first are described by the functions ψ^A and satisfy the standard Euler-Lagrange equations, while the second, that is, the transversal foliation, is represented by the aforementioned solution of the Hamilton-Jacobi equation. The entire configuration then gives rise in a natural manner to a generalized Hilbert independent integral and consequently also to a generalized Weierstrass excess function.     

Upper triangular operator matrices with the single-valued extension property

If A=(Aij)_1?i,j?n∈B(X) is an upper triangular Banach space operator such that AiiAij=AijAjj for all 1?i?j?n, then A has SVEP or satisfies (Dunford's) condition (C) or (Bishop's) property (β) or (the decomposition) property (δ) if and only if Aii, 1?i?n, has the corresponding property.     

The error bound of the perturbation of the Drazin inverse

Let A and E be n×n matrices and B = A + E. Denote the Drazin inverse of A by A^D. In this paper we give an upper bound for the relative error ∥B^D ? A^D∥/∥A^D∥₂ and a lower bound for ∥B^D∥₂ under certain circumstances. The continuity properties and the derivative of the Drazin inverse are also considered.     

LEGENDRE TRANSFORMATIONS AND CARTAN FORMS IN THE CALCULUS OF VARIATIONS OF MULTIPLE INTEGRALS

ABSTRACT

(PART I): A field-theoretic treatment of variational problems in n independent variables {x^j} and N dependent variables {ψ^A)} is presented that differs substantially from the standard field theories, such as those of Carathéodory [4] and Weyl [10], inasmuch as it is not stipulated ab initio that the Lagrangian be everywhere positive. This is accomplished by the systematic use of a canonical formalism. Since the latter must necessarily be prescribed by appropriate Legendre transformations, the construction of such transformations is the central theme of Part I.—The underlying manifold is M = M_n x M_N, where M_n, M_N are manifolds with local coordinates {x^j}, {ψ^A}, respectively. The basic ingredient of the theory consists of a pair of complementary distributions D_n, D_N on M that are defined respectively by the characteristic subspaces in the tangent spaces of M of two sets of smooth 1-forms {π^A:A = 1,…, N}, {π^j = 1,…, n} on M. For a given local coordinate system on M the planes of 4, have unique (adapted) basis elements B_j = (?/?_x ^j) + B^A _j (?/?ψ^A), whose coefficients B^A _j will assume the role of derivatives such as ?ψ^A/?x^j in the final analysis of Part II. The first step toward a Legendre transformation is a stipulation that prescribes B^A _j as a function of the components {π^j _h,π^j _A} of {π^j}—these components being ultimately the canonical Variables—in such a manner that B^A _j is unaffected by the action of any unimodular transformation applied to the exterior system {π^j}. A function H of the canonical variables is said to be an acceptable Hamiltonian if it satisfies a similar invariance requirement, together with a determinantal condition that involves its Hessian with respect to π^j _A. The second part of the Legendre transformation consists of the identification in terms of H and the canonical variables of a function L that depends solely on B^A _j and the coordinates on M. This identification imposes a condition on the Hessian of L with respect to B^A _j. Conversely, any function L that satisfies these requirements is an acceptable Lagrangian, whose Hamiltonian is uniquely determined by the general construction.     

A generalization of Lavoie's inequality concerning the sum of idempotent matrices

Let a complex pxn matrix A be partitioned as A′=(A′₁,A′₂,…,A′_k). Denote by ?(A), A′, and A^? respectively the rank of A, the transpose of A, and an inner inverse (or a g-inverse) of A. Let A⁽¹⁴⁾ be an inner inverse of A such that A⁽¹⁴⁾A is a Hermitian matrix. Let B=(A⁽¹⁴⁾₁,A⁽¹⁴⁾₂,…,A_k⁽¹⁴⁾) and $\text{ρ(A)=}\text{∑}\text{i=1}\text{k}\text{ρ(A}{}_{\mathrm{i}}\text{)}$.Then the product of nonzero eigenvalues of BA (or AB) cannot exceed one, and the product of nonzero eigenvalues of BA is equal to one if and only if either B=A⁽¹⁴⁾ or $\text{A}{}_{\mathrm{i>}}\text{A}{}_{\mathrm{<mtext>j</mtext>}}{}^1\text{=0}$ for all i ≠ j,i, j=1,2,…,k . The results of Lavoie (1980) and Styan (1981) are obtained as particular cases. A result is obtained for k=2 when the condition $\text{ρ(A)=}\text{∑}\text{i=1}\text{k}\text{ρ(A}{}_{\mathrm{i}}\text{)}$ is no longer true.     

Close-to-normal structure and its applications

Let K be a bounded subset of a metric space (B, d). Let W(K) be the supremum of the cardinals of all subsets H of K such that the distance between any two distinct points in H is equal to the diameter of K. This function W on the family of all bounded subsets of B is used to prove the following result. Let K be a weakly compact convex subset of a Banach space B. Then K has a close-to-normal structure if B satisfies any of the following conditions: (a) B is strictly convex; (b) B is separable; (c) B has the property A: For any sequence {x_n} in B, {x_n} converges to a point x in B if it converges weakly to x and {∥x_n∥} converges to ∥x∥. Applications of this result to the fixed point theory are given.     

Least squares solutions to AX = B for bisymmetric matrices under a central principal submatrix constraint and the optimal approximation

A matrix A∈R^n×n is called a bisymmetric matrix if its elements a_i,j satisfy the properties a_i,j=a_j,i and a_i,j=a_n-j+1,n-i+1 for 1?i,j?n. This paper considers least squares solutions to the matrix equation AX=B for A under a central principal submatrix constraint and the optimal approximation. A central principal submatrix is a submatrix obtained by deleting the same number of rows and columns in edges of a given matrix. We first discuss the specified structure of bisymmetric matrices and their central principal submatrices. Then we give some necessary and sufficient conditions for the solvability of the least squares problem, and derive the general representation of the solutions. Moreover, we also obtain the expression of the solution to the corresponding optimal approximation problem.     

On simultaneous reduction of families of matrices to triangular or diagonal form by unitary congruences

Let {A_i }and {B_i } be two given families of n-by-n matrices. We give conditions under which there is a unitary U such that every matrix UA_iU ¹ is upper triangular. We give conditions, weaker than the classical conditions of commutativity of the whole family, under which there is a unitary U such that every matrix UA_jU ^? is upper triangular. We also give conditions under which there is one single unitary U such that every UA_iU ¹ and every UB_jU ^? is upper triangular. We give necessary and sufficient conditions for simultaneous unitary reduction to diagonal form in this way when all the A_j's are complex symmetric and all theB_j 's are Hermitian.     

Inclusion relations involving k-numerical ranges

Let W_k(A) denote the k-numerical range of an n × n matrix A. It is known that W_i(A) ? W_j(A) for 1 ? j? i? n. It this paper we derive more general inclusion relations of the form Σⁿ_iλ_iW_i(A) ? Σⁿ_iμ_iW_i(A), where λ_i, μ_i are real coefficients.     

On matrices having equal corresponding principal minors

Let A, B be n × n matrices with entries in a field F. We say A and B satisfy property $\text{D}$ if B or B^t is diagonally similar to A. It is clear that if A and B satisfy property $\text{D}$, then they have equal corresponding principal minors, of all orders. The question is to what extent the converse is true. There are examples which show the converse is not always true. We modify the problem slightly and give conditions on a matrix A which guarantee that if B is any matrix which has the same principal minors as A, then A and B will satisfy property $\text{D}$. These conditions on A are formulated in terms of ranks of certain submatrices of A and the concept of irreducibility.     

r-Numbers completion problems of partial upper canonical form I

A pair (A, B), where A is an n × n matrix and B is an n × m matrix, is said to have the nonnegative integers sequence {r_j}_j=1^p as the r-numbers sequence if r₁ = rank(B) and r_j = rank[B AB … A^j−1 B] − rank[B AB … A^j−2B], 2 ≤ j ≤ p. Given a partial upper triangular matrix A of size n × n in upper canonical form and an n × m matrix B, we develop an algorithm that obtains a completion A_c of A, such that the pair (A^c, B) has an r-numbers sequence prescribed under some restrictions.     

Products of two involutions with prescribed eigenvalues and some applications

Let F be a field. In [Djokovic, Product of two involutions, Arch. Math. 18 (1967) 582-584] it was proved that a matrix A∈F^n×n can be written as A=BC, for some involutions B,C∈F^n×n, if and only if A is similar to A^-1. In this paper we describe the possible eigenvalues of the matrices B and C.As a consequence, in case charF≠2, we describe the possible similarity classes of (P₁₁⊕P₂₂)P^-1, when the nonsingular matrix P=[P_ij]∈F^n×n, i,j∈{1,2} and P₁₁∈F^s×s, varies.When F is an algebraically closed field and charF≠2, we also describe the possible similarity classes of [A_ij]∈F^n×n, i,j∈{1,2}, when A₁₁ and A₂₂ are square zero matrices and A₁₂ and A₂₁ vary.     

On positional games

Let {A_i} be a family of sets and let S = ∩_iA_i. By a positional game we shall mean a game played by two players on {A_i}. The players alternately pick elements of S and that player wins who fist has all the elements of one of the A_i. This paper deals with almost disjoint hypergraphs only, i.e., |A_i∪A_j| ? 1 if i ≠ j. Let $\text{M}{}^1\text{(n)}$ be the smallest integer for which there is an almost disjoint n-uniform hypergraph $\text{|T| = M}{}^1\text{(n)}$, so that the first player has a winning strategy. It is shown that $\text{lim}{}_{\mathrm{n}}\text{[M}{}^1\text{(n)]}{}^{\mathrm{<mtext>1</mtext><mtext>n</mtext>}}\text{= 4}$, which was conjectured by Erdös. The same method is applied to prove a conjecture of Hales and Jewett on r-dimensional tick-tack-toe if r is large enough. Finally we prove that for an arbitrary almost disjoint n-uniform hypergraph the second player has such a strategy that the first player unable to win in his mth move if m < (2 ? ?)ⁿ.