[논문 리뷰] Disk counting statistics near hard edges of random normal matrices: the multi-component regime

Yacin Ameur, Christophe Charlier외 2명|arXiv (Cornell University)|2022. 10. 25.

Random Matrices and Applications인용 수 4

한 줄 요약

이 논문은 하드 월이 두 개의 분리된 원형 영역을 나누는 두 성분 쿨롱 가스 모델에서 무작위 정규 행렬의 디스크 수세기 통계를 연구한다. 디스크 수세기 통계의 모멘트 생성 함수에 대한 정확한 점근적 표현을 하드 에지 영역에서 유도하며, 자코비 스저 함수에 의해 지배되는 진동하는 변동성을 드러내고, 성분 분산이 바이어스터라스 ℘-함수 점근적 성질을 따른다는 것을 보여준다.

ABSTRACT

We consider a two-dimensional point process whose points are separated into two disjoint components by a hard wall, and study the multivariate moment generating function of the corresponding disk counting statistics. We investigate the ``hard edge regime" where all disk boundaries are a distance of order $\frac{1}{n}$ away from the hard wall, where $n$ is the number of points. We prove that as $n o + \infty$, the asymptotics of the moment generating function are of the form \begin{align*} & \exp \bigg(C_{1}n + C_{2}\ln n + C_{3} + \mathcal{F}_{n} + \frac{C_{4}}{\sqrt{n}} + \mathcal{O}(n^{-\frac{3}{5}})\bigg), \end{align*} and we determine the constants $C_{1},\dots,C_{4}$ explicitly. The oscillatory term $\mathcal{F}_{n}$ is of order $1$ and is given in terms of the Jacobi theta function. Our theorems allow us to derive various precise results on the disk counting function. For example, we prove that the asymptotic fluctuations of the number of points in one component are of order $1$ and are given by an oscillatory discrete Gaussian. Furthermore, the variance of this random variable enjoys asymptotics described by the Weierstrass $\wp$-function.

연구 동기 및 목표

• 두 성분 쿨롱 가스 모델에서 하드 월이 두 개의 분리된 원형 영역을 나누는 무작위 정규 행렬의 디스크 수세기 통계를 분석하는 것.
• 디스크 경계가 하드 월에서 $\mathcal{O}(1/n)$ 정도의 거리에 있을 때의 '하드 에지 영역'을 조사하는 것.
• 디스크 수세기 통계의 다변량 모멘트 생성 함수에 대한 정밀한 점근 전개를 유도하는 것.
• 각 성분 내 점의 수의 변동 행동, 특히 분산과 분포적 극한을 특성화하는 것.
• 점근적 변동과 자코비 스저 함수 및 바이어스터라스 ℘-함수와 같은 특수 함수 간의 연관성을 설정하는 것.

제안 방법

• 역온도 $\beta=2$ 와 반경 $\rho_1$, $\rho_2$ 에서의 하드 월을 가진 쿨롱 가스 모델을 설정하여, 두 개의 분리된 성분을 가진 점 과정을 도출한다.
• 하드 월을 무한한 잠재력이 있는 링형 영역 $[\rho_1, \rho_2]$ 에서 구현하는 수정된 잠재력 $Q(z)$ 를 가진 미타그레플레르 집합을 사용한다.
• 밸라주지 기법을 적용하여 매크로스코픽 측도 $\mu_h$ 의 극한을 계산하며, 이는 원 $r=\rho_1$ 와 $r=\rho_2$ 에서 특이 성분을 가진다.
• 디스크 수세기 통계의 모멘트 생성 함수를 유도하고, 복소해석학 및 특수 함수의 점근적 성질을 사용하여 $n \to \infty$ 일 때 점근적으로 전개한다.
• 점근 전개에서 진동하는 항 $\mathcal{F}_n$ 이 자코비 스저 함수를 통해 표현됨을 확인한다.
• 불완전 감마 함수의 균일한 점근적 성질과 오차 함수 및 스틸링 유사 전개와의 연결을 활용하여 오차 항을 제어한다.

실험 결과

연구 질문

• RQ1 두 성분 쿨롱 가스에서 하드 에지 근처의 디스크 수세기 통계에 대한 모멘트 생성 함수의 점근적 행동은 무엇인가?
• RQ2 점수가 $n \to \infty$ 일 때 각 성분 내 점의 수의 변동은 어떻게 행동하는가?
• RQ3 모멘트 생성 함수의 진동하는 항 $\mathcal{F}_n$ 의 역할은 무엇이며, 모듈라 형식과의 관계는 무엇인가?
• RQ4 각 성분 내 수의 분산은 점근적으로 어떻게 척도화되며, 어떤 특수 함수가 이 척도화를 지배하는가?
• RQ5 두 성분 내 수의 공동 분포는 진동 보정이 있는 이산 정규 분포로 기술될 수 있는가?

주요 결과

• 모멘트 생성 함수는 $n \to \infty$ 일 때 다음 점근 전개를 갖는다: $\exp\big(C_1 n + C_2 \ln n + C_3 + \mathcal{F}_n + \frac{C_4}{\sqrt{n}} + \mathcal{O}(n^{-3/5})\big)$, 여기서 $C_1, \dots, C_4$ 는 명시적으로 표현된다.
• 진동하는 항 $\mathcal{F}_n$ 은 크기가 1이며 자코비 스저 함수를 통해 명시적으로 표현된다.
• 한 성분 내 점의 수의 점근적 변동은 크기가 1이며, 진동하는 이산 정규 분포를 따른다.
• 각 성분 내 점의 수의 분산은 점근적으로 바이어스터라스 $\wp$-함수로 기술된다.
• 상수 $C_1, C_2, C_3, C_4$ 는 $b$, $\alpha$, $\rho_1$, $\rho_2$ 에 대해 명시적으로 계산된다.
• 결과는 불완전 감마 함수의 균일한 점근적 성질과 $\lambda$-변수에서의 로랑 급수의 특이 부분을 포함하는 새로운 전개를 사용하여 도출된다.