소프트와 하드 엣지에서 고전 Gaussian·Laguerre 군집의 밀도 확장과 적분가능 구조

본 논문은 Gaussian 및 Laguerre 무작위 행렬 군집의 소프트 엣지와 하드 엣지에서의 고차 밀도 전개를 새로운 관점에서 재조명한다. 서론에서는 Gaussian(GOE, GUE, GSE)과 Laguerre(LOE, LUE, LSE) 군집의 기본 확률밀도식(1.1), (1.2)을 소개하고, Bornemann이 최근 밝혀낸 소프트 엣지에서의 적분가능 구조와 그 확장성을 요약한다. 특히, Bornemann은 N→∞ 극한에서 소프트 엣지 스케일링 변수 y에 대해 N^{-2/3} 전개가 존재하고, 각 보정항이 ξ‑독립 다항식‑가중 미분 연산자를 통해 기본 Airy 기반 밀도에 작용한다는 점을 보였다. 저자들은 이러한 결과를 스칼라 선형 미분 방정식 접근법으로 대체한다. Gaussian 군집의 경우, GUE는 차수 3의 미분 방정식(1.19)을 만족하고, GOE·GSE는 차수 5의 방정식을 만족한다. Laguerre 군집 역시 동일한 차수의 방정식을 갖으며, β에 따라 차수가 2β+1이 된다. 이러한 방정식은 N에 대한 역거듭제곱 전개가 가능하다는 가정 하에, 동차 부분과 비동차 부분으로 나뉜다. 비동차 부분은 이전 단계의 해에 다항식 가중 미분 연산자를 적용한 형태이며, 이는 Bornemann이 제시한 구조와 일치한다. 소프트 엣지 스케일링을 적용하면, Gaussian 군집에서는 Airy 함수와 Painlevé II 해 q(x;ξ)를 이용해 기본 밀도 ρ_s(y)와 그 보정항 ρ_{1,s}, ρ_{2,s}를 명시적으로 도출한다. 특히, (1.14)–(1.17)에서 보인 바와 같이, ρ_{j,s}는 d/dy·\tilde D_j·ρ_s 형태이며, \tilde D_j는 차수 j의 다항식 미분 연산자이다. β=6인 경우에도 동일한 7차 미분 방정식이 존재함을 확인하여, β가 짝수 배수인 경우에도 적분가능 구조가 유지됨을 제시한다. Laguerre 군집의 소프트 엣지에서는 β에 따라 N′=N+(β−2)/β 로 스케일을 보정하고, Airy 기반 전개가 그대로 적용된다. 하드 엣지에서는 Bessel 함수 J_a와 그 변형을 이용해 기본 밀도와 보정항을 구성한다. LUE(β=2)에서는 2차 보정항을 구체적으로 계산하고, LOE·LSE(β=1,4)에서는 1차 보정만이 존재함을 확인한다. 이때 보정항은 Bessel 기반 초월함수들의 다항식 조합으로 표현된다. 논문은 또한 전역 스케일링된 밀도에 대한 차수 3·5 미분 방정식(1.19)과 그 변형을 제시하고, Stieltjes 변환을 이용한 해석적 접근을 논한다. 비동차 방정식의 해는 동차 해의 선형 결합이 없으며, 이는 보정항이 순수히 비동차 항에서만 유도된다는 중요한 특성을 보여준다. 이를 통해 컴퓨터 대수 시스템을 활용한 자동 전개가 가능함을 시연한다. 마지막으로, 저자들은 본 접근법이 기존 적분표현보다 계산 효율성이 높고, 고차 보정까지 체계적으로 확장 가능함을 강조한다. β=6 사례를 포함한 결과는 고전 β‑군집 전반에 걸친 보편적 적분가능성을 시사하며, 향후 β가 임의의 실수값을 갖는 일반화된 β‑군집에 대한 연구 가능성을 열어준다. 전체적으로, 스칼라 미분 방정식 기반 분석이 소프트·하드 엣지에서의 밀도 전개와 적분가능 구조를 명확히 밝히는 강력한 도구임을 입증한다.