Majorization and a Schur-Horn Theorem for positive compact operators, the nonzero kernel case

Abstract

Schur-Horn theorems focus on determining the diagonal sequences obtainable for an operator under all possible basis changes, formally described as the range of the canonical conditional expectation of its unitary orbit. Following a brief background survey, we prove an infinite dimensional Schur-Horn theorem for positive compact operators with infinite dimensional kernel, one of the two open cases posed recently by Kaftal- Weiss. There, they characterized the diagonals of operators in the unitary orbits for finite rank or zero kernel positive compact operators. Here we show how the characterization problem depends on the dimension of the kernel when it is finite or infinite dimensional. We obtain exact majorization characterizations of the range of the canonical conditional expectation of the unitary orbits of positive compact operators with infinite dimensional kernel, unlike the approximate characterizations of Arveson-Kadison, but extending the exact characterizations of Gohberg-Markus and Kaftal-Weiss. Recent advances in this subject and related subjects like traces on ideals show the relevance of new kinds of sequence majorization as in the work of Kaftal-Weiss (e.g., strong majorization and another majorization similar to what here we call $p$-majorization), and of Kalton-Sukochev (e.g., uniform Hardy-Littlewood majorization), and of Bownik-Jasper (e.g., Riemann and Lebesgue majorization). Likewise key tools here are new kinds of majorization, which we call $p$- and approximate $p$-majorization ($0\le p\le \infty$).

Updated to more closely match accepted version

References in corpus (2)

• Diagonals of self-adjoint operators
• The Schur-Horn theorem in von Neumann algebras

Cited by in corpus (10)

• Adaptive variational low-rank dynamics for open quantum systems
• Diagonality and idempotents with applications to problems in operator theory and frame theory
• Thompson's theorem for compact operators and diagonals of unitary operators
• The Schur-Horn theorem for unbounded operators with discrete spectrum
• Submajorization on ${\ell }^p(I{)}^{+}$ determined by increasable doubly substochastic operators and its linear preservers
• On diagonals of operators: selfadjoint, normal and other classes
• Increasing extractable work in small qubit landscapes
• Alberti--Uhlmann problem on Hardy--Littlewood--Pólya majorization
• Convexity of the orbit-closed $C$-numerical range and majorization
• In search of convexity: diagonals and numerical ranges