Surjections on Grassmannians preserving pairs of elements with bounded distance

Let m and k be two fixed positive integers such that m>k?2. Let V be a left vector space over a division ring with dimension at least m+k+1. Let G_m(V) be the Grassmannian consisting of all m-dimensional subspaces of V. We characterize surjective mappings T from G_m(V) onto itself such that for any A,B in G_m(V), the distance between A and B is not greater than k if and only if the distance between T(A) and T(B) is not greater than k.     

Strong linear preservers of rank reverse permutability on triangular matrices

Let F be a field with ∣F∣ > 2 and T_n(F) be the set of all n × n upper triangular matrices, where n ? 2. Let k ? 2 be a given integer. A k-tuple of matrices A₁, …, A_k ∈ T_n(F) is called rank reverse permutable if rank(A₁ A₂ ? A_k) = rank(A_k A_k−1 ? A₁). We characterize the linear maps on T_n(F) that strongly preserve the set of rank reverse permutable matrix k-tuples.     

On the Grassmann modules for the unitary groups

Let V be 2n-dimensional vector space over a field 𝕂 equipped with a nondegenerate skew-ψ-Hermitian form f of Witt index n ≥ 1, let 𝕂₀ ? 𝕂 be the fix field of ψ and let G denote the group of isometries of (V, f). For every k ∈ {1, …, 2n}, there exist natural representations of the groups G ? U(2n, 𝕂/𝕂₀) and H = G ∩ SL(V) ? SU(2n, 𝕂/𝕂₀) on the k-th exterior power of V. With the aid of linear algebra, we prove some properties of these representations. We also discuss some applications to projective embeddings and hyperplanes of Hermitian dual polar spaces.     

k-Potence preserving maps without the linearity and surjectivity assumptions

Let M_n be the space of all n × n complex matrices, and let Γ_n be the subset of M_n consisting of all n × n k-potent matrices. We denote by Ψ_n the set of all maps on M_n satisfying A − λB ∈ Γ_n if and only if ?(A) − λ?(B) ∈ Γ_n for every A,B ∈ M_n and λ ∈ C. It was shown that ? ∈ Ψ_n if and only if there exist an invertible matrix P ∈ M_n and c ∈ C with c^k−1 = 1 such that either ?(A) = cPAP⁻¹ for every A ∈ M_n, or ?(A) = cPA^TP⁻¹ for every A ∈ M_n.     

On the span of Hadamard products of vectors

Let A₁, … , A_k be positive semidefinite matrices and B₁, … , B_k arbitrary complex matrices of order n. We show that

span{(A₁x)°(A₂x)°?°(A_kx)|x∈Cⁿ}=range(A₁°A₂°?°A_k)     

On extremal matrices of second largest exponent by Boolean rank

Let b = b(A) be the Boolean rank of an n × n primitive Boolean matrix A and exp(A) be the exponent of A. Then exp(A) ? (b − 1)² + 2, and the matrices for which equality occurs have been determined in [D.A. Gregory, S.J. Kirkland, N.J. Pullman, A bound on the exponent of a primitive matrix using Boolean rank, Linear Algebra Appl. 217 (1995) 101-116]. In this paper, we show that for each 3 ? b ? n − 1, there are n × n primitive Boolean matrices A with b(A) = b such that exp(A) = (b − 1)² + 1, and we explicitly describe all such matrices.     

On p-quasi-hyponormal operators

A Hilbert space operator A ∈ B(H) is said to be p-quasi-hyponormal for some 0 < p ? 1, A ∈ p − QH, if A^∗(∣A∣^2p − ∣A^∗∣^2p)A ? 0. If H is infinite dimensional, then operators A ∈ p − QH are not supercyclic. Restricting ourselves to those A ∈ p − QH for which A⁻¹(0) ⊆ A^∗-1(0), A ∈ p_∗ − QH, a necessary and sufficient condition for the adjoint of a pure p_∗ − QH operator to be supercyclic is proved. Operators in p_∗ − QH satisfy Bishop’s property (β). Each A ∈ p_∗ − QH has the finite ascent property and the quasi-nilpotent part H₀(A − λI) of A equals (A − λI)^-1(0) for all complex numbers λ; hence f(A) satisfies Weyl’s theorem, and f(A^∗) satisfies a-Weyl’s theorem, for all non-constant functions f which are analytic on a neighborhood of σ(A). It is proved that a Putnam-Fuglede type commutativity theorem holds for operators in p_∗ − QH.     

