exponenta event banner

eigplot

График собственных значений цепи Маркова

Описание

пример

eigplot(mc) создает график, содержащий собственные значения матрицы перехода дискретно-временной цепи Маркова mc на комплексной плоскости. На графике выделяется следующее:

  • Единичный круг

  • Собственное значение Перрона-Фробениуса при (1,0)

  • Круг второго по величине собственного значения (SLEM)

  • Спектральный зазор между двумя окружностями, определяющий время смешения

пример

eVals = eigplot(mc) дополнительно возвращает собственные значения eVals отсортировано по величине.

eigplot(ax,mc) графики на осях, указанных ax вместо текущих осей (gca).

[eVals,h] = eigplot(___) дополнительно возвращает дескриптор в график собственных значений с помощью ввода любого из входных аргументов в предыдущих синтаксисах. Использовать h для изменения свойств графика после его создания.

Примеры

свернуть все

Создайте цепочки Маркова с 10 состояниями из двух матриц случайного перехода, причем одна матрица перехода является более разреженной, чем другая.

rng(1); % For reproducibility
numstates = 10;
mc1 = mcmix(numstates,'Zeros',20);
mc2 = mcmix(numstates,'Zeros',80); % mc2.P is more sparse than mc1.P

Постройте график собственных значений матриц перехода на отдельных комплексных плоскостях.

figure;
eigplot(mc1);

Figure contains an axes. The axes contains 5 objects of type line, patch. These objects represent Eigenvalues, Spectral Gap.

figure;
eigplot(mc2);

Figure contains an axes. The axes contains 5 objects of type line, patch. These objects represent Eigenvalues, Spectral Gap.

Розовый диск на графиках показывает спектральный промежуток (разность между двумя наибольшими собственными значениями модулей). Спектральный промежуток определяет время смешения цепи Маркова. Большие зазоры указывают на более быстрое перемешивание, в то время как тонкие зазоры указывают на более медленное перемешивание. Потому что спектральный зазор mc1 толще спектрального промежутка mc2, mc1 смешивается быстрее, чем mc2.

Рассмотрим эту теоретическую, правостохастическую матрицу перехода стохастического процесса.

P = [001/21/41/400001/302/300000001/32/3000001/21/2000003/41/41/21/2000001/43/400000].

Создайте цепочку Маркова, которая характеризуется матрицей перехода P.

P = [ 0   0  1/2 1/4 1/4  0   0 ;
      0   0  1/3  0  2/3  0   0 ;
      0   0   0   0   0  1/3 2/3;
      0   0   0   0   0  1/2 1/2;
      0   0   0   0   0  3/4 1/4;
     1/2 1/2  0   0   0   0   0 ;
     1/4 3/4  0   0   0   0   0 ];
mc = dtmc(P);

Постройте график и верните собственные значения матрицы перехода на комплексной плоскости.

figure;
eVals = eigplot(mc)

Figure contains an axes. The axes contains 5 objects of type line, patch. These objects represent Eigenvalues, Spectral Gap.

eVals = 7×1 complex

  -0.5000 + 0.8660i
  -0.5000 - 0.8660i
   1.0000 + 0.0000i
  -0.3207 + 0.0000i
   0.1604 + 0.2777i
   0.1604 - 0.2777i
  -0.0000 + 0.0000i

Три собственных значения имеют модуль 1, который указывает, что период mc три.

Вычислите время смешения цепи Маркова.

[~,tMix] = asymptotics(mc)
tMix = 0.8793

Входные аргументы

свернуть все

Дискретно-временная марковская цепь с NumStates состояния и матрица перехода P, указано как dtmc объект. P должен быть полностью указан (нет NaN записи).

Оси для печати, указанные как Axes объект.

По умолчанию eigplot графики к текущим осям (gca).

Выходные аргументы

свернуть все

Собственные значения матрицы перехода, отсортированные по величине, возвращаются как числовой вектор.

Обрабатывает графические объекты, возвращаемые в виде графического массива. h содержит уникальные идентификаторы графика, которые можно использовать для запроса или изменения свойств графика.

Примечание

  • По теореме Перрона - Фробениуса [2] цепь с единственным повторяющимся сообщающимся классом (унихаин) имеет ровно одно собственное значение, равное 1 (собственное значение Перрона-Фробениуса) и сопутствующий неотрицательный левый собственный вектор, который нормализуется к уникальному стационарному распределению. Все другие собственные значения имеют модуль, меньший или равный 1. Неравенство строго, если только повторяющийся класс не является периодическим. Когда есть периодичность периода k, есть k собственных значений на единичной окружности у k корней единицы.

  • Для эргодического унихейна любое начальное распределение сходится к стационарному распределению со скоростью, определяемой вторым по величине модулем собственных значений (SLEM). Спектральный промежуток, 1 мкм, обеспечивает визуальную меру, с большими промежутками (меньшими кругами SLEM), производящими более быструю сходимость. Скорости экспоненциальны, с характерным временем, заданным

    tMix = 1log (λ).

    Посмотрите asymptotics.

Ссылки

[1] Галлагер, Р. Г. Стохастические процессы: теория для применения. Кембридж, Великобритания: Cambridge University Press, 2013.

[2] Рог, R. и К. Р. Джонсон. Матричный анализ. Кембридж, Великобритания: Cambridge University Press, 1985.

[3] Сенета, Е. неотрицательные матрицы и цепи Маркова. Нью-Йорк, Нью-Йорк: Спрингер-Верлаг, 1981.

Представлен в R2017b