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.     

The higher rank numerical range is convex

In this short note we provide the final step in showing that the higher rank numerical range is convex. The previous steps appear in the paper “Geometry of Higher-Rank Numerical Ranges” by Choi, M.-D., Giesinger, M., Holbrook, J.A. and Kribs, D.W.     

Generalized numerical ranges, joint positive definiteness and multiple eigenvalues

We prove a convexity theorem on a generalized numerical range that combines and generalizes the following results: 1) Friedland and Loewy's result on the existence of a nonzero matrix with multiple first eigenvalue in subspaces of hermitian matrices, 2) Bohnenblust's result on joint positive definiteness of hermitian matrices, 3) the Toeplitz-Hausdorff Theorem on the convexity of the classical numerical range and its various generalizations by Au-Yeung, Berger, Brickman, Halmos, Poon, Tsing and Westwick.

     

Circles in the spectrum and the geometry of orbits: A numerical ranges approach

We prove that a bounded linear Hilbert space operator has the unit circle in its essential approximate point spectrum if and only if it admits an orbit satisfying certain orthogonality and almost-orthogonality relations. This result is obtained via the study of numerical ranges of operator tuples where several new results are also obtained. As consequences of our numerical ranges approach, we derive in particular wide generalizations of Arveson's theorem as well as show that the weak convergence of operator powers implies the uniform convergence of their compressions on an infinite-dimensional subspace.     

Unique existence results and numerical solutions for fourth-order impulsive differential equations with nonlinear boundary conditions

The work is concerned with three kinds of fourth-order impulsive differential equations with nonlinear boundary conditions. We at first focused on studying the existence and uniqueness of positive solutions for these kinds of problems. By converting the problem to an equivalent integral equation, then applying the new class of fixed point theorems for the sum operator on cone, we obtain the sufficient conditions which not only guarantee the existence of a unique positive solution, but also be applied to construct two iterative sequences for approximating it. Further, we present the numerical methods for solving the fourth-order differential equations. At last, some examples are given with numerical verifications to illustrate the main results.