Preservers of pairs of bivectors with bounded distance

We extend Liu’s fundamental theorem of the geometry of alternate matrices to the second exterior power of an infinite dimensional vector space and also use her theorem to characterize surjective mappings T from the vector space V of all n×n alternate matrices over a field with at least three elements onto itself such that for any pair A, B in V, rank(A-B)?2k if and only if rank(T(A)-T(B))?2k, where k is a fixed positive integer such that n?2k+2 and k?2.     

Isometric embeddings of Johnson graphs in Grassmann graphs

Let V be an n-dimensional vector space (4≤n<∞) and let G_k(V){\mathcal{G}}_{k}(V) be the Grassmannian formed by all k-dimensional subspaces of V. The corresponding Grassmann graph will be denoted by Γ _k (V). We describe all isometric embeddings of Johnson graphs J(l,m), 1<m<l−1 in Γ _k (V), 1<k<n−1 (Theorem 4). As a consequence, we get the following: the image of every isometric embedding of J(n,k) in Γ _k (V) is an apartment of G_k(V){\mathcal{G}}_{k}(V) if and only if n=2k. Our second result (Theorem 5) is a classification of rigid isometric embeddings of Johnson graphs in Γ _k (V), 1<k<n−1.     

Metric characterization of apartments in dual polar spaces

Let Π be a polar space of rank n and let Gk(Π), k∈{0,…,n−1} be the polar Grassmannian formed by k-dimensional singular subspaces of Π. The corresponding Grassmann graph will be denoted by Γk(Π). We consider the polar Grassmannian Gn−1(Π) formed by maximal singular subspaces of Π and show that the image of every isometric embedding of the n-dimensional hypercube graph Hn in Γn−1(Π) is an apartment of Gn−1(Π). This follows from a more general result concerning isometric embeddings of Hm, m?n in Γn−1(Π). As an application, we classify all isometric embeddings of Γn−1(Π) in Γn^′−1(Π^′), where Π^′ is a polar space of rank n^′?n.     

Transition matrices for well-conditioned Markov chains

Let T∈R^n×n be an irreducible stochastic matrix with stationary distribution vector π. Set A = I − T, and define the quantity , where A_j, j = 1, … , n, are the (n − 1) × (n − 1) principal submatrices of A obtained by deleting the jth row and column of A. Results of Cho and Meyer, and of Kirkland show that κ₃ provides a sensitive measure of the conditioning of π under perturbation of T. Moreover, it is known that .In this paper, we investigate the class of irreducible stochastic matrices T of order n such that , for such matrices correspond to Markov chains with desirable conditioning properties. We identify some restrictions on the zero-nonzero patterns of such matrices, and construct several infinite classes of matrices for which κ₃ is as small as possible.     

On injective Jordan semi-triple maps of matrix algebras

