Talk by Harry Buhrman: The surprising link between quantum information and functional analysis