Beyond normal fluctuations in local laws for Wigner matrices

기술 요약: 위그너 행렬의 국소 법칙에서의 일반적인 변동을 넘어서

문제 제기
본 논문은 대형 $N \times N$ 위그너 행렬의 선형 고윳값 통계량, 특히 $G(z) = (W-z)^{-1}$인 분해 함수 흔적(resolvent trace) $\text{Tr}G(z)$의 미세 척도 변동을 조사한다. 이러한 통계량에 대한 중심한계정리(CLT)는 잘 확립되어 있어 변동이 가우시안 분포로 수렴하지만, 이 수렴 속도와 비가우시안 보정(non-Gaussian corrections)의 본질은 여전히 중요한 미해결 과제이다.

이전 연구(예: [1])는 일반적인 위그너 행렬에 대해 정규화된 흔적 변동 $Y$의 $p$차 큐뮬런트(cumulant)가 $N^{-(p-2)/2}$로 스케일링됨을 입증했다. 그러나 가우시안 앙상블(GUE/GOE)의 경우, 수렴 속도가 훨씬 더 빠르다. 본 논문이 다루는 핵심 문제는 메조스코픽 영역(mesoscopic regime, 스펙트럼 척도 $\eta = |\text{Im} z|$가 $N^{-1} \ll \eta \ll 1$을 만족하는 영역)에서 일반 위그너 행렬에 대한 비가우시안 보정량을 정량화하고, 수렴 속도가 대칭성 클래스(실수 대칭 $\beta=1$ 대 복소 헤르미션 $\beta=2$) 및 큐뮬런트의 구체적인 구조( $X$와 $\bar{X}$의 결합 큐뮬런트)에 의존하는지 여부를 결정하는 것이다.

방법론
저자들은 표준 국소 법칙 경계(local law bounds)를 초과하는 정밀도로 큐뮬런트를 계산하기 위해 정적(static) 및 동적(dynamic) 기법을 결ar합한 새로운 분석적 프레임워크를 개발한다.

1. 정적 큐뮬런트 전개 (글로벌 영역): 글로벌 영역($\eta \sim 1$)에서 저자들은 "정적 혼돈 전개(static chaos expansion)"를 사용한다. 이는 분해 함수의 거듭제곱 흔적들의 큐뮬런트에 대한 재귀적 계층 구조를 포함한다. 핵심적인 혁신은 계층 구조를 닫기 위해 트레이스 성질의 양(tracial quantities)과 함께 등방성 양(isotropic quantities, 분해 성분들의 곱)을 도입한 것이다. 이를 통해 주위 차수 항(leading-order terms)을 식별하고 하위 차수 오차를 체계적으로 제거할 수 있다.
2. 동적 지그재그 전략 (메조스코픽 영역): 글로벌 영역에서 메조스코픽 영역($\eta \ll 1$)으로 결과를 확장하기 위해, 저자들은 정교한 "지그재그 전략(zigzag strategy)"을 활용한다.
   • 지그 단계 (특성 흐름): 스펙트럼 파라미터 $z$를 실수축을 향해 특성 흐름(characteristic flow)을 따라 진화시키며, 동시에 가우시안 성분을 오른슈타인-우렌벡 과정(Ornstein-Uhlenbeck process)을 통해 행렬 $W$에 동적으로 추가한다. 이를 통해 "가우시안 분할 가능(Gaussian-divisible)" 행렬에 대한 큐뮬런트를 계산할 수 있다.
   • 재그 단계 (그린 함수 비교): 가우시안 성분을 그린 함수 비교 정리(GFT)를 사용하여 제거한다. 결정적으로, 저자들은 표준 GFT를 다중 모멘트 매칭(multiple moment matching) 접근법으로 대체한다. 이 기술은 일반 위그너 행렬과 가우시안 분할 가능 행 matrices 사이의 고정된 개수의 모멘트를 일치시켜, 표준적인 4-모멘트 매칭이 달성할 수 없는 고정밀 오차 제어를 가능하게 한다.
3. 상쇄 분석: 큐뮬런트 전개에서 특정 상쇄(cancellation)를 식별하는 작업에 상당한 부분이 할애된다. 복소수 케이스($\beta=2$)의 경우, 저자들은 특정 주위 항들이 항등적으로 소멸함을 증명하며, 이는 GUE 큐뮬런트의 특정 구조와 일반화된 분해 항등식으로부터 도출된 결과이다.

주요 기여 및 결과

