[논문 리뷰] Amplifiers and Suppressors of Selection for the Moran Process on Undirected Graphs

George Giakkoupis|arXiv (Cornell University)|2016. 11. 05.

Game Theory and Applications참고 문헌 31인용 수 15

한 줄 요약

이 논문은 모란 과정에서 선택의 강한 확산자 또는 억제자를 작용하는 무방향 그래프의 첫 번째 알려진 예를 제시하며, 그래프 크기가 증가함에 따라 고정 확률이 1 또는 0에 가까워질 수 있음을 보여준다. 이 구성은 간단하지만 증명 가능한 최적성을 갖추고 있으며, 확산자는 고정 확률 $1 - \tilde{O}(n^{-1/3})$를 달성하고, 억제자는 $\tilde{O}(n^{-1/4})$를 달성한다. 이는 오랫동안 무방향 그래프에 이러한 그래프가 존재하지 않는다는 믿음이 잘못되었음을 반박한다.

ABSTRACT

We consider the classic Moran process modeling the spread of genetic mutations, as extended to structured populations by Lieberman et al.\ (Nature, 2005). In this process, individuals are the vertices of a connected graph $G$. Initially, there is a single mutant vertex, chosen uniformly at random. In each step, a random vertex is selected for reproduction with a probability proportional to its fitness: mutants have fitness $r>1$, while non-mutants have fitness 1. The vertex chosen to reproduce places a copy of itself to a uniformly random neighbor in $G$, replacing the individual that was there. The process ends when the mutation either reaches fixation (i.e., all vertices are mutants), or gets extinct. The principal quantity of interest is the probability with which each of the two outcomes occurs. A problem that has received significant attention recently concerns the existence of families of graphs, called strong amplifiers of selection, for which the fixation probability tends to 1 as the order $n$ of the graph increases, and the existence of strong suppressors of selection, for which this probability tends to 0. For the case of directed graphs, it is known that both strong amplifiers and suppressors exist. For the case of undirected graphs, however, the problem has remained open, and the general belief has been that neither strong amplifiers nor suppressors exist. In this paper we disprove this belief, by providing the first examples of such graphs. The strong amplifier we present has fixation probability $1- ilde O(n^{-1/3})$, and the strong suppressor has fixation probability $ ilde O(n^{-1/4})$. Both graph constructions are surprisingly simple. We also prove a general upper bound of $1- ilde Ω(n^{-1/3})$ on the fixation probability of any undirected graph. Hence, our strong amplifier is existentially optimal.

연구 동기 및 목표

• 무방향 그래프에서 강한 선택 확산자 또는 억제자가 존재하는지 여부에 대한 열린 문제를 해결하여, 이러한 그래프가 존재하지 않는다는 지배적인 믿음을 도전한다.
• 모란 과정 하에서 극단적인 고정 확률을 보이는 명시적이고 단순한 무방향 그래프 가족을 구축한다.
• 무방향 그래프에 대한 고정 확률에 대한 날카운 이론적 경계를 수립하고, 제안된 확산자의 존재적 최적성을 증명한다.
• 이러한 구조가 진화 역학에 미치는 영향을 탐구하며, 체세포 진화 및 사회적 영향력 확산 응용을 포함한다.

제안 방법

• 강한 확산자를 위해 계층적 정점 그룹화와 제어된 연결성을 사용하는 새로운 무방향 그래프 구성 기법을 설계하여 돌연변이의 고정을 유도한다.
• 연결성을 수정하여 돌연변이의 확산을 격리하고 제한함으로써 보완적인 억제자 그래프를 구성한다.
• 충돌 시간에 대한 확률적 분석과 경계를 사용하여 고정 확률을 추정하며, 정점 가중치와 이웃 구조의 조화 평균에 의존한다.
• 정점 기여의 합에 대한 오차 항을 제어하기 위해 농도 경계와 尾 확률 추정을 적용한다.
• 대칭성과 균일한 랜덤 초기화를 활용하여 단일 돌연변이 시작 시의 집합 고정 확률 $\rho_G(r)$를 유도한다.
• 모든 무방향 그래프에 대해 고정 확률에 대한 상한 $1 - \tilde{\Omega}(n^{-1/3})$을 증명하여, 확산자가 존재적으로 최적임을 보여준다.

실험 결과

연구 질문

• RQ1 무방향 그래프에서 모란 과정에 대해 강한 선택 확산자가 존재하는가?
• RQ2 이전의 믿음과는 달리, 무방향 그래프에서 강한 선택 억제자를 구성할 수 있는가?
• RQ3 무방향 그래프에 대한 고정 확률의 이론적 한계는 무엇이며, 이를 달성할 수 있는가?
• RQ4 그래프 구조와 연결성은 구조적 집단에서 고정 역학에 어떻게 영향을 미치는가?
• RQ5 간단하고 해석 가능한 그래프 가족은 근사 최적의 고정 행동을 달성할 수 있는가?

주요 결과

• 무방향 그래프에서 선택의 강한 확산자를 처음으로 명시적으로 제안하며, 고정 확률은 $1 - \tilde{O}(n^{-1/3})$이다.
• 선택의 강한 억제자를 고정 확률 $\tilde{O}(n^{-1/4})$로 구성하여, 무방향 케이스에서 이러한 그래프가 존재한다는 것을 증명한다.
• 제안된 확산자는 점근적으로 최적의 고정 확률을 달성하며, 이는 이론적 상한 $1 - \tilde{\Omega}(n^{-1/3})$과 일치한다.
• 분석은 무방향 그래프에서 선택의 확산과 억제가 모두 가능하다는 것을 확인하며, 이는 이전의 가정을 뒤집는다.
• 구성은 놀랄 정도로 단순하여 실제 진화나 사회 네트워크에 대한 관련성을 시사한다.
• 결과는 네트워크 구조가 구조적 집단에서 유리한 특성의 고정을 촉진하거나 억제하도록 설계될 수 있음을 암시한다.