[논문 리뷰] Spectral rigidity for addition of random matrices at the regular edge

Zhigang Bao, László Erdős외 1명|arXiv (Cornell University)|2017. 08. 04.

Random Matrices and Applications참고 문헌 25인용 수 7

한 줄 요약

이 논문은 하르 유니타리 공액을 통한 두 개의 큰 랜덤 행렬의 합에 대한 고유값 밀도에 대한 최적 국소 법칙을 수립하며, 고유값 밀도가 제곱근 특이성으로 사라지는 정규 경계(regular edge)에서의 국소 고유값 통계가 개별 행렬 법칙의 자유가군 병합(free additive convolution)에 의해 지배됨을 증명한다. 핵심 결과는 최적 척도 $ N^{-2/3+5c} $까지의 스펙트럼 강성이며, 자유 병합 이론에서 가장자리의 경우를 최적 오차 추정치를 통해 해결함으로써, 가장자리 근처의 하위순서 방정식을 안정화시킨다.

ABSTRACT

We consider the sum of two large Hermitian matrices $A$ and $B$ with a Haar unitary conjugation bringing them into a general relative position. We prove that the eigenvalue density on the scale slightly above the local eigenvalue spacing is asymptotically given by the free convolution of the laws of $A$ and $B$ as the dimension of the matrix increases. This implies optimal rigidity of the eigenvalues and optimal rate of convergence in Voiculescu's theorem. Our previous works [3,4] established these results in the bulk spectrum, the current paper completely settles the problem at the spectral edges provided they have the typical square-root behavior. The key element of our proof is to compensate the deterioration of the stability of the subordination equations by sharp error estimates that properly account for the local density near the edge. Our results also hold if the Haar unitary matrix is replaced by the Haar orthogonal matrix.

연구 동기 및 목표

• 고유값 밀도가 제곱근 특이성으로 사라지는 스펙트럼 가장자리에서, 랜덤 행렬 합에 대한 국소 법칙 이론을 밀도 영역에서 가장자리 영역으로 확장한다.
• 최적의 $ N^{-2/3+\varepsilon} $ 오차 척도를 달성하여 가장자리에서 고유값의 최적 강성을 확립한다.
• 밀도가 $ \sqrt{\text{가장자리까지의 거리}} $로 사라지는 가장자리 근처에서 하위순서 방정식의 불안정성을 극복하기 위해 국소 밀도 행동을 고려한 정밀한 오차 추정치를 개발한다.
• 제곱근 가장자리가 있는 자유 병합에 대해 바이쿨루스의 정리에서의 최적 수렴 속도를 증명한다.
• 메서드의 적용 가능성을 하르 직교 군집으로 확장하여, 가장자리 행동의 보편성을 확인한다.

제안 방법

• 자유확률 이론의 하위순서 방정식을 국소 고유값 분포의 한계에 대한 딱딱한 기반으로 사용한다.
• 밀도가 $ \sqrt{\text{가장자리까지의 거리}} $로 사라지는 가장자리 근처에서 하위순서 방정식의 불안정성 보완을 위한 정교한 오차 추정치를 도입한다.
• 이중 전략을 적용한다: 하위순서 방정식의 안정성 분석과 행렬 농도 및 등방향 국소 법칙을 통한 경험적 고유값 밀도 근사.
• 등방향 국소 법칙과 해열 비교를 기반으로 한 자기 평균화 추론을 사용하여 고유값 밀도의 변동성을 통제한다.
• 해열 $ G = (H - z)^{-1} $ 의 세밀한 섭동 분석을 수행하며, 행렬 원소에 대한 도함수를 포함하여 하위순서 방정식의 오차 항을 제한한다.
• 하위순서 방정식의 안정성과 해열 항등식에서 오차의 정밀한 통제를 활용하여, 국소 법칙을 닫는 보팅(bootstrap) 추론을 구현한다.

실험 결과

연구 질문

• RQ1 고유값 밀도가 제곱근 특이성으로 사라지는 가장자리에서, 두 랜덤 행렬 합에 대한 최적 국소 법칙을 밀도 영역에서 가장자리 영역으로 확장할 수 있는가?
• RQ2 가장자리 근처에서 하위순서 방정식의 불안정성을 어떻게 극복하여 최적의 $ N^{-2/3+\varepsilon} $ 척도에서 스펙트럼 강성을 달성할 수 있는가?
• RQ3 자유가군 병합 $ \mu_A \boxplus \mu_B $ 는 국소 간격과 유사한 척도에서도 가장자리 근처의 국소 고유값 밀도를 정확히 기술하는가?
• RQ4 제곱근 가장자리가 있는 자유 병합에 대해 바이쿨루스의 전역 법칙에서의 최적 수렴 속도는 무엇인가?
• RQ5 하르 유니타리 $ U $ 를 사용한 $ A + UBU^* $ 의 가장자리 행동은 국소 밀도가 약한 상황에서도 위그너형 군집과 동일한 강성 정도를 보이는가?

주요 결과

• 행렬 $ A + UBU^* $ 의 고유값 밀도는 최적 척도 $ N^{-2/3 + \varepsilon} $ 까지 자유가군 병합 $ \mu_A \boxplus \mu_B $ 로 수렴하며, 이는 가장자리에서도 성립한다.
• 극단적 고유값은 결정론적 가장자리에서 $ O(N^{-2/3 + \varepsilon}) $ 이내에 강성 있게 위치하며, 트레이시–위드먼 변동 척도와 일치한다.
• 자유 병합을 정의하는 하위순서 방정식은 밀도가 사라지는 것을 고려한 정밀한 오차 추정치를 통해 가장자리 근처에서 안정화된다.
• 바이쿨루스의 정리에서의 수렴 속도는 최적이며, $ O(N^{-1 + \varepsilon}) $ 를 달성한다. 이는 가장자리에서도 성립한다.
• 결과는 하르 유니타리 및 하르 직교 공액 모두에 대해 성립하며, 가장자리 행동의 강건성을 확인한다.
• 이 방법은 하르 유니타리가 포함된 더 일반적인 다항식 군집에도 적용 가능하여, 덧셈 모델을 초월한 광범위한 적용 가능성을 시사한다.