A quantitative version of the commutator theorem for zero trace matrices
Presenter
March 12, 2015
Keywords:
- Banach algebras
- compact operators
- Brown-Pearcy theorem
- functional analysis
- L^p spaces
- operator algebras and ideals
- Kadison-Singer theorem
- Marcus-Spielman-Srivastava theorem
MSC:
- 46-xx
- 46Bxx
- 46Jxx
- 46Lxx
- 46L52
- 46L54
- 46L57
Abstract
As is well known, a complex m × m matrix A is a commutator (i.e., there are matrices B and C of the same dimensions as A such that A = [B, C] = BC − CB) if and only if A has zero trace. If ∥ · ∥ is the operator norm from ℓ_2^m to itself and | · | any ideal norm on m × m matrices then clearly for any A, B, C as above
|A| ≤ 2∥B∥|C|.
Does the converse hold? That is, if A has zero trace are there m × m
matrices B and C such that A = [B, C] and ∥B∥|C| ≤ K|A| for some
absolute constant K? If not, what is the behavior of the best K as a
function of m?
I’ll talk mostly on a couple of years old result of Johnson, Ozawa and
myself which gives some partial answers to this problem for the most
interesting case of | · | = ∥ · ∥. The solution is closely related in both
directions to the best possible estimates in the Kadison–Singer problem. Time permitting I’ll also speak on a more recent result for | · | = the Hilbert–Schmidt norm.