We show that every injective Jordan semi-triple map on the algebra M_n(F) of all n × n matrices with entries in a field F (i.e. a map Φ:M_n(F)→M_n(F) satisfying

Φ(ABA)=Φ(A)Φ(B)Φ(A)     

An algorithm for computing Jordan chains and inverting analytic matrix functions

We present an efficient algorithm for obtaining a canonical system of Jordan chains for an n × n regular analytic matrix function A(λ) that is singular at the origin. For any analytic vector function b(λ), we show that each term in the Laurent expansion of A(λ)⁻¹b(λ) may be obtained from the previous terms by solving an (n + d) × (n+d) linear system, where d is the order of the zero of det A(λ) at λ = 0. The matrix representing this linear system contains A(0) as a principal submatrix, which can be useful if A(0) is sparse. The last several iterations can be eliminated if left Jordan chains are computed in addition to right Jordan chains. The performance of the algorithm in floating point and exact (rational) arithmetic is reported for several test cases. The method is shown to be forward stable in floating point arithmetic.     

Rank one operators and norm of elementary operators

Let A be a standard operator algebra acting on a (real or complex) normed space E. For two n-tuples A = (A₁, … , A_n) and B = (B₁, … , B_n) of elements in A, we define the elementary operator R_A,B on A by the relation for all X in A. For a single operator A∈A, we define the two particular elementary operators L_A and R_A on A by L_A(X) = AX and R_A(X) = XA, for every X in A. We denote by d(R_A,B) the supremum of the norm of R_A,B(X) over all unit rank one operators on E. In this note, we shall characterize: (i) the supremun d(R_A,B), (ii) the relation , (iii) the relation d(L_A − R_B) = ∥A∥ + ∥B∥, (iv) the relation d(L_AR_B − L_BR_A) = 2∥A∥ + ∥B∥. Moreover, we shall show the lower estimate d(L_A − R_B) ? max{sup_λ∈V(B)∥A − λI∥, sup_λ∈V(A)∥B − λI∥} (where V(X) is the algebraic numerical range of X in A).     

The growth, oscillation and fixed points of solutions of complex linear differential equations in the unit disc

We consider the complex differential equations of the form

Ak(z)f(k)+Ak−1(z)f(k−1)+?+A₁(z)f^′+A₀(z)f=F(z),     

Robustness of optimal designs for correlated random variables

Suppose that Y = (Y_i) is a normal random vector with mean Xb and covariance σ²I_n, where b is a p-dimensional vector (b_j), X = (X_ij) is an n × p matrix with X_ij ∈ {−1, 1}; this corresponds to a factorial design with −1, 1 representing low or high level respectively, or corresponds to a weighing design with −1, 1 representing an object j with weight b_j placed on the left and right of a chemical balance respectively. E-optimal designs Z are chosen that are robust in the sense that they remain E-optimal when the covariance of Y_i, Y_i′ is ρ > 0 for i ≠ i′. Within a smaller class of designs similar results are obtained with respect to a general class of optimality criteria which include the A- and D-criteria.     

Higher rank numerical ranges and low rank perturbations of quantum channels

For a positive integer k, the rank-k numerical range Λk(A) of an operator A acting on a Hilbert space H of dimension at least k is the set of scalars λ such that PAP=λP for some rank k orthogonal projection P. In this paper, a close connection between low rank perturbation of an operator A and Λk(A) is established. In particular, for 1?r<k it is shown that Λk(A)⊆Λk−r(A+F) for any operator F with rank(F)?r. In quantum computing, this result implies that a quantum channel with a k-dimensional error correcting code under a perturbation of rank at most r will still have a (k−r)-dimensional error correcting code. Moreover, it is shown that if A is normal or if the dimension of A is finite, then Λk(A) can be obtained as the intersection of Λk−r(A+F) for a collection of rank r operators F. Examples are given to show that the result fails if A is a general operator. The closure and the interior of the convex set Λk(A) are completely determined. Analogous results are obtained for Λ_∞(A) defined as the set of scalars λ such that PAP=λP for an infinite rank orthogonal projection P. It is shown that Λ_∞(A) is the intersection of all Λk(A) for k=1,2,…. If A−μI is not compact for all μ∈C, then the closure and the interior of Λ_∞(A) coincide with those of the essential numerical range of A. The situation for the special case when A−μI is compact for some μ∈C is also studied.     

Lelek maps and n-dimensional maps from compacta to polyhedra

For a natural number m?0, a map from a compactum X to a metric space Y is an m-dimensional Lelek map if the union of all non-trivial continua contained in the fibers of f is of dimension ?m. In [M. Levin, Certain finite-dimensional maps and their application to hyperspaces, Israel J. Math. 105 (1998) 257-262], Levin proved that in the space C(X,I) of all maps of an n-dimensional compactum X to the unit interval I=[0,1], almost all maps are (n−1)-dimensional Lelek maps. Moreover, he showed that in the space C(X,Ik) of all maps of an n-dimensional compactum X to the k-dimensional cube Ik (k?1), almost all maps are (n−k)-dimensional Lelek maps. In this paper, we generalize Levin's result. For any (separable) metric space Y, we define the piecewise embedding dimension ped(Y) of Y and we prove that in the space C(X,Y) of all maps of an n-dimensional compactum X to a complete metric ANR Y, almost all maps are (n−k)-dimensional Lelek maps, where k=ped(Y). As a corollary, we prove that in the space C(X,Y) of all maps of an n-dimensional compactum X to a Peano curve Y, almost all maps are (n−1)-dimensional Lelek maps and in the space C(X,M) of all maps of an n-dimensional compactum X to a k-dimensional Menger manifold M, almost all maps are (n−k)-dimensional Lelek maps. It is known that k-dimensional Lelek maps are k-dimensional maps for k?0.     

On the bounds for the norms of r-circulant matrices with the Fibonacci and Lucas numbers

In this paper, we have found upper and lower bounds for the spectral norms of r-circulant matrices in the forms A = C_r(F₀, F₁, …, F_n−1), B = C_r(L₀, L₁, …, L_n−1), and we have obtained some bounds for the spectral norms of Kronecker and Hadamard products of A and B matrices.