[논문 리뷰] Critical Multi-Type Galton-Watson Trees Conditioned to be Large

Romain Abraham, Jean‐François Delmas외 1명|arXiv (Cornell University)|2015. 11. 05.

Stochastic processes and statistical mechanics참고 문헌 16인용 수 3

한 줄 요약

이 논문은 평균 행렬이 원시적이고 점점 커지는 총 후손 수 조건 하에 비판적 다중 유형 갈튼-워슨 트리의 국소 수렴을 최소 조건 하에 다중 유형 킬스의 트리로 보여준다. 다항도 무작위 보행의 일반화된 네비우의 강한 비율 극한 정리와 다중 유형 드와스 공식을 활용하여, 저자들은 평균 행렬이 원시적이고 점점 커지는 유형 비율이 정규화된 왼쪽 페로-프로베누스 고유벡터와 일치할 때 수렴을 증명한다.

ABSTRACT

Under minimal condition, we prove the local convergence of a critical multi-type Galton-Watson tree conditioned on having a large total progeny by types towards a multi-type Kesten's tree. We obtain the result by generalizing Neveu's strong ratio limit theorem for aperiodic random walks on Z^d .

연구 동기 및 목표

• 크리티컬 다중 유형 갈튼-워슨 트리가 큰 총 후손 수 조건 하에 국소적으로 다중 유형 킬스의 트리로 수렴하는 데 필요한 최소 조건을 확립하는 것.
• 일차원에서 다항도 무작위 보행 ℤ^d에 대해 네비우의 강한 비율 극한 정리를 d차원으로 일반화하는 것.
• d차원 무작위 보행을 사용하여 다중 유형 갈튼-워슨 숲에 대한 드와스 공식을 일반화하는 것.
• 최소한의 모멘트 가정 하에 다중 유형 설정에서 국소 수렴에 대한 필요 및 충분 조건을 제공하는 것.
• 응집 현상이 없을 경우, 특히 지수 모멘트를 요구하지 않는 큰 총 후손 수 조건에 대한 열린 문제를 다루는 것.

제안 방법

• 균일 국소 극한 정리들을 사용하여, ℤ^d 위의 d차원 비주기적 무작위 보행에 대해 네비우의 강한 비율 극한 정리를 일반화한다.
• 비판적 다중 유형 갈튼-워슨 숲을 d차원 무작위 보행을 통해 표현하기 위해 드와스 공식의 다중 유형 확장 적용.
• 라그랑지-라플라스 변환과 볼록 해석학을 사용하여 무작위 보행 증분의 점점 커지는 행동을 분석한다.
• d차원 국소 극한 정리를 사용하여 무작위 보행의 국소 확률의 균일 수렴을 확립한다.
• 평균 이동에서 벗어나지 않는 경로의 상대적 가능성에 대한 경계를 통해 강한 비율 극한 성질을 증명한다.
• 자기 분포의 경험적 측도가 페로-프로베누스 고유벡터로 수렴함으로써 점점 커지는 유형 비율이 올바르게 유지됨을 보장한다.

실험 결과

연구 질문

• RQ1 크리티컬 다중 유형 갈튼-워슨 트리가 큰 총 후손 수 조건 하에 국소적으로 다중 유형 킬스의 트리로 수렴하는 데 필요한 최소 조건은 무엇인가?
• RQ2 비주기적 분포에 대해, 일차원에서의 강한 비율 극한 정리를 ℤ^d 위의 d차원 무작위 보행으로 일반화할 수 있는가?
• RQ3 평균 행렬의 페로-프로베누스 고유벡터는 조건화된 트리의 점점 커지는 유형 비율을 결정하는 데 어떤 역할을 하는가?
• RQ4 후손 분포에 지수 모멘트를 가정하지 않고도 국소 수렴을 달성할 수 있는가?
• RQ5 일반화된 드와스 공식은 다중 유형 트리 크기의 공동 분포를 어떻게 무작위 보행 경로로 표현하는가?

주요 결과

• 평균 행렬이 원시적이고 점점 커지는 유형 비율이 정규화된 왼쪽 페로-프로베누스 고유벡터와 일치할 경우, 큰 총 후손 수 조건 하에 비판적 다중 유형 갈튼-워슨 트리의 국소 극한은 다중 유형 킬스의 트리가 된다.
• 비주기적 분포에 대해 d차원 무작위 보행에 대한 강한 비율 극한 정리가 확립되었으며, 네비우의 일차원 결과를 일반화한다.
• 증명은 동일한 분포를 가진 정수값을 가진 무작위 벡터에 대한 d차원 국소 극한 정리의 균일한 형태에 의존한다.
• 수렴은 최소한의 조건에서 성립한다: 평균 행렬의 존재성과 후손 분포의 비주기성.
• 저자들은 일반 볼록 해석학 프레임워크 내에서 라그랑지-라플라스 변환과 그 성질에 대한 새로운 특성화를 제공한다.
• 이전의 페니송 및 스테프슨의 작업을 확장하여, 비주기성 조건 하에서 고차 모멘트나 지수 모멘트 조건을 제거함으로써 이러한 가정을 제거하였다.