[논문 리뷰] Large deviations for the largest eigenvalue of an Hermitian Brownian motion

Catherine Donati-Martin, Mylène Maïda|arXiv (Cornell University)|2011. 02. 15.

Random Matrices and Applications참고 문헌 16인용 수 4

한 줄 요약

이 논문은 스토크래틱스 미분과 디송 브라운 운동을 이용한 변분 접근법을 통해 헤르미트 브라운 운동의 최대 고유값 과정에 대한 대규모 편차 원리(LDP)를 수립한다. 핵심 결과는 희귀 변동에 따른 최대 고유값 확률의 지수 감소를 특징짓는 양호한 비용 함수이며, 이는 수축 원리에 의해 기존의 정적 LDP를 복원한다.

ABSTRACT

We establish a large deviation principle for the process of the largest eigenvalue of an Hermitian Brownian motion. By a contraction principle, we recover the LDP for the largest eigenvalue of a rank one deformation of the GUE.

연구 동기 및 목표

• 헤르미트 브라운 운동의 최대 고유값에 대한 동적 대규모 편차 원리(LDP)를 수립하여 정적 결과를 시간에 따라 변화하는 설정으로 확장한다.
• 수축 원리와 변분 미적분을 사용하여 $N$ 척도에서 최대 고유값 과정의 LDP 비용 함수를 유도한다.
• 랭크-원 변형 GUE의 고정된 시간 LDP를 동적 LDP의 수축으로 복원한다.
• 희귀 사건 하에서 최대 고유값의 최적 경로를 특성화하고, 자유 경로와 벽에 접촉하는 경로의 두 경우를 구분한다.

제안 방법

• 고유값에 대해 반발력을 갖는 상관관계가 있는 SDE 시스템으로 디송 브라운 운동을 수립한다.
• 과정 $ (\lambda_1^{\theta,N}(t))_{t \in [0,1]} $를 랭크-원 변형 헤르미트 브라운 운동의 최대 고유값으로 정의한다.
• 스펙트럼 측도의 LDP로부터 최대 고유값 과정의 LDP를 도출하기 위해 수축 원리를 적용한다.
• 변분 미적분을 사용하여 절차적 경로 $ \varphi $ 에 대해 절대 연속적이고 $ \varphi(t) \geq 2\sqrt{t} $ 를 만족하는 경로 위에서 행동 함수를 최소화함으로써 비용 함수 $ I_\theta(\varphi) $ 를 계산한다.
• 오일러-라그랑주 방정식을 통해 최적 경로를 식별하고, 반면에 반원 법칙 경계 $ 2\sqrt{t} $ 와 비교하여 경로가 벽에 접촉하는지 여부에 따라 경우를 구분한다.
• 비용 함수가 $ \varphi(t) \geq 2\sqrt{t} $ 를 만족하는 경로에서만 유한하며, 그 외의 경우는 무한한 비용이 든다는 것을 증명한다.

실험 결과

연구 질문

• RQ1 헤르미트 브라운 운동의 최대 고유값 과정에 대한 대규모 편차 비용 함수는 $N$ 척도에서 어떻게 되는가?
• RQ2 희귀 변동 하에서 최대 고유값의 최적 경로는 반원 법칙 경계 $ 2\sqrt{t} $ 와 어떻게 관련되어 있는가?
• RQ3 기존의 정적 LDP, 즉 랭크-원 변형 GUE의 최대 고유값에 대해 알려진 결과들이 동적 LDP의 수축으로 복원될 수 있는가?
• RQ4 최적 경로가 벽 $ 2\sqrt{t} $ 에서 자유로운지, 또는 접촉하는지에 대한 조건은 무엇인가?
• RQ5 최대 고유값 과정의 비용 함수의 명시적 형태는 무엇이며, 초기 변형 $ \theta $ 에 따라 어떻게 달라지는가?

주요 결과

• 공간 $ C_\theta([0,1], \mathbb{R}) $ 에서 스케일 $ N $ 에서 최대 고유값 과정 $ (\lambda_1^{\theta,N}(t))_{t \in [0,1]} $ 의 법칙은 양호한 비용 함수 $ I_\theta(\varphi) $ 를 가진 대규모 편차 원리를 만족한다.
• 절대 연속적이고 $ \varphi(t) \geq 2\sqrt{t} $ 를 만족하는 $ \varphi $ 에 대해 비용 함수는 $ I_\theta(\varphi) = \frac{1}{2} \int_0^1 \left( \dot{\varphi}(s) - \frac{1}{2s} \left( \varphi(s) - \sqrt{\varphi(s)^2 - 4s} \right) \right)^2 ds $ 로 주어지며, 그 외의 경우 $ +\infty $ 이다.
• 만약 $ \theta = 2\sqrt{\eta} $ 이거나 $ 2\sqrt{\eta} < \theta < 1 + \eta $ 이고 $ x \leq \frac{\theta + \sqrt{\theta^2 - 4\eta}}{2} + \frac{2}{\theta + \sqrt{\theta^2 - 4\eta}} $ 를 만족한다면, 비용 함수는 $ \int_2^x \sqrt{u^2 - 4} \, du $ 를 취하게 되어, 이는 최적 경로가 벽 $ 2\sqrt{t} $ 를 접촉한다는 것을 나타낸다.
• 만약 $ \theta \geq 1 $ 이거나 $ 0 < \theta < 1 $ 이고 $ x \geq \theta + \frac{1}{\theta} $ 를 만족한다면, 최적 경로는 선형이 되며 $ \varphi_*(t) = (x - \theta)t + \theta $ 로 주어지며, 이 경우 비용 함수는 $ -\ln\left( \frac{x + \sqrt{x^2 - 4}}{2\theta} \right) + \frac{1}{4}x\sqrt{x^2 - 4} + \frac{1}{4}x^2 - \theta x + \frac{\theta^2}{2} + \frac{1}{2} $ 로 평가된다.
• 동적 LDP는 [BADG01]과 [Maï07]의 고정된 시간 LDP를 수축을 통해 복원하여 이전의 정적 결과와의 일관성을 확인한다.
• 최적 경로의 구조는 초기 변형 $ \theta $ 에 따라 달라지며, $ \theta $ 가 $ \eta $ (경로의 시작 시간) 에 비해 크거나 작은 경우에 서로 다른 행동을 보인다.