2022
1]\orgdivDepartment of Informatics, \orgnameUniversität Hamburg, \orgaddress\streetVogt-Kölln-Straße 30, \postcode22527 \cityHamburg, \countryGermany
2]\orgdivDepartment of Computer Science, \orgnameGoethe University Frankfurt, \orgaddress\streetRobert-Mayer-Straße 11-15, \postcode60325 \cityFrankfurt am Main, \countryGermany
3]\orgnameHasso Plattner Institute, \orgaddress\streetProf.-Dr.-Helmert-Str. 2-3, \postcode14482 \cityPotsdam, \countryGermany
4]\orgdivCenter for Industrial Mathematics, \orgnameUniversity of Bremen, \orgaddress\streetBibliothekstraße 5, \postcode28359 \cityBremen, \countryGermany
Asynchronous Opinion Dynamics in Social Networks
Abstract
Opinion spreading in a society decides the fate of elections, the success of products, and the impact of political or social movements. A prominent model to study opinion formation processes is due to Hegselmann and Krause. It has the distinguishing feature that stable states do not necessarily show consensus, i.e., the population of agents might not agree on the same opinion.
We focus on the social variant of the Hegselmann-Krause model. There are agents, which are connected by a social network. Their opinions evolve in an iterative, asynchronous process, in which agents are activated one after another at random. When activated, an agent adopts the average of the opinions of its neighbors having a similar opinion (where similarity of opinions is defined using a parameter ). Thus, the set of influencing neighbors of an agent may change over time.
We show that such opinion dynamics are guaranteed to converge for any social network. We provide an upper bound of on the expected number of opinion updates until convergence to a stable state, where is the number of edges of the social network, and is a parameter of the stability concept. For the complete social network we show a bound of that represents a major improvement over the previously best upper bound of .
keywords:
Hegselmann-Krause Systems, Opinion Formation, Asynchronous Dynamics, Social Networks, Convergence Time1 Introduction
Our opinions are not static. On the contrary, opinions are susceptible to dynamic changes, and this is heavily exploited by (social) media, influencers, politicians, and professionals for public relations campaigns and advertising. The way we form our opinions is not a solitary act that simply combines our personal experiences with information from the media. Instead, it is largely driven by interactions with our peers in our social network. We care about the opinions of our peers and relatives, and their opinions significantly influence our own opinion in an asynchronous dynamic process over time. Such opinion dynamics are pervasive in many real-world settings, ranging from small scale townhall meetings, community referendum campaigns, parliamentary committees, and boards of enterprises to large scale settings like political campaigns in democratic societies or peer interactions via online social networks.
The aim for understanding how opinions are formed and how they evolve in multi-agent systems is the driving force behind an interdisciplinary research effort in diverse areas such as sociology, economics, political science, mathematics, physics, and computer science. Initial work on these issues dates back to Downs Downs (1957) and early agent-based opinion formation models as proposed by Abelson and Bernstein Abelson and Bernstein (1963).
In this paper we study an agent-based model for opinion formation on a social network where the opinion of an agent depends both on its own intrinsic opinion and on the opinions of its network neighbors. One of the earliest influential models in this direction was defined by DeGroot DeGroot (1974). In this model the opinion of an agent is iteratively updated to the weighted average of the opinions of its neighbors. Later, Friedkin and Johnsen Friedkin and Johnsen (1990) extended this by incorporating private opinions. Every agent has a private opinion which does not change and an expressed opinion that changes over time. The expressed opinion of an agent is determined as a function of the expressed opinions of its neighbors and its private opinion.
The main focus of our paper is the very influential model by Hegselmann and Krause Hegselmann and Krause (2002) that adds an important feature: the set of neighbors that influence a given agent is no longer fixed, and the agents’ opinions and their respective sets of influencing neighbors co-evolve over time. At any point in time the set of influencing neighbors of an agent are all the neighbors in a given static social network with an opinion close to their own opinion. Hence, agents only adapt their opinions to neighboring agents having an opinion that is not too far away from their own opinion. Note that this adaption, in turn, might lead to a new set of influencing neighbors. In sociology this wide-spread behavior is known as homophily McPherson et al. (2001), which, for example, governs the formation of social networks and explains residential segregation. Co-evolutionary opinion formation helps to analyze and explain current phenomena like filter bubbles in the Internet Pariser (2011) and social media echo chambers Cinelli et al. (2021) that inhibit opinion exchange and amplify extreme views. The co-evolution of opinions and the sets of influencing neighbors is the key feature of a Hegselmann-Krause system (HKS). It is also the main reason why the analysis of the dynamic behavior of a HKS is highly non-trivial and challenging.
Typical questions studied are the convergence properties of the opinion dynamics: Is convergence to stable states guaranteed, and if yes, what are upper and lower bounds on the convergence time? Guaranteed convergence is essential since otherwise the predictive power of the model is severely limited. Moreover, studying the convergence time of opinion dynamics is crucially important. In general, the analysis of stable states is significantly more meaningful if these states are likely to be reached in a reasonable amount of time, i.e., if quick convergence towards such states is guaranteed. If systems do not stabilize in a reasonable time, stable states lack justification as a prediction of the system’s behavior.
Researchers have investigated the convergence to stable states and the corresponding convergence speed in many variants of the Hegselmann-Krause model. The existing work can be categorized along two dimensions: complete or arbitrary social network and synchronous or asynchronous updates of the opinions. Synchronous opinion updates means that all agents update their opinion at the same time. In systems with asynchronous updates a single agent is selected uniformly at random and only this agent updates its opinion. While the main body of recent work focuses on HKSs assuming the complete graph as social network and the synchronous update rule, empirical simulations have also been performed with asynchronous updates on arbitrary social networks. Interestingly, convergence guarantees and convergence times for the latter case are, to the best of our knowledge, absent from the literature so far. This case is arguably the most realistic setting as social networks are typically sparse, i.e., non-complete, and social interactions and thereby opinion exchange usually happens in an uncoordinated asynchronous fashion.
In this paper we study the following Hegselmann-Krause system (HKS). We have agents and their opinions are modeled by points in -dimensional Euclidean space , for some . The agents are connected by a social network which does not change over time. At any point of time the set of influencing neighbors of an agent is the subset of its neighbors (in the social network) with an opinion of distance at most from its own opinion. We assume that in each step a random agent is activated and its opinion is updated to the average of its current opinion and the opinion of all current influencing neighbors. Note in such an asynchronous HKS stable states in the sense that no agent will change its opinion might never be reached. This can be seen by a simple example with two nodes and one edge. Hence, we adopt a natural stability criterion defined by Bhattacharyya and Shiragur Bhattacharyya and Shiragur (2015). A HKS is in a -stable state if and only if each edge in the influence network has length at most . For this scenario we prove that the convergence of the opinion dynamics is guaranteed. We give an upper bound on the expected convergence time of
where is the cardinality of the edge set of the given social network. We demonstrate the tightness of our derived upper bound by providing analytical lower bounds as well as empirical simulations for several topologies of the underlying social network topologies. Note that for complete graphs as social network our bound of improves the best previously known upper bound of Etesami and Başar (2015).
1.1 Related Work
We focus our discussion on recent research on Hegselmann-Krause systems and other opinion formation models.
Synchronous HKSs on Complete Networks
Most recent research focused on synchronous opinion updates in complete social networks. For this setting it is known that the process always converges to a state where no agent changes its opinion anymore Chazelle (2011). We denote such states as perfectly stable states. Touri and Nedic Touri and Nedic (2011) prove that any one-dimensional HKS converges in synchronous update rounds to a perfectly stable state. Bhattacharyya et al. Bhattacharyya et al. (2013) improve this upper bound to . For dimensions they show a convergence time of . For arbitrary Etesami and Başar Etesami and Başar (2015) establish a bound of rounds, which is independent of the dimension . Finally, Martinsson Martinsson (2016) shows that any synchronous -dimensional HKS converges within update rounds to a perfectly stable state.
Regarding lower bounds, Bhattacharyya et al. Bhattacharyya et al. (2013) construct two-dimensional instances that need at least update rounds before a perfectly stable state is reached. Later, Wedin and Hegarty Wedin and Hegarty (2015) show that this lower bound holds even in one-dimensional systems.
Synchronous HKSs on Arbitrary Social Networks
In Parasnis et al. (2019), the authors use the probabilistic method to prove that the expected convergence time to a perfectly stable state is infinite for general networks. This also holds for a slightly weaker stability concept than perfect stability: in all future steps an agent’s opinion will not move further than by a given distance . To show their result the authors construct a HKS with infinitely many oscillating states. Their stability notion is also different to the one considered in this paper. We analyze the time to reach a -stable state which is defined as a state where any edge in the influence network has length at most (see Section 1.2). For -stability Bhattacharyya and Shiragur Bhattacharyya and Shiragur (2015) prove that a synchronous HKS with an arbitrary social network reaches a -stable state in synchronous rounds.
Asynchronous HKSs
Compared to the synchronous case, the existing results for asynchronous HKSs are rather limited. On the empirical side, Fortunato Fortunato (2005) investigated the consensus threshold with uniformly chosen initial opinions in asynchronous dynamics on non-complete social networks like grids, Erdős-Rényi graphs, or scale-free random graphs. To the best of our knowledge, convergence guarantees and convergence times on non-complete networks were first studied by Etesami and Başar Etesami and Başar (2015) where the authors consider -equilibra in contrast to -stable states. They define a -equilibrium as a state where each connected component of the influence network has an Euclidean diameter of at most and prove that the expected number of update steps to reach such a state is bounded by for the complete social network. In general, -equilibria are a proper subset of the set of -stable states. However, in Section 2 we discuss the equivalence of both stability notions on complete social networks.
Other Opinion Formation Models
In the seminal models by Friedkin and Johnsen Friedkin and Johnsen (1990) (extending earlier work by DeGroot DeGroot (1974)) each agent has an innate opinion and strategically selects an expressed opinion that is a compromise of its innate opinion and the opinions of its neighbors. Recently, co-evolutionary and game-theoretic variants were studied Bindel et al. (2015); Bhawalkar et al. (2013); Bilò et al. (2018); Epitropou et al. (2019); Fotakis et al. (2016), and the results focus on equilibrium existence and social quality, measured by the price of anarchy. In the AI and multi-agent systems community, opinion formation is studied intensively. In Auletta et al. (2019) a co-evolutionary model is investigated, where also the innate opinion may change over time. There is also substantial work on understanding opinion diffusion, i.e., the process of how opinions spread in a social network Bredereck and Elkind (2017); Bredereck et al. (2020); Botan et al. (2019); Anagnostopoulos et al. (2020); Faliszewski et al. (2018); De et al. (2018). Moreover, in Coates et al. (2018a, b) a framework and a simulator for agent-based opinion formation models is presented. Opinion dynamics and in particular the emergence of echo chambers is modeled with tools from statistical physics in Fu and Wang (2008); Evans and Fu (2018)
Another line of related research on opinion dynamics has its roots in randomized rumor spreading and distributed consensus processes (see Becchetti et al. (2020) for a rather recent survey). Communication in these models is typically restricted to constantly many neighbors. A simple and natural protocol in this context is the Voter process Hassin and Peleg (2001); Nakata et al. (2000); Cooper et al. (2012); Berenbrink et al. (2016b), where every agent adopts in each round the opinion of a single, randomly chosen neighbor. Similar processes are the TwoChoices process Cooper et al. (2014); Cooper et al. (2015); Cooper et al. (2017), the 3Majority dynamics Becchetti et al. (2017); Ghaffari and Lengler (2018); Berenbrink et al. (2017), and the Undecided State Dynamics Angluin et al. (2008); Becchetti et al. (2015); Clementi et al. (2018); Ghaffari and Parter (2016); Berenbrink et al. (2016a); Bankhamer et al. (2022).
1.2 Model and Notation
A Hegselmann-Krause system (HKS) in dimensions is defined as follows. We are given a social network and a confidence bound . The nodes of the social network correspond to the agents, and each agent has an initial opinion . We will use the terms agents and nodes interchangeably. As the opinion of agent is represented by a point in the -dimensional Euclidean space, we sometimes call it the position of . In step the opinion of agent is denoted as , where . For some constant confidence bound we define the influencing neighborhood of agent at time as
In each step one agent is chosen uniformly at random and updates its position according to the rule
If , then we say that (the opinion of) agent has moved. Also, in an update of agent ’s position in step , all other agents do not change their positions, i.e., for .
Given a social network , we define for any edge at time the length of as . We define the available movement of agent at time as the -dimensional vector
Note that if is chosen in step , and hence denotes the distance the agent moves when activated in step . The influence network in step is given by the social network restricted to edges that have length at most . More formally, it is defined as , where if and only if , i.e., . We define the state of a HKS at time as and it refers to the positions of the agents at that specific time. If clear from the context, we omit the parameter . For a fixed state , the term denotes the influencing neighborhood in this state.
We are interested in the expected number of steps that are required until the HKS reaches a -stable state, which is a natural stability criterion defined by Bhattacharyya and Shiragur Bhattacharyya and Shiragur (2015). A HKS is in a -stable state if and only if each edge in the influence network has length at most . Intuitively, in such a state each agent has a small incentive to further revise the opinion. Hence, it is reasonable to assume that such states represent a stable configuration of the system. Strictly speaking, however, in a -stable state the HKS might not be stabilized entirely in the sense that agents are unable to achieve further improvement by a deviation at all. If agents would continue to revise their opinions, the HKS might subsequently be able to leave the -stable state. Put differently, not all such states are attractive. We note, however, that this is a condition shared by the vast majority of approximate stability or equilibrium concepts defined in the literature.
We call the number of steps to reach a -stable state the convergence time of the system. To track the progress towards convergence, we define the following potential function for any state of a -dimensional HKS :
This potential is upper-bounded by .
1.3 Our Contribution
We study the convergence time to a -stable state in Hegselmann-Krause systems with an arbitrary initial state and an arbitrary given social network, where we update one uniformly at random chosen agent in each step. To the best of our knowledge, this is the first analysis of the variant of HKSs that feature asynchronous opinion updates on a given arbitrary social network. For these systems, we prove the following:
Theorem 1.
For a -dimensional HKS , the expected convergence time to a -stable state under uniform random asynchronous updates is .
For graphs with , for example graphs with constant maximum node degree, the theorem immediately shows an expected convergence time of . Interestingly, our upper bound on the expected convergence time in the asynchronous process on arbitrary social networks is of the same order as the best known upper bound of for the synchronous process Bhattacharyya and Shiragur (2015) where all agents are activated in parallel.
Furthermore, we show that the convergence time stated in Theorem 1 also transfers to the model of Etesami and Başar Etesami and Başar (2015). They showed that a HKS with asynchronous opinion updates on a complete social network converges to a -equilibrium in steps, thus it is a major improvement over their analysis. However, since on arbitrary social networks -stability does not imply a -equilibrium, it is open if the bound given in Theorem 1 also holds for the convergence time to -equilibria.
Moreover, for the special case of a complete social network with asynchronous opinion updates, i.e., the case considered by Etesami and Başar Etesami and Başar (2015), we show the following even stronger result that holds for arbitrary :
Theorem 2.
Let be any instance of a -dimensional HKS and let be the complete social network. Using uniform random asynchronous update steps, the expected convergence time to a -stable state is at most .
To prove these results, we extend the potential function used in Etesami and Başar (2015). The main ingredient for strongly improving the upper bound derived in Etesami and Başar (2015) is to significantly tighten and generalize their proof. To do so, we develop a projection argument (see Lemma 4) and a new analysis of the expected available movement of a randomly chosen agent. This allows us to improve the bound on the expected drop of the potential function (see Lemma 8).
To complement our upper bound results, we demonstrate that our analysis method is tight in the sense that by using this potential function and studying the step-by-step drop, one cannot improve the results. We present a family of instances and initial states where the expected potential drop is exactly of the same order as our upper bound (see Theorem 9). Moreover, we present a family of one-dimensional HKSs and initial states where steps are needed to reach a -stable state (see Theorem 3), thereby matching the upper bound shown in Theorem 1 in terms of the order of .
Theorem 3.
For and , there exists a family of social 1-dimensional HKSs where any given update sequence needs at least steps to reach a -stable state.
Notably, this lower bound applies for arbitrary update sequences, while our upper bound applies when the updating agent is chosen uniformly at random. Thus, even when resorting to a smarter choice of the updating agent, one cannot drastically reduce the convergence time in the worst case.
2 Social Hegselmann-Krause Systems
In this section we prove Theorem 1 in three steps. Recall that for a HKS in dimensions the opinion are represented by points in the -dimensional Euclidean space. First, in Lemma 4 we show that for each HKS in dimensions there exists a map** to a suitable -dimensional HKS, such that the length of all edges does not increase, and the influence network (consisting of the active edges) as well as the length of the longest edge is preserved. We use this projection in the second step (see Corollary 6) where we only consider HKS in one dimension: We prove that , where is the set of neighbors in the influence network and is the available movement of the node. In the third step, we prove that the potential drop due to activating an agent can be lower bounded by (see Lemma 7). Finally, in Lemma 8 we combine these three insights to bound the potential drop.
Let be a state of some -dimensional HKS with influence network . For some arbitrary edge , we will project the state to a state of some -dimensional HKS. We define the projected state along edge with the help of the projection vector
where the order of and is chosen arbitrarily. We define
as follows. We project the position of each agent to
Furthermore, in the graph of the projected system, we restrict the set of edges to the ones, which are edges of the influence network in the original state, i.e., . For an agent , we denote by its influencing neighborhood, and by its available movement in .
In the following lemma, we prove that the projected system behaves similarly to the original system in the sense that the length of the edge stays the same and the influence network does not change. Furthermore, the agents in the original HKS move at least as much as the agents in the projected state, when activated.
Lemma 4.
Let be a state of a -dimensional HKS with influence network and . Then for any and the projected state defined as above it holds that
(1) | ||||
(2) | ||||
(3) | ||||
(4) |
Proof.
Let be the projection vector used to generate . To see statement (1) note that
To prove statement (2), we show that for each pair it holds that :
The last inequality uses the Cauchy-Schwarz inequality (C.-S.).
To see (3), note that (because of (2)) the difference between projected positions of agents is at most as large as the difference between their original positions. Since contains only the edges of the influence network in the original state, it holds that .
Finally, it holds that
and hence
∎
We now prove a lower bound on the total available movement of agents.
Lemma 5.
Let be a state of a -dimensional HKS, let and and . Define . Then it holds that
Proof.
We observe
Note that for each edge with the second sum contains as well as . As such,
Furthermore, for each edge with and it holds that , since and . As a consequence,
Similarly, it holds that
The lemma follows by combining the two results as . ∎
Corollary 6.
Let be a state of a -dimensional HK system. Let be the length of a longest edge in the influence network. Then
Proof.
Let edge be a longest edge in the influence network and . Let be the state projected to one dimension along the edge . By Lemma 4 Eq. 4, we know that
Furthermore, by Lemma 4, we know that the influence network in both systems has the same set of edges (Eq. 3), the longest edge preserves its length in the projection (Eq. 1), and all other edges do not increase their length (Eq. 2). Therefore, the length of the longest edge in the influence network of is equal to the length of the longest edge in . Hence is a longest edge in the influence network with .
Analogously to Lemma 5, we partition into two sets and at and define . Note that and hence ∎
In the next step, we will prove a lower bound on the drop in the potential when updating any agent .
Lemma 7.
Let be the state of some -dimensional HKS . Suppose we update the position of agent and moves by . Let
be the new state. The potential decreases by at least
If the influence network does not change from step to , we obtain equality.
Proof.
As we activate , the position of agents does not change, but the set of active edges can change and is updated from to . To bound the potential change we consider edges , and . In the set the length of the edges increases above while in the set the length decreases below .
By the definition of , we have
Note that in this step, we have equality if . We conclude
Using the definition of , we obtain
which concludes the proof. ∎
We now have the tools to prove a lower bound on the expected potential drop in a single step.
Lemma 8.
For any state of some HKS in step , when updating an agent chosen uniformly at random resulting in state , the expected potential drop is at least
where is the length of the longest edge in the influence network in step .
Proof.
From Lemma 7 we know that the potential never increases: if we choose agent to be updated, the potential decreases by at least
Let be a longest edge in the corresponding influence network of . By Corollary 6, we know that
Using Cauchy-Schwarz with and , we conclude that the expected potential drop in each step with an edge with length at least is at least
∎
See 1
Proof.
Note that by definition of the potential function, we have for all states . We know by Lemma 8 that the expected potential drop at any step is at least
as long as there is an edge with length at least .
Applying the classic additive drift theorem (see, e.g., (Lengler, 2020, Theorem 2.3.1) and the historic references therein) we directly observe that the expected number of steps to reach a -stable state is upper bounded by
resulting in the bound from the theorem. ∎
Our results in Theorem 1 directly improve the results from Etesami and Başar Etesami and Başar (2015) even though they use a slightly different convergence criterium. In their paper, convergence is reached if the diameter of each connected component is bounded by , and they call this state a -equilibrium. They bound the expected number of update steps to reach a -equilibrium in the complete social network by .
Our result transfers to their notion of convergence as follows. Assume and that the length of the longest edge is at most If the social network is the complete graph, each connected component in the influence network must be a complete sub-graph, see Lemma 10. Hence, the diameter of this connected component is also bounded by . Hence, if , a -stable state must be in -equilibrium as well. On the other hand, if , the expected number of steps to reach a -stable state and hence a -equilibrium is bounded by by Theorem 1.
The next theorem shows that our bound on the potential drop per step is tight. Consequently, if we would like to improve the theorem, we have to choose a different potential function and/or consider multiple activations at once.
Theorem 9.
There is a family of instances and initial states with and a potential of , where the expected potential drop is for the first activation.
Proof.
Consider the following family of -dimensional HKSs such that for any , see Fig. 1 for the example for . The set of nodes is partitioned into sets , such that and . The set of edges is given such that , , and are cliques while nodes and are connected to all nodes.
To define the opinions of the agents that correspond to the nodes at state , define and choose
-
•
for each ,
-
•
,
-
•
for each there exists a node with
where we define .
-
•
for each there exists a node with
-
•
-
•
for each .
Note that all the edges inside the cliques and are in the influence network , as well as each edge between and for , where and . Also,
for all with and therefore the above-mentioned edges are the only ones in .
We proceed by verifying that for each it holds that . We calculate the available movement for . Let . Since all agents in have the same initial position , it holds that
The calculation of the available movement of the other agents is analogous. Let , then it holds that
Let , then we have
Let with , then we get that
Let , then it holds that
Let with , then we have
Finally, we get that
By Lemma 7, the expected potential drop is given by
On the other hand, there exist edges with length longer than and hence . ∎
Note that this only proves that the drop in the first step is sufficiently small. The expected drop for the next step could increase after activating a node. Therefore, this theorem does not prove a lower bound for the convergence time. Instead, it shows that the analysis of the step-by-step drop is tight.
In the next section, we see an example of how to change the analysis to circumvent this bound.
3 Special Network Topologies
In this section, we will prove two improved upper bounds, each for a more restricted set of graph classes. The first result holds when the social network is a complete graph, while the second holds when, in each step of the HKS, the influence network is the same as the social network.
To prove the result for HKSs with a social network, we prove the following characteristics of these systems.
Lemma 10.
Let be any instance of a -dimensional HKS with complete social network and current influence network . If all edges in have a length of at most , each connected component in is a complete graph.
Proof.
Let be the set of nodes of a connected component in . Assume that , but . Then there exists a shortest path of length at least from to where each edge has a length of at most . As a consequence, the distance between and can be at most . Therefore, the edge between and has to exist in the influence network. Hence, is not the shortest path, contradicting the assumption. ∎
See 2
Proof.
We split this proof into two steps. First, we count the number of possible steps where the influence network has an edge of length at least . Secondly, we upper-bound the number of steps where the longest edge of the influence network is in .
Assume in step there is an edge in the influence network with length at least . Let and denote the states of the HKS in steps and , respectively. In this case, by Lemma 8, we have
As a consequence, the expected number of such steps is bounded by .
For the rest of the proof, assume that all edges in the influence network are shorter than and there exists one edge with a length at least . We project the HKS to one dimension along the longest edge. By Lemma 4, we know that in the projected graph, no edge increases its length, and there exists an edge with a length at least .
Let there be connected components , , and be the length of the longest edge in the connected component . We bound the total available movement in this component from below using Lemma 5.
For each connected component with let be a longest edge in this component. We partition into and at and we define the set as in Lemma 5. Since the connected component is the complete graph by Lemma 10 each node from is connected to while each node from is connected to . As a consequence, the set contains at least edges of length at least and one of them has length . As a consequence, and hence, by Lemma 5,
and therefore
As a consequence, it holds that
Since one of the edges has a length at least , the expected potential drop is at least . Therefore, in expectation, there are at most steps where the length of the longest edge is in . Combining the two results finishes the proof. ∎
We say an HKS is socially stable if, independently of the update steps, the influence network is always equal to the social network. For these systems, we can prove a better upper bound on the expected number of steps needed to reach a -stable state. Examples of such graphs are the path, where all the nodes are positioned with equal distance of at most , as well as the graph from Theorem 9 if the social network for the latter is reduced to the set of edges in .
Theorem 11.
Let be a HKS where the social network and the influence network are equal in each step. Using uniform asynchronous update steps, the expected convergence time to a -stable state is bounded by .
Proof.
Note that at any step, it holds that , where is the length of the longest edge at time . By Lemma 8, the expected drop of the potential in each step is bounded by . As a consequence, for each the expected number of steps with is bounded by . Since for there are at most such intervals, the expected number of update steps is bounded by . ∎
4 Lower Bound
In this section, we complement our upper bounds on the expected convergence time with a lower bound. To the best of our knowledge, no lower bound for asynchronous updates is known so far. We prove that there exists a family of instances of HKS for which at least updates are needed to converge. In this family, we have and for and . Note that the lower bound holds for any given update sequence. In particular, we also prove that there cannot be a deterministic algorithm that reaches a -stable state faster than the proven lower bound.
See 3
Note that this lower bound is tight with regard to the considered family of instances and the parameter since Theorem 1 states that in expectation at most updates are needed, to reach a -stable state.
We prove this lower bound in three steps. First, we prove that edges cannot be deactivated in the defined family of instances. Then, we upper bound the total available movement of certain nodes in the family by a modified process that is simpler to analyze.
Dumbbell Graph
We define the following family of instances of HKS : Let be the Dumbbell graph defined as follows. The nodes of the graph are partitioned into the sets , such that , .
The set of edges are given such that and are cliques, is a path such that for each , as well as . In state the opinions of the agents that correspond to the nodes are given as follows:
-
•
for each
-
•
-
•
for each node
-
•
-
•
for each .
Note that and , therefore .
Lemma 12.
When starting the HKS process with , it can never happen that an edge is deactivated during the process.
Proof.
Assume we activate node in step and that the edges and are active as well as . Which means that and and hence . As a consequence,
and similarly . Furthermore, we obviously have that and hence
For each pair of nodes and any time , we will prove that , that , and that . This claim is true in the start configuration since all nodes in have the same position, and has distance to the nodes in .
Assume we activate a node in step and as well as for each pair of nodes . Then it holds for any node that
Furthermore, it holds that
Assume we activate the node in step and for each pair of nodes it holds that , that , and that . Then it holds for any node that
Furthermore, it holds that
Analogously, we can prove the statement for the nodes in .
Hence, no edge can disappear when updating any node in the graph at any step . ∎
A necessary condition to terminate is that each edge on the path has a length of at most . Since the distance between and is at state and can be at most in the final state, one of the nodes and has to move by at least .
Modified Update Process
In the following, we will lower-bound the number of required update steps to move by this distance by defining a modified update process that moves faster. However, the required number of steps in the modified process can be analyzed more easily. The opinions in the modified process are denoted by for each and . Let and denote the mass center of the nodes in the original and modified process respectively. Note that when activating an agent from in each of the two processes, it will move to the corresponding center of mass.
Consider any update-sequence specifying for any the node that will be updated to generate the positions from . Assume for simplicity of notation, that the nodes in are numbered from one to , i.e., . Given , the modified process is defined as follows:
-
•
.
-
•
If do nothing, i.e., set .
-
•
If , update multiple nodes at once. Generate as follows:
-
–
find the node that has the smallest value with the smallest index, and set
-
–
move the node to the right: set
-
–
if , move all the nodes in to , i.e., for all set
-
–
We prove Theorem 3 in two steps. First, we prove that, indeed, the modified process moves the node faster than the original process. Afterward, we prove that the modified process needs at least steps to move the clique by the distance .
Lemma 13.
For each update sequence there exists for each a bijection such that for each . Furthermore in each step it holds that and .
Proof.
First, note that the modified update process will update the nodes always in the same order from to since it chooses the node with a smallest opinion and the smallest index. Since, in the beginning, all the nodes have the same opinion, and the opinion only increases when updated, the first updates will update the nodes in the claimed order. After updating the node , all the nodes will be shifted to the same (increased) opinion. Inductively, the nodes are activated in the same order.
We will prove the claim via induction on the number of steps. Before activating any node, the bijection fulfills the required properties, since . Furthermore it holds that and
Assume that after step there is a bijection such that for each , , and . We have to consider the following cases: the updated node is in , the updated node is , the modified process updates the node , and a node not in is updated.
In the case that a node in is updated, the values stay unchanged. Furthermore, in both processes, no node from will be updated and hence we set the update function .
If the node is updated, the modified process will not move the node . Note that in the original process, the edge connecting the node with the node can have length at most , since no edge is deactivated when updating any node and hence . As a consequence, it holds that
and hence . Since in both processes no node form was updated, for the bijection with for each , it still hods that and hence we can set . As a consequence has to hold as well.
Let us assume that we update the clique node in the next step in the original process and the node in the modified process. Note that and by definition of the update process. Furthermore
If , we know that . Since no other node form is moved, we define and it holds that for each . Furthermore,
If , consider the nodes and . We know that and . Furthermore, by the choice of , we know that . As a consequence, it holds that . When updating the nodes, we get . We define
Note that for each it holds that . Furthermore, we have
and
Finally, if the updated node in the modified processes was , all the nodes in move to the point . Since , the identity function fulfills the required conditions, since is monotonically increasing and hence there can be no node with . Similarly as above it follows that and . ∎
Lemma 14.
The modified process needs at least updates before has moved by at least .
Proof.
In the modified process, the nodes in are shifted to a common position every th update step. We define an update round as updates of nodes in such that, before the first update of the round, all nodes have the same position, and all nodes are shifted to the same position after the last update of the round.
First, we prove that in each update round, the node moves by at most . Let be the common start position of all nodes in . By definition of the modified process, the node has position . We denote by the mass center of the nodes and by the mass-center of the clique nodes .
When updating a node at step , it moves from position to position since in each round, only non-updated nodes will be moved. This update increases the mass-center of the clique to
After updating the node , the node is shifted to , increasing the mass-center of the nodes from to
As a consequence, we get that
Via induction, we show that
It holds that
Additionally, it holds that
As a consequence,
In the last update step of the round, all nodes are moved to
resulting in Consequently is located at or left of position and hence has moved by at most in this round.
Note that after moving each node once, the relative positioning between the nodes in is the same as before moving the first node. Hence, it is sufficient to consider the total number of rounds of moving nodes from the clique.
The node has to move by , but after activating each node of the clique, it has moved by at most . Hence, we need
of these rounds, for small enough. Since each round needs updates, at least updates are needed until the modified process terminates. ∎
Proof of Theorem 3.
Consider the family as defined in this section. By Lemma 12, no edge will be deactivated until the process terminates. As a consequence, for termination, each edge on the path can have a length of at most . This implies the the distance between and has to shrink from to . Therefore, one of the nodes or must move by at least until the process terminates. Let us w.l.o.g. assume that moves by this distance.
5 Simulation Results
To corroborate our theoretical findings, we performed agent-based simulations of asynchronous Hegselmann-Krause opinion dynamics in one dimension on two types of initial HKS states called Path and Dumbbell. They are defined as follows:
-
•
Path: The given social network is a path graph. Initially, the agents’ opinions are uniformly distributed in one dimension with an equal distance of so that the influence network forms a path graph with a uniform edge length of .
-
•
Dumbbell: This is the state constructed in the proof of Theorem 9 using the dumbbell graph, except that the social network contains only the edges that are in
We fixed and in our simulations. For each initial HKS state on social networks with varying numbers of agents , we simulated 100 independent runs of random activations needed to reach a -stable state. The code for our simulator software and all necessary tools to reproduce our figures are available from our public GitHub repository.111https://github.com/dcmx/HKsim
We present our simulation results in Fig. 2.
There, the obtained number of activations divided by is plotted via box plots that summarize the results for each configuration. Since for Path instances, the number of activations appears to be constant, we observe that we need activations for Path instances. On the other hand, the number of activations seems to grow linearly in for Dumbbell instances. This matches our proofs (upper and lower bound) that in activations Dumbbell instances reach a -stable for constant and .
Note that by construction, in the first step, the potential function of both instance types is bounded by . Applying Theorem 1 yields an upper bound of , which yields an upper bound of for Path instances and for Dumbbell instances. Thus, the empirically observed lower bounds on the expected number of steps until convergence match our theoretical analysis for these two graph classes with respect to the dependence on the number of agents.
We highlight that our simulations not only confirm our theoretical results but also allow us to empirically pinpoint the constants hidden in the asymptotic analysis. For the simulations carried out on the path our simulation results indicate a constant of roughly , giving a total running time of roughly . For the dumbbell we get a running time of less than . We remark that in our theoretical analysis we did not attempt to optimize the constants. In fact, our result for the dumbbell graph (see the proof of Theorem 1) gives a bound of at most . Interestingly, the total running times are sharply concentrated around their mean. In fact, the plot in Fig. 2 actually shows box plots, but starting with a number of agents as small as only 40 the upper and lower whiskers become almost identical with no outliers detected.
6 Conclusion
In this paper, we present the first analysis of the convergence time of asynchronous Hegselmann-Krause opinion dynamics on arbitrary social networks. As our main result, we derive an upper bound of expected random activations until a -stable state is reached. This bound significantly improves over the state-of-the-art upper bound for the special case with a given complete social network. Moreover, our simulation results on one-dimensional instances with a path graph or a dumbbell graph as the social network indicate that our theoretical upper bound is tight for these instances. For the dumbbell graph, this is not only underlined by our simulations but also proven by presenting a matching lower bound with respect to the number of agents. This theoretical lower bound on the expected convergence time is the first proven non-trivial lower bound for asynchronous opinion updates. A challenging open problem is to improve this lower bound by finding a graph class with with expected convergence time in .
It might be possible to prove better bounds for specific social network topologies. Regarding this, it would be interesting to consider social networks that have similar features to real-world social networks. Moreover, another direction for future work is to consider social networks with directed and possibly weighted edges. This would more closely mimic the structure of real-world neighborhood influences, allowing us to study asymmetric influence settings found in online social networks like Twitter. Another promising extension would be to incorporate the influence of external factors like publicity campaigns.
Declarations
This work was supported by DFG Research Group ADYN under grant DFG 411362735.
References
- (1)
- Abelson and Bernstein (1963) Robert Abelson and Alex Bernstein. 1963. A computer simulation model of community referendum controversies. Public Opinion Quarterly 27, 1 (1963), 93–122.
- Anagnostopoulos et al. (2020) Aris Anagnostopoulos, Luca Becchetti, Emilio Cruciani, Francesco Pasquale, and Sara Rizzo. 2020. Biased Opinion Dynamics: When the Devil is in the Details. In Proc. 29th Int. Joint Conf. Artif. Intell. (IJCAI). 53–59.
- Angluin et al. (2008) Dana Angluin, James Aspnes, and David Eisenstat. 2008. A simple population protocol for fast robust approximate majority. Distrib. Comput. 21, 2 (2008), 87–102.
- Auletta et al. (2019) Vincenzo Auletta, Angelo Fanelli, and Diodato Ferraioli. 2019. Consensus in Opinion Formation Processes in Fully Evolving Environments. In Proc. 33rd Conf. Artif. Intell. (AAAI). 6022–6029.
- Bankhamer et al. (2022) Gregor Bankhamer, Petra Berenbrink, Felix Biermeier, Robert Elsässer, Hamed Hosseinpour, Dominik Kaaser, and Peter Kling. 2022. Fast Consensus via the Unconstrained Undecided State Dynamics. In Proc. Symp. Discret. Algorithms (SODA). 3417–3429.
- Becchetti et al. (2020) Luca Becchetti, Andrea E. F. Clementi, and Emanuele Natale. 2020. Consensus Dynamics: An Overview. SIGACT News 51, 1 (2020), 58–104.
- Becchetti et al. (2015) Luca Becchetti, Andrea E. F. Clementi, Emanuele Natale, Francesco Pasquale, and Riccardo Silvestri. 2015. Plurality Consensus in the Gossip Model. In Proc. 26th Symp. Discret. Algorithms (SODA). 371–390.
- Becchetti et al. (2017) Luca Becchetti, Andrea E. F. Clementi, Emanuele Natale, Francesco Pasquale, Riccardo Silvestri, and Luca Trevisan. 2017. Simple dynamics for plurality consensus. Distrib. Comput. 30, 4 (2017), 293–306.
- Berenbrink et al. (2017) Petra Berenbrink, Andrea E. F. Clementi, Robert Elsässer, Peter Kling, Frederik Mallmann-Trenn, and Emanuele Natale. 2017. Ignore or Comply?: On Breaking Symmetry in Consensus. In Proc. Symp. Principles of Distrib. Comput. (PODC). 335–344.
- Berenbrink et al. (2016a) Petra Berenbrink, Tom Friedetzky, George Giakkoupis, and Peter Kling. 2016a. Efficient Plurality Consensus, Or: the Benefits of Cleaning up from Time to Time. In Proc. 43rd Int. Colloq. Autom. Lang. Programming (ICALP). 136:1–136:14.
- Berenbrink et al. (2016b) Petra Berenbrink, George Giakkoupis, Anne-Marie Kermarrec, and Frederik Mallmann-Trenn. 2016b. Bounds on the Voter Model in Dynamic Networks. In Proc. 43rd Int. Colloq. Autom. Lang. Programming (ICALP). 146:1–146:15.
- Bhattacharyya et al. (2013) Arnab Bhattacharyya, Mark Braverman, Bernard Chazelle, and Huy L. Nguyen. 2013. On the convergence of the Hegselmann-Krause system. In Proc. Symp. Innov. Theoret. Comput. Sci. (ITCS), Robert D. Kleinberg (Ed.). 61–66.
- Bhattacharyya and Shiragur (2015) Arnab Bhattacharyya and Kirankumar Shiragur. 2015. How friends and non-determinism affect opinion dynamics. In Proc. 54th IEEE Conf. Decision and Control (CDC). IEEE, 6466–6471.
- Bhawalkar et al. (2013) Kshipra Bhawalkar, Sreenivas Gollapudi, and Kamesh Munagala. 2013. Coevolutionary opinion formation games. In Proc. Symp. Theory Comput. (STOC). 41–50.
- Bilò et al. (2018) Vittorio Bilò, Angelo Fanelli, and Luca Moscardelli. 2018. Opinion formation games with dynamic social influences. Theor. Comput. Sci. 746 (2018), 73–87.
- Bindel et al. (2015) David Bindel, Jon M. Kleinberg, and Sigal Oren. 2015. How bad is forming your own opinion? Games Econ. Behav. 92 (2015), 248–265.
- Botan et al. (2019) Sirin Botan, Umberto Grandi, and Laurent Perrussel. 2019. Multi-Issue Opinion Diffusion under Constraints. In Proc. 18th Conf. Auton. Agents and Multi-Agent Syst. (AAMAS). 828–836.
- Bredereck and Elkind (2017) Robert Bredereck and Edith Elkind. 2017. Manipulating Opinion Diffusion in Social Networks. In Proc. 26th Int. Joint Conf. Artif. Intell. (IJCAI), Carles Sierra (Ed.). 894–900.
- Bredereck et al. (2020) Robert Bredereck, Lilian Jacobs, and Leon Kellerhals. 2020. Maximizing the Spread of an Opinion in Few Steps: Opinion Diffusion in Non-Binary Networks. In Proc. 29th Int. Joint Conf. Artif. Intell. (IJCAI). 1622–1628.
- Chazelle (2011) Bernard Chazelle. 2011. The Total s-Energy of a Multiagent System. SIAM J. Control. Optim. 49, 4 (2011), 1680–1706.
- Cinelli et al. (2021) Matteo Cinelli, Gianmarco De Francisci Morales, Alessandro Galeazzi, Walter Quattrociocchi, and Michele Starnini. 2021. The echo chamber effect on social media. Proceedings of the National Academy of Sciences 118, 9 (2021).
- Clementi et al. (2018) Andrea E. F. Clementi, Mohsen Ghaffari, Luciano Gualà, Emanuele Natale, Francesco Pasquale, and Giacomo Scornavacca. 2018. A Tight Analysis of the Parallel Undecided-State Dynamics with Two Colors. In Proc. 43rd Symp. Math. Found. Comput. Sci. (MFCS). 28:1–28:15.
- Coates et al. (2018a) Adam Coates, Liangxiu Han, and Anthony Kleerekoper. 2018a. A Unified Framework for Opinion Dynamics. In Proc. 17th Conf. Auton. Agents and Multi-Agent Syst. (AAMAS). 1079–1086.
- Coates et al. (2018b) Adam Coates, Liangxiu Han, and Anthony Kleerekoper. 2018b. A Unified Opinion Framework Simulator. In Proc. 17th Conf. Auton. Agents and Multi-Agent Syst. (AAMAS). 1803–1805.
- Cooper et al. (2012) Colin Cooper, Robert Elsässer, Hirotaka Ono, and Tomasz Radzik. 2012. Coalescing random walks and voting on graphs. In Proc. Symp. Principles of Distrib. Comput. (PODC). 47–56.
- Cooper et al. (2014) Colin Cooper, Robert Elsässer, and Tomasz Radzik. 2014. The Power of Two Choices in Distributed Voting. In Proc. 41st Int. Colloq. Autom. Lang. Programming (ICALP). 435–446.
- Cooper et al. (2015) Colin Cooper, Robert Elsässer, Tomasz Radzik, Nicolas Rivera, and Takeharu Shiraga. 2015. Fast Consensus for Voting on General Expander Graphs. In Proc. 29th Symp. Distrib. Comput. (DISC). 248–262.
- Cooper et al. (2017) Colin Cooper, Tomasz Radzik, Nicolas Rivera, and Takeharu Shiraga. 2017. Fast Plurality Consensus in Regular Expanders. In Proc. 31st Symp. Distrib. Comput. (DISC). 13:1–13:16.
- De et al. (2018) Abir De, Sourangshu Bhattacharya, and Niloy Ganguly. 2018. Sha** Opinion Dynamics in Social Networks. In Proc. 17th Conf. Auton. Agents and Multi-Agent Syst. (AAMAS). 1336–1344.
- DeGroot (1974) Morris H DeGroot. 1974. Reaching a consensus. J. Amer. Stat. Assoc. 69, 345 (1974), 118–121.
- Downs (1957) Anthony Downs. 1957. An economic theory of democracy. Harper & Row New York.
- Epitropou et al. (2019) Markos Epitropou, Dimitris Fotakis, Martin Hoefer, and Stratis Skoulakis. 2019. Opinion Formation Games with Aggregation and Negative Influence. Theory Comput. Syst. 63, 7 (2019), 1531–1553.
- Etesami and Başar (2015) Seyed Rasoul Etesami and Tamer Başar. 2015. Game-Theoretic Analysis of the Hegselmann-Krause Model for Opinion Dynamics in Finite Dimensions. IEEE Trans. Autom. Control. 60, 7 (2015), 1886–1897.
- Evans and Fu (2018) Tucker Evans and Feng Fu. 2018. Opinion formation on dynamic networks: identifying conditions for the emergence of partisan echo chambers. Royal Society open science 5, 181122 (2018).
- Faliszewski et al. (2018) Piotr Faliszewski, Rica Gonen, Martin Koutecký, and Nimrod Talmon. 2018. Opinion Diffusion and Campaigning on Society Graphs. In Proc. 27th Int. Joint Conf. Artif. Intell. (IJCAI). 219–225.
- Fortunato (2005) Santo Fortunato. 2005. On the consensus threshold for the opinion dynamics of Krause–Hegselmann. International Journal of Modern Physics C 16, 02 (2005), 259–270.
- Fotakis et al. (2016) Dimitris Fotakis, Dimitris Palyvos-Giannas, and Stratis Skoulakis. 2016. Opinion Dynamics with Local Interactions. In Proc. 25th Int. Joint Conf. Artif. Intell. (IJCAI). 279–285.
- Friedkin and Johnsen (1990) Noah E Friedkin and Eugene C Johnsen. 1990. Social influence and opinions. J. Math. Soc. 15, 3-4 (1990), 193–206.
- Fu and Wang (2008) Feng Fu and Long Wang. 2008. Coevolutionary dynamics of opinions and networks: From diversity to uniformity. Phys. Rev. E 78, 1 (2008), 016104.
- Ghaffari and Lengler (2018) Mohsen Ghaffari and Johannes Lengler. 2018. Nearly-Tight Analysis for 2-Choice and 3-Majority Consensus Dynamics. In Proc. Symp. Principles of Distrib. Comput. (PODC). 305–313.
- Ghaffari and Parter (2016) Mohsen Ghaffari and Merav Parter. 2016. A Polylogarithmic Gossip Algorithm for Plurality Consensus. In Proc. Symp. Principles of Distrib. Comput. (PODC). 117–126.
- Hassin and Peleg (2001) Yehuda Hassin and David Peleg. 2001. Distributed Probabilistic Polling and Applications to Proportionate Agreement. Inf. Comput. 171, 2 (2001), 248–268.
- Hegselmann and Krause (2002) Rainer Hegselmann and Ulrich Krause. 2002. Opinion dynamics and bounded confidence models, analysis, and simulation. J. Artif. Societ. Soc. Simul. 5, 3 (2002).
- Lengler (2020) Johannes Lengler. 2020. Drift Analysis. In Theory of Evolutionary Computation: Recent Developments in Discrete Optimization, Benjamin Doerr and Frank Neumann (Eds.). Chapter 2, 89–131.
- Martinsson (2016) Anders Martinsson. 2016. An improved energy argument for the Hegselmann–Krause model. J. Diff. Equat. Appl. 22, 4 (2016), 513–518.
- McPherson et al. (2001) Miller McPherson, Lynn Smith-Lovin, and James M Cook. 2001. Birds of a feather: Homophily in social networks. Annual Review of Sociology 27, 1 (2001), 415–444.
- Nakata et al. (2000) Toshio Nakata, Hiroshi Imahayashi, and Masafumi Yamashita. 2000. A probabilistic local majority polling game on weighted directed graphs with an application to the distributed agreement problem. Networks 35, 4 (2000), 266–273.
- Parasnis et al. (2019) Rohit Parasnis, Massimo Franceschetti, and Behrouz Touri. 2019. On the Convergence Properties of Social Hegselmann-Krause Dynamics. arXiv:1909.03485 [math.OC]
- Pariser (2011) Eli Pariser. 2011. The filter bubble: What the Internet is hiding from you. Penguin UK.
- Touri and Nedic (2011) Behrouz Touri and Angelia Nedic. 2011. Discrete-time opinion dynamics. In Conference Record of the 45th Asilomar Conference on Signals, Systems and Computers (ACSCC), Michael B. Matthews (Ed.). 1172–1176.
- Wedin and Hegarty (2015) Edvin Wedin and Peter Hegarty. 2015. A Quadratic Lower Bound for the Convergence Rate in the One-Dimensional Hegselmann-Krause Bounded Confidence Dynamics. Discret. Comput. Geom. 53, 2 (2015), 478–486.