Спектр матрицы смежностей почти полного орграфа
Автор: Козлуков Сергей Викторович
Журнал: Математическая физика и компьютерное моделирование @mpcm-jvolsu
Рубрика: Математика
Статья в выпуске: 4 (41), 2017 года.
Бесплатный доступ
С помощью метода подобных операторов [1; 2] изучаются спектральные свойства матриц смежностей графов, близких к ориентированным полным (графам). Приведены оценки собственных значений таких матриц.
Метод подобных операторов, спектр графа, локализация спектра, жорданова нормальная форма, нелинейные уравнения, сжимающие отображения
Короткий адрес: https://sciup.org/14968914
IDR: 14968914 | УДК: 517.984.3 | DOI: 10.15688/mpcm.jvolsu.2017.4.2
On spectrum of an adjacencies matrix of almost-complete graph
Let A𝑀𝑁 be a × matrix composed of 𝑁2 -𝑀 unities and zeroes. Considered as an adjacencies matrix, A𝑀𝑁 corresponds to a complete digraph with loops on vertices with some out of 𝑁2 edges removed. Someimportant properties of a graph are determined by its spectrum. For example Wang et al. [4] proposed a discrete-time model of viral propagation in a network. In that model a virus will die out or linger on depending on whether the ratio of curing and infection rates is below or above the treshold value. As Wang et al. have shown that treshold value is the spectral radius of the adjacencies matrix of the network graph, i.e. the maximal absolute value of its eigenvalues. More comprehensive description of spectral graph theory and its application is given by Cv`etkovic et al. [3]. This article analyzes spectral properties of such matrices. The matrix A𝑀𝑁 can be represented in the form A𝑀𝑁 = -B𝑀𝑁, where is a ×𝑁 matrix whose all entries are ones and ℬ𝑀𝑁 has unities exactly at these places where A𝑀𝑁 has zeroes. The spectrum of can be easily computed: 2 = 𝑁𝒥, so ( - 𝑁) is the minimal annihilating polynomial of and hence the spectrum of is (𝒥𝑁) = {0,𝑁}. For small enough the eigenvalues of A𝑀𝑁 will be “close” to those of 𝒥𝑁. Then The Method of Similar Operators [1; 2] is used, which allows in the case of perturbation of some ideal object (whose properties are known) to find an element of the algebra under consideration similar to the disturbed one yet having “simpler” structure. Via this method the following theorem is proven: Theorem. Let
Текст научной статьи Спектр матрицы смежностей почти полного орграфа
DOI:
Рассмотрим матрицу A mn размера N х N , составленную из М нулей и N 2 — М единиц. Как матрица смежности, A mn соответствует орграфу, полученному из полного графа с петлями на N вершинах удалением некоторых М из N 2 ребер. Некоторые важные свойства графа связаны со спектром его матрицы смежностей. Так, например, в [4] описана дискретная модель распространения вируса в сети, в которой спектральный радиус матрицы смежностей графа сети оказывается пороговым значением 1 / т 0 отношения 1 / т = 5 / v интенсивности 5 исцеления инфецированных узлов и интенсивности v заражения узлов, смежных инфецированным. Положение 1 / т относительно порога 1 / т 0 определяет (эндемический или эпидемический) характер заражения. Спектральная теория графов и ее приложения подробно рассмотрены в монографии [3].
Что можно сказать о собственных значениях матриц рассматриваемого вида?
Матрицу A mn можно представить в виде
/1 ••• А amn = Jn - BMN = I . . .. . I - bmn ,
1 • • • 1
где J N — матрица, составленная из N х N единиц, а B mN имеет единицы в точности на тех М местах, где в A mN стоят нули.
Спектр ст (J n ) матрицы J N легко считается: J N = NJ N , то есть Л ( Л — N ) — аннулирующий и, что легко проверить, минимальный многочлен матрицы J N , а значит с (J n ) = {0,N} .
При достаточно малых М спектры матриц J N и A mN будут «близки». Методом подобных операторов (см.: [1; 2]), позволяющим для возмущений «идеального» объекта, спектральные свойства которого известны, найти элемент рассматриваемой алгебры, изоспектральный возмущенному, но имеющий более удобную для вычислений структуру, в статье доказывается следующая теорема.
Теорема 1. Пусть М < N6 2 , тогда спектр матрицы A mN можно представить в виде объединения с (A mN ) = с U с 2 непересекающихся одноэлементного множества с 1 = = { Л 1 } и множества с 2 , удовлетворяющих условиям:
ci С {^ G R; |r — N| < 4VM},
С2 С | ^ G C; | ^| < 4VM| .
2. Доказательство
Предварительные преобразования
Доказательство состоит в построении уравнения для матрицы, подобной A mN , но устроеной «проще». Решение возникающего нелинейного уравнения в банаховой алгебре Matr N C доставляется методом простых итераций (см., например, [1]).
Подобие матриц Л 1 , Л 2 понимается в смысле существования обратимой матрицы U такой, что Л 1Ы = ^/Л 2 . Подобные матрицы изоспектральны (их спектры совпадают).
Проведем предварительные преобразования.
/1 ••• 1\
Лемма 1. Матрица единиц Jn = I • '• • I , подобна матрице
1 ..: 1
|
( N |
0 •• |
• 0\ |
|
|
0 |
0 •• |
• 0 |
|
|
Л = |
• • |
• . • |
• • |
|
• 0 |
• 0 •• |
• . • 0/ |
Точнее, существует ортогональная матрица U такая, что J N = ЫЛЫ 1
Доказательство. Собственному значению 0 соответствует N — 1 независимый собственный вектор / 1 = (1, —1, 0,..., 0),..., / N -1 = (0,..., 0,1, —1) , а собственному значению N матрицы J N соответствует собственный вектор / n = (1,..., 1) . Применив ортогонализацию Грамма — Шмидта, получим ортонормальную систему h 1 ,... ,h N :
h k V^ k + 1)
(1, ..., 1, — k, 0, ..., 0) G RN, k = 1,...,N — 1, к раз
hN = (1, ..., 1) G RN,
В качестве матрицы U выберем матрицу, имеющую столбцами векторы h N , h 1 ,..., h N - 1 :
|
{ ' |
1 G2 |
1 G • • • V 6 |
|
|
1 |
1 |
1 —— • • • |
|
|
GN |
G2 |
Ge |
|
|
1 GN |
0 |
2 --• • • 6 |
|
|
U = |
1 GN . . |
0 . . |
° ••• .. .. |
|
. 1 GN |
. 0 |
.. ° ••• |
|
|
1 GN |
0 |
° ••• |
|
|
1 X GN |
0 |
° ••• |
|
_______1_______ _____1_____\ V (N-2)(N -1) 7CW-1)N |
|
V (N-2)(N -1) ^ N- -1)N |
|
V (N-2)(N -1) ^ N- -1)N |
|
V (N-2)(N-1) ^N -1)N .. .. .. 1 1 |
|
V (N-2)(N-1) ^ (N-1)N 2-N 1 |
|
V (N-2)(N-1) ^ (N-1)N ° / 1-N V (N -1)N/ |
Таким образом, исходная матрица A mn подобна матрице А—В , где В = U 1 B MN U . Далее ортогональность матрицы U будет играть важную роль.
Расщепление матрицы и результат хи
Матрицы из Matr N C будем записывать в блочном виде X —
■ 11
X 21
X 12
X 22
, где
— число, X 12 — строка, X 21 — столбец, X 22 — квадратный блок размерности N — 1 .
Такие блочные матрицы сами образуют алгебру, изоморфную исходной, и их можно естественным образом умножать на элементы пространства C х C N -1 , изоморфного C N :
■ 11
X 21
X 12
X 22
) (У = (
ХцХ1 + X12X2 X21X1 + X2 2Х2
)■ ■ - К)
G C х C N -1 .
В дальнейших выкладках изоморфные объекты понимаются взаимозаменяемыми.
Следуя общей схеме метода подобных операторов [2], будем искать более «простую» матрицу, подобную А — В , в виде А — JX с матрицей преобразования подобия Е + rX , где Е G Matr N C — единичная матрица, J, Г : Matr N C ^ Matr N C — линейные операторы, действующие на алгебре Matr N C, подбираемые в ходе решения, причем J — проектор ( J 2 = J ), «упрощающий» возмущение JX , а Г при всех X G Matr N C удовлетворяет уравнению ArX — (rX)А = X — JX.
Лемма 2. Операторы J и Г следует задать формулами
JX = (Т А^) ,
rX =
°
N —X21
X 12 О
,
для X —
■ 11
X 21
X 12
X 22
)
G MatrNC.
Следствие 1. Спектр блочно-диагональной матрицы Л — JX = объединение спектров ее диагональных блоков:
( N — Жц
V 0
Х 22
)
есть
о (Л — jX) = {X — Хц} U с (Х 2 2).
Доказательство. Пусть Г действует по формуле ГХ =
Г 11 (Х)
Г 21 (Х )
Г 12 ( Х 3 тогда
Г 22 (X) , тогда
лгх — (гх )Л = ( 0 , . NГ 12 (X>) ,
\— N Г21(Х) 0 / и уравнение для ГХ сводится к
X — JX = N ( 0. Г 12 < Х > ) .
— Г 21 (Х ) 0 /
Значит, J может обнулить в X ~ ( Х 11 12 ) € Matr v C все, кроме двух диаго-
Х 21 Х 22
нальных блоков Х 11 и Х 22 , поэтому положим
JX=("d1 vJ - гх = — ( 0
N —Х21 0.
Теперь выпишем уравнение подобия матриц Л — В и Л — J X :
(Л — В)(Е + ГХ) = (Е + ГХ)(Л — JX), X € MatrvC.
Лемма 3. Уравнение (1) эквивалентно уравнению
X = ВГХ + В— (ГХ)(З(В(Е + ГХ))), X € MatrvC.
Доказательство. Раскрывая скобки, уравнение (1) можно преобразовать к виду
X = ВГХ + В— (ГХ )JX.
Пусть для X выполнено (3). Тогда, учитывая равенство J ((ГХ)JX) = 0, получим равенство
JX = ЗВ + J (ВГХ)= J(В(Е + ГХ)).
Подставляя это выражение обратно в (3), получим (2). Аналогично, применяя к обеим частям равенства (2) оператор J и учитывая, что J ((ГХ)З(В(Е + ГХ))) = 0 , получим (3).
Выражение в правой части уравнения (2) обозначим как
Ф(Х) = ВГХ + В — (ГХ)(J(S(E + ГХ))).
Теперь покажем, что при определенных условиях возникшее нелинейное отображение Ф : Matr v C ^ Matr v C имеет инвариантным множеством некоторый шар Q С Matr v C с центром в нуле (то есть Ф(^) С Q ), на котором оно является сжимающим.
Пусть в Matr v C выбрана какая-нибудь субмультипликативная норма || • || (то есть норма, удовлетворяющая неравенству ||Л 1 Л 2 | < ЦЛ^ЦЛ^ при всех Л 1 , Л 2 G G Matr v C). Нам нужно найти такой радиус г > 0 , что при |Х|, ||У|| < г выполнялись бы неравенства ||Ф(Х)| < г и ||Ф(Х) — Ф(У)| < qWX — У| , q G (0,1) . Обозначим в = НИ Y = sup HX,= | ГХ \ .
Лемма 4. Пусть Ye < 4 , тогда шар
П = {X G MatrvC; |Х|| < го} ,
1 — 2ув - V1 -ЬЛ 0 < го = -------------- < 4в,
2у2в удовлетворяет условию Ф(^) С Q.
Доказательство. Очевидно неравенство
|Ф(Х)| < вУ2|Х|2 + 2ву|Х| + в.
Значит, если г удовлетворяет неравенству
ву2г2 + (2ву — 1)г + в < 0,
то |Ф(Х)| < г при всех ||Х|| < г . Если ув < 4 , то дискриминант А = 1 — 4 ув соответствующего уравнения положителен и его корни вещественны. Из знаков коэффициентов возникшего многочлена видно, что оба корня положительны. Следовательно, наименьший положительный г , удовлетворяющий неравенству (5), есть наименьший корень соответствующего уравнения:
го =
1 — 2ув — V1 — 4ув 2^23
Учитывая ув < 4 , имеем г 0 < 4 в .
Аналогичным образом устанавливается следующая лемма.
Лемма 5. Пусть ув < | , тогда Ф — сжимающее отображение:
|Ф(Х) — Ф(У)|< q^X — У|, Х,У G П,
q = (1 + 2уго)ув < (1 + 8ув)ув < 4.
Доказательство.
||Ф(Х) - Ф(У)| = ||ВГ(Х - У) + (ГХ)(ВГХ + В) - (ГУ)(ВГУ + В)| <
< 3y|x - у | + 3Y2HX - у ||х + у |<
< 3YHX - У| + 2^2|Х - У|.
Здесь использовано равенство
(ГХ)J(ВГX) - (ГУ)J(ВГУ) = 2 [Г(Х - У) J(ВГ(X + У)) + Г(Х + У) J(ВГ(X - У))].
Отсюда и из теоремы Банаха о неподвижной точке следует лемма.
Лемма 6. В шаре
Q = {Х G MatrvC; |Х|| < Го} существует и притом единственное решение Х° уравнения (2), являющееся пределом последовательности {Ф^(0); к G N}, где Ф^ = Ф о ф^-1 — композиция.
Следствие 2. Матрица А - В подобна блочно-диагональной матрице А - JX ° :
А-вД^ 0x°°
-
Х °2
) •
при этом выполняются условия:
а(А-В) = {X -^11} U а(-Х°2),
x°° G R, |x°°| < Го < 4в,
а (-Х°2) С {^ G C; |x| < Го < 4в}.
Доказательство. Матрица А - В подобна блочно-диагональной А - JX ° , поэтому их спектры совпадают. Спектр матрицы А - JX ° есть объединение спектров ее диагональных блоков. Ввиду субмультипликативности нормы имеют место неравенства
sPr(X°) = max |Л| < ||Х°|| < Го.
.V а \ ° )
Кроме того, собственное значение х °1 является вещественным, как предел сходящейся вещественной последовательности.
Вернемся, наконец, к непосредственному доказательству основной теоремы.
Доказательство теоремы 1. Для доказательства осталось лишь выбрать подходящую субмультипликативную норму. Заметим, что матрица U, приводящая Jv к диагональному виду, является ортогональной, поэтому умножение на U или U-° есть изометрия.
Следовательно, |В| = ^ B mn | Рассмотрим в пространстве Matr v C норму Фробениуса
H^l p , определенную
формулой ||Х ||р = У ^.Ц lx ij |
2 , Х = (x ij ) G Matr v C. Она субмуль
типликативна. При этом B MV состоит из М единиц, поэтому
в = ЦВ |р = |Bmv|p = VM.
Заметим также очевидное равенство
Y = n SU P
N IMp = 1
( 0
-^ 21
-^12 0
)
F
N'
Если VM < N , то выполняются условия леммы, причем г0< 4 VM . Это значит, что o (A M n ) = ^ 1 U С 2 , где a = { А 1 } С R , | A i - N | < 4VM , ^ 2 С { ^ G C ; | ^ | < 4VM } , а 1 П а 2 = 0 . Теорема доказана.
Список литературы Спектр матрицы смежностей почти полного орграфа
- Баскаков, А. Г. Гармонический анализ линейных операторов/А. Г. Баскаков. -Воронеж: Изд-во Воронеж. гос. ун-та, 1987. -165 c.
- Баскаков, А. Г. Расщепление возмущенного дифференциального оператора с неограниченными операторными коэффициентами/А. Г. Баскаков//Фундаментальная и прикладная математика. -2002. -Т. 8, № 1. -C. 1-16.
- Cvetkovic, D. M. Spectra of Graphs: Theory and Applications (3rd revision)/D. M. Cvetkovic, M. Doob, H. Sachs. -N. Y.: Wiley, 1998. -368 p.
- Epidemic spreading in real networks: an eigenvalue viewpoint/Y. Wang, D. Chakrabarti, C. Wang, C. Faloutsos//22nd International Symposium on Reliable Distributed Systems, Oct. 2003. Proceedings. -2003. -P. 25-34.