[논문 리뷰] A model-independent theory of consensus and dissensus decision making

Alessio Franci, Martin Golubitsky외 2명|arXiv (Cornell University)|2019. 09. 12.

Opinion Dynamics and Social Influence참고 문헌 74인용 수 6

한 줄 요약

이 논문은 등장하는 다수의 에이전트와 다수의 선택지가 있는 의사결정 네트워크에서 공감대와 이견을 분석하기 위한 모델 독립적 프레임워크를 개발한다. 등변 분기 이론을 활용하여 특정 역학 모델에 의존하지 않는 일반적인 통찰을 제공한다. 경험적 가정에서 유도된 대수적 조건과 대칭 기반 평형 상태를 분석함으로써, 저자들은 에이전트의 협력성 조절을 통해 고정된 네트워크 구조에 관계없이 공감대와 다양한 이견 상태 간의 전환이 가능하다는 것을 밝혀내었으며, 다양한 집단적 의사결정 시스템에 대한 통합적이고 탄력적인 이론을 제시한다.

ABSTRACT

We develop a model-independent framework to study the dynamics of decision-making in opinion networks for an arbitrary number of agents and an arbitrary number of options. Model-independence means that the analysis is not performed on a specific set of equations, in contrast to classical approaches to decision making that fix a specific model and analyze it. Rather, the general features of decision making in dynamical opinion networks can be derived starting from empirically testable hypotheses about the deciding agents, the available options, and the interactions among them. After translating these empirical hypotheses into algebraic ones, we use the tools of equivariant bifurcation theory to uncover model-independent properties of dynamical opinion networks. The model-independent results are illustrated on a novel analytical model that is constructed by plugging a generic sigmoidal nonlinearity, modeling boundedness of opinions and opinion perception, into the model-independent equivariant structure. Our analysis reveals richer and more flexible opinion-formation behavior as compared to model-dependent approaches. For instance, analysis reveals the possibility of switching between consensus and various forms of dissensus by modulation of the level of agent cooperativity and without requiring any particular ad-hoc interaction topology (e.g., structural balance). From a theoretical viewpoint, we prove new results in equivariant bifurcation theory. We construct an exhaustive list of axial subgroups for the action of $\ES_n imes \ES_3$ on $\R^{n-1}\otimes\R^{2}$. We also generalize this list to the action of $\ES_n imes \ES_k$ on $\R^{n-1}\otimes \R^{k-1}$, i.e., for $n$ agents and $k$ options, although without proving that in this case the list is exhaustive.

연구 동기 및 목표

• 다수의 에이전트와 다수의 선택지를 고려한 의사결정 시스템에서 의사결정 역학을 분석하기 위한 일반적이고 모델 독립적 프레임워크를 개발하는 것.
• 에이전트, 선택지, 상호작용에 대한 경험적으로 검증 가능한 가정에 기반해 공통적인 역학적 행동(예: 공감대와 이견)을 식별하는 것.
• 특정 역학 방정식을 가정하지 않고 등변 분기 이론을 적용하여 의사결정 네트워크의 대칭 기반 평형 상태와 전이를 밝혀내는 것.
• 에이전트 n명과 선택지 k개로 구성된 의사결정 시스템을 분석할 수 있도록 $S_n \times S_k$ 가 $\mathbb{R}^{n-1} \otimes \mathbb{R}^{k-1}$ 에 작용하는 경우에 대해 축합 부분군의 분류를 일반화하는 것.
• 공감대와 이견 상태 간의 전환이 균형 잡힌 네트워크 구조와 같은 구조적 가정 없이도 협력성 조절을 통해 발생할 수 있음을 보여주는 것.

제안 방법

