Kraus operator