Теорема о существовании спектральных экспандеров с параметрами $(n=d^4, d, \gamma)$. Оценка спектра для индуцированного подграфа экспандера. Случайное блуждание на экспандере