A "quantum" Ramsey theorem for operator systems
  Let V be a linear subspace of M_n(C) which contains the identity matrix and is stable under the formation of Hermitian adjoints. We prove that if n is sufficiently large then there exists a rank k orthogonal projection P such that dim(PVP) = 1 or k^2. 
Nik Weaver
math.OA math.CO math.FA math.RA quant-ph