[논문 리뷰] On the Constant Price of Anarchy Conjecture

Carme Àlvarez, Arnau Messegué|arXiv (Cornell University)|2018. 09. 21.

Game Theory and Applications참고 문헌 12인용 수 8

한 줄 요약

이 논문은 모든 직경이 일정한 $D_\epsilon$보다 큰 나시 균형이 트리임을 보여줌으로써, 임의의 상수 $\epsilon > 0$에 대해 $\alpha > n(1 + \epsilon)$일 때 네트워크 생성 게임에서 가격의 불균형(poa)이 일정함을 증명한다. 주요 기여는 이전의 한계를 초월하여 더 넓은 범위에서 일정한 poa를 확장한 것으로, 직경이 큰 그래프에서 이중연결 성분과 중심 거리 기반의 이탈 분석을 정교하게 적용하였다.

ABSTRACT

We study Nash equilibria and the price of anarchy in the classic model of Network Creation Games introduced by Fabrikant et al. In this model every agent (node) buys links at a prefixed price $α> 0$ in order to get connected to the network formed by all the $n$ agents. In this setting, the reformulated tree conjecture states that for $α> n$, every Nash equilibrium network is a tree. Moreover, Demaine et al. conjectured that the price of anarchy for this model is constant. Since it was shown that the price of anarchy for trees is constant, if the tree conjecture were true, then the price of anarchy would be constant for $α> n$. Up to now it has been proved that the \PoA is constant $(i)$ in the \emph{lower range}, for $α= O(n^{1-δ})$ with $δ\geq \frac{1}{\log n}$ and $(ii)$ in the \emph{upper range}, for $α> 4n-13$. In contrast, the best upper bound known for the price of anarchy for the remaining range is $2^{O(\sqrt{\log n})}$. In this paper we give new insights into the structure of the Nash equilibria for $α> n$ and we enlarge the range of the parameter $α$ for which the price of anarchy is constant. Specifically, we prove that the price of anarchy is constant for $α> n(1+ε)$ by showing that every equilibrium of diameter greater than some prefixed constant is a tree.

연구 동기 및 목표

• 네트워크 생성 게임에서 더 넓은 $\alpha$ 범위에 대해 일정한 가격의 불균형 추측을 해결하기 위해.
• 이전 결과를 초월하여 가격의 불균형이 알려진 일정한 범위로 $\alpha$의 범위를 연장하기 위해.
• $\alpha > n(1 + \epsilon)$일 때, 충분히 큰 직경을 가진 모든 나시 균형은 트리여야 한다는 것을 증명하기 위해.
• 이중연결 성분과 그 차수 상한을 분석하여 나시 균형의 구조적 이해를 강화하기 위해.

제안 방법

• 비트리 균형의 직경에 따라 의존하는 bound $d(\alpha)$를 도입하며, 이는 거리와 연결성 제약 조건에서 유도된다.
• 총 거리가 최소인 노드를 근으로 하는 BFS 트리를 사용하여 추가 엣지를 구매하는 '쇼핑 정점'의 수를 근사한다.
• 직경이 $d(\alpha)$를 초과할 경우 비자명한 이중연결 성분 $H$에 대해 새로운 차수 상한 $deg^+(H) \leq 1 + \frac{R'-1}{K}$을 적용하며, $K$는 크다.
• 이 상한을 직경 제약 조건에서 유도된 하한 $deg^+(H) \geq 1 + \frac{1}{221}$과 조합하여, $H$가 존재할 경우 모순을 도출한다.
• 정밀도를 조절하고 직경 임계값 $d(\alpha)$를 제어하기 위해 $K = 222(R'-1)$라는 매개변수를 사용한다.
• 직경 임계값 $d(\alpha) = O\left(\left(\frac{\alpha}{\alpha - n}\right)^2 \log\left(\frac{\alpha}{\alpha - n}\right)\right)$임을 증명하며, 이는 $\alpha > n(1 + \epsilon)$일 때 $O(1)$이 된다.

실험 결과

연구 질문

• RQ1 네트워크 생성 게임에서 $\alpha > n(1 + \epsilon)$일 때 가격의 불균형은 일정한가?
• RQ2 큰 직경을 가진 균형이 트리여야 한다는 것을 보여줌으로써, $\alpha > n(1 + \epsilon)$에 대해 트리 추측을 증명할 수 있는가?
• RQ3 그래프의 직경이 충분히 클 경우 이중연결 성분에 대한 구조적 제약 조건은 무엇인가?
• RQ4 직경과 $K$를 증가시킴으로써 이중연결 성분의 지배 차수 상한을 1에 임의로 가깝게 만들 수 있는가?
• RQ5 분석이 $\alpha$가 $n$에 가까운 경우, 예를 들어 상수 $C > 1$에 대해 $\alpha = n/C$인 경우에도 확장 가능한가?

주요 결과

• 모든 $\epsilon > 0$에 대해 일정한 $D_\epsilon$가 존재하여, $\alpha > n(1 + \epsilon)$일 때 직경이 $D_\epsilon$를 초과하는 모든 나시 균형은 트리이다.
• $\alpha > n(1 + \epsilon)$일 때 가격의 불균형은 일정하며, 이는 모든 균형이 트리이기 때문이며, 트리의 poA는 최대 5이다.
• 직경 임계값 $d(\alpha)$는 $O\left(\left(\frac{\alpha}{\alpha - n}\right)^2 \log\left(\frac{\alpha}{\alpha - n}\right)\right)$로 유계이며, 이는 $\alpha > n(1 + \epsilon)$일 때 $O(1)$이다.
• 주어진 매개변수 설정 하에 직경이 $d(\alpha)$를 초과할 경우, 비자명한 이중연결 성분 $H$의 지배 차수 상한은 $deg^+(H) \leq 1 + \frac{1}{222}$이다.
• 큰 직경 균형에 비자명한 이중연결 성분 $H$가 존재한다고 가정할 경우 모순이 도출되며, 이는 그러한 성분이 존재할 수 없음을 증명한다.
• 분석 결과 $\alpha = \Omega(n)$일 때 이중연결 성분의 지배 차수는 상수로 유계이며, 이는 다른 매개변수 영역으로의 확장 가능성을 시사한다.