[논문 리뷰] Large deviations for the largest eigenvalue of disordered bosons and disordered fermionic systems

Katrin Credner, Peter Eichelsbacher|arXiv (Cornell University)|2015. 03. 03.

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

한 줄 요약

이 논문은 이중직교 다항식 및 다중직교 다항식 집합을 이용하여, 불순물이 있는 보소닉 및 페르미온계에서 최대 고유값에 대한 큰편차원리(LDP)를 수립한다. 최대 고유값이 속도 $ n $ 로 LDP를 만족하며, 공동 고유값 밀도와 경험 측도의 渐近적 분석을 통해 비용 함수를 유도한다. 이는 랜덤 매트릭스 이론의 결과를 두체 상호작용과 비자명한 가중함수를 갖는 모델로 확장한다.

ABSTRACT

We prove a large deviations principle for the largest eigenvalue of a class of biorthogonal and multiple orthogonal polynomial ensembles that includes a matrix model of Lueck, Sommers and Zirnbauer for disordered bosons and Angelesco ensembles. Moreover we consider matrix ensembles in mesoscopic physics.

연구 동기 및 목표

• 이중체 상호작용이 있는 무작위 행렬 집합으로 모델링된 불순물이 있는 보소닉계에서 최대 고유값에 대한 큰편차원리(LDP)를 수립하기 위해.
• 속도 $ n $ 의 $ n $-의존적 가중함수와 일반적인 $ \beta > 0 $ 상호작용을 갖는 이중직교 및 다중직교 다항식 집합으로 LDP 프레임워크를 확장하기 위해.
• 고전적 대칭 공간에서 유래한 중간 체계(random matrix ensembles)를 포함한 메조스코픽 무작위 매트릭스 집합에서 최대 고유값의 渐近적 행동을 분석하기 위해.
• 직교 다항식의 스펙트럼 분석과 경험 측도의 큰편차 이론을 조합하여 LDP의 비용 함수를 유도하기 위해.
• 이전의 가우시안 유니터리 집합(GUE) 및 Lueck-Sommers-Zirnbauer 모델 결과를 비가우시안 극한과 비자명한 상호작용을 갖는 더 넓은 범주로 확장하기 위해.

제안 방법

• 저자들은 공동 밀도 $ q_n(x_1,\dots,x_n) \propto \prod_{i<j} |x_i - x_j| |x_i^\theta - x_j^\theta| \prod_i w_n(x_i) $ 를 갖는 일반적인 이중직교 집합의 프레임워크를 사용한다. 여기서 $ w_n $ 은 $ n $ 에 따라 달라질 수 있다.
• 경험 측도 $ L_n = \frac{1}{n} \sum \delta_{x_i} $ 에 대한 큰편차 이론을 적용하며, $ \bar{L}_n $ 이 밀도 $ \varrho_\infty $ 를 갖는 한정 측도 $ \mu_w $ 로 수렴함을 이용한다.
• 핵심 단계는 로그 잠재력과 가중함수를 포함하는 기능 $ \Phi(t, \mu) $ 의 최소값을 통한 비용 함수의 변분 공식 유도이다.
• 증명은 최대 고유값 $ \lambda_1 $ 에 대한 조건부 확률을 사용하며, $ \lambda_1 \in [x,y] $ 와 나머지 고유값이 $ [-r,r] $ 내에 제한된 사건들로 확률을 분해한다.
• 일관된 수렴성 $ \log w_n \to \log w $ 과 $ \Phi $ 의 연속성에 기반하여 로그 확률의 하한 및 상한을 유도함으로써, 속도 $ n $ 으로 LDP를 확립한다.
• 저자들은 Borodin의 이중직교 다항식 및 Christoffel-Darboux 항등식 결과를 활용하며, 특히 $ \theta $ 가 유리수일 경우 스펙트럼 측도와 정규화 상수를 분석한다.

실험 결과

연구 질문

• RQ1 불순물이 있는 보소닉계에서 Lueck-Sommers-Zirnbauer 모델의 $ \tau = n $ 일 때 최대 고유값의 큰편차 행동은 어떠한가?
• RQ2 최대 고유값의 비용 함수는 상호작용 매개수 $ \theta $ 와 가중함수 $ w_n $ 에 어떻게 의존하는가?
• RQ3 $ n $-의존적 가중함수와 일반적인 $ \beta > 0 $ 상호작용을 갖는 이중직교 집합에 대해 큰편차원리(LDP)를 수립할 수 있는가?
• RQ4 이러한 모델에서 경험 측도의 渐近적 구조는 한정 스펙트럼 밀도와 어떻게 관련되어 있는가?
• RQ5 결과는 다중직교 다항식 집합과 대칭 공간에서 유래한 메조스코픽 무작위 매트릭스 집합으로 어떻게 일반화되는가?

주요 결과

• 최대 고유값 $ \lambda_1^* $ 는 속도 $ n $ 으로 LDP를 만족하며, 비용 함수는 $ J(x) = \kappa \Phi(x, \mu_w) + \xi $ 로 주어진다. 여기서 $ \Phi $ 는 로그 잠재력을 포함하는 변분 기능이다.
• 모수 $ \alpha \in \mathbb{N}_0 $, $ \tau = n $ 인 불순물이 있는 보소닉 모델에서, 한정 스펙트럼 측도 $ \varrho_\infty $ 는 $ b = 3\sqrt{3} $ 까지 지지되며, $ \lambda_1^* \to 3\sqrt{3} $ 거의 확실히 수렴한다.
• 비용 함수 $ J(x) $ 는 $ x \geq 3\sqrt{3} $ 에서만 유한하며, $ x < 3\sqrt{3} $ 에서는 발산한다. 이는 가장자리 이하의 편차가 지수적으로 불가능하다는 것을 시사한다.
• 적절한 수렴 조건 하에서, 비용 함수의 정확한 표현은 $ \Phi(t, \mu) = \int \log|t - y| + \log|t^\theta - y^\theta| \, d\mu(y) + \log w(t) + \int \log w(y) \, d\mu(y) $ 의 최소값을 통한 것이다.
• 증명은 $ \bar{L}_n \to \mu_w $ 의 수렴성과 $ \Phi $ 의 연속성에 기반하며, 정규화 상수 $ Z_n $ 은 $ \det g $ 와 노름의 곱 $ h_j $ 와 관련된다.
• 이 프레임워크는 다중직교 다항식 집합과 메조스코픽 시스템에 적용 가능하며, 이는 GOE 및 GUE에 대한 이전 결과를 비가우시안 극한과 비자명한 상호작용을 갖는 모델로 일반화한다.