Generalized inverse-positivity and splittings of M-matrices

The concepts of matrix monotonicity, generalized inverse-positivity and splittings are investigated and are used to characterize the class of all M-matrices A, extending the well-known property that A^?1?0 whenever A is nonsingular. These conditions are grouped into classes in order to identify those that are equivalent for arbitrary real matrices A. It is shown how the nonnegativity of a generalized left inverse of A plays a fundamental role in such characterizations, thereby extending recent work by one of the authors, by Meyer and Stadelmaier and by Rothblum. In addition, new characterizations are provided for the class of M-matrices with “property c”; that is, matrices A having a representation A=sI?B, s>0, B?0, where the powers of $\text{(}\text{1}\text{s}\text{)B}$ converge. Applications of these results to the study of iterative methods for solving arbitrary systems of linear equations are given elsewhere.     

A complete analysis of a model nonlinear singular perturbation problem having a continuous locus of singular points

Consider the boundary value problem ?y′′ = (y² ? t²)y′, ? 1 ≤ t ≤ 0, y(? 1) = A, y(0) = B. Depending on the choice of A and B, one can ensure the existence of “turning points,” $\text{t}\text{?}\text{; y(t, ?)}{}^2\text{?}\text{t}\text{?}{}^2\text{= 0}$. However, due to the nonlinear nature of the problem, one does not know the position or number of such turning points. In the case when A >f 0 = B Kedem, Parter and Steuerwalt gave a development of this problem based on an abstract bifurcation analysis which in turn was based on “degree theory.” In this paper we give a complete analysis of the problem based entirely on a priori estimates and the “shooting” method.     

On the matrix monotonicity of generalized inversion

Let A, B be two matrices of the same order. We write A>B(A>?B) iff A? B is a positive (semi-) definite hermitian matrix. In this paper the well-known result if

$\text{A>B>θ, then B}{}^{\mathrm{?1}}\text{>A}{}^{\mathrm{?1}}\text{> θ}$

(cf. Bellman [1, p.59]) is extended to the generalized inverses of certain types of pairs of singular matrices A,B?θ, where θ denotes the zero matrix of appropriate order.     

Some monotonicity properties of Schur powers of matrices and related inequalities

A series of inequalities are developed relating the spectral radius ?(A ° B) of the Schur product A ° B of two nonnegative matrices A and B with those of ?(A ° A) and ?(B ° B) yielding $\text{?(A ° B) ? [?(A ° A)?(B ° B)]}\text{1}\text{2}$. As a corollary it is proved that the spectral radius of the Schur powers ?_r = ?(A^[r]), A^[r] = A ° A °?°A (r factors) satisfies $\text{(}\text{1}\text{r}\text{)}\text{log}\text{?}{}_{\mathrm{r}}$ is decreasing while $\text{(}\text{1}\text{r?1}\text{)}\text{log}\text{?}{}_{\mathrm{r}}$ is increasing, the latter provided A is a stochastic matrix. The entropy of a finite stationary Markov chain is identified with $\text{d?}{}_{\mathrm{r}}\text{dr|}{}_{\mathrm{r=1}}$. A number of majorization comparisons for the spectral radius of Schur powers is given.     

Semisimilarity for matrices over a division ring

Two square matrices A and B over a ring R are semisimilar, written A$\text{?}$B, if YAX=B and XBY=A for some (possibly rectangular) matrices X, Y over R. We show that if A and B have the same dimension, and if the ring is a division ring $\text{D}$, then A$\text{?}$B if and only if A² is similar to B² and rank(A^k)=rank(B^k), k=1,2,…     

On the convergence of powers of interval matrices

We give a necessary and sufficient condition for the sequence {$\text{A}$^k}of the powers of an interval matrix $\text{A}$ to converge to the null matrix $\text{O}$. We construct a point matrix $\text{B}$ which has spectral radius ? ($\text{B}$) less than one if {$\text{A}$^k}converges.     

A new fuzzy compactness defined by fuzzy nets

