Universal Central Limit Theorem for non-exchangeable interacting diffusions

기술 요약: 비교환적 상호작용 확산 과정에 대한 보편적 중심 극한 정리

문제 정의
본 논문은 다음과 같은 확률 미분 방정식(SDE)에 의해 제어되는 $n$개의 상호작용하는 확산 과정 $(X^1, \dots, X^n)$의 대규모 $n$ 거동을 조사한다:
$$dX^i_t = \left( b_0(t, X^i_t) + \sum_{j=1}^n \xi_{ij} b(t, X^i_t, X^j_t) \right) dt + \sigma dB^i_t,$$
여기서 $\xi = (\xi_{ij})$는 비음수 성분을 가지며 대각 성분이 0인 결정론적 상호작용 행렬이다. 이러한 비교환적 시스템에 대해 "대수의 법칙" 레짐(카오스의 전파)은 특히 엠피리컬 측도(empirical measure)가 맥키인-블라보프(McKean-Vlasov) 극한으로 수렴하는 것과 관련하여 광범위하게 연구되어 왔으나, 이러한 이질적인 상호작용 구조에서 발생하는 *변동(fluctuations)*의 거동은 여전히 덜 이해되어 있다.

본 연구가 다루는 핵심 질문은, 전역 변동장(global fluctuation field) $\eta^n_t := \sqrt{n}(\mu^n_t - \mu_t)$ (여기서 $\mu^n_t$는 엠피리컬 측도이고 $\mu_t$는 결정론적 극한이다)가 고전적인 교환 가능한 평균장(mean-field) 사례(즉, $\xi_{ij} = 1/(n-1)$인 경우)와 동일한 가우시안 극한으로 수렴하는지 여부이다. 구체적으로, 저자들은 상호작용 행렬 $\xi$가 어떤 조건 하에서 $\eta^n$이 선형 확률 편미분 방정식(SPDE)의 유일한 해로 수렴하는지를 규명하고자 한다.

방법론
증명은 주로 분포적 성격을 다루기 위해 음의 소볼레프 공간(negative Sobolev spaces) $H^{-k}$ 내에서 수행되는 "타이트니스-극한-유일성(tightness-limit-uniqueness)" 전략을 따른다.

1. 타이트니스(Tightness): 저자들은 공간 $C([0, T]; H^{-k})$에서 수열 $(\eta^n)_{n \in \mathbb{N}}$의 타이트니스를 확립한다. 이는 다음을 통해 달성된다:

   • 푸리에 분석과 균등 가중 $H^1$ 유계성을 이용한 시간 마진할(time marginals)의 타이트니스 증명.
   • 경로 공간에서의 타이트니스를 위한 알도우스(Aldous) 기준 검증.
   • 결정적으로, 저자들은 정량적 카오스의 전파 추정치(Shkolnikov [58]로부터)와 함수적 부등식(포앙카레 및 수송 부등식)을 결합하여 변동장의 분산을 제어한다. 이들은 변동 쌍의 2차 모멘트를 분산 항(포앙카레 부등식에 의해 제어됨)과 편향(bias) 항(입자 법칙과 맥키인-블라보프 극한 사이의 상대 엔트로피에 의해 제어됨)으로 분해한다.

2. 수렴(극한의 식별): 부분적 극한을 대상 SPDE의 해로 식별하기 위해, 테스트 함수 $\phi$에 대한 $\langle \eta^n_t, \phi \rangle$의 준마팅게일 분해(semimartingale decomposition)를 분석한다.

   • 마팅게일 부분은 이차 변동량(quadratic variation)에 의해 특징지어지는 가우시안 노이즈 항으로 수렴한다.
   • 드리프트(drift) 항은 선형화된 맥키인-블라보프 연산자를 포함한다. 여기서 중요한 기술적 난제는 드리프트의 계수들이 유계이지만 무한대에서 반드시 감소하지 않는다는 점이며, 동시에 $\eta^n$의 수렴은 가중되지 않은 공간 $H^{-k}$에서만 일어난다는 것이다.
   • 이를 해결하기 위해 저자들은 컷오프(cutoff) 논법을 사용한다: 즉, 가중되지 않은 수렴이 성립하는 컴팩트 집합 위에서 테스트 함수를 국소화하고, 베셀 커널(Bessel kernel)의 특성과 수송 부 inequality로부터 유도된 균등 가중 모멘트 추정치를 사용하여 꼬리 부분을 제어한다.
   • 또한, $\xi$의 이질성으로 인해 발생하는 오차 항들이 지정된 조밀성 조건 하에서 극한에서도 소멸함을 보인다.

3. 유일성: 본 논문은 대상 SPDE의 경로적 유일성(pathwise uniqueness)을 증명한다. 동일한 노이즈에 의해 구동되는 두 해 $\delta_t = \eta_t - \eta'_t$를 고려할 때, 노이즈 항은 서로 상쇄되어 결정론적 선형 방정식을 남긴다. 저자들은 가중된 음의 소볼레프 노름에서 에너지 부등식을 유도하고, 그레온월(Gronwall) 부등식을 적용하여 $\delta_t \equiv 0$임을 보인다.

주요 가정 및 조건
주요 결과는 다음을 포함하는 가정 2.1을 만족하는 상호작용 행렬 $\xi$에 대해 성립한다:

• 행 합(Row Sums): 모든 $i$에 대해 $\sum_j \xi_{ij} = 1$.
• 열 합(Column Sums): 유계된 열 합을 가지며, 제곱 열 합의 평균이 1로 수렴함.
• 조밀성 임계치(Denseness Threshold): 행렬 성분은 특정 붕괴 조건을 만족해야 한다. 가장 결정적인 조건은 $\xi$의 최댓값이 $o(n^{-1/2})$여야 한다는 것이다. 구체적으로, $\frac{1}{n^{3/2}} (\sum_{i,j} |\tilde{\xi}_{ij}|) \max_{i,j} \xi_{ij} \to 0$ 조건이 필요하며, 여기서 $\tilde{\xi}$는 평균장 사례로부터의 편차를 포착한다.
• 정칙성(Regularity): 상호작용 함수 $b_0$와 $b$는 $k+1$차까지의 유계된 도함수를 가져야 한다.

주요 결과
본 논문은 보편적 중심 극한 정리(정리 2.4)를 확립한다:

• 상기 명시된 $\xi$의 구조적 및 조밀성 조건 하에서, 변동장 $\eta^n$은 $C([0, T]; H^{-k})$에서 유일한 가우시안 과정 $\eta$로 분포 수렴한다.
• 이 극한 $\eta$는 다음의 선형 SPDE의 유일한 해이다:
  $$\partial_t \eta_t = \frac{\sigma^2}{2} \Delta \eta_t - \nabla \cdot (b_0 \eta_t) - \nabla \cdot \left( \eta_t \int b(\cdot, y) \mu_t(dy) \right) - \nabla \cdot \left( \mu_t \int b(\cdot, y) \eta_t(dy) \right) - \sigma \nabla \cdot (\sqrt{\mu_t} \dot{W}),$$
  이는 교환 가능한 평균장 사례에서의 변동 극한과 동일하다.
• 이 결과는 다음의 경우에 적용된다:
  • $m_n / \sqrt{n} \to \infty$인 $m_n$-정규 그래프의 스케일링된 인접 행렬.
  • $n p_n / \sqrt{n} \to \infty$인 에르도스-레니(Erdős–Rényi) 그래프 $G(n, p_n)$ (준결정적(quenched) 의미에서).
  • 아임계(subcritical) 영역($\alpha < 1/2$)에서의 공간적 상호작용 모델.

의의 및 날카로움(Sharpness)
본 논문은 상호작용 행렬의 $n^{-1/2}$ 임계치가 **날카롭다(sharp)**고 주장한다.

• 공간적 상호작용 모델(상호작용 강도가 $|x_i - x_j|^{-\alpha}$로 감소하는 경우)의 맥락에서, $\max \xi_{ij} \sim n^{\alpha-1}$이라는 조건은 $n^{-1/2}$ 임계치가 $\alpha < 1/2$에 대응함을 의미한다.
• 저자들은 임계(supercritical) 영역($\alpha > 1/2$)에서 $\sqrt{n}$으로 스케일링된 변동이 발산하며, 다른 스케일링($n^{1-\alpha}$)이 가우시안이 아닌 결정론적 극한을 이끌어낸다는 점을 언급한다.
• 가우시안 극한의 보편성은 상호작용 그래프가 충분히 조밀하다면(즉, 상호작용 강도가 단일 쌍에 너무 집중되지 않는다면), 미시적 이질성이 거시적 변동 통계에 영향을 미치지 않으며, 시스템이 마치 완전히 교환 가능하게 행동한다는 것을 보여줌으로써 중요하다.

결론
본 연구는 광범위한 비교환적 확산 과정으로 고전적인 평균장 상호작용 확산의 변동 이론을 확장한다. 양적 카오스의 전파와 함수적 부등식, 그리고 가중된 소볼레프 공간에서의 정밀한 분석을 결합함으로써, 저자들은 상호작용 행렬이 특정 조밀성 조건을 만족하는 한 가우시안 변동 극한의 보편성이 유지됨을 증명하였으며, 이는 공간 모델에 대해 최적임이 밝혀졌다.