[논문 리뷰] Large deviations and fluctuations of real eigenvalues of elliptic random matrices

Sung‐Soo Byun, Leslie Molag외 1명|arXiv (Cornell University)|2023. 05. 04.

Advanced Algebra and Geometry인용 수 5

한 줄 요약

이 논문은 비에르미트성 매개변수 $\tau \in [0,1)$ 를 가진 $N\times N$ 실수 타원 고니베르 매트릭스에서 실수 고유값의 대규모 편차와 변동성을 분석한다. 실수 고유값의 수에 대한 중심극한정리가 수립되고, 강한 비에르미트성 및 약한 비에르미트성 영역에서 정확한 渐近 표현식을 유도하여, 리만 제타 함수와 반원형 가중치에 대한 적분 표현을 포함하는 보편적 스케일링 행동을 드러낸다.

ABSTRACT

We study real eigenvalues of $N imes N$ real elliptic Ginibre matrices indexed by a non-Hermiticity parameter $0\leq τ<1$, in both the strong and weak non-Hermiticity regime. Here $N$ is assumed to be an even number. In both regimes, we prove a central limit theorem for the number of real eigenvalues. We also find the asymptotic behaviour of the probability $p_{N,k}^{(τ)}$ that exactly $k$ eigenvalues are real. In the strong non-Hermiticity regime, where $τ$ is fixed, we find \begin{align*} \lim_{N o\infty} \frac{1}{\sqrt{N}} \log p_{N,k_N}^{(τ)} = -\sqrt\frac{1+τ}{1-τ} \frac{ζ(3/2)}{\sqrt{2π}} \end{align*} for any sequence $(k_N)_N$ of even numbers such that $k_N = o(\frac{\sqrt N}{\log N})$ as $N o\infty$, where $ζ$ is the Riemann zeta function. In the weak non-Hermiticity regime, where $τ=1-\frac{α^2}{N}$, we obtain \begin{align*} \lim_{N o\infty} \frac{1}{N} \log p_{N,k_N}^{(τ)} \leq \frac{2}π \int_0^1 \log\left(1-e^{-α^2 s^2} ight) \sqrt{1-s^2} \, ds \end{align*} for any sequence $(k_N)_N$ of even numbers such that $k_N=o(\frac{N}{\log N})$ as $n o\infty$. This inequality is expected to be an equality.

연구 동기 및 목표

• 비에르미트 랜덤 매트릭스 집합, 특히 매개변수 $\\tau$ 를 가진 타원 고니베르 집합에서 실수 고유값의 통계적 행동을 이해하는 것.
• 강한 및 약한 비에르미트성 영역에서 $N \to \infty$ 일 때 정확히 $k$ 개의 고유값이 실수일 확률 $p_{N,k}^{(\tau)}$ 의 渐近 표현을 유도하는 것.
• 한계 $N \to \infty$ 에서 실수 고유값의 수에 대한 중심극한정리를 수립하여 평균 주위의 가우시안 변동을 확인하는 것.

제안 방법

• 저자들은 실수 타원 고니베르 집합에서 유도된 고유값의 공동확률밀도함수(JPDF)를 사용하며, 이는 펄프산형 구조를 포함하고, $\omega^{(\tau)}(z) = e^{-\operatorname{Re}(z^2)/(1+\tau)} \operatorname{erfc}\left(\sqrt{\frac{2}{1-\tau^2}} \operatorname{Im} z\right)$ 라는 가중함수를 수반한다.
• 강한 비에르미트성 영역($\tau$ 가 고정된 경우)에서 $p_{N,k_N}^{(\tau)}$ 의 지수적 감쇠율을 분석하기 위해 대규모 편차 기법을 적용하여 리만 제타 함수 $\zeta(3/2)$ 를 포함하는 극한을 도출한다.
• 약한 비에르미트성 영역($\tau = 1 - \alpha^2/N$)에서는 $N \to \infty$ 일 때 $\frac{1}{N}\log p_{N,k_N}^{(\tau)}$ 의 대규모 편차율에 대한 상한을 유도하며, $[0,1]$ 에서의 적분으로 표현되며 가중함수 $\sqrt{1-s^2}$ 를 포함한다.
• 특수함수의 점근 전개, 특히 보완 오차함수와 베타형 적분, $\Gamma$-함수와 오차함수를 포함하는 합에 대한 경계를 사용한다.
• 행렬 행렬식에서 계수 추출을 통해 $p_{N,k}^{(\tau)}$ 를 표현하기 위해 $\beta_{2j-1,2m}[1]$ 과 $\alpha_{2j-1,2m}[1]$ 을 포함하는 행렬식 공식을 활용한다.
• 중앙극한정리의 증명은 모멘트 생성함수 기법과 안장점 근사법을 사용하며, hyperbolic cosine와 가우시안 가중치를 포함하는 적분의 수렴에 관한 보조정리가 포함된다.

실험 결과

연구 질문

• RQ1 강한 비에르미트성 영역에서 $N \to \infty$ 일 때, 정확히 $k$ 개의 고유값이 실수일 확률 $p_{N,k}^{(\tau)}$ 의 渐近 행동은 어떠한가?
• RQ2 강한 비에르미트성 영역($\tau$ 가 고정된 경우)에서 실수 고유값의 수의 변동성은 어떻게 행동하는가?
• RQ3 약한 비에르미트성 영역($\tau = 1 - \alpha^2/N$)에서 $p_{N,k_N}^{(\tau)}$ 의 대규모 편차율은 무엇인가?
• RQ4 약한 영역에서 유도된 대규모 편차율 상한이 실제로 정확한 값(등식)인가?
• RQ5 실수 고유값의 수는 두 영역 모두에서 중심극한정리를 만족하는가?

주요 결과

• 강한 비에르미트성 영역($\tau$ 가 고정된 경우)에서 대규모 편차율은 $\displaystyle\lim_{N\to\infty}\frac{1}{\sqrt{N}}\log p_{N,k_N}^{(\tau)} = -\sqrt{\frac{1+\tau}{1-\tau}}\frac{\zeta(3/2)}{\sqrt{2\pi}}$ 를 만족하며, $k_N = o(\sqrt{N}/\log N)$ 일 때 성립한다.
• 약한 비에르미트성 영역($\tau = 1 - \alpha^2/N$)에서 대규모 편차율은 $\displaystyle\frac{2}{\pi}\int_0^1 \log\left(1 - e^{-\alpha^2 s^2}\right)\sqrt{1-s^2}\,ds$ 로 상한이 주어지며, 이 부등식은 실제로 등식일 것으로 기대된다.
• 실수 고유값의 수는 두 영역 모두에서 중심극한정리를 만족하여 평균 주위의 가우시안 변동을 확인한다.
• 확률 $p_{N,k}^{(\tau)}$ 는 약한 영역에서는 $N$ 에 대해 지수적으로 감소하고, 강한 영역에서는 $\sqrt{N}$ 에 대해 감소하며, 이는 서로 다른 보편성 클래스를 나타낸다.
• $\tau = 0$ 일 때 정확한 값은 $p_{2,0}^{(0)} = 1 - \frac{\sqrt{2}}{2}$ 과 $p_{4,0}^{(0)} = \frac{18 - 11\sqrt{2}}{16}$ 이며, 기존 결과와 일치한다.
• 실수 고유값 수의 행렬식 공식은 계수 $\alpha_{2j-1,2m}[1]$ 과 $\beta_{2j-1,2m}[1]$ 을 통해 표현되며, $\beta_{2j-1,2m}[1]$ 은 오차함수와 다항식을 포함하는 복소 적분을 포함한다.