CC BY
146
Известия Коми научного центра УрО РАН Выпуск 3. Сыктывкар, 2010.
ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ
УДК 519.2
ПРЕДЕЛЬНЫЕ ТЕОРЕМЫ ДЛЯ СЛУЧАЙНЫХ МАТРИЦ А.Н. ТИХОМИРОВ
Отдел математики Коми НЦ УрО РАН, г.Сыктывкар [email protected]
Приводится обзор результатов по предельным теоремам для случайных матриц, полученных за последние 10 лет в совместных исследованиях А.Н. Тихомирова и немецкого математика профессора Ф. Гётце. Рассматриваются скорость сходимости к полукруговому закону, скорость сходимости к распределению Мар-ченко-Пастура, метод Стейна для случайных матриц, доказательство кругового закона и предельные теоремы для степеней и произведений случайных матриц.
Ключевые слова: случайные матрицы, полукруговой закон, вигнеровские матрицы, круговой закон
A.N. TIKHOMIROV. LIMIT THEOREMS FOR RANDOM MATRICES
The review of some results on limit theorems for random matrices that have been obtained during the last 10 years in the joint research of A. N. Tikhomirov and F. Götze, with participation of PhD students D. Timushev and N. Alexeev is given. The author considers the rate of convergence in semi-circle law and in the Marchenko-Pastur law. Stein’s method for random matrices, the proof of circular law, and some limit theorems for powers and products of random matrices are described.
Key words: random matrices, semi-circle law, Wigner matrices, circular law
Введение
Теория случайных матриц-активно развивающаяся в последние десятилетия область математики. В начале 50-х гг. прошлого столетия Вигнер предложил использовать матрицы большой размерности, элементы которых суть гауссовские случайные величины, для описания дискретной части спектра гамильтониана взаимодействия элементарных частиц тяжелых атомов. Это дало толчок к развитию теории случайных матриц, нашедшей широкое применение в различных областях знаний. Значительный прогресс в изучении асимптотики поведения спектра случайных матриц был достигнут буквально в последние годы. В настоящей статье мы попытаемся отразить некоторые результаты, полученные автором совместно с Ф. Гётце (F. Götze, Германия), С. Г Бобковым (Миннесота, США) и учениками Н. Алексеевым и Д. Тимушевым, рассмотрим вигнеровские ансамбли, т.е. совокупность эрмитовых матриц с независимыми (с точностью до симметрии) элементами, и ансамбли выборочных ковариационных матриц. Будут приведены также результаты о поведении спектра неэрмитовых матриц с независимыми элементами. Нас будет интересовать асимптотическое поведение прореженных матриц, возникающих, например, в задачах описания цензурированных статистических данных большой размерности. Также мы рассмотрим одно из новых направлений в теории случайных матриц - изучение сингулярного спектра
степеней и произведений случайных матриц с независимыми элементами (без предположений симметрии) и собственного спектра произведения случайных матриц.
1. Вигнеровские случайные матрицы
В 1955 г Вигнер в работе [1] доказал, что математическое ожидание эмпирического распределения, определенного на множестве собственных чисел симметричной случайной матрицы, элементы которой независимые (с точностью до симметрии) случайные величины, принимающие значения +1 или -1 с вероятностью 1/2, сходится при неограниченном росте размерности матрицы к распределению с плотностью, график которого представляет полуокружность радиуса 2. Этот результат получил в дальнейшем название полукругового закона, а соответствующее распределение называют полукруговым распределением. Полукруговой закон был распространен на очень широкие классы случайных матриц. Так, уже в 1958 г. Вигнер в работе [2] доказал полукруговой закон для симметричных случайных матриц с субгауссовскими элементами (случайная величина £ называется субгауссовской, если существует такая положительная постоянная в > 0, что для любого х > 0 Рг{|£| > х} < ехр{-вх2}). Гренандер (см., например, Гирко [3]) показал, что эмпирическое спектральное распределение случайной матрицы (равномерное распределение на множестве собствен-
ных чисел матрицы) сходится по вероятности с ростом размерности матрицы к полукруговому распределению. Арнольд в работе [4] доказал сходимость почти наверное эмпирической спектральной функции распределения симметричной случайной матрицы к полукруговому распределению. Окончательно было показано, что слабый полукруговой закон (сходимость по вероятности эмпирической спектральной функции распределения к полукруговому распределению) имеет место, если элементы матрицы независимы, имеют одинаковые математические ожидания и дисперсии и удовлетворяют условию Линде-берга (см., например, Гирко [3]).
Приведем формальное описание упомянутых выше результатов. Пусть £зк, 1 < 3 < к треугольный массив независимых случайных величин (вещественных при 3 = к и, возможно, комплексных при 3 < к ) с Е£зк = а и дисперсией Е ^к - а|2 = а2, где а - произвольное комплексное число, а а - произвольное положительное число. Рассмотрим последовательность матриц
/ Хц Х12 • • • Х1п-! Х\п \ х(п) = 1 Х21 Х22 • • • Х2п-1 Х2п
= а^/П ............ ’
Х п1 Хп2 • • • Хпп-1 Хпп/
где Х^к = £3к и Хкз = 3 для 1 < 3 < к. Заметим, что матрицы Х(п) обладают свойством эрмито-вости (они симметричны, если все элементы вещественны или эрмитово сопряженные, если элементы комплексные, т. е. Х(п) = Х(п), где Х(п) означает транспонированную и комплексно сопряженную матрицу Х(п) ). Собственные числа таких матриц вещественны и мы обозначим их в порядке возрастания: л!п) < ••• < лпп). Определим эмпирическую спектральную меру матрицы Х(п), приписав каждому значению л(п) вероятность 1/п и соответствующую этой мере эмпирическую спектральную функцию распределения
1п
Тп(х) = пЕЯЛ^ <х},
П 3 = 1
где 1{А} означает индикатор события А. Символом Гп(х) обозначим математическое ожидание функции ^п(х), Гп(х) = Е^п(х). Пусть О(х) -функция распределения полукругового закона с параметром а = 1, те. функция распределения с плотностью
д(х) = 0'(х) = т1 л/4 - х2 1{|х| < 2}.
2п
Определение 1. Будем говорить, что к последовательности случайных матриц Х(п) применим
• полукруговой закон Вигнера, если
Нтп^то^п(х) = С(х),
• слабый полукруговой закон, если рНшп^то^п(х) = О(х) (сходится по вероятности),
• усиленный полукруговой закон, если
РНшп^то^п(х) = О(х) (сходится почти наверное).
Заметим, что усиленный полукруговой закон влечет за собой слабый полукруговой закон, а из
слабого полукругового закона следует, в свою очередь, полукруговой закон Вигнера. Мы приведем основной результат о применимости полукругового закона к случайным матрицам.
Теорема 1. Пусть случайные величины £зк, 1 < 3 < к независимы, имеют одинаковые математические ожидания Е £^к = а и одинаковые дисперсии Е £к - а|2 = а2 для некоторого а > 0. Предположим, что случайные величины £зк удовлетворяют условию Линдеберга
2 п п /'
Ьп(т) := пп+да/,. п х2йЕзк(х) ^ 0
п(п + 1) 3 = 1 к=^{
когда п ^ ж,
где ¥^к(х) = Рг{|£зк| < х}. Тогда последовательность матриц Х(п) удовлетворяет слабому полу-круговому закону.
Этот результат был впервые получен Пасту-ром в работе [5]. Гирко (см. [3]) при близких предположениях доказал усиленный полукруговой закон. Теорема 2. Пусть случайные величины £зк, 1 < 3 < к независимы, имеют одинаковые математические ожидания Е £^к = а и одинаковые дисперсии Е £к - а|2 = а2 для некоторого а > 0. Предположим, что случайные величины £зк удовлетворяют модифицированному условию Линдеберга
1 п [
Ьп(т) := — тах > х йЕ3к(х) -л 0,
п 1^3^пк^.]{ Х>Т ^ 3
когда п ^ ж,
где ¥^к(х) = Рг{|£зк| < х}. Тогда последовательность матриц Х(п) удовлетворяет усиленному полукруговому закону.
Не умаляя общности, мы будем считать в дальнейшем, что а2 = 1. Скорость сходимости в полукруговом законе одним из первых начал изучать Гирко (см. [3]). Основной метод исследования скорости сходимости в полукруговом законе, предложенный им, - это использование преобразования Стилтьеса. Надо заметить, что данное преобразование в теории случайных матриц впервые использовали Марченко и Пастур в 1967 г. [6] для доказательства сходимости эмпирической спектральной функции распределения некоторых случайных операторов. Гирко была найдена одна из первых оценок расстояния по Колмогорову между функциями распределения через их преобразование Стилтьеса. В 1993 г. Бай [7] улучшил результат Гирко, получив более точную оценку расстояния по Колмогорову между функциями распределения через преобразования Стилтьеса и, благодаря этому, более точную оценку скорости сходимости. В качестве меры скорости сходимости в полукруговом законе Вигнера мы введем расстояние по Колмогорову между математическим ожиданием эмпирической функции распределения и функцией распределения полукругового закона
Дп := вир ^п(х) - С(х)|.
X
В 2002 г. независимо были получены оценки вида Дп = 0(п-1/2) одновременно в трех работах: Гирко [8], Бай и соавторы [9], Гётце и Тихомиров [10]. Во
всех работах использовались разные подходы. Следует отметить, что оценка, полученная в работе Гёт-це и Тихомирова [10], давала более точную зависимость от моментов распределения случайных матриц. Кроме того, Гётце и Тихомировым была получена оценка скорости сходимости в слабом полукруговом законе лучше по порядку зависимости от n, чем в работе Бая и соавторов. Гирко не рассматривал скорость сходимости в слабом полукруговом законе. Также в работе [10] было получено более точное неравенство для оценки расстояния по Колмогорову между функциями распределения через их преобразования Стилтьеса. Ниже мы приведем эти результаты более детально. В качестве меры скорости сходимости в слабом полукруговом законе рассмотрим величину
ДП := E sup |Fn(x) - G(x)|.
x
Очевидно, что Дп < дп. Мы приведем сначала неравенство, позволяющее оценивать близость между функциями распределения через их преобразования Стилтьеса. Дадим определение преобразования Стилтьеса.
Определение 2. Для любой случайной величины £ с функцией распределения G(x) определим преобразование Стилтьеса равенством
Sg(z) = E
l
l
£ - z
-dG(x),
где г = u + \f—1v, v > 0.
Определим для любых функций распределения F и G расстояние Леви как
L(F, G) = inf {5 > 0 : F(x — 5) — 5 < G(x)
< F(x + 5) + 5, Vx € R}. (1)
В работе Бобкова, Гётце и Тихомирова [11] доказано следующее неравенство.
Теорема 3. Пусть F и G произвольные функции распределения. Существует такая универсальная постоянная с> 0, что для любых 0 < v0 < vi выполнено
cL(F, G) ^ vo + vo supIm(Sg(x + V —lvo))
X
/TO
\Sp (u + V—1v) — SG(u + V—1v)\du
-TO
pvi ___
(Sp (u + У—"lv)
Jv n
+ sup
x£[a+2vo,^-2vo ]
- Sg(u + V-lv))dv
где a к ß выбраны так, чтобы G (a) < vQ и G(ß) >
1 - vq.
В частности, в случае, если G распределение полукругового закона, то теорема З влечет следующий результат.
Теорема 4. Если G функция распределения стандартного полукругового закона, F - функция распределения, то существует такая универсальная постоянная о О, что для любых v1 у vQ у О выпол-
нено
c sup IF (x) - G(x)
^ sup
xe[-2,2]
ТО
pvi
(Sp(x + lv) - Sg(x + lv))dv
vo
/ТО
ISp(u + V-lvi) - Sg(u + V-lvi)|du + vq.
-СХЭ
Последнее неравенство было доказано в работе Гётце и Тихомирова [10]. С применением теоремы 4 получен целый ряд оценок скорости сходимости в полукруговом законе Вигнера и слабом полукруго-вом законе.
Теорема 5. Пусть случайные величины £jk, 1 < j < k независимы и имеют нулевые математические ожидания и единичные дисперсии
E £jk = О и E l£jk|2 = 1 Кроме того, предположим, что выполнено условие
sup E l£jk |4 =: M4 к ж.
1 < j < k
Тогда найдется такая универсальная постоянная
C у О, что
Дп < CM42n-1. (2)
Если дополнительно предположить, что
sup E l£jkl i^j^k
12
=: M12 к ж,
то найдется такая универсальная постоянная C у О, что
ДП < CMi2n-2.
Преимущество оценки (2) состоит в том, например, что из нее непосредственно вытекает оценка скорости сходимости в полукруговом законе Вигнера для прореженных (sparse) матриц. В частности, мы имеем следующий результат. Пусть ej}, 1 < j < k < n последовательность треугольных массивов, независимых при каждом фиксированном n, бернул-лиевских случайных величин (принимающих значения либо О, либо 1) с Eejk) = pn с некоторым параметром О к pn < 1. Относительно случайных величин е(П, 1 < j < k < n предположим также, что они не зависят от совокупности случайных величин £jk, 1 < j < k. Определим прореженные матрицы как эрмитовы матрицы
( X(e) X(e) X(e) X(e)\
X11 X12 • • • X1n-1 X1n
X
(e)
X(e) X(e) X
X21 X22 • • • X2n-1
rO
X(e)
X2n
. X(e) X(e) X(e) X(e) i \Xn1 Xn2 ••• Xnn-1 Xnn/
где 3 = 4к£3к и Х3 = 3 для 1 < 3 < к. Чтобы не загромождать обозначения, мы не отразили зависимость от п в обозначениях случайной величины Х^}. Обозначим л[Е) < • • • < лпе) собственные числа
матрицы Х(е) и определим эмпирическую спектральную функцию распределения матрицы Х(е)
Ae)(x) = -V I^je) <x}.
j
(e)
n z' j j=1
x
DO
l
Положим Д.
(г)
обозначим (x) = E^Пе)(х). supK \FnE) (x) - G(x)|. Оценки скорости сходимости в полукруговом законе Вигнера для таких матриц дает следующая теорема.
Теорема 6. Пусть случайные величины jk, 1 < j < к независимы и имеют нулевые математические ожидания и единичные дисперсии
E£jk =0 и E \£jk\2 = 1-Предположим, что
npn ^ ж, когда n ^ ж.
Кроме того, предположим, что выполнено условие
sup E \£jk\4 =: M4 < ж.
l^j^k
Тогда найдется такая универсальная постоянная
C > 0, что
д!е) < CM42 (npn)-1 -
Доказательство теорем 5 и 6 приведено в работе [10], а оценки скорости сходимости при более слабых ограничениях на моменты элементов матрицы получены в статье [12].
Теорема 7. Пусть случайные величины jk, 1 < j < к независимы и имеют нулевые математические ожидания и единичные дисперсии
Eijk = 0 и E \£jk\2 = 1-Кроме того, предположим, что выполнено условие
sup E\£jk\2+S < M2+5 < ж j,k
для некоторого S € (0,2]. Тогда
Д
Оценки, приведенные в теоремах 5-7, являются наилучшими из известных, но вопрос об их оптимальности остается открытым. Для некоторых классов распределений элементов матрицы X удается получить лучшие по порядку зависимости от n оценки скорости сходимости в полукруговом законе Вигнера, а также в слабом полукруговом законе.
Приведем следующие определения для гауссовских ансамблей.
Определение 3. Пусть элементы эрмитовой (или вещественной симметричной) матрицы независимы (с точностью до симметрии) и имеют гауссовское распределение с нулевым средним, при этом диагональные элементы имеют дисперсию 2а2, а внедиаго-нальные - а2. Тогда говорят, что матрица принадлежит гауссовскому унитарному (ортогональному) ансамблю GUE (GOE) с а2 = 1.
Для случайных матриц из гауссовских ансамблей удается получить оптимальные оценки скорости сходимости в полукруговом законе Вигнера. Теорема 8. Пусть случайная матрица X принадлежит GUE (GOE). Тогда существует такая постоянная C > 0, что
А„ < C
n
Случай гауссовского унитарного ансамбля был рассмотрен в работе Гётце и Тихомирова [13], а случай гауссовского ортогонального ансамбля - в работе Тимушева, Тихомирова, Холопова [14].
Оценку скорости сходимости в полукруговом законе Вигнера лучше по порядку зависимости от размерности матрицы, чем 0(п-2) удается получить не только для случайных матриц из гауссовских ансамблей. Так, например, оценку удается улучшить для матриц, распределение элементов которой имеет невырожденную гауссовскую компоненту. Теорема 9. Пусть ^к = гцк + аС,^к, где а > 0, а случайные величины гцк, 1 < з < к независимы в совокупности и не зависят от случайных величин С к Случайные величины ^к, 1 < з ^ к - независимые в совокупности гауссовские величины с нулевым средним, причем, если з < к, то С,^к - комплексные с независимыми вещественной и мнимой частью с дисперсией равной 1, если з = к, то ^к суть вещественные гауссовские величины с нулевым средним и дисперсией равной 2. Пусть
sup E \jk\p ^ Mp < ж j,k
для любого p > 1.
Тогда для любого V > 0 найдется такая постоянная С (а, V), зависящая лишь от а и V, что
Дп ^ C (a, V )n 3
+V
Этот результат был получен в совместной работе Гётце, Тимушева и Тихомирова [15]. Улучшить оценку скорости сходимости в полукруговом законе Вигнера и слабом полукруговом законе удается еще для одного класса распределений.
Определение 4. Говорят, что вероятностная мера у на удовлетворяет неравенству типа Пуанкаре с константой а2, если для любой ограниченной гладкой функции на с градиентом Уд, выполнено нера-
венство
Var(g) < a2 j \Vg\2dц.
Теорема 10. Пусть случайные величины £^к одинаково распределены и их распределение удовлетворяет неравенству типа Пуанкаре на вещественной прямой. Тогда найдется такая постоянная С, что
2
Дп ^ Сп 3
ДП < Сп 3 1с^ (п + 1).
Последний результат был получен в совместной работе Бобкова, Гётце и Тихомирова [11].
2. Выборочные ковариационные матрицы
В этом параграфе мы будем предполагать, что задан двумерный массив независимых случайных величин ^к, 1 < з, к, с Е^к =0 и Е\£^к |2 = а2. Величины ^к могут быть комплексными. Пусть п,р > 1. Рассмотрим прямоугольную матрицу п х р
/Xu X12 ■
X
1
vn
X1p-1 X1p \ X2p-1 X2p
X21 X22 \Xn1 Xn2 ' ' ' Xnp-1 Xnp)
2
6
и
где Xjk = j для всех 1 < j < n и для всех 1 < к < p. Определим выборочную ковариационную p х p матрицу равенством
W = XX.
Впервые такие матрицы рассмотрел для гауссовских величин Уишарт (Wishart) в 1928 г. в работе [16]. Он нашел совместное распределение элементов матрицы W в случае, когда случайные величины j гауссовские. Это распределение впоследствии стало называться распределением Уишарта, а матрицы иногда тоже называют матрицами Уишарта. Поскольку матрица W неотрицательно определена, ее собственные числа неотрицательны. Обозначим их в порядке убывания 0 < sp < ••• < s2 и определим эмпирическую спектральную меру, приписав каждому собственному значению вероятность 1/n. Определим также эмпирическую спектральную функцию распределения матрицы W равенством
1 p
Fn,p(x) = -^21(s2 < x}.
P j=i
Математическое ожидание эмпирической спектральной функции распределения обозначим Fn,p(x) = EFn,p(x). При изучении асимптотики спектральных функций распределения матрицы W представляет особый интерес случай, когда p меняется в зависимости от n, причем так, что, например, существует предел y = limn^œ n. В 1967 г. Марченко и Пастур в работе [6] в предположении, что случайные величины jk имеют 4-й момент, показали, что распределение Fn,p(x) сходится к распределению Gy(x), которое имеет плотность
dxGy(x) = 5(x)(1 - у)+ + 2ПУХ V(x - a)(b - x),
где S(x) - дельта-функция Дирака, a = (1 - yy)2, b = (1 + Vÿ)2. Здесь мы использовали обозначение a+ = max{a, 0}. Распределение Gy (x) называют распределением Марченко-Пастура с параметром у. Заметим, что распределение Марченко-Пастура имеет скачок в 0 величиной 1 - y при 0 < y < 1. Поскольку ненулевые собственные числа матриц X*X и XX* совпадают, не умаляя общности, мы можем считать, что y > 1. Имеет место следующая теорема. Теорема 11. Пусть семейства случайных величин jk, 1 < j < n, 1 < к < p (jk = j?) независимы при каждом фиксированном n, имеют нулевое математическое ожидание и единичную дисперсию. Предположим далее, что p = p(n) меняется с ростом n так, что limn^œ n = у и случайные величины удовлетворяют условию Линдеберга, т. е. для любого т > 0 выполнено следующее:
1 n p
Ln(T) = ni У ] E ^jk I I{|£jk I ^ TVn} — 0.
j=ik=i
Тогда
sup IFnp(x) — Gy(x)| —— 0, когда n —— ^o.
X
Более того, функция распределения Fnp(x) сходится к распределению Марченко-Пастура Gy (x) по вероятности.
Доказательство этого результата можно найти, например, в работе Бая [17]. Скорость сходимости спектральной функции распределения к распределению Марченко-Пастура изучалась несколькими авторами. Так, один из первых результатов получен Баем в 1993 г. [18] и позднее уточнялся им же с соавторами. В 2003 г. независимо Баем и соавторами [19] и Гётце и Тихомировым [20] была получена оценка скорости сходимости вида Дпр = вирж ^Пр(х) -Оу(х)\ = 0(п-2) в предположении конечности восьмого момента у элементов матрицы X. Скорость сходимости по вероятности ДПР = Е вирж \Т.пр(х) -
Оу(х) \ = 0(п-2) в упомянутой работе Гётце и Тихомирова [20] доказана в предположении конечности 12 моментов у элементов матрицы X. Эти оценки улучшены и дополнены в работе Гётце и Тихомирова [21] и работе Тихомирова [22]. Окончательно можно сформулировать следующий результат.
Теорема 12. Пусть семейства случайных величин
(п)
£]к, 1 ^ з ^ п, 1 < к < р (^к = £\к') независимы при каждом фиксированном п, имеют нулевое математическое ожидание и единичную дисперсию. Предположим далее, что р = р(п) меняется с ростом п так, что п = у > 1. Пусть для некоторого 0 <6 < 2
М2+5 : = вир Е \£^к \2+6 < ж.
3,к,п
Тогда найдется такая постоянная С = С (6), зависящая от 6, что
5 5
Дпр < СМ22+5 п-2+ .
Результат для 6 = 2 получен в работе Гётце и Тихомирова [21], общий случай (0 < 6 < 2) рассмотрен в работе Тихомирова [22]. Приведенные оценки являются наилучшими из известных, но вопрос об их оптимальности, также как и в случае полукруго-вого закона, остается открытым. Лишь для гауссовских матриц удается получить оптимальные оценки скорости сходимости вида Дпр = 0(п-1) и то, пока известна эта оценка лишь для матриц из так называемого унитарного ансамбля Лагерра, те. для таких матриц, элементы которых комплексные нормально распределенные случайные величины с независимыми и одинаково распределенными вещественной и мнимой частью, см. работу Гётце и Тихомирова [13].
3. Метод Стейна для случайных матриц
В этом параграфе мы приведем дифференциальные уравнения, характеризующие полукруго-вой закон рапределения и распределение Марченко-Пастура. На основе этих уравнений разработан метод, позволяющий доказывать сходимость к соответствующему распределению не только для матриц с независимыми элементами, но и с элементами, удовлетворяющими некоторым условиям зависимости.
Пусть С(К) (соответственно С1 (В), В с К) означает класс непрерывных функций на вещественной прямой К (соответственно, класс дифференцируемых функция на В, с ограниченной первой производной на любом компактном подмножестве В). Вве-
дем в рассмотрение класс функций
для любого ту О
C{-2,2} : = {f : R —' R : f € C \ {-2, 2}i
limsup\yf (y)\ < ж; limsup\4 - y \\f'(y)\ <C}.
|у|нто ун±2
Теперь мы можем сформулировать одно из основных утверждений данного параграфа.
Утверждение 1. Случайная величина £ имеет функцию распределения полукругового закона G(x) с плотностью g(x) = G'(x) = ¿f^4 - x2I{\x\ < 2} тогда и только тогда, когда для любой функции f € C{-2 2} выполнено равенство
E (4 - £2)f '(x) - 3E£f (£) = 0.
3.1. Уравнение Стейна для случайных матриц
Пусть W означает симметричную случайную матрицу с собственными значениями Л{ < ••• < An. Если W = и-{ли, где U - ортогональная матрица и Л - диагональная матрица, то по определению
f (W) = U-{f (Л)и, где f (Л) = diag(f (Л{),..., f (An)). Теорема 13. Пусть дана последовательность случайных матриц Wn размерности n х n таких, что для любой функции f € C{-2,2}
n-{E (4In - Wl)f '(W - n) - 3n-{ETrWnf (Wn) — 0,
когда n — ж.
Тогда выполнен полукруговой закон Вигнера, т. е.
Дп := sup \Fn(x) - G(x)\ — 0, когда n — ж.
X
Полукруговой закон Вигнера для случайных матриц с мартингальной структурой зависимости элементов. Пусть дан треугольный массив случайных величин jk, 1 < j < к, имеющих нулевые средние E jk = 0 и конечные дисперсии E\jk\2 = j. Для любых 1 < j < к < n введем ст-алгебры F(jk) = a{£iq, 1 < l < q < n, (Iq) = (jk)}, и F(j) = a{£tq, 1 < l < q < n, (l) = (j)}. Введем также в рассмотрение дробь Линдеберга для случайных матриц, определив ее равенством
nn
Ln(T) = n2 Е X^E\£jk\2I{\£jk \ > Т Vn}, Т> 0. j={ k=j
Определим усеченные случайные величины
j = £jkI{\íjk I > тV—} - E jI{j I > тV—}, (а?)2 = E (4>)2.
(3)
Мы сформулируем основную теорему этого параграфа.
Теорема 14. Предположим, что случайные величины ^к, 1 < з < к удовлетворяют следующим условиям:
• для любого т > 0
Çjk
= 0;
существует C < то, такая что
l n 2 шах шах — \ ' а% ^ C; 1^п<то l^j^n n j
;=i
eni) := nÆL E E {(e^)2\F(j)}-(*«)2
j=1 k=1
для любого ту 0
О,
при n — то;
(4)
(2) l
:= E eie ((e^)2 - e (e^)2)
j=ii<k=;<n
x(j))2 - E (ejk})2
—— 0, при n —— то; (5) существует а у 0 такое, что
(3) _ l en := n2 \°jk
n j=1 k=1
:= —2 У ' \аjk — а2 \ — 0, при n — то;
• для любого фиксированного t > 0
Ln (т) —— 0, при n —— ^о.
Тогда
Дп = sup \Fn(xa) - G(x)\ — 0.
X
Доказательство утверждений, приведенных в этом параграфе, можно найти в статье Гётце и Тихомирова [23].
3.2. Метод Стейна для выборочных ковариационных матриц
В настоящем параграфе мы приведем уравнения, аналогичные изложенным в предыдущем параграфе, характеризующие распределение Марчен-ко-Пастура. Пусть gy (x) и Gy (x) обозначают соответственно плотность и функцию распределения Мар-ченко-Пастура с параметром y. Введем в рассмотрение, как и ранее, класс функций
C{aM = {f : R — R,f € C{(R \{a,b});
lim sup |xf(x)| < ж,
lirnsup \(x — a)(b — x)\2\f'(x)\ < то}.
b+a i b— a
(6)
Следующее утверждение содержит характеризацию распределения Марченко-Пастура с помощью дифференциального уравнения типа Стейна. Утверждение 2. Случайная величина e имеет распределение Марченко-Пастура с параметром y тогда и только тогда, когда для любой функции f e
1
{а,Ь}
CL м выполнено следующее равенство:
e (e - a)(b - e)ef '(e) - зеe(e -
a + b 2
)f(e) = О.
Рассмотрим теперь выборочную ковариационную матрицу W = X*X с собственными числами s2 > ••• > sn. Критерий сходимости математического ожидания спектральной функции распределения матрицы W к распределению Марченко-Пастура дает следующая теорема.
Теорема 15. Пусть последовательность случайных матриц W такова, что для любой функции f e
n
C{a b} выполнено следующее:
n-{ETr (Wn - aIn)(bIn - Wn)Wnf'(Wn)
- 3n-{ETrWn(Wn - In)f (Wn) — 0,
когда n .
(7)
Тогда
Дп — sup \Fn(x) - Gy (x)\ —— 0,
где у = - 1.
Опираясь на этот критерий можно доказать следующую теорему.
Теорема 16. Пусть р = р(п) зависит от п так, что у = п & (0,1]. Предположим, что случайные величины ^к, 1 < з < п, 1 < к < р удовлетворяют следующим условиям: для любого т > 0
E {£jl}\F(jk)}
= 0;
существует такая C < ж, что
12
max max — > ст]1 ^ C;
1^n<w l^j^n n j
l=1
для любого T > 0
n p
П := E |E {(jk})2\F(j)}- (-jl})2| — 0
j={ k={
при n — ж;
для любого T > 0
J2) 1
¿E E e|e {(«<;')2
j=11^k=l^p i(r )\2^ic(t h2
(t K2
-E j) )((j r - E j)
0,
при n — ж;
(T) 2
j=11^k=l^p -E (j)2)((j})2 - E (njk})2
где 4rjk := E (£jk}\F(jk)); существует такое a > 0, что
0,
при n — ж,
£(4) := 1
£П : ---- '
n
:= —^ У ] lajk - ст2 | — 0, при n — ж;
n j=1 k=1
для любого фиксированного T > 0
Ln (t ) —— 0, при n —— ^o.
Тогда
Дп = sup\Fn(xa) - Gy(xct 1)\ — 0.
n = sup |Fn
X
Доказательство всех приведенных в данном параграфе утверждений можно найти в работе Гёт-це и Тихомирова [24].
4. Круговой закон
Пусть Xj, 1 < i < n, 1 < j < n, совокупность
таких независимых случайных величин, что EX,
j
0
и E X2j
1. Определим матрицу
X
X11 X21
X12
X22
\ Xn1 Xn2
X1n
X2n
Xnn J
Обозначим A1,...,An собственные числа матрицы X и определим ее эмпирическую спектральную функцию распределения Fn(x,y) =
пЕn=1I{Re Ak < x , ImAk ^ y}. Будем говорить, что для матрицы X выполнен круговой закон, если ожидаемая спектральная функция распределения EFn(x,y) сходится при n — ж к функции равномерного распределения в единичном круге F(x,y), те. к функции распределения с плотностью f (x,y) = ПI{x2 + y2 < 1}(x,y). Описанные ансамбли случайных матриц впервые были введены в работе Жи-нибра (Ginibre) [38]. Им получены совместные распределения для собственных чисел Л1,...,Лп в случае когда Xjk независимые гауссовские величины. Впоследствии соответствующие матрицы получили название ансамблей Жинибра. Мета (Mehta) в 1967 г. [25], опираясь на работу Жинибра показал, что для матриц из ансамбля Жинибра, элементы которых комплексные гауссовские величины с независимыми вещественной и мнимой частью, выполнен круговой закон. Пастур в работе 1973 г. [26] выдвинул гипотезу, что круговой закон должен быть выполнен для матриц, элементы которых независимы, имеют нулевые средние и конечную дисперсию. Гирко в работе 1984 г. [27] предложил метод исследования асимптотического поведения функции E Fn(x, y), опирающийся на подходы, развитые для исследования асимптотики спектра эрмитовых матриц. Им был доказан круговой закон для матриц, элементы которых имеют конечные моменты восьмого порядка и ограниченную плотность распределения. Многие авторы утверждали, что доказательство Гирко некорректно (точнее, оно было неполным). В 1997 г. Бай [28], опираясь на работу Гирко, привел полное доказательство кругового закона, но все при том же весьма ограничительном предположении существования плотности у элементов матрицы. А это значит, исключались даже такие простые матрицы, как матрицы, элементы которых принимают с равными вероятностями значения ±1. Основной результат, полученный в работе Гётце и Тихомирова, можно сформулировать следующим образом. Пусть 0 < pn < 1. Введем в рассмотрение бернуллиевские случайные величины £jk, принимающие значения 0 и 1 с вероятностью pn = Pr{_Sjk = 1}. Определим матрицу
X
(г)
( £11X11 £21X21
VПРп
£12X12
£22X22
£1nX1n ^ £2nX2n
\ £n1Xn1 £n1Xn2
Xn
£nnXnn
/
Обозначим Л
Кг)
(г)
1,
7(е)
лПг) собственные числа матрицы X^eК Пусть F^J (x,y) = n En=1I{Re Aj < x, Im Aj < y} и Fi.e)(x,y) = E Fne)(x,y) означают соответственно
X
71
и
1
выборочную и ожидаемую спектральную функцию распределения матрицы Х(е).
Теорема 17. Пусть Х^к, 3,к = 1,...п, независимые случайные величины, такие что ЕХ^к =
0, Е \Х^к |2 = 1 и существует такая неубывающая функция ф(х), что ^Хг невозрастающая неотрицательная функция и ф(х) = 0(1п8 х), и Е\Х^к\2 ф(Х^к) < С < ж. Пусть также пр- = 0(1п2 п). Тогда
г(е)
^п(х) = — ^2 Цв2 < х}.
при
п.
(8)
Заметим, что при рп = 1 мы получим обычный круговой закон. Наш результат показывает, что этот закон сохраняется и для прореженных матриц с вероятностью прореживания не меньше чем т-11п2 п. Заметим также, что если вероятность прореживания меньше, чем (1 - 7)п-11пп для любого положительного у > 0, то матрица Х(е) необратима с положительной вероятностью. Приведенные результаты опубликованы в статье Гётце и Тихомирова [30]. Усиленный круговой закон при аналогичных моментных предположениях был доказан также в работах Тао и Ву [31].
¿=1
Нас будет интересовать асимптотическое поведение математического ожидания эмпирической спектральной функции распределения ^П(х) = ЕТп(х). Чтобы описать предельную функцию распределения для функций -РП(х) мы определим преобразование Стилтьеса на множестве функций распределения.
Пусть ут = (у1,..., ут), где У1 £ (о, 1] некоторый параметрический вектор. Ведем в рассмотрение функцию распределения Оу(х), преобразование Стилтьеса которой ву (г) удовлетворяет уравнению
т
1 + гву(г) + (-1)т П(у] - 1 - гву(г)) = 0. (1)
¿=1
Уравнение (1) имеет единственное решение с неотрицательной мнимой частью, удовлетворяющее условию - 1в(у^—Т) = 1, и тем самым
однозначно определяет преобразование Стилтье-са ву (г) и функцию распределения Оу(х). Заметим,
5. Произведения и степени случайных матриц что при ™ 1 функция распределения Оу(х) это
В настоящем параграфе мы сформулируем некоторые обобщения теоремы Марченко-Пастура на случай произведений и степеней случайных матриц. Также приведем формулировку теоремы о предельном поведении эмпирической функции распределения произведения случайных матриц. Оказывается, спектр произведения независимых случайных матриц с независимыми элементами асимптотически ведет себя так же, как и спектр степени матрицы с независимыми элементами, или как степень величины, равномерно распределенной в единичном круге комплексной плоскости. В этом случае мы можем говорить об «обобщенном» круговом законе. Итак, пусть Х^к, V = 1,... ,т, з,к = 1,..., массив независимых в совокупности комплексных случайных вели-
у (
просто функция распределения Марченко-Пастура с плотностью
9у(х) = тт——\/(х - а)(Ь - х)1{х £ [а,Ь]}
2пху
2
с а = (1 - у/у)2 и Ь = (1 + ^/у)2. Один из основных результатов нашей статьи представляет следующая теорема.
Теорема 18. Предположим, что для всех V =
1, . . . , т выполнены условия
Иш — = у„ £ (0,1].
п^1Х рр
чин с ЕХ
(V)
¿к
0 и Е \Х^\2 = 1. Пусть п = р0, и пусть
р1, • • • ,рт натуральные числа такие, что р„ > р0 для всех V = 1,... ,т. Определим матрицы Х(^) размерности ри-1 х ри для V = 1,. .. ,т
Х^ = /- Х Х • • • )) Х (V) Х12 ••• V (V) Х22 ••• Х Х 43 ^ 43 'ч
1 ' ХР„-11 ХИ ХМ лри-12 ••• ЛР»-1Р
Введем в рассмотрение п х рт матрицу
' := т Дх<^). ^=1
Обозначим через в2 > в2 > • • • > вП собственные числа матрицы V = (вг, г = 1,... ,п, - сингуляр-
ные числа матрицы '). Здесь и далее А* обозначает комплексно сопряженную матрицу А. Функцию равномерного распределения на множестве квадратов сингулярных чисел матрицы ' обозначим ^П(х)
Далее, пусть для случайных величин Х)
1,...,т, 3,к = 1,... выполнено условие Линдеберга, т.е. для любого т > 0 дробь Линдеберга
Ьп(т) : =
Ри-1
шах ----- У^Е\Х(к)\21{\Х(^)\ > т/п} ^ 0,
1<^<т при ^ 1 )к I II зк 1 " у 1 ’
¿=1 к=1
при п ^ ж.
Тогда функции распределения ^П(х) слабо сходятся к функции распределения Оу (х) с у = (у1,..., ут). Более того, поскольку Оу (х) непрерывная функция распределения, имеет место предельное соотношение
Дп = Бир \ ^П(х) - Оу (х) \ ^ 0 при п ^ ж.
X
Замечание 1. При т = 1, как следствие теоремы 18, мы получим теорему Марченко-Пастура о сходимости спектральной функции распределения выборочной ковариационной матрицы.
Замечание 2. Особый интерес представляет случай уг = 1 для всех г = 1,... ,т. При таком предположении предельным распределением сингулярного спектра произведения матриц будет так называемое распределение Фусса-Каталана, т. е. распреде-
ление, моменты которого суть числа Фусса-Каталана
1 с к mk+1 Cmk + k‘
Оказывается, предельным распределением сингулярного спектра степени случайной матрицы с независимыми элементами будет также распределение Фусса-Каталана. Именно, рассмотрим квадратную матрицу X = -1= (Xj,k) порядка n, где Xjk, j, k =
1,... ,п независимые случайные величины, и ее т-ю степень W = Xm. Пусть H=(x) - эмпирическая спектральная функция распределения матрицы WW* и H=(x) = EHn(x) - математическое ожидание эмпирической спектральной функции распределения. Пусть G(x) = Gy0 (x), где yo = (1,1,..., 1). Имеет место следующий результат.
Теорема 19. Пусть элементы матрицы X суть независимые случайные величины с нулевым средним и единичной дисперсией. Предположим, что существует такая постоянная C, что
supj k E I Xjk |4 < с и
n
Ln(T) := П2 Y, E I Xjk 14I {I Xjk I > T Vn} ^ 0,
j,k = 1
при n ^ Ж.
Тогда
Дп := sup IHn(x) — G(x)I ^ 0 при n ^ ж.
X
Распределения Фусса-Каталана возникали ранее в работах по свободной вероятности. В частности, Оравец [32] показал, что степени и произведения так называемых свободных Я-диагональных элементов имеют распределение Фусса-Каталана. Таким образом, результаты замечания 2 и теоремы 18 дают соответствующую матричную модель. Случай квадратных гауссовских матриц (y1 = • • • = ym = 1) был рассмотрен Баника (Banica) и др. [33] (см. Теорему 6.1 в [33]), а также в работе Шпайхера (Speicher) и Минго (Mingo) [34]. В заключение мы обсудим собственный спектр произведения неэрмитовых случайных квадратных матриц. Будем считать, что n = р0 = р1 = • • • = рт. Пусть матрица W = ПП=1. X(v). Обозначим А1,...,Ап собственные числа матрицы W. Рассмотрим эмпирическую спектральную меру /j=n) матрицы W, определенную как равномерное распределение на множестве собственных чисел А1;..., А=. Пусть ^т) означает математическое ожидание эмпирической спектральной меры матрицы W. Для любого борелевского множества B с Я2 определим меру v=m)(B) = Eßn)(B). Введем в рассмотрение случайную величину ^ на комплексной плоскости, равномерно распределенную в единичном круге. Обозначим G(m)(x,y) функцию совместного распределения вещественной и мнимой части случайной величины £т, а символом G=n)(x,y) обозначим функцию распределения, соответствующую мере v=m) на плоскости. Тогда имеет место следующая теорема. Теорема 20. Пусть для независимых в совокупности случайных величин Xjk, v = 1,... ,т, j,k = 1,... существуют такие постоянные C > 0 и S > 0, что EIXjk12+á < С для всех j, k > 1. Тогда
Дп := sup IG=n)(x,y) — G(m\x,y)I ^ 0 при n ^ ж.
x,y
Замечание 3. При m = 1, как следствие теоремы 20, мы получим известный круговой закон для случайных матриц.
Приведенные в этом параграфе результаты частично опубликованы в работах [35] и [36].
Работа частично поддержана грантами РФФИ № 09-01-12180-офи_м и РФФИ-ННИО № 09-01-91331-ННИО_а, а также грантом поддержки ведущих научных школ РФ № НШ-4472.2010.1.
Литература
1. Wigner, E. Characteristic vectors of bordered matrices with infinite dimensions // Ann. Math., 1955. Vol. 62. P. 548-564.
2. Wigner E. On the distribution of the roots of certain symmetric matrices // Ann. Math., 1958. Vol. 67. P. 325-327.
3. Гирко В.Л. Спектральная теория случайных матриц // Успехи матем. наук, 1985. T. 40. № 1. С. 67-106.
4. Arnold L. On the asymptotiv distribution of the eigenvalues of random matrices // J. Math. Anal. Appl., 1960. Vol. 20. P. 262-268.
5. Пастур ЛЛ. О спектре случайных матриц // ТМФ, 1972. Т. 10. № 1. С. 102-112.
6. Марченко ВЛ. Пастур ЛЛ Распределение собственных чисел в некоторых ансамблях случайных матриц // Мат. сборник, 1967. Т. 1. С. 457-483.
7. Bai Z.D. Convergence rate of expected spectral distributions of large random matrices. Part 1. Wigner matrices //Ann. Probab., 1993. Vol. 21. No. 2. P. 625-648.
8. Girko V.L. Extended proof of the statement: Convergence rate of the expected spectral functions of symmetric random matrices Sn is equal to O(n-1/2) and the method of critical steepest descent // random Operator and Stoch. Equations, 2002. Vol. 10. P. 252-300.
9. Bai Z.D., Miao B., Tsay J. Convergence rates of spectral distributions of large Wigner matrices // Intern. Math. J., 2003. Vol. 1. P. 65-90.
10. Götze F. and Tikhomirov A.N. Rate of convergence to the semi-circular law // Probab. Theory Relat. Fields, 2003. Vol. 127. P. 228276.
11. Bobkov S.G., Götze F., Tikhomirov, A.N. On concentration of empirical measures and convergence to the semi-circle law // Journal of Theoretical Probability, 2010. Vol. 23. No. 3. P. 792-823.
12. Tikhomirov A.N. On the rate of convergence to the expected spectral distribution function of a Wigner matrix to the semi-circular law // SIBAM, 2009. Vol. 19. No 3. P. 211-223.
13. Götze F.; Tikhomirov A.N. The rate of convergence for spectra of GUE and LUE matrix ensembles // Cent. Eur. J. Math., 2005. Vol. 3. No. 4. P. 666-704.
14. Тимушев ДЛ., Тихомиров A.H., Холопов ЛЛ. О точности приближения спектра GOE полукру-
говым законом // Теория вероятн. и примен., 2007. Т 52. № 1. С. 180-185.
15. Götze F., Tikhomirov A., Timushev D. Rate of convergence to the semi-circle law for the deformed Gaussian unitary enssemble // Cent. Eur. J. Math., 2007. Vol. 5. No. 2. P. 305-334.
16. Wishart J. The generalised product moment distribution in samples from a normal multivariate population // Biometrika, 1928. Vol. 20A. P. 32-52.
17. Bai Z.D. Methodologies in spectral analysis of large dimensional random matrices, a review // Statistica Sinica, 1999. Vol. 9. P. 611-677.
18. Bai Z.D. Convergence rate of expected spectral distributions of large random matrices. Part II. Sample covariance matrices // Ann. Probab., 1993. Vol. 21. No. 2. P. 649-672.
19. Bai Z.D., Miao B., Yao J. Convergence rates of spectral distributions of large sample covariance matrices // SIAM J. Matrix Anal. Appl., 2003. Vol. 25. No. 1. P. 105-127.
20. Götze F., Tikhomirov A.N. Rate of convergence in probability to the Marchenko-Pastur law // Bernoulli, 2004. Vol. 10. No. 3. P. 503-548.
21. Götze F., Tikhomirov A.N. The rate of convergence of spectra of sample covariance matrices // Теория вероятн. и примен., 2009. Т. 54. № 1. С. 1-15.
22. Tikhomirov A.N. On the rate of convergence to the expected spectral distribution function of sample covariance matrices to the Marchenko-Pastur distribution // SIBAM, 2009. Vol. 19. No. 4. P. 277-286.
23. Götze F., Tikhomirov A.N. Limit theorems for spectra of random matrices with martingale structure // Теория вероятн. и примен., 2007. Т. 51. № 1. С. 42-64.
24. Götze F., Tikhomirov A.N. Limit theorems for spectra of positive random matrices under dependence // Зап. науч. сем. ПОМИ, 2004. Т. 311. С. 92-123.
25. Mehta M.L. Random Matrices. 2nd ed., San Diego: Academic Press, 1991.
26. Pastur LA. Спектры случайных самосопряженных операторов // Усп. матем. наук, 1973. Т. 28. № 1. С. 1-67.
27. Гирко В.Л. Круговой закон // Теория вероятн. и примен., 1989. Т. 29. С. 694-706.
28. Bai Z.D. Circular law // Ann. Probab., 1997. Vol. 25. P. 494-529.
29. Götze F., Tikhomirov A.N. On the circular law // http://arxiv.org/abs/math/0702386.
30. Götze F., Tikhomirov A.N. The Circular Law for Random Matrices // Ann. Probab., 2010. Vol. 38. No. 4. P. 1444-1491.
31. Tao T, Vu V. Random Matrices: The circular Law // Commun. Contemp. Math., 2008. Vol. 10. No. 2. P. 261-307.
32. Oravecz F. On the powers of Voiculescus circular element // Studia Math., 2001. No. 1. P.85-95.
33. Banica, T. Belinschi, S. Capitaine, M., Collins, B. Free Bessel laws // Preprint arXiv:0710.5931.
34. Mingo JA, Speicher R. Sharp Bounds for Sums Associated to Graphs of Matrices // Preprint arXiv:0909.4277.
35. Ллексеев H.B., Гётце Ф., Тихомиров AH. О сингулярном спектре степеней и произведений случайных матриц // Докл. АН, 2010. Т. 433. № 1. С. 7-9.
36. Alexeev N, Götze F., Tikhomirov A. Asymptotic distribution of singular values of powers of random matrices // Lithuanian Math. J., 2010. Vol. 50. No 2. P. 121-132.
37. Bai Z.D., Silverstein J. Spectral analysis of large dimensional random matrices. Mathematics Monograph Series 2. Beijing: Sciences Press, 2006.
38. Ginibre J. Statistical ensembles of complex, quaterninon, and real matrices // J. Math. Phys., 1965. Vol. 6. P. 440-449.
