Quaternionic Numerical Range and Real Subspaces

Let W(A) be the numerical range of an n × n quaternionic matrix A and V a real subspace of the skew field of real quaternions. In this note the authors consider the relation among the shape of W(A), the convexity of V∩W(A): and the validity of the equality V∩W(A) = W_v(A), where W_v (A) is the orthogonal projection of W(A) into V.     

Numerical ranges and dilations

Denote by W(A) the numerical range of a bounded linear operator A. For two operators A and B (which may act on different Hilbert spaces), we study the relation between the inclusion relation W(A)⊆W(B) and the condition that A can be dilated to an operator of the form B⊗I. We also investigate the possibilities of dilating an operator A to operators with simple structure under the assumption that W(A) is included in a special region.     

On k-spaces of real matrices

It is shown that if W is a linear subspace of real n × n matrices, such that rank (A) = k for all 0 ≠ A ∈ W, then dim W≤ n. If dim W = n.5≤ n is prime, and 2 is primitive modulo n then k =1.     

Flat portions on the boundary of the numerical ranges of certain Toeplitz matrices

We give criterions for a flat portion to exist on the boundary of the numerical range of a matrix. A special type of Teoplitz matrices with flat portions on the boundary of its numerical range are constructed. We show that there exist 2 × 2 nilpotent matrices A₁,A₂, an n  × n nilpotent Toeplitz matrix N_n, and an n  × n cyclic permutation matrix S_n(s) such that the numbers of flat portions on the boundaries of W(A₁⊕N_n) and W(A₂⊕S_n(s)) are, respectively, 2(n - 2) and 2n.     

Operator trigonometry

The purpose of the present paper is to survey, from a historical perspective and including some new results, a theory which I will call operator trigonometry. This theory, which is little known, is closely associated with the numerical range W(A) of an operator A. Among the new results is a beautiful connection to numerical linear algebra, in which gradient descent and conjugate gradient convergence rates are shown to be trigonometric.     

Weak stability for matrices

An n×n complex matrix A is called weak stable if there exists a matrix W such that W+W^* is positive definite and such that AW+W^*A^* is positive definite. In this note several characterizations for weak stability of a matrix are given, and conditions (on A) allowing W to be a diagonal matrix are also considered. A consequence of our results here is a characterization for nonsingular M-matrices.     

The Drinfel'd double versus the Heisenberg double for an algebraic quantum group

Let A be a regular multiplier Hopf algebra with integrals. The dual of A, denoted by Â, is a multiplier Hopf algebra so that Â,A is a pairing of multiplier Hopf algebras. We consider the Drinfel'd double, D=ÂA^cop, associated to this pair. We prove that D is a quasitriangular multiplier Hopf algebra. More precisely, we show that the pair Â,A has a “canonical multiplier” WM(ÂA). The image of W in M(DD) is a generalized R-matrix for D. We use this image of W to deform the product of the dual multiplier Hopf algebra via the right action of D on which defines the pair . As expected from the finite-dimensional case, we find that the deformation of the product in is related to the Heisenberg double A#Â.     

Equality of higher numerical ranges of matrices and a conjecture of Kippenhahn on Hermitian pencils

Let M_n be the algebra of all n × n complex matrices. For 1 k n, the kth numerical range of A M_n is defined by W_k(A) = (1/k)∑_j^k=1x_j^*Ax_j : x₁, …, x_k is an orthonormal set in ⁿ]. It is known that tr A/n = W_n(A) W_n−1(A) W₁(A). We study the condition on A under which W_m(A) = W_k(A) for some given 1 m < k n. It turns out that this study is closely related to a conjecture of Kippenhahn on Hermitian pencils. A new class of counterexamples to the conjecture is constructed, based on the theory of the numerical range.     

Law of the iterated logarithm for Lévy''s area process composed with Brownian motion

Let {A(t)}−∞<t<∞ be Lévy's stochastic area process and assume {W(t)}t0 is an independent Brownian motion. Then we prove the following local law of the iterated logarithm for the composed process {A(W(t))}t;0:

.     

Descents and one-dimensional characters for classical Weyl groups

This paper examine all sums of the form

where W is a classical Weyl group, X is a one-dimensional character of W, and d(π) is the descent statistic. This completes a picture which is known when W is the symmetric group S_n (the Weyl group A_n−1). Surprisingly, the answers turn out to be simpler and generalize further for the other classical Weyl groups B_n(C_n) and D_n. The B_n, case uses sign-reversing involutions, while the D_n case follows from a result of independent interest relating statistics for all three groups.     

Large spaces of symmetric matrices of bounded rank are decomposable

