Opinion Dynamics with Set-Based Confidence: Convergence Criteria and Periodic Solutions
Iryna Zabarianska, Anton V. Proskurnikov
TL;DR
The paper extends the Hegselmann-Krause model by replacing distance-based proximity with a general set-based confidence region $\mathcal{O}$, defining trusted neighbors via the Minkowski sum and updating opinions by simple averaging. It proves that when $\mathcal{O}$ is symmetric and contains $0$ in its interior, SCOD converges in a finite number of steps to a clustered equilibrium, mirroring HK behavior, and this convergence persists with identical stubborn agents; however, asymmetry or multiple stubborn agents can induce periodic or non-equilibrium convergence. Through explicit examples, the authors demonstrate non-clustered equilibria, periodic trajectories, and convergent dynamics absent in HK, underscoring the rich dynamics introduced by geometry of $\mathcal{O}$. They also provide a rigorous technical framework based on recurrent averaging inequalities to establish convergence results and discuss open problems, such as convergence rates and heterogeneous extensions, with potential implications for modeling complex opinion dynamics where trust is not distance-based.
Abstract
This paper introduces a new multidimensional extension of the Hegselmann-Krause (HK) opinion dynamics model, where opinion proximity is not determined by a norm or metric. Instead, each agent trusts opinions within the Minkowski sum $ξ+\mathcal{O}$, where $ξ$ is the agent's current opinion and $\mathcal{O}$ is the confidence set defining acceptable deviations. During each iteration, agents update their opinions by simultaneously averaging the trusted opinions. Unlike traditional HK systems, where $\mathcal{O}$ is a ball in some norm, our model allows the confidence set to be non-convex and even unbounded. We demonstrate that the new model, referred to as SCOD (Set-based Confidence Opinion Dynamics), can exhibit properties absent in the conventional HK model. Some solutions may converge to non-equilibrium points in the state space, while others oscillate periodically. These ``pathologies'' disappear if the set $\mathcal{O}$ is symmetric and contains zero in its interior: similar to the usual HK model, SCOD then converges in a finite number of iterations to one of the equilibrium points. The latter property is also preserved if one agent is "stubborn" and resists changing their opinion, yet still influences the others; however, two stubborn agents can lead to oscillations.