1. 명시적 비가우시안 보정 (정리 2.4(i)): 저자들은 글로벌 영역에서 결합 큐뮬런트 $\kappa_{p,q}(X)$의 주위 항에 대한 명시적인 공식을 유도한다. 주위 항은 위그너 행렬의 대각 성분의 큐뮬런트 $\kappa_{p+q}^d$에 비례하며, 결정론적 함수 $K_{p,q}(z)$에 의해 스케일링됨을 보여준다.
   $$\kappa_{p,q}(X) = \frac{\eta^{p+q}}{N^{(p+q-2)/2}} K_{p,q}(z) \kappa_{p+q}^d + \text{error}$$
   이는 선형 통계량의 비가우시안성이 주로 대각 성분의 비가우시안성에서 기인함을 확인해 준다.

2. 대칭성에 따른 수렴 속도 (정리 2.4(ii)): 본 논문은 메조스코픽 영역에서 실수형($\beta=1$)과 복소수형($\beta=2$) 위그너 행렬 사이의 근본적인 차이를 확립한다.

   • 복소수 케이스 ($\beta=2$): 저자들은 결합 큐뮬런트가 $|\kappa_{p,q}(X)| \lesssim N^{-1}$을 만족함을 증명한다($p+q=3$인 특정 사례에 대해서는 약간 약한 $N^{-1/2}$ 경계). 이는 일반적인 $N^{-(p+q-2)/2}$ 경계와 비교하여 가우시안 극한으로의 훨씬 빠른 수렴을 나타낸다.
   • 실수 케이스 ($\beta=1$): 반면, 실수 대칭 행렬의 경우 수렴이 더 느리다. 구체적으로, 큐뮬런트 $\kappa_{2,2}(X)$에 대해 저자들은 $\eta \sim N^{-1+\epsilon}$ 영역에서 $(N\eta)^{-3}$ 차수의 새로운 주위 항을 식별했다. 이 항은 소멸하지 않으며, 결과적으로 복소수 케이스에 비해 현저히 느린 수렴 속도를 초래한다.

3. 단측 큐뮬런트 (정리 2.5): "단측 큐뮬런트"($p=0$ 또는 $q=0$인 경우)의 경우, 실수와 복소수 케이스 사이의 구분이 사라짐을 보여준다. 이 경우, 글로벌 모드가 전체 메조스코픽 영역에서 주위 항으로 유지되며, 오차 경계는 균등하고 날카롭다.

4. 다중 모멘트 매칭: 저자들은 다중 모멘트 매칭 렘마(Lemma 3.5)를 도입하여, 완만한 정규성 가정 하에 일반 확률 변수와 가우시안 분할 가능 변수 사이의 임의의 개수의 모멘트를 일치시킬 수 있음을 증명한다. 이는 필요한 정밀도를 달 achieve 하기 위한 GFT 단계에 필수적이다.

의의
본 논문은 글로벌 영역을 넘어 위그너 행렬의 국소 법칙에 대한 비가우시안 모드를 엄밀하게 식별한 첫 번째 연구라고 주장한다. 주요 의의는 다음과 같다.

• "실수 vs 복소수" 격차의 정량화: 메조스코픽 영역에서 실수 대칭 행렬이 복소 헤르미션 행렬보다 가우시안성으로의 수렴이 본질적으로 더 느리다는 것을 엄밀하게 입증하였으며, 이는 이전 문헌[24]에서 기대 상태 밀도(expected density of states)의 맥락에서만 관찰되었던 현상이다.
• 방법론적 발전: 전통적으로 농축 경계(concentration bounds, 국소 법칙)에 사용되던 "지그재그 전략"을 국소 법칙 척도를 초과하는 고차 큐뮬런트 및 기댓값 계산으로 확장하였다.
• 미해결 문제의 해결: 메조스코픽 영역에서 $\eta$와 무관한 균등한 $N^{-\gamma}$ 경계가 존재하는지에 대한 질문에 답한다. 그 답은 복소수 및 단측 큐뮬런트의 경우 긍정적이지만, 실수 케이스의 일반적인 결합 큐뮬런트의 경우 부정적이다.

이 결과는 가우시안 앙상블 및 자유 확률론(free probability)의 기존 문헌과 궤를 같이하며, 행렬 성분의 비가우시안성이 대형 무작위 행렬의 스펙트럼 통계량으로 어떻게 전파되는지에 대한 완전한 그림을 제공한다.