Мало кто знал, но если кому интересно — когда–то в 1946 г. Дмитриев и Дынкин показали, что все характеристические корни марковских матриц размерности n x n должны находиться в следующем синем конусе (нормальная вроде бы тема).
Это упрощенная версия теоремы Карпелевича — неуклюжего утверждения обо всех комплексных eigenvalues.
Казалось бы, пустяк, но Лоран Микло доказал утверждение Дмитриева–Дынкина, не опираясь на теорему Карпелевича и уместился на одну страницу.
найс жи!
Написал liquefactor на consumer.d3.ru / комментировать