Let (Ω, $\text{A}$, μ) be a probability space and let $\text{B}$ be a subsigma algebra of $\text{A}$. Let A= L_∞Ω, $\text{A}$, μ , let A= L_∞Ω, $\text{B}$, μ, and let f?A. It is shown that best L_∞-approximations of f by elements of B comprise an interval in B; that is, there exists $\text{f}\text{,}\text{f}\text{?B}$ such that a function g?B is a best L_∞-approximation to f if and only if $\text{f}\text{? g ?}\text{f}$ a.e. on Ω. The difference, $\text{f}\text{? f}$, of $\text{f}$ and f is completely characterized in terms of special sets that have been developed in [2]. Then it is established that the best best L_∞-approximation, f_{$\text{B}$,∞}, to f by elements of B is the average of $\text{f}$ and $\text{f}$, where the function f_{$\text{B}$,∞} is defined by f_{$\text{B}$,∞}(ω) lim_{p → ∞}f_$\text{B}$,P(ξ) and f_$\text{B}$,P denotes the best L_p-approximation to f elements of L_p(Ω, $\text{B}$, μ).     

On the Schur multiplier norm of matrices

The Schur product of two n×n complex matrices A=(a_ij), B=(b_ij) is defined by A°B=(a_ijb_ij. By a result of Schur [2], the algebra of n×n matrices with Schur product and the usual addition is a commutative Banach algebra under the operator norm (the norm of the operator defined on $\text{C}$ⁿ by the matrix). For a fixed matrix A, the norm of the operator B?A°B on this Banach algebra is called the Schur multiplier norm of A, and is denoted by ∥A∥^m. It is proved here that $\text{∥A∥=∥U}{}^1\text{AU∥}{}_{\mathrm{m}}$ for all unitary U (where ∥·∥ denotes the operator norm) iff A is a scalar multiple of a unitary matrix; and that ∥A∥_m=∥A∥ iff there exist two permutations P, Q, a p×p (1?p?n) unitary U, an (n?p)×(n?p)1 contraction C, and a nonnegative number λ such that

$\text{A=λP}\text{U}\text{0}\text{0}\text{C}\text{Q;}$

and this is so iff $\text{∥A°}\text{A}\text{?}\text{∥=∥A∥}{}^2$, where ā is the matrix obtained by taking entrywise conjugates of A.     

Lifting commuting pairs of C1 algebras

Given a commuting pair $\text{A}$₁, $\text{A}$₂ of abelian $\text{C}{}^1$ subalgebras of the Calkin algebra, we look for a commuting pair $\text{B}$₁,$\text{B}$₂ of $\text{C}{}^1$ subalgebras of $\text{B(H)}$ which project onto $\text{A}$₁ and $\text{A}$₂. We do not insist that $\text{B}$_i, be abelian, so $\text{B}$_i, may contain nontrivial compact operators. If X is the joint spectrum σ($\text{A}$₁, $\text{A}$₂), it is shown that the existence of a pair $\text{B}$₁, $\text{B}$₂ depends only on the element τ in Ext(X) determined by $\text{A}$₁, $\text{A}$₂. The set L(X) of those τ in Ext(X) which “lift” in this sense is shown to be a subgroup of Ext(X) when Ext(X) is Hausdorff, and also when $\text{A}$_i are singly generated. In this latter case, L(X) can be explicitly calculated for large classes of joint spectra. These results are applied to lift certain pairs of commuting elements of the Calkin algebra to pairs of commuting operators.     

Symmetric positive systems in corner domains

Consider the symmetric positive system of n equations in m + 2 variables,

$\text{A}\text{?u}\text{?x}\text{+ B}\text{?u}\text{?y}\text{+}\text{∑}\text{i=1}\text{m}\text{C}{}_{\mathrm{i}}\text{?u}\text{?z}{}_{\mathrm{i}}\text{+ Du = ?}$

in the corner domain x > 0, y > 0, ? ∞ < z_i < ∞, with homogeneous data on x = 0 and y = 0. The n × n matrices A, B, C_i are symmetric and D is sufficiently positive. On the boundary surfaces the matrix coefficients A, B, C_i satisfy certain “torsion” conditions. For ? with square integrable first-order derivatives, the strong solution with first-order strong derivatives is derived for the boundary value problem. For less restricted ?, the partially differentiable strong solution is established, provided more severe torsion conditions are satisfied on the boundaries. Also, the partially differentiable strong solution is obtained for the case that the torsion conditions are satisfied on one side of the boundary only.     

Smoothness of spectral subbundles and reducibility of quasi-periodic linear differential systems

In this paper we study linear differential systems (1) $\text{x′ =}\text{A}\text{?}\text{(θ + ωt)x,}\text{where}\text{A}\text{?}\text{(θ)}\text{is an}\text{(n × n)}$ matrix-valued function defined on the k-torus T^k and (θ, t) → θ + ωt is a given irrational twist flow on T^k. First, we show that if A ? C^N(T^k), where N ? {0, 1, 2,…; ∞; ω}, then the spectral subbundles are of class C^N on T^k. Next we assume that à is sufficiently smooth on T^k and ω satisfies a suitable “small divisors” inequality. We show that if (1) satisfies the “full spectrum” assumption, then there is a quasi-periodic linear change of variables x = P(t)y that transforms (1) to a constant coefficient system y′ =By. Finally, we study the case where the matrix $\text{A}\text{?}\text{(θ + ωt)}$ in (1) is the Jacobian matrix of a nonlinear vector field $\text{?(x)}$ evaluated along a quasi-periodic solution x = φ(t) of (2) $\text{x′ = ?(x)}$. We give sufficient conditions in terms of smoothness and small divisors inequalities in order that there is a coordinate system (z, ?) defined in the vicinity of $\text{Ω = H(φ)}$, the hull of φ, so that the linearized system (1) can be represented in the form z′ = Dz, ?′ = ω, where D is a constant matrix. Our results represent substantial improvements over known methods because we do not require that à be “close to” a constant coefficient system.     

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.     

Certain quotient spaces are countably separated,II

Let $\text{A}$ be a Type I C¹-algebra, $\text{B}$ a C¹-subalgebra, and G a group of ¹-automorphisms of $\text{A}$ which leave $\text{B}$ invariant. If $\text{A}\text{?}$/G is countably separated, then $\text{B}\text{?}$/G is also countably separated. This result has several applications in group representations.     

The relationship between a commutative Banach algebra and its maximal ideal space

Our main result is an extension of a theorem due to Novodvorskii and Taylor; we give some special cases. Let A be a commutative Banach algebra with identity, and let Δ be its maximal ideal space. Let B be a Banach algebra with identity; let B^?1 denote the invertible group in B and id B denote the set of idempotents in B. Let [$\text{(A}\text{}\text{?}\text{bo B)}{}^{\mathrm{?1}}$] denote the set of path components of $\text{(A}\text{}\text{?}\text{bo B)}{}^{\mathrm{?1}}$, and [Δ, B^?1] denote the set of homotopy classes of continuous maps of Δ into B^?1. We prove that the Gelfand transform on A induces a bijection of [$\text{(A}\text{}\text{?}\text{bo B)}{}^{\mathrm{?1}}$] onto [Δ, B^?1], and extend this result to prove a theorem of Davie. We show that the Gelfand transform induces a bijection of [$\text{id}\text{(A}\text{}\text{?}\text{bo B)}$] onto [Δ, id B], and investigate consequences of this result for specific examples of the Banach algebra B.     

Sur l'η-expansion infinieOn infinite η-expansion

We give two characterizations of the ordering on Böhm trees induced by the D_∞ model, one of which formalizes a continuity property of infinite η-expansion: $\text{A}\text{?}{}_{\mathrm{\infty }}\text{B}$ if for any finite approximant A of $\text{A}$ there exists a finite approximant B of $\text{B}$ such that A is a sub-tree of B, modulo finitely many η-equalities and finitely many infinite η-expansions of variables. To cite this article: P.-L. Curien, C. R. Acad. Sci. Paris, Ser. I 334 (2002) 77–82     

On matrix measures and convex Liapunov functions

In this paper, we extend the concept of the measure of a matrix to encompass a measure induced by an arbitrary convex positive definite function. It is shown that this “modified” matrix measure has most of the properties of the usual matrix measure, and that many of the known applications of the usual matrix measure can therefore be carried over to the modified matrix measure. These applications include deriving conditions for a mapping to be a diffeomorphism on Rⁿ, and estimating the solution errors that result when a nonlinear network is approximated by a piecewise linear network. We also develop a connection between matrix measures and Liapunov functions. Specifically, we show that if V is a convex positive definite function and A is a Hurwitz matrix, then μ_V(A) < 0, if and only if V is a Liapunov function for the system $\text{x}\text{?}\text{= Ax}$. This linking up between matrix measures and Liapunov functions leads to some results on the existence of a “common” matrix measure μ_V(·) such that μ_V(A_i) < 0 for each of a given set of matrices A₁,…, A_m. Finally, we also give some results for matrices with nonnegative off-diagonal terms.     

A short note about pursuit games played on a graph with a given genus

On a finite simple graph G = (X,E), p players pursuers $\text{A}{}_1\text{, ∴, A}{}_{\mathrm{p}}$ and one player evader B who move in turn along the edges of G are considered. The p pursuers $\text{A}{}_1\text{, ∴, A}{}_{\mathrm{p}}$ want to catch B who tries to escape. R. Nowakowski and P. Winkler [Discrete Math.43 (1983), 235–240] and A. Quilliot [“Thèse de 3° cycle,” pp. 131–145, Université de Paris VI, 1978] already characterized the graphs such that one pursuer is sufficient to catch the evader B. Very recently, M. Aigner and M. Fromme [Appl. Discrete Math., in press] proved that if G is a planar graph, three pursuers are sufficient to catch the evader B. This result is extended, showing that if G is a graph with a given genus k, then 3 + 2k pursuers are enough to “arrest” the evader B.     

A theory for optimal regularization in the finite dimensional case

Consider the matrix problem $\text{Ax = y + ε =}\text{y}\text{?}$ in the case where A is known precisely, the problem is ill conditioned, and ε is a random noise vector. Compute regularized “ridge” estimates,$\text{x}\text{?}{}_{\mathrm{\lambda }}\text{= (A}{}^1\text{A + λI)}{}^{-1}\text{A}{}^1\text{y}\text{?}$,where ¹ denotes matrix transpose. Of great concern is the determination of the value of λ for which x?_λ “best” approximates $\text{x}{}_{\mathrm{<mtext>0</mtext>}}\text{= A}{}^{\mathrm{+}}\text{y}$. Let $\text{Q = 6}\text{x}\text{?}{}_{\mathrm{\lambda }}\text{? x}{}_{\mathrm{<mtext>0</mtext>}}\text{6}{}^2$,and define λ₀ to be the value of λ for which Q is a minimum. We look for λ₀ among solutions of dQ/dλ = 0. Though Q is not computable (since ε is unknown), we can use this approach to study the behavior of λ₀ as a function of y and ε. Theorems involving “noise to signal ratios” determine when λ₀ exists and define the cases λ₀ > 0 and λ₀ = ∞. Estimates for λ₀ and the minimum square error Q₀ = Q(λ₀) are derived.     

Equivalent measures of dependence

The maximal correlation between a pair of σ-fields $\text{A}$ and $\text{B}$ becomes arbitrarily small as sup{|P(A ? B) ? P(A) P(B)|/[P(A) P(B)]^1/2, A ∈ $\text{A}$, B ∈ $\text{B}$, P(A) > 0, P(B) > 0} becomes sufficiently small.     

Extensions of factorial states of C1-algebras

Let A be a $\text{C}{}^1$-algebra, B be a $\text{C}{}^1$-subalgebra of A, and φ be a factorial state of B. Sometimes, φ may be extended to a factorial state of A by a tensor product method of Sakai (“$\text{C}{}^1$-algebras and $\text{W}{}^1$-algebras, Springer-Verlag, Berlin/Heidelberg/ New York 1971”). Sometimes, there is a weak expectation of A into $\text{π}{}_{\mathrm{\phi }}\text{(B)}$, and then factorial extensions may be found by a method of Sakai and Tsui (Yokohama Math. J.29 (1981), 157–160). These two methods are shown to have the same effect, and the factorial extensions produced by them are analysed.