Let k and n be positive integers such that k≤n. Let S_n(F) denote the space of all n×n symmetric matrices over the field F with char F≠2. A subspace L of S_n(F) is said to be a k-subspace if rank A≤k for every AεL.

Now suppose that k is even, and write k=2r. We say a k∥-subspace of S_n(F) is decomposable if there exists in Fⁿ a subspace W of dimension n-r such that x^tAx=0 for every xεWAεL.

We show here, under some mild assumptions on kn and F, that every k∥-subspace of S_n(F) of sufficiently large dimension must be decomposable. This is an analogue of a result obtained by Atkinson and Lloyd for corresponding subspaces of F^m,n.     

Total positivity and Toda flow

A real matrix AM_n is TP (totally positive) if all its minors are nonnegative; NTP, if it is non-singular and TP; STP, if it is strictly TP; O (oscillatory) if it is TP and a power A^m is STP. We consider the Toda flow of a symmetric matrix A(t), and show that if A(0) is one of TP, NTP, STP or O, then A(t) is TP, NTP, STP or O, respectively.     

On a conjecture of C. Johnson

Given a pair of n×n matricesA and B, one may form a polynomial P(A,B,λ) which generalizes the characteristic polynomial of BP(B,λ). In particular, when A=I (identity), P(A, B,λ) = P(B,λ), the characteristic polynomial of B. C. Johnson has conjectured [1] (among other things) that when A and B are hermitian and A is positive definite, then P(A,B,λ) has real roots. The case n=2 can be done by hand. In this paper we verify the conjecture for n=3.     

A note on the relation between the determinant and the permanent

In this note we prove that there is no linear mapping T on the space of n-square symmetric matrices over any subfield of real field such that the determinant of A is equal to the permanent of T(A) for all symmetric matrices A if n≥3.     

Strong 3-commutativity preserving maps on standard operator algebras

Let X be a Banach space of dimension ≥ 2 over the real or complex field F and A a standard operator algebra in B(X). A map Φ :A →A is said to be strong 3-commutativity preserving if [Φ(A), Φ(B)]3 = [A,B]3 for all A,B∈ A, where[A,B]3 is the 3-commutator of A,B defined by[A, B]3 = [[[A, B],B],B] with [A,B] = AB-BA. The main result in this paper is shown that.,if Φ is a surjective map on A, then Φ is strong 3-commutativity preserving if and only if there exist a functional h : A →F and a scalar λ∈ F with λ~4 = 1 such that Φ(A)=λ A+h(A)I for all A ∈ A.     

Circularity of numerical ranges and block-shift matrices

Let A be a square complex matrix. Several characterizations are found for A to be permutationally similar to a block-shift matrix. One interesting equivalent condition is that the numerical range of every matrix with the same zero pattern as A is a circular disk. Equivalent conditions for the characteristic polynomial of the hermitian part of the matrix e^iθA to be the same for all real values θ are also obtained.Complex matrices of order four that are unitarily similar to a block-shift matrix are identified. A result of Marcus and Pesce [6] is extended, and an open question of Li and Tsing [4] is also answered partially.     

The construction of irreducible normalized representations of the general linear group

A method is described for constructing in an explicit form an irreducible representation T of M_n(F), the set of all n × n matrices over the real or complex field F, satisfying the condition T(A^*)=T^*(A) for all A∈M_n(F).     

Note on a paper of thompson: the congruence numerical range

Given n×n Complex matrices A, Cdefine the C-congruence numerical range of A to be the set [ILM0001]. R.C. Thompson has characterized R_C(A) when [ILM0002] are fixed complex numbers. In this note. we obtain some analogous results about R_t(A) when C is skew symmmetric and a simple proof of the result of Thompson is given.Moreover, we characterize a certain set of partial off diagonals under congruence unitary transformation.     

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.     

Approximate inverse preconditioner by computing approximate solution of Sylvester equation

This paper presents a new method for obtaining a matrix M which is an approximate inverse preconditioner for a given matrix A, where the eigenvalues of A all either have negative real parts or all have positive real parts. This method is based on the approximate solution of the special Sylvester equation AX + XA = 2I. We use a Krylov subspace method for obtaining an approximate solution of this Sylvester matrix equation which is based on the Arnoldi algorithm and on an integral formula. The computation of the preconditioner can be carried out in parallel and its implementation requires only the solution of very simple and small Sylvester equations. The sparsity of the preconditioner is preserved by using a proper dropping strategy. Some numerical experiments on test matrices from Harwell–Boing collection for comparing the numerical performance of the new method with an available well-known algorithm are presented.