<p>Let <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="440_2025_1423_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {A}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">A</mi> </math></EquationSource> </InlineEquation> be the adjacency matrix of the Erdős-Rényi directed graph <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="440_2025_1423_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="58" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathscr {G}}(N,p)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">G</mi> <mo stretchy="false">(</mo> <mi>N</mi> <mo>,</mo> <mi>p</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. We denote the eigenvalues of <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="440_2025_1423_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {A}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">A</mi> </math></EquationSource> </InlineEquation> by <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="440_2025_1423_Article_IEq4.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="72" /> </InlineMediaObject> <EquationSource Format="TEX">\(\lambda _1^{{\mathcal {A}}},...,\lambda ^{\mathcal {A}}_N\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>λ</mi> <mn>1</mn> <mi mathvariant="script">A</mi> </msubsup> <mo>,</mo> <mo>.</mo> <mo>.</mo> <mo>.</mo> <mo>,</mo> <msubsup> <mi>λ</mi> <mi>N</mi> <mi mathvariant="script">A</mi> </msubsup> </mrow> </math></EquationSource> </InlineEquation>, with <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="440_2025_1423_Article_IEq5.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="124" /> </InlineMediaObject> <EquationSource Format="TEX">\(|\lambda _1^{{\mathcal {A}}}|=\max _i|\lambda _i^{{\mathcal {A}}}|\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">|</mo> </mrow> <msubsup> <mi>λ</mi> <mn>1</mn> <mi mathvariant="script">A</mi> </msubsup> <mrow> <mo stretchy="false">|</mo> <mo>=</mo> </mrow> <msub> <mo movablelimits="true">max</mo> <mi>i</mi> </msub> <mrow> <mo stretchy="false">|</mo> <msubsup> <mi>λ</mi> <mi>i</mi> <mi mathvariant="script">A</mi> </msubsup> <mo stretchy="false">|</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. For <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="440_2025_1423_Article_IEq6.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="141" /> </InlineMediaObject> <EquationSource Format="TEX">\(N^{-1+o(1)}\leqslant p\leqslant 1/2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>N</mi> <mrow> <mo>-</mo> <mn>1</mn> <mo>+</mo> <mi>o</mi> <mo stretchy="false">(</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </msup> <mo>⩽</mo> <mi>p</mi> <mo>⩽</mo> <mn>1</mn> <mo stretchy="false">/</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, we show that <Equation ID="Equ164"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="440_2025_1423_Article_Equ164.gif" Format="GIF" Height="47" Rendition="HTML" Resolution="72" Type="Linedraw" Width="312" /> </MediaObject> <EquationSource Format="TEX">\( \max _{i=2,3,...,N} \bigg |\frac{\lambda _i^{{\mathcal {A}}}}{\sqrt{Np(1-p)}}\bigg | =1+O(N^{-1/2+o(1)}) \)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <munder> <mo movablelimits="true">max</mo> <mrow> <mi>i</mi> <mo>=</mo> <mn>2</mn> <mo>,</mo> <mn>3</mn> <mo>,</mo> <mo>.</mo> <mo>.</mo> <mo>.</mo> <mo>,</mo> <mi>N</mi> </mrow> </munder> <mrow> <mo maxsize="2.047em" minsize="2.047em" stretchy="true">|</mo> </mrow> <mfrac> <msubsup> <mi>λ</mi> <mi>i</mi> <mi mathvariant="script">A</mi> </msubsup> <msqrt> <mrow> <mi>N</mi> <mi>p</mi> <mo stretchy="false">(</mo> <mn>1</mn> <mo>-</mo> <mi>p</mi> <mo stretchy="false">)</mo> </mrow> </msqrt> </mfrac> <mrow> <mo maxsize="2.047em" minsize="2.047em" stretchy="true">|</mo> </mrow> <mo>=</mo> <mn>1</mn> <mo>+</mo> <mi>O</mi> <mrow> <mo stretchy="false">(</mo> <msup> <mi>N</mi> <mrow> <mo>-</mo> <mn>1</mn> <mo stretchy="false">/</mo> <mn>2</mn> <mo>+</mo> <mi>o</mi> <mo stretchy="false">(</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </Equation>with very high probability. In addition, we prove that near the unit circle, the local eigenvalue statistics of <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="440_2025_1423_Article_IEq7.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="114" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {A}}/\sqrt{Np(1-p)}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">A</mi> <mo stretchy="false">/</mo> <msqrt> <mrow> <mi>N</mi> <mi>p</mi> <mo stretchy="false">(</mo> <mn>1</mn> <mo>-</mo> <mi>p</mi> <mo stretchy="false">)</mo> </mrow> </msqrt> </mrow> </math></EquationSource> </InlineEquation> coincide with those of the real Ginibre ensemble. As a by-product, we also show that all non-trivial eigenvectors of <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="440_2025_1423_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {A}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">A</mi> </math></EquationSource> </InlineEquation> are completely delocalized. For Hermitian random matrices, it is known that the edge statistics are sensitive to the sparsity: in the very sparse regime, one needs to remove many noise random variables (which affect both the mean and the fluctuation) to recover the Tracy-Widom distribution (Erdős, L., Knowles, A., Yau, H.-T., Yin, J.: Spectral statistics of erdős-rényi graphs i: local semicircle law. Ann. Prob. <b>41</b>, 2279–2375 (2013)), (Erdős, L., Knowles, A., Yau, H.-T., Yin, J.: Spectral statistics of erdős-rényi graphs ii: eigenvalue spacing and the extreme eigenvalues. Comm. Math. Phys. <b>314</b>, 587–640 (2012)), (Lee, J.O., Schnelli, K.: Local law and tracy-widom limit for sparse random matrices. Prob. Theor. Rel. Fields <b>171</b>, 543–616 (2018)), (Huang, J., Landon, B., Yau, H.-T.: Transition from tracy-widom to gaussian fluctuations of extremal eigenvalues of sparse erdős-rényi graphs. Ann. Prob. <b>48</b>, 916–962 (2020)), (He, Y., Knowles, A.: Fluctuations of extreme eigenvalues of sparse erdős-rényi graphs. Prob. Theor. Rel. Fields <b>180</b>, 985–1056 (2021)), (Lee, J.: Higher order fluctuations of extremal eigenvalues of sparse random matrices, Preprint <a href="http://arxiv.org/abs/2108.11634">arXiv:2108.11634</a>), (Huang, J., Yau, H.T.: Edge universality of sparse random matrices, Preprint <a href="http://arxiv.org/abs/2206.06580">arXiv: 2206.06580</a>). Our results imply that, compared to their analogues in the Hermitian case, the edge statistics of non-Hermitian sparse random matrices are more robust.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Edge universality of sparse Erdős-Rényi digraphs

  • Yukun He

摘要

Let \({\mathcal {A}}\) A be the adjacency matrix of the Erdős-Rényi directed graph \({\mathscr {G}}(N,p)\) G ( N , p ) . We denote the eigenvalues of \({\mathcal {A}}\) A by \(\lambda _1^{{\mathcal {A}}},...,\lambda ^{\mathcal {A}}_N\) λ 1 A , . . . , λ N A , with \(|\lambda _1^{{\mathcal {A}}}|=\max _i|\lambda _i^{{\mathcal {A}}}|\) | λ 1 A | = max i | λ i A | . For \(N^{-1+o(1)}\leqslant p\leqslant 1/2\) N - 1 + o ( 1 ) p 1 / 2 , we show that \( \max _{i=2,3,...,N} \bigg |\frac{\lambda _i^{{\mathcal {A}}}}{\sqrt{Np(1-p)}}\bigg | =1+O(N^{-1/2+o(1)}) \) max i = 2 , 3 , . . . , N | λ i A N p ( 1 - p ) | = 1 + O ( N - 1 / 2 + o ( 1 ) ) with very high probability. In addition, we prove that near the unit circle, the local eigenvalue statistics of \({\mathcal {A}}/\sqrt{Np(1-p)}\) A / N p ( 1 - p ) coincide with those of the real Ginibre ensemble. As a by-product, we also show that all non-trivial eigenvectors of \({\mathcal {A}}\) A are completely delocalized. For Hermitian random matrices, it is known that the edge statistics are sensitive to the sparsity: in the very sparse regime, one needs to remove many noise random variables (which affect both the mean and the fluctuation) to recover the Tracy-Widom distribution (Erdős, L., Knowles, A., Yau, H.-T., Yin, J.: Spectral statistics of erdős-rényi graphs i: local semicircle law. Ann. Prob. 41, 2279–2375 (2013)), (Erdős, L., Knowles, A., Yau, H.-T., Yin, J.: Spectral statistics of erdős-rényi graphs ii: eigenvalue spacing and the extreme eigenvalues. Comm. Math. Phys. 314, 587–640 (2012)), (Lee, J.O., Schnelli, K.: Local law and tracy-widom limit for sparse random matrices. Prob. Theor. Rel. Fields 171, 543–616 (2018)), (Huang, J., Landon, B., Yau, H.-T.: Transition from tracy-widom to gaussian fluctuations of extremal eigenvalues of sparse erdős-rényi graphs. Ann. Prob. 48, 916–962 (2020)), (He, Y., Knowles, A.: Fluctuations of extreme eigenvalues of sparse erdős-rényi graphs. Prob. Theor. Rel. Fields 180, 985–1056 (2021)), (Lee, J.: Higher order fluctuations of extremal eigenvalues of sparse random matrices, Preprint arXiv:2108.11634), (Huang, J., Yau, H.T.: Edge universality of sparse random matrices, Preprint arXiv: 2206.06580). Our results imply that, compared to their analogues in the Hermitian case, the edge statistics of non-Hermitian sparse random matrices are more robust.