• 에이전트 행동, 선택지 인식, 상호작용 역학에 대한 경험적 가정을 시스템에 대한 대수적 제약 조건으로 변환하는 것.
• 등변 분기 이론을 적용하여 $S_n \times S_k$ 작용의 축합 부분군에 초점을 맞춘 의사결정 네트워크에서의 대칭 깨짐 분기 현상을 분석하는 것.
• 경계가 있는 의사결정 역학을 모델링하기 위해 등변 구조에 시그모이드 비선형성을 통합하여 일반적인 분석 모델을 구성하는 것.
• 등변 가지가 난 이론을 활용하여 특정 대칭 유형을 가진 평형 분지가 존재함을 증명하고, 이는 서로 다른 공감대 및 이견 패tern과 대응됨을 보여주는 것.
• $S_n \times S_3$ 가 $\mathbb{R}^{n-1} \otimes \mathbb{R}^2$ 에 작용하는 경우에 대해 축합 부분군의 완전한 분류를 수행하고, 이를 $S_n \times S_k$ 가 $\mathbb{R}^{n-1} \otimes \mathbb{R}^{k-1}$ 에 작용하는 경우로 일반화하는 것.
• 대칭 부분군 분석과 고정점 부분공간 차원 수 계산을 활용하여 대칭 평형 상태의 존재성과 구조를 결정하는 것.

실험 결과

연구 질문

• RQ1 임의의 수의 에이전트와 선택지를 가진 의사결정 네트워크에서 어떤 일반적이고 모델 독립적인 역학적 행동이 발생하는가?
• RQ2 다수의 에이전트 의사결정 시스템에서 대칭 기반 평형 상태(공감대 및 이견 상태)는 어떻게 체계적으로 분류될 수 있는가?
• RQ3 균형 잡힌 네트워크 구조와 같은 특수한 네트워크 구조를 가정하지 않고도 공감대와 이견 상태 간의 전이가 가능할 수 있는가?
• RQ4 $S_n \times S_k$ 가 $\mathbb{R}^{n-1} \otimes \mathbb{R}^{k-1}$ 에 작용하는 경우에 대해 축합 부분군의 완전한 목록은 무엇이며, 이들은 어떻게 서로 다른 의사결정 결과와 대응되는가?
• RQ5 에이전트의 협력성 조절이 대칭을 유지하는 프레임워크 내에서 다양한 의사결정 상태 간의 전환을 어떻게 유도하는가?

주요 결과

• 모델 독립적 프레임워크는 특정 모델 가정 없이도 대칭 깨짐을 통해 공감대와 다양한 형태의 이견이 분기 평형으로 나타날 수 있음을 드러내었다.
• n명의 에이전트와 k=3개의 선택지를 고려할 경우, $S_n \times S_3$ 가 $\mathbb{R}^{n-1} \otimes \mathbb{R}^2$ 에 작용하는 경우에 대해 축합 부분군의 완전한 목록이 구성되었으며, 이는 $\Sigma \times Z_2$, $\Sigma Z_2$, $\Sigma S_3$ 등의 동치류를 포함한다.
• 분석 결과, 구조적 균형이나 사전 정의된 상호작용 네트워크 구조 없이도 에이전트의 협력성 조절을 통해 공감대와 이견 상태 간의 전환이 가능함을 보여주었다.
• 각 축합 부분군에 대해 고정점 부분공간의 차원은 대칭 조건에 의해 결정되며, 그 결과로 특정 부분군 유형만이 비자명한 대칭 평형 상태를 지닐 수 있음을 확인하였다.
• 이 프레임워크는 $S_n \times S_k$ 가 $\mathbb{R}^{n-1} \otimes \mathbb{R}^{k-1}$ 에 작용하는 방식으로 k개의 선택지로 일반화되었으며, k=3에 대해 축합 부분군의 완전한 목록이 확립되었고, k>3에 대해서는 부분적인 일반화가 이루어졌다.
• 증명을 통해 축합 부분군는 특정 군 준동형과 대칭 조건에서 유래해야 하며, 일반적인 가정 하에 $\Sigma = A \times Z_2(\kappa)$ 또는 $\Sigma = A \times Z_3(\theta)$ 와 같은 비축합 구성은 배제됨을 밝혀냈다.