Распределение Трейси — Видома Вид функций плотности вероятности распределений Трейси — Видома F 1 , F 2 и F 4
Распределение Трейси — Видома — статистическое распределение , введённое Крэйгом Трейси [англ.] и Гарольдом Видомом для описания нормированного наибольшего собственного значения случайной эрмитовой матрицы [ 1] .
В прикладном отношении, распределение Трейси — Видома — это функция перехода между двумя фазами системы: со слабосвязанными и с сильносвязанными компонентами[ 2] .
Оно также возникает как распределение длины наибольшей увеличивающейся подпоследовательности случайных перестановок [ 3] , во флуктуациях потока асимметричного процесса с простыми исключениями [англ.] с шаговым начальным условием[ 4] [ 5] и в упрощённых математических моделях поведения в задаче о наибольшей общей подпоследовательности случайных вводов[ 6] [ 7] .
Распределение F 1 особенно интересно с точки зрения многомерной статистики [англ.] [ 8] [ 9] [ 10] [ 11] .
Определение
Распределение Трейси — Видома определяется как предел[ 12]
F
β
(
s
)
=
lim
n
→
∞
P
r
o
b
(
(
λ
m
a
x
−
2
n
)
(
2
)
n
1
/
6
≤
s
)
,
{\displaystyle F_{\beta }(s)=\lim \limits _{n\rightarrow \infty }{\rm {Prob}}\left((\lambda _{\rm {max}}-{\sqrt {2n}})({\sqrt {2}})n^{1/6}\leq s\right){\mbox{,}}}
где
λ
m
a
x
{\displaystyle \lambda _{\rm {max}}}
— наибольшее собственное число случайной матрицы
n
×
n
{\displaystyle n\times n}
стандартного (для компонентов матрицы
σ
=
1
/
2
{\displaystyle \sigma =1/{\sqrt {2}}}
) гауссова ансамбля : при β=1 — ортогонального, при β=2 — унитарного, при β=4 — симплектического. Сдвиг
2
n
{\displaystyle {\sqrt {2n}}}
используется, чтобы центрировать распределение в точке 0. Множитель
(
2
)
n
1
/
6
{\displaystyle ({\sqrt {2}})n^{1/6}}
используется, поскольку стандартное отклонение распределения масштабируется как
n
−
1
/
6
{\displaystyle n^{-1/6}}
.
Эквивалентные представления
Функция распределения Трейси — Видома для унитарных ансамблей (
β
=
2
{\displaystyle \beta =2}
) может быть представлена как фредгольмов определитель [англ.]
F
2
(
s
)
=
det
(
I
−
A
s
)
{\displaystyle F_{2}(s)=\det(I-A_{s})}
оператора
A
s
{\displaystyle A_{s}}
на интегрируемой с квадратом функции на луче
(
s
,
∞
)
{\displaystyle (s,\infty )}
ядром в понятиях функций Эйри
A
i
{\displaystyle \mathrm {Ai} }
через
A
i
(
x
)
A
i
′
(
y
)
−
A
i
′
(
x
)
A
i
(
y
)
x
−
y
.
{\displaystyle {\frac {\mathrm {Ai} (x)\mathrm {Ai} '(y)-\mathrm {Ai} '(x)\mathrm {Ai} (y)}{x-y}}.}
Также её можно представить интегралом
F
2
(
s
)
=
exp
(
−
∫
s
∞
(
x
−
s
)
q
2
(
x
)
d
x
)
{\displaystyle F_{2}(s)=\exp \left(-\int _{s}^{\infty }(x-s)q^{2}(x)\,dx\right)}
через решение уравнения Пенлеве [англ.] II
q
′
′
(
s
)
=
s
q
(
s
)
+
2
q
(
s
)
3
,
{\displaystyle q^{\prime \prime }(s)=sq(s)+2q(s)^{3}\,{\mbox{,}}}
где
q
{\displaystyle q}
, называемое решением Гастингса—Мак-Леода, удовлетворяет граничным условиям:
q
(
s
)
∼
Ai
(
s
)
,
s
→
∞
.
{\displaystyle \displaystyle q(s)\sim {\textrm {Ai}}(s),s\rightarrow \infty .}
Другие распределения Трейси — Видома
Распределения Трейси — Видома
F
1
{\displaystyle F_{1}}
и
F
4
{\displaystyle F_{4}}
для ортогональных (
β
=
1
{\displaystyle \beta =1}
) и симплектических (
β
=
4
{\displaystyle \beta =4}
) ансамблей также выразимы через трансцендент Пенлеве [англ.]
q
{\displaystyle q}
[ 13] :
F
1
(
s
)
=
exp
(
−
1
2
∫
s
∞
q
(
x
)
d
x
)
(
F
2
(
s
)
)
1
/
2
{\displaystyle F_{1}(s)=\exp \left(-{\frac {1}{2}}\int _{s}^{\infty }q(x)\,dx\right)\,\left(F_{2}(s)\right)^{1/2}}
и
F
4
(
s
/
2
)
=
c
h
(
1
2
∫
s
∞
q
(
x
)
d
x
)
(
F
2
(
s
)
)
1
/
2
.
{\displaystyle F_{4}(s/{\sqrt {2}})=\mathrm {ch} \left({\frac {1}{2}}\int _{s}^{\infty }q(x)\,dx\right)\,\left(F_{2}(s)\right)^{1/2}.}
Существует расширение этого определения на случаи
F
β
{\displaystyle F_{\beta }}
при всех
β
>
0
{\displaystyle \beta >0}
[ 14] .
Численные приближения
Численные методы получения приближённых решений уравнений Пенлеве II и Пенлеве V и численно определённые распределения собственных значений случайных матриц в бета-ансамблях впервые были представлены в 2005 году[ 15] (использовался MATLAB ). Эти приближённые методы позднее были аналитически уточнены[ 16] и используются для получения численного анализа Пенлеве II и распределений Трейси — Видома (для
β
=
1
,
2
,
4
{\displaystyle \beta =1,2,4}
) в S-PLUS . Эти распределения были табулированы[ 16] до четырёх значащих цифр по значениям аргумента с шагом 0.01; в работе также присутствовала статистическая таблица p -значений . В 2009 году[ 17] даны точные и быстрые алгоритмы численного определения
F
β
{\displaystyle F_{\beta }}
и функций плотности
f
β
(
s
)
=
d
F
β
d
s
{\displaystyle \textstyle f_{\beta }(s)={dF_{\beta } \over ds}}
для
β
=
1
,
2
,
4
{\displaystyle \beta =1,2,4}
. По этим алгоритмам можно численно подсчитать среднее значение , дисперсию , асимметрию и эксцесс распределений
F
β
{\displaystyle F_{\beta }}
.
β
Среднее
Дисперсия
Коэффициент асимметрии
Эксцесс
1
−1.2065335745820
1.607781034581
0.29346452408
0.1652429384
2
−1.771086807411
0.8131947928329
0.224084203610
0.0934480876
4
−2.306884893241
0.5177237207726
0.16550949435
0.0491951565
Функции для работы с законами Трейси — Видома также представлены в пакете для R RMTstat [ 18] и в пакете для MATLAB RMLab [ 19] .
Вычислено также простое приближение на основе смещённых гамма-распределений [ 20] .
Примечания
↑ Dominici, D. (2008) Special Functions and Orthogonal Polynomials American Math. Soc.
↑ Mysterious Statistical Law May Finally Have an Explanation (неопр.) . wired.com (27 октября 2014). Дата обращения: 30 сентября 2017. Архивировано 17 июля 2017 года.
↑ Baik, Deift, Johansson, 1999 .
↑ Johansson, 2000 .
↑ Tracy, Widom, 2009 .
↑ Majumdar, Nechaev, 2005 .
↑ См. в Takeuchi & Sano, 2010 , Takeuchi et al., 2011 экспериментальную проверку (и подтверждение) того, что флуктуации поверхности раздела растущей капельки (или основы) описываются распределением Трейси — Видома
F
2
{\displaystyle F_{2}}
(или
F
1
{\displaystyle F_{1}}
) так, как это предсказано в (Prähofer & Spohn, 2000 )
↑ Johnstone, 2007 .
↑ Johnstone, 2008 .
↑ Johnstone, 2009 .
↑ Обсуждение универсальности
F
β
{\displaystyle F_{\beta }}
,
β
=
1
,
2
,
4
{\displaystyle \beta =1,2,4}
, см. в Deift (2007) . О приложении F 1 к выведению популяционной структуры из генетических данных см. Patterson, Price & Reich (2006)
↑ Tracy, C. A. ; Widom, H. (1996), On orthogonal and symplectic matrix ensembles (PDF) , Communications in Mathematical Physics , 177 (3): 727– 754, Bibcode :1996CMaPh.177..727T , doi :10.1007/BF02099545 , MR 1385083 , Архивировано из оригинала (PDF) 20 декабря 2014, Дата обращения: 14 января 2015
↑ Tracy, Widom, 1996 .
↑ Ramírez, Rider, Virág, 2006 .
↑ Edelman, Persson, 2005 .
↑ 1 2 Bejan, 2005 .
↑ Bornemann, 2010 .
↑ Johnstone, Ma, Perry, Shahram, 2009 .
↑ Dieng, 2006.
↑ Chiani, 2012 .
Литература
Доценко В. С. Универсальная случайность // УФН . — 2011. — Т. 181 , № 3 . — doi :10.3367/UFNr.0181.201103b.0269 .
Baik, J.; Deift, P.; Johansson, K. (1999), On the distribution of the length of the longest increasing subsequence of random permutations, Journal of the American Mathematical Society , 12 (4): 1119– 1178, doi :10.1090/S0894-0347-99-00307-0 , JSTOR 2646100 , MR 1682248 .
Deift, P. (2007), Universality for mathematical and physical systems (PDF) , International Congress of Mathematicians (Madrid, 2006) , European Mathematical Society , pp. 125– 152, MR 2334189 .
Johansson, K. (2000), Shape fluctuations and random matrices, Communications in Mathematical Physics , 209 (2): 437– 476, arXiv :math/9903134 , Bibcode :2000CMaPh.209..437J , doi :10.1007/s002200050027 .
Johansson, K. (2002), Toeplitz determinants, random growth and determinantal processes (PDF) , Proc. International Congress of Mathematicians (Beijing, 2002) , vol. 3, Beijing: Higher Ed. Press, pp. 53– 62, MR 1957518 .
Johnstone, I. M. (2007), High dimensional statistical inference and random matrices (PDF) , International Congress of Mathematicians (Madrid, 2006) , European Mathematical Society , pp. 307– 333, MR 2334195 .
Johnstone, I. M. (2008), Multivariate analysis and Jacobi ensembles: largest eigenvalue, Tracy–Widom limits and rates of convergence, Annals of Statistics , 36 (6): 2638– 2716, arXiv :0803.3408 , doi :10.1214/08-AOS605 , PMC 2821031 , PMID 20157626 .
Johnstone, I. M. (2009), Approximate null distribution of the largest root in multivariate analysis, Annals of Applied Statistics , 3 (4): 1616– 1633, arXiv :1009.5854 , doi :10.1214/08-AOAS220 , PMC 2880335 , PMID 20526465 .
Majumdar, Satya N.; Nechaev, Sergei (2005), Exact asymptotic results for the Bernoulli matching model of sequence alignment, Physical Review E , 72 (2): 020901, 4, doi :10.1103/PhysRevE.72.020901 , MR 2177365 .
Patterson, N.; Price, A. L.; Reich, D. (2006), Population structure and eigenanalysis, PLoS Genetics , 2 (12): e190, doi :10.1371/journal.pgen.0020190 , PMC 1713260 , PMID 17194218 {{citation }}
: Википедия:Обслуживание CS1 (не помеченный открытым DOI) (ссылка ) .
Prähofer, M.; Spohn, H. (2000), Universal distributions for growing processes in 1+1 dimensions and random matrices, Physical Review Letters , 84 (21): 4882– 4885, arXiv :cond-mat/9912264 , Bibcode :2000PhRvL..84.4882P , doi :10.1103/PhysRevLett.84.4882 , PMID 10990822 .
Takeuchi, K. A.; Sano, M. (2010), Universal fluctuations of growing interfaces: Evidence in turbulent liquid crystals, Physical Review Letters , 104 (23): 230601, arXiv :1001.5121 , Bibcode :2010PhRvL.104w0601T , doi :10.1103/PhysRevLett.104.230601 , PMID 20867221
Takeuchi, K. A.; Sano, M.; Sasamoto, T.; Spohn, H. (2011), Growing interfaces uncover universal fluctuations behind scale invariance, Scientific Reports , 1 : 34, arXiv :1108.2118 , Bibcode :2011NatSR...1E..34T , doi :10.1038/srep00034
Tracy, C. A. ; Widom, H. (1993), Level-spacing distributions and the Airy kernel, Physics Letters B , 305 (1– 2): 115– 118, arXiv :hep-th/9210074 , Bibcode :1993PhLB..305..115T , doi :10.1016/0370-2693(93)91114-3 .
Tracy, C. A.; Widom, H. (1994), Level-spacing distributions and the Airy kernel, Communications in Mathematical Physics , 159 (1): 151– 174, arXiv :hep-th/9211141 , Bibcode :1994CMaPh.159..151T , doi :10.1007/BF02100489 , MR 1257246 .
Tracy, C. A.; Widom, H. (2002), Distribution functions for largest eigenvalues and their applications (PDF) , Proc. International Congress of Mathematicians (Beijing, 2002) , vol. 1, Beijing: Higher Ed. Press, pp. 587– 596, MR 1989209 .
Tracy, C. A.; Widom, H. (2009), Asymptotics in ASEP with step initial condition, Communications in Mathematical Physics , 290 (1): 129– 154, arXiv :0807.1713 , Bibcode :2009CMaPh.290..129T , doi :10.1007/s00220-009-0761-0 .
Bejan, Andrei Iu. (2005), Largest eigenvalues and sample covariance matrices. Tracy–Widom and Painleve II: Computational aspects and realization in S-Plus with applications (PDF) , M.Sc. dissertation, Department of Statistics, The University of Warwick .
Bornemann, F. (2010), On the numerical evaluation of distributions in random matrix theory: A review with an invitation to experimental mathematics, Markov Processes and Related Fields , 16 (4): 803– 866, arXiv :0904.1581 , Bibcode :2009arXiv0904.1581B .
Chiani, M. (2012), Distribution of the largest eigenvalue for real Wishart and Gaussian random matrices and a simple approximation for the Tracy–Widom distribution , arXiv :1209.3394 .
.
Ramírez, J. A.; Rider, B.; Virág, B. (2006), Beta ensembles, stochastic Airy spectrum, and a diffusion , arXiv :math/0607331 , Bibcode :2006math......7331R .
Ссылки
Дискретные Абсолютно непрерывные