다중 푸아송 디리클레 확산과 일반화 킹맨 심플렉스

본 논문은 “다중 푸아송 디리클레 확산”이라는 새로운 무한 차원 마코프 과정의 이론적 구축과 그 성질을 체계적으로 제시한다. 연구는 크게 네 부분으로 전개된다. 1. **배경 및 동기** 기존의 무한‑다중 중립 대립 모델은 하나의 마크(색)만을 고려하고, 그 상대 빈도는 Kingman 심플렉스 ∇ 위의 푸아송‑디리클레 확산 PD(θ) 로 기술된다. Borodin‑Olshanski와 Olshanski는 두 마크 경우를 다루는 Thoma 심플렉스 T 를 도입했지만, 마크 수가 일반적인 H≥1인 경우는 아직 연구되지 않았다. 실제 유전학·생물학에서는 하나의 유전자 내 변이가 여러 기능적 클래스(마크)로 구분되는 상황이 빈번하며, 베이지안 통계에서도 다중 디리클레 사전이 필요하다. 따라서 “마크별로 무한히 많은 유형이 존재하고, 마크 내부는 라벨이 없으며, 마크 간에는 질량 교환이 존재한다”는 구조를 모델링할 필요가 있다. 2. **유한 차원 Wright‑Fisher 확산의 스큐‑프로덕트 분해** 저자들은 H개의 마크와 각 마크당 K개의 유형을 가진 H·K‑type WF 확산 B_K 를 정의한다(식 1.7). 이 확산은 두 가지 진화 메커니즘(무작위 재샘플링과 마크별 독립 변이)으로 구성된다. 핵심 아이디어는 Dirichlet 분포의 자기유사성(정리 2.1)을 이용해, 전체 질량 벡터 W_K와 각 마크 내부 비율 X_{K,h} 로 자연스럽게 분해한다. 구체적으로, W_K는 H‑type WF 확산이며, X_{K,h}는 K‑type WF 확산이다. 하위 과정은 상위 과정의 질량 경로에 의해 시간 스케일이 변하는데, 이는 1/W_{K,h}(s) 만큼의 랜덤 시간 변환으로 표현된다(식 1.9). 이 구조는 기존의 단일 스큐‑프로덕트(예: Wright‑Fisher와 Bessel 과정)와 달리 다중 파라미터 시간 변환을 도입한다는 점에서 기술적으로 새롭다. 3. **무한 차원 한계와 생성자** K→∞ 한계에서 각 마크별 유형 수가 무한히 많아지면, X_{K,h}는 기존 푸아송‑디리클레 확산으로 수렴한다. 동시에, W_K는 그대로 H‑차원 WF 확산으로 남아 마크 질량을 조절한다. 이를 통해 얻어진 한계 과정 Z는 일반화 킹맨 심플렉스 K_H = {z^1,…,z^H}⊂