Pub Date : 2024-07-29DOI: 10.1007/s00220-024-05061-z
Jethro van Ekeren, Reimundo Heluani
We study the first chiral homology group of elliptic curves with coefficients in vacuum insertions of a conformal vertex algebra V. We find finiteness conditions on V guaranteeing that these homologies are finite dimensional, generalizing the (C_2)-cofinite, or quasi-lisse condition in the degree 0 case. We determine explicitly the flat connections that these homologies acquire under smooth variation of the elliptic curve, as insertions of the conformal vector and the Weierstrass (zeta ) function. We construct linear functionals associated to self-extensions of V-modules and prove their convergence under said finiteness conditions. These linear functionals turn out to be degree 1 analogs of the n-point functions in the degree 0 case. As a corollary we prove the vanishing of the first chiral homology group of an elliptic curve with values in several rational vertex algebras, including affine (mathfrak {sl}_2) at non-negative integral level, the ((2,2k+1))-minimal models and arbitrary simple affine vertex algebras at level 1. Of independent interest, we prove a Fourier space version of the Borcherds formula.
我们研究了椭圆曲线的第一个手性同调群,其系数是共形顶点代数 V 的真空插入系数。我们找到了 V 的有限性条件,保证这些同调是有限维的,推广了 (C_2)-cofinite 或 0 度情况下的准 Lisse 条件。我们明确地确定了这些同调在椭圆曲线平滑变化下获得的平面连接,作为共形向量和魏尔斯特拉斯(Weierstrass)(zeta )函数的插入。我们构建了与 V 模块自扩展相关的线性函数,并证明了它们在上述有限性条件下的收敛性。这些线性函数被证明是 0 度情况下 n 点函数的 1 度类似物。作为推论,我们证明了椭圆曲线的第一个手性同调群的消失,其值在几个有理顶点代数中,包括非负积分级的仿((mathfrak {sl}_2)、((2,2k+1))最小模型和第1级的任意简单仿顶点代数。另外,我们还证明了傅里叶空间版本的鲍彻德斯公式。
{"title":"The First Chiral Homology Group","authors":"Jethro van Ekeren, Reimundo Heluani","doi":"10.1007/s00220-024-05061-z","DOIUrl":"https://doi.org/10.1007/s00220-024-05061-z","url":null,"abstract":"<p>We study the first chiral homology group of elliptic curves with coefficients in vacuum insertions of a conformal vertex algebra <i>V</i>. We find finiteness conditions on <i>V</i> guaranteeing that these homologies are finite dimensional, generalizing the <span>(C_2)</span>-cofinite, or quasi-lisse condition in the degree 0 case. We determine explicitly the flat connections that these homologies acquire under smooth variation of the elliptic curve, as insertions of the conformal vector and the Weierstrass <span>(zeta )</span> function. We construct linear functionals associated to self-extensions of <i>V</i>-modules and prove their convergence under said finiteness conditions. These linear functionals turn out to be degree 1 analogs of the <i>n</i>-point functions in the degree 0 case. As a corollary we prove the vanishing of the first chiral homology group of an elliptic curve with values in several rational vertex algebras, including affine <span>(mathfrak {sl}_2)</span> at non-negative integral level, the <span>((2,2k+1))</span>-minimal models and arbitrary simple affine vertex algebras at level 1. Of independent interest, we prove a Fourier space version of the Borcherds formula.</p>","PeriodicalId":522,"journal":{"name":"Communications in Mathematical Physics","volume":null,"pages":null},"PeriodicalIF":2.4,"publicationDate":"2024-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141872871","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-29DOI: 10.1007/s00220-024-05045-z
Ming Li, Chao Liang, Xingzhong Liu
In this paper, we combine the profound Pesin theory with the sophisticated approach for addressing singular flows devised by Liao and prove a closing lemma for (C^{1+alpha }) non-uniform hyperbolic singular flows. As an application, we prove that every ergodic hyperbolic measure which is not supported on singularities can be approximated by periodic measures.
{"title":"A Closing Lemma for Non-uniformly Hyperbolic Singular Flows","authors":"Ming Li, Chao Liang, Xingzhong Liu","doi":"10.1007/s00220-024-05045-z","DOIUrl":"https://doi.org/10.1007/s00220-024-05045-z","url":null,"abstract":"<p>In this paper, we combine the profound Pesin theory with the sophisticated approach for addressing singular flows devised by Liao and prove a closing lemma for <span>(C^{1+alpha })</span> non-uniform hyperbolic singular flows. As an application, we prove that every ergodic hyperbolic measure which is not supported on singularities can be approximated by periodic measures.\u0000</p>","PeriodicalId":522,"journal":{"name":"Communications in Mathematical Physics","volume":null,"pages":null},"PeriodicalIF":2.4,"publicationDate":"2024-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141866493","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-29DOI: 10.1007/s00220-024-05069-5
Sayan Chakraborty, Xiang Tang, Yi-Jun Yao
Using a smooth version of the Connes–Thom isomorphism in Grensing’s bivariant K-theory for locally convex algebras, we prove an equivariant version of the Connes–Thom isomorphism in periodic cyclic homology. As an application, we prove that periodic cyclic homology is invariant with respect to equivariant strict deformation quantizations.
利用格伦辛局部凸代数双变量 K 理论中的康涅斯-托姆同构的光滑版本,我们证明了周期周期同构中康涅斯-托姆同构的等变量版本。作为应用,我们证明了周期循环同调在等变严格变形量子化方面是不变的。
{"title":"Smooth Connes–Thom isomorphism, cyclic homology, and equivariant quantization","authors":"Sayan Chakraborty, Xiang Tang, Yi-Jun Yao","doi":"10.1007/s00220-024-05069-5","DOIUrl":"https://doi.org/10.1007/s00220-024-05069-5","url":null,"abstract":"<p>Using a smooth version of the Connes–Thom isomorphism in Grensing’s bivariant <i>K</i>-theory for locally convex algebras, we prove an equivariant version of the Connes–Thom isomorphism in periodic cyclic homology. As an application, we prove that periodic cyclic homology is invariant with respect to equivariant strict deformation quantizations.</p>","PeriodicalId":522,"journal":{"name":"Communications in Mathematical Physics","volume":null,"pages":null},"PeriodicalIF":2.4,"publicationDate":"2024-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141866487","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-29DOI: 10.1007/s00220-024-05026-2
Adam Artymowicz, Anton Kapustin, Nikita Sopenko
We show that for families of 1d lattice systems in an invertible phase, the cohomology class of the higher Berry curvature can be refined to an integral degree-3 class on the parameter space. Similarly, for families of U(1)-invariant 2d lattice systems in an invertible phase, the higher Thouless pump can be refined to an integral degree-2 class on the parameter space. We show that the 2d Thouless pump can be identified with an excess Berry curvature of a flux insertion.
{"title":"Quantization of the Higher Berry Curvature and the Higher Thouless Pump","authors":"Adam Artymowicz, Anton Kapustin, Nikita Sopenko","doi":"10.1007/s00220-024-05026-2","DOIUrl":"https://doi.org/10.1007/s00220-024-05026-2","url":null,"abstract":"<p>We show that for families of 1d lattice systems in an invertible phase, the cohomology class of the higher Berry curvature can be refined to an integral degree-3 class on the parameter space. Similarly, for families of <i>U</i>(1)-invariant 2d lattice systems in an invertible phase, the higher Thouless pump can be refined to an integral degree-2 class on the parameter space. We show that the 2d Thouless pump can be identified with an excess Berry curvature of a flux insertion.</p>","PeriodicalId":522,"journal":{"name":"Communications in Mathematical Physics","volume":null,"pages":null},"PeriodicalIF":2.4,"publicationDate":"2024-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141866490","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-25DOI: 10.1007/s00220-024-05066-8
Roman Geiko, Yichen Hu
Clifford quantum circuits are elementary invertible transformations of quantum systems that map Pauli operators to Pauli operators. We study periodic one-parameter families of Clifford circuits, called loops of Clifford circuits, acting on ({textsf{d}})-dimensional lattices of prime p-dimensional qudits. We propose to use the notion of algebraic homotopy to identify topologically equivalent loops. We calculate homotopy classes of such loops for any odd p and ({textsf{d}}=0,1,2,3), and 4. Our main tool is the Hermitian K-theory, particularly a generalization of the Maslov index from symplectic geometry. We observe that the homotopy classes of loops of Clifford circuits in (({textsf{d}}+1))-dimensions coincide with the quotient of the group of Clifford Quantum Cellular Automata modulo shallow circuits and lattice translations in ({textsf{d}})-dimensions.
克利福德量子回路是量子系统的基本可逆变换,它将泡利算子映射为泡利算子。我们研究作用于质点 p 维网格的克利福德电路周期性单参数族,称为克利福德电路环。我们建议使用代数同调的概念来识别拓扑上等价的回路。我们计算了在任意奇数 p 和 ({textsf{d}}=0,1,2,3/),以及 4 的情况下这些环的同调类。我们的主要工具是赫米蒂 K 理论,特别是来自交映几何的马斯洛夫指数的广义化。我们观察到在(({textsf{d}}+1))-维度中克利福德回路的同调类与(({textsf{d}}+1))-维度中克利福德量子蜂窝自动机调制浅回路和晶格平移的商重合。
{"title":"Homotopy Classification of Loops of Clifford Unitaries","authors":"Roman Geiko, Yichen Hu","doi":"10.1007/s00220-024-05066-8","DOIUrl":"https://doi.org/10.1007/s00220-024-05066-8","url":null,"abstract":"<p>Clifford quantum circuits are elementary invertible transformations of quantum systems that map Pauli operators to Pauli operators. We study periodic one-parameter families of Clifford circuits, called loops of Clifford circuits, acting on <span>({textsf{d}})</span>-dimensional lattices of prime <i>p</i>-dimensional qudits. We propose to use the notion of algebraic homotopy to identify topologically equivalent loops. We calculate homotopy classes of such loops for any odd <i>p</i> and <span>({textsf{d}}=0,1,2,3)</span>, and 4. Our main tool is the Hermitian K-theory, particularly a generalization of the Maslov index from symplectic geometry. We observe that the homotopy classes of loops of Clifford circuits in <span>(({textsf{d}}+1))</span>-dimensions coincide with the quotient of the group of Clifford Quantum Cellular Automata modulo shallow circuits and lattice translations in <span>({textsf{d}})</span>-dimensions.</p>","PeriodicalId":522,"journal":{"name":"Communications in Mathematical Physics","volume":null,"pages":null},"PeriodicalIF":2.4,"publicationDate":"2024-07-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141785910","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-25DOI: 10.1007/s00220-024-05024-4
Saša Kocić
We consider Schrödinger operators over a class of circle maps including (C^{2+epsilon })-smooth circle maps with finitely many break points, where the derivative has a jump discontinuity. We show that in a region of the Lyapunov exponent—determined by the geometry of the dynamical partitions and (alpha )—the spectrum of Schrödinger operators over every such map, is purely singular continuous, for every (alpha )-Hölder-continuous potential V. As a corollary, we obtain that for every sufficiently smooth such map, with an invariant measure (mu ) and with rotation number in a set (mathcal {S}), and (mu )-almost all (xin {mathbb {T}}^1), the corresponding Schrödinger operator has a purely continuous spectrum, for every Hölder-continuous potential V. Set (mathcal {S}) includes some Diophantine numbers of class (D(delta )), for any (delta >1).
{"title":"Singular Continuous Phase for Schrödinger Operators Over Circle Maps with Breaks","authors":"Saša Kocić","doi":"10.1007/s00220-024-05024-4","DOIUrl":"https://doi.org/10.1007/s00220-024-05024-4","url":null,"abstract":"<p>We consider Schrödinger operators over a class of circle maps including <span>(C^{2+epsilon })</span>-smooth circle maps with finitely many break points, where the derivative has a jump discontinuity. We show that in a region of the Lyapunov exponent—determined by the geometry of the dynamical partitions and <span>(alpha )</span>—the spectrum of Schrödinger operators over every such map, is purely singular continuous, for every <span>(alpha )</span>-Hölder-continuous potential <i>V</i>. As a corollary, we obtain that for every sufficiently smooth such map, with an invariant measure <span>(mu )</span> and with rotation number in a set <span>(mathcal {S})</span>, and <span>(mu )</span>-almost all <span>(xin {mathbb {T}}^1)</span>, the corresponding Schrödinger operator has a purely continuous spectrum, for every Hölder-continuous potential <i>V</i>. Set <span>(mathcal {S})</span> includes some Diophantine numbers of class <span>(D(delta ))</span>, for any <span>(delta >1)</span>.</p>","PeriodicalId":522,"journal":{"name":"Communications in Mathematical Physics","volume":null,"pages":null},"PeriodicalIF":2.4,"publicationDate":"2024-07-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141785909","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-23DOI: 10.1007/s00220-024-05047-x
Klas Modin, Manolis Perrot
The two-dimensional (2-D) Euler equations of a perfect fluid possess a beautiful geometric description: they are reduced geodesic equations on the infinite-dimensional Lie group of symplectomorphims with respect to a right-invariant Riemannian metric. This structure enables insights to Eulerian and Lagrangian stability via sectional curvature and Jacobi equations. The Zeitlin model is a finite-dimensional analogue of the 2-D Euler equations; the only known discretization that preserves the rich geometric structure. Theoretical and numerical studies indicate that Zeitlin’s model provides consistent long-time behaviour on large scales, but to which extent it truly reflects the Euler equations is mainly open. Towards progress, we give here two results. First, convergence of the sectional curvature in the Euler–Zeitlin equations on the Lie algebra (mathfrak {su}(N)) to that of the Euler equations on the sphere. Second, (L^2)-convergence of the corresponding Jacobi equations for Lagrangian and Eulerian stability. The results allow geometric conclusions about Zeitlin’s model to be transferred to Euler’s equations and vice versa, which could expedite the ultimate aim: to characterize the generic long-time behaviour of perfect 2-D fluids.
{"title":"Eulerian and Lagrangian Stability in Zeitlin’s Model of Hydrodynamics","authors":"Klas Modin, Manolis Perrot","doi":"10.1007/s00220-024-05047-x","DOIUrl":"https://doi.org/10.1007/s00220-024-05047-x","url":null,"abstract":"<p>The two-dimensional (2-D) Euler equations of a perfect fluid possess a beautiful geometric description: they are reduced geodesic equations on the infinite-dimensional Lie group of symplectomorphims with respect to a right-invariant Riemannian metric. This structure enables insights to Eulerian and Lagrangian stability via sectional curvature and Jacobi equations. The Zeitlin model is a finite-dimensional analogue of the 2-D Euler equations; the only known discretization that preserves the rich geometric structure. Theoretical and numerical studies indicate that Zeitlin’s model provides consistent long-time behaviour on large scales, but to which extent it truly reflects the Euler equations is mainly open. Towards progress, we give here two results. First, convergence of the sectional curvature in the Euler–Zeitlin equations on the Lie algebra <span>(mathfrak {su}(N))</span> to that of the Euler equations on the sphere. Second, <span>(L^2)</span>-convergence of the corresponding Jacobi equations for Lagrangian and Eulerian stability. The results allow geometric conclusions about Zeitlin’s model to be transferred to Euler’s equations and vice versa, which could expedite the ultimate aim: to characterize the generic long-time behaviour of perfect 2-D fluids.</p>","PeriodicalId":522,"journal":{"name":"Communications in Mathematical Physics","volume":null,"pages":null},"PeriodicalIF":2.4,"publicationDate":"2024-07-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141782352","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-23DOI: 10.1007/s00220-024-05053-z
Li Gao, Haojian Li, Iman Marvian, Cambyse Rouzé
We prove that for a large class of quantum Fisher information, a quantum channel is sufficient for a family of quantum states, i.e., the input states can be recovered from the output by some quantum operation, if and only if, the quantum Fisher information is preserved under the quantum channel. This class, for instance, includes Winger–Yanase–Dyson skew information. On the other hand, interestingly, the SLD quantum Fisher information, as the most popular example of quantum analogs of Fisher information, does not satisfy this property. Our recoverability result is obtained by studying monotone metrics on the quantum state space, i.e. Riemannian metrics non-increasing under the action of quantum channels, a property often called data processing inequality. For two quantum states, the monotone metric gives the corresponding quantum (chi ^2) divergence. We obtain an approximate recovery result in the sense that, if the quantum (chi ^2) divergence is approximately preserved by a quantum channel, then two states can be approximately recovered by the Petz recovery map. We also obtain a universal recovery bound for the (chi _{frac{1}{2}}) divergence. Finally, we discuss applications in the context of quantum thermodynamics and the resource theory of asymmetry.
{"title":"Sufficient Statistic and Recoverability via Quantum Fisher Information","authors":"Li Gao, Haojian Li, Iman Marvian, Cambyse Rouzé","doi":"10.1007/s00220-024-05053-z","DOIUrl":"https://doi.org/10.1007/s00220-024-05053-z","url":null,"abstract":"<p>We prove that for a large class of quantum Fisher information, a quantum channel is sufficient for a family of quantum states, i.e., the input states can be recovered from the output by some quantum operation, if and only if, the quantum Fisher information is preserved under the quantum channel. This class, for instance, includes Winger–Yanase–Dyson skew information. On the other hand, interestingly, the SLD quantum Fisher information, as the most popular example of quantum analogs of Fisher information, does not satisfy this property. Our recoverability result is obtained by studying monotone metrics on the quantum state space, i.e. Riemannian metrics non-increasing under the action of quantum channels, a property often called data processing inequality. For two quantum states, the monotone metric gives the corresponding quantum <span>(chi ^2)</span> divergence. We obtain an approximate recovery result in the sense that, if the quantum <span>(chi ^2)</span> divergence is approximately preserved by a quantum channel, then two states can be approximately recovered by the Petz recovery map. We also obtain a universal recovery bound for the <span>(chi _{frac{1}{2}})</span> divergence. Finally, we discuss applications in the context of quantum thermodynamics and the resource theory of asymmetry.\u0000</p>","PeriodicalId":522,"journal":{"name":"Communications in Mathematical Physics","volume":null,"pages":null},"PeriodicalIF":2.4,"publicationDate":"2024-07-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141782409","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-23DOI: 10.1007/s00220-024-05033-3
Evita Nestoridi, Dominik Schmid
We investigate the stationary distribution of asymmetric and weakly asymmetric simple exclusion processes with open boundaries. We project the stationary distribution onto a subinterval, whose size is allowed to grow with the length of the underlying segment. Depending on the boundary parameters of the exclusion process, we provide conditions such that the stationary distribution projected onto a subinterval is close in total variation distance to a product measure.
{"title":"Approximating the Stationary Distribution of the ASEP with Open Boundaries","authors":"Evita Nestoridi, Dominik Schmid","doi":"10.1007/s00220-024-05033-3","DOIUrl":"https://doi.org/10.1007/s00220-024-05033-3","url":null,"abstract":"<p>We investigate the stationary distribution of asymmetric and weakly asymmetric simple exclusion processes with open boundaries. We project the stationary distribution onto a subinterval, whose size is allowed to grow with the length of the underlying segment. Depending on the boundary parameters of the exclusion process, we provide conditions such that the stationary distribution projected onto a subinterval is close in total variation distance to a product measure.\u0000</p>","PeriodicalId":522,"journal":{"name":"Communications in Mathematical Physics","volume":null,"pages":null},"PeriodicalIF":2.4,"publicationDate":"2024-07-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141782349","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-23DOI: 10.1007/s00220-024-05063-x
Yukun He
Let ({mathcal {A}}) be the adjacency matrix of a random d-regular graph on N vertices, and we denote its eigenvalues by (lambda _1geqslant lambda _2cdots geqslant lambda _{N}). For (N^{2/3+o(1)}leqslant dleqslant N/2), we prove optimal rigidity estimates of the extreme eigenvalues of ({mathcal {A}}), which in particular imply that
$$begin{aligned} max {|lambda _N|,lambda _2} <2sqrt{d-1} end{aligned}$$
with very high probability. In the same regime of d, we also show that
{"title":"Spectral Gap and Edge Universality of Dense Random Regular Graphs","authors":"Yukun He","doi":"10.1007/s00220-024-05063-x","DOIUrl":"https://doi.org/10.1007/s00220-024-05063-x","url":null,"abstract":"<p>Let <span>({mathcal {A}})</span> be the adjacency matrix of a random <i>d</i>-regular graph on <i>N</i> vertices, and we denote its eigenvalues by <span>(lambda _1geqslant lambda _2cdots geqslant lambda _{N})</span>. For <span>(N^{2/3+o(1)}leqslant dleqslant N/2)</span>, we prove optimal rigidity estimates of the extreme eigenvalues of <span>({mathcal {A}})</span>, which in particular imply that </p><span>$$begin{aligned} max {|lambda _N|,lambda _2} <2sqrt{d-1} end{aligned}$$</span><p>with very high probability. In the same regime of <i>d</i>, we also show that </p><span>$$begin{aligned} N^{2/3}bigg (frac{lambda _2+d/N}{sqrt{d(N-d)/N}}-2bigg ) overset{d}{longrightarrow } textrm{TW}_1, end{aligned}$$</span><p>where <span>(textrm{TW}_1)</span> is the Tracy–Widom distribution for GOE; analogue results also hold for other non-trivial extreme eigenvalues.</p>","PeriodicalId":522,"journal":{"name":"Communications in Mathematical Physics","volume":null,"pages":null},"PeriodicalIF":2.4,"publicationDate":"2024-07-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141782353","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}