Central Limit Theorem for continuous $N$-particle systems in fixed- and high-temperature: single level

기술 요약: 고정 및 고온에서의 연속 $N$-입자 계에 대한 중심한계정리

문제 정의
본 논문은 $\mathbb{R}$ 상의 연속 $N$-입자 계에 대한 다항 선형 통계량(polynomial linear statistics)의 중심한계정리(CLT) 특성을 규명한다. 연구는 두 가지 구별된 점근적 영역을 다룬다:

1. 고정 온도(Fixed-temperature): 역온도 파라미터 $\theta = \beta/2 > 0$가 고정된 상태에서 $N \to \infty$인 경우.
2. 고온(High-temperature): $N$이 커짐에 따라 상호작용이 약해지는 경우로, $\theta_N \to 0$ 이고 $N\theta_N \to \gamma > 0$를 만족한다.

이 시스템들은 자크 파라미터(Jack parameter) $\theta$와 연관된 다변량 베셀 함수(multivariate Bessel function)인 베셀 생성 함수(BGF), $G_{N,\theta}(\vec{x}) = \mathbb{E}_{\mu_N}[B_{\vec{a}}(\vec{x}; \theta)]$를 통해 모델링된다. 목표는 로그 BGF의 계수를 통해 CLT가 성립하기 위한 필요충분조건을 결정하고, 극한 공분산에 대한 명시적인 조합론적 공식을 유도하는 것이다.

방법론
증명 전략은 연산자 이론적 모멘트 추출과 다변량 베셀 함수의 위상적 전개(topological expansion)를 결합한다.

1. 던클 연산자(Dunkl Operators) 및 모멘트 추출:
   저자는 BGF로부터 모멘트를 추출하기 위해 던클 연산자 $D_i$를 활용한다. BGF의 로그인 $\log G_{N,\theta}$에 이 연산자들을 적용함으로써, 다항 관측량의 공분산은 가중치가 부여된 구성(configurations)들의 합으로 표현된다. 이러한 구성들은 변수들 사이의 차수 분포를 추적하는 **블록 함수(block functions)**를 갖춘 루카시에비치 경로(Lukasiewicz paths)(특정 단계 제약이 있는 무작위 보행)로 모델링된다.

• 고정 온도 영역에서는 리딩 오더 항들이 상쇄되며, 공분산는 대수의 법칙(LLN)에는 보이지 않는 기여들에 의해 결정된다.
• 분석은 경로에 작용하는 특정 연산자 유형(Type II 및 Type V)의 개수에 기초하여, 구성들을 "1차(first-order)"(1차 자유 큐뮬런트만을 포함)와 "2차(second-order)"(2차 자유 큐뮬런트를 포함)로 분류하는 과정을 포함한다.

2. 위상적 전개:
   "필요성(only if)" 방향을 확립하고 고차 큐뮬런트의 소멸을 증명하기 위해, 본 논문은 $\log B_{\vec{a}}(\vec{x}; \theta)$의 위상적 전개를 사용한다. 자크 급수 항등식(Chapuy–Dołęga)으로부터 유도된 이 전개는 로그를 표면에 임베딩된 콘스텔레이션(constellations)(리본 그래프)에 대한 합으로 표현한다.

• 각 항은 기저 곡면의 종수(genus) $g$와 비가향성 통계량 $\nu_\rho$를 포함하는 인자에 의해 가중치가 부여된다.
• 고정 온도: 스케일링에 의해 종수가 0인(평면적) 콘스텔레이션만이 리딩 오더에 기여한다.
• 고온: $N\theta \to \gamma$ 스케일링은 종수 의존적 인자의 가중치를 변화시켜, 임의의 높은 종수의 기여가 극한에서도 살아남을 수 있게 한다.

3. 조합론적 식별:
   본 논문은 루카시에비치 경로 구성과 비가교 환형 순열(non-crossing annular permutations) 및 2차 비가교 환형 분할(second-order non-crossing annular partitions)과 같은 자유 확률론의 고전적 조합론적 대상 사이의 전단사(bijection)를 확립하여, 새로운 공식들을 기존 문헌과 연결한다.

주요 기여 및 결과

1. 필요충분조건:
   본 논문은 로그 BGF의 계수 $c_\lambda$의 점근적 거동에 기반하여 두 영역 모두에서 CLT에 대한 정밀한 기준을 제공한다:

• 고정 온도: $\ell(\lambda) \ge 3$일 때 $c_\lambda \to 0$; 일행(one-row) 계수는 $N^{-1}c_{(d)} \to \theta^{1-d}\kappa_d$로 스케일링됨; 이행(two-row) 계수는 $c_{(r,s)} \to \theta^{1-r-s}\kappa_{r,s}$로 스케일링됨.
• 고온: $\ell(\lambda) \ge 3$일 때 $N^{\ell(\lambda)/2}c_\lambda \to 0$; 일행 계수는 $d \cdot c_{(d)} \to \kappa^\gamma_d$로 스케일링됨; 이행 계수는 $N(1 + 1_{r=s})rs \cdot c_{(r,s)} \to \kappa^\gamma_{r,s}$로 스케일링됨.
  여기서 $\kappa$와 $\kappa^\gamma$는 각각 1차 자유 큐뮬런트와 2차 자유(또는 $\gamma$-) 큐뮬런트를 나타낸다.

2. 명시적 공분산 공식:
   극한 공분산는 큐뮬런트를 사용하여 다음과 같이 명시적으로 표현된다:

• 고정 온도: 공분산는 두 부분의 합이다: 경로 통계량($A(E)B(E)C(E)$)에 의해 가중치가 부여된 1차 큐뮬런트들의 곱을 포함하는 항, 그리고 2차 큐뮬런트를 포함하는 항. 이 공식은 $1/\theta$ 인자를 제외하면 고전적인 2차 자유 모멘트-큐뮬런트 관계(Collins–Mingo–Speicher)를 회복한다.
• 고온: 2차 자유 $\gamma$-큐뮬런트를 포함하는 새로운 공식이 유도된다. 공분산는 경로의 하향 단계(down-steps) 수와 $\gamma$의 거듭제곱에 의해 가중치가 부여된 구성들의 합이다.

3. 위상적 해석:
   본 연구는 두 영역에 대한 뚜렷한 위상적 구조를 드러낸다:

• 고정 온도에서는 극한이 엄격하게 종수 0(평면적) 기여에 의해 지배된다.
• 고온에서는 임의의 높은 종수의 기여가 포함되며, 이는 새로운 $\gamma$-큐뮬런트에 대한 위상적 해석을 제공한다.

4. 응용:

• $\beta$-덧셈($\beta$-addition): 본 논문은 $\beta$-덧셈($N$-입자 계의 BGF 곱으로 정의된 이진 연산)이 두 영역 모두에서 CLT를 보존함을 증명한다. 합의 극한 큐뮬런트는 입력 큐뮬런트들의 합이다.
• 특정 앙상블: 이 이론은 가우시안 및 라게르 $\beta$-앙상블에 적용되어, 명시적인 고온 CLT와 극한 공분산을 도출한다.
• 전이(Transition): $\gamma \to \infty$일 때 고온 공분산에서 고정 온도 대응물로의 재스케일링된 전이가 확립된다.

의의
본 논문은 특정 로그 가스 밀도를 넘어 BGF에 기반한 일반적인 프레임워크로 이동함으로써, 온도 영역 전반에 걸친 랜덤 행렬 앙상블의 변동 이론을 통합한다고 주장한다.

• 고정 온도 영역의 2차 자유성을 고온 영역으로 확장하여, $\gamma$-합성( $\gamma$-convolution)을 선형화하는 2차 자유 $\gamma$-큐뮬런트를 도입하였다.
• 환형 비가교 분할에 의존하지 않고 루카시에비치 경로를 사용하는 조합론적 기술을 제공하며, 이는 고온 스케일링을 자연스럽게 수용하는 다른 관점을 제시한다.
• 위상적 전개는 고정 온도와 고온의 구분이 무엇이 지배적인지에 따른 문제임을 보여줌으로써, 고전적 행렬 모델과 일반적인 연속 입자 계 사이의 간극을 메우는 통합된 뷰를 제공한다.

본 결과는 특정 무작위 행렬 모델의 고윳값을 가정하지 않고도, 특정 BGF 계수의 수렴과 전역적 관측량의 가우시안 변동 사이의 동등성을 확립함으로써 CLT에 대한 엄밀한 특성화를 제시한다.