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 KaftalWeiss. 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 ≤ p ≤ ∞).
We look for generalizations of the Brown-Douglas-Fillmore essential codimension result, leading to interesting local uniqueness theorems in KK theory. We also study the structure of Paschke dual algebras.2010 Mathematics Subject Classification. Primary 19K35, 19K56; Secondary 46L80, 47C15, 47B15.
Abstract. We prove that a nonzero idempotent is zero-diagonal if and only if it is not a Hilbert-Schmidt perturbation of a projection, along with other useful equivalences. Zero-diagonal operators are those whose diagonal entries are identically zero in some basis.We also prove that any bounded sequence appears as the diagonal of some idempotent operator, thereby providing a characterization of inner products of dual frame pairs in infinite dimensions. Furthermore, we show that any absolutely summable sequence whose sum is a positive integer appears as the diagonal of a finite rank idempotent.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.