[논문 리뷰] Painlevé transcendent evaluation of the scaled distribution of the smallest eigenvalue in the Laguerre orthogonal and symplectic ensembles

Peter J. Forrester|ArXiv.org|2000. 05. 30.

Random Matrices and Applications참고 문헌 14인용 수 23

한 줄 요약

이 논문은 라그에르 직교 및 심플렉틱 군집에서 가장 작은 고유값의 스케일링 분포를 페인레베 V 초월함수를 사용하여 평가하며, 이는 이전에 라그에르 유니타리 군집에 대해 알려진 결과를 확장한 것이다. 주요 기여는 가장 작은 고유값에 대한 누적 분포 함수를 페인레베 V 초월함수 방정식으로 정확히 표현한 것으로, 소프트 에지 극한과 랜덤 매트릭스 이론에서 알려진 결과와 渐近적 일致성을 확인하였다.

ABSTRACT

The scaled distribution of the smallest eigenvalue in the Laguerre orthogonal and symplectic ensembles is evaluated in terms of a Painlevé V transcendent. This same Painlevé V transcendent is known from the work of Tracy and Widom, where it has been shown to specify the scaled distribution of the smallest eigenvalue in the Laguerre unitary ensemble. The starting point for our calculation is the scaled $k$-point distribution of every odd labelled eigenvalue in two superimposed Laguerre orthogonal ensembles.

연구 동기 및 목표

• 라그에르 직교 군집(LOE) 및 라그에르 심플렉틱 군집(LSE)에서 가장 작은 고유값의 정확한 스케일링 분포를 도출하여, 이전에 유니타리 경우에 알려진 결과를 확장한다.
• LOE 및 LSE의 하드 에지 스케일링 극한과 가우시안 군집의 소프트 에지 스케일링 극한 사이의 연결을 수립한다.
• LOE 및 LSE에서 가장 작은 고유값에 대한 누적 분포 함수가, 유니타리 경우를 특징짓는 동일한 페인레베 V 초월함수로 표현될 수 있음을 보여준다.
• 유도된 표현식이 알려진 극한 행동과 일致함을 검증한다. 특히 하드 에지 분포가 소프트 에지 분포로 수렴하는 $ a \to \infty $ 극한에서의 일치성을 확인한다.

제안 방법

• 분석은 두 개의 겹쳐진 라그에르 직교 군집에서 모든 홀수 번호가 매겨진 고유값의 스케일링 $ k $-점 분포에서 시작된다.
• 이 방법은 LOE의 하드 에지 극한에 대한 스케일링 $ k $-점 분포 함수의 알려진 정확한 형태에 기반하며, 베셀 함수를 포함하는 커널 행렬의 쿼aternion 행렬식으로 표현된다.
• 가장 작은 고유값의 분포는 커널의 프레드홀름 행렬식으로부터 유도되며, 스펙트럼 매개변수의 변환을 통해 페인레베 V 초월함수 방정식과 연결된다.
• 페인레베 V 방정식의 해를 사용하여 $ \beta = 1 $ (직교) 및 $ \beta = 4 $ (심플렉틱)에 대해 누적 분포 함수 $ E_{\beta}^{\rm h}(0;(0,s);a) $ 를 표현하며, 매개변수 $ a $ 는 라그에르 가중치의 차수에 해당한다.
• 스케일링 극한 $ a \to \infty $ 에서의 渐近적 분석을 수행하여, 가우시안 군집의 소프트 에지 극한과의 일치성을 보여주며, 유도된 표현식의 타당성을 확인한다.
• 트레이시와 와이드롬의 유니타리 경우에 대한 페인레베 V 초월함수에 대한 알려진 결과를 활용하고, 함수 항등식과 행렬식 관계를 통해 이를 직교 및 심플렉틱 경우로 확장한다.

실험 결과

연구 질문

• RQ1 라그에르 직교 군집에서 가장 작은 고유값의 스케일링 분포는, 유니타리 경우와 마찬가지로 페인레베 V 초월함수로 표현될 수 있는가?
• RQ2 라그에르 심플렉틱 군집에서 가장 작은 고유값의 분포는 페인레베 V 초월함수 방정식과 어떻게 관련이 있는가?
• RQ3 라그에르 직교/심플렉틱 군집의 하드 에지 스케일링과 가우시안 군집의 소프트 에지 스케일링 사이에 일관된 극한 행동이 존재하는가? 이는 페인레베 V 해를 통해 검증될 수 있는가?
• RQ4 하드 에지 극한에서 직교, 유니타리, 심플렉틱 라그에르 군집의 가장 작은 고유값 분포 사이에 어떤 함수적 관계가 존재하는가?
• RQ5 유도된 $ E_{\beta}^{\rm h} $ 표현식이 $ a \to -1 $ 또는 $ a \to \infty $ 등의 극한 경우에서 알려진 결과로 축소되는가를 보일 수 있는가?

주요 결과

• 라그에르 직교 군집($ \beta = 1 $)에서 가장 작은 고유값에 대한 누적 분포 함수는 $ \Big{(}E_{1}^{\rm h}(0;(0,s);(a-1)/2)\Big{)}^{2} = E_{2}^{\rm h}(0;(0,s);a) \exp\Big{(}-\int_{0}^{s} \frac{((tR_{\rm h}(t))^{\prime})^{1/2}}{\sqrt{t}} dt\Big{)} $ 로 주어지며, 여기서 $ E_{2}^{\rm h} $ 는 유니타리 경우의 분포이다.
• 라그에르 심플렉틱 군집($ \beta = 4 $)의 경우 분포는 $ \Big{(}E_{4}^{\rm h}(0;(0,s);a+1)\Big{)}^{2} = E_{2}^{\rm h}(0;(0,s);a) \cosh^{2}\Big{(}{1\over 2}\int_{0}^{s} \frac{((tR_{\rm h}(t))^{\prime})^{1/2}}{\sqrt{t}} dt\Big{)} $ 로 주어지며, 이는 유니타리 경우에 하이퍼볼릭余弦 보정을 포함한다.
• $ a \to \infty $ 극한에서, LOE 및 LSE의 하드 에지 분포는 가우시안 군집의 소프트 에지 분포로 수렴하며, 이는 알려진 渐近적 결과와의 일치성을 확인한다.
• 유니타리 경우에 대한 페인레베 V 초월함수 해는 $ \beta = 1 $ 및 $ \beta = 4 $ 로 확장되었으며, 동일한 초월함수가 세 가지 고전 군집의 가장 작은 고유값 분포를 모두 지배한다.
• 유도된 표현식은 알려진 결과 $ E_{2}^{\rm h}(0;(0,s);a) = \exp\Big{(}-\int_{0}^{s} R_{\rm h}(t) dt\Big{)} $ 와 일치함을 검증하였으며, 여기서 $ R_{\rm h}(t) $ 는 페인레베 III 방정식를 만족한다.
• $ a \to -1^{-} $ 근처의 해의 渐近적 행동은 알려진 닫힌 형태 표현식 $ E_{2}^{\rm h}(0;(0,s);a) = e^{-s/8} \cosh(\sqrt{s}/2) $ 와 일치하며, 이는 극한 경우의 타당성을 검증한다.