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

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

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

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

Входные параметры

свернуть все

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

Оси, на которых нужно построить график, заданные как Axes объект.

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

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

свернуть все

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

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

Примечание

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

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

    tMix=1log(μ).

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

Ссылки

[1] Gallager, R.G. Stochastic Processes: Theory for Applications. Кембридж, Великобритания: Cambridge University Press, 2013.

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

[3] Seneta, E. Неотрицательные матрицы и марковские цепи. Нью-Йорк, Нью-Йорк: Springer-Verlag, 1981.

Введенный в R2017b
Для просмотра документации необходимо авторизоваться на сайте