Abstract
The 2Choices dynamics is a process that models voting behavior on networks and works as follows: Each agent initially holds either opinion blue or red; then, in each round, each agent looks at two random neighbors and, if the two have the same opinion, the agent adopts it. We study its behavior on a class of networks with core–periphery structure. Assume that a denselyconnected subset of agents, the core, holds a different opinion from the rest of the network, the periphery. We prove that, depending on the strength of the cut between core and periphery, a phasetransition phenomenon occurs: Either the core’s opinion rapidly spreads across the network, or a metastability phase takes place in which both opinions coexist for superpolynomial time. The interest of our result, which we also validate with extensive experiments on real networks, is twofold. First, it sheds light on the influence of the core on the rest of the network as a function of its connectivity toward the latter. Second, it is one of the first analytical results which shows a heterogeneous behavior of a simple dynamics as a function of structural parameters of the network.
Similar content being viewed by others
1 Introduction
Opinion dynamics (for short, dynamics) are simplistic mathematical models for the competition of agents’ opinions on social networks [51]. In a nutshell, given a network where each agent initially supports an opinion (from a finite set), a dynamics is a simple rule which agents apply to update their opinion based on that of their neighbors. Proving theoretical results on dynamics is a challenging mathematical endeavor which may require the development of new analytical techniques [9, 12].
As dynamics are aimed at modeling the spread of opinions, a central issue is to understand under which conditions the network reaches a consensus, i.e., a state where the whole network is taken over by a single opinion [52]. In this respect, most efforts have been directed toward obtaining topologyindependent results, which disregard the initial opinions’ placement on the network [10, 11, 22].
The first example of dynamics is the socalled Voter Model, in which in each round each agent copies the opinion of a random neighbor. We refer to it as the trivial dynamics, not in terms of its evolution or analysis, but with respect to the operation that agents perform in each round. This classical model arises in physics and computer science and, despite its apparent simplicity, some properties have been proven only recently [14, 37, 49]. The simplest nontrivial example is then arguably the 2Choices dynamics, in which agents choose two random neighbors and switch to their opinion only if they coincide [19] (see Definition 1) instead of copying the color a priori as in the Voter Model. Still, the analysis of the 2Choices dynamics has been limited to networks with good expansion properties, and the theoretical guarantees provided so far are essentially independent from the positioning of initial opinions [20]. Only recently the 2Choices dynamics has also been analyzed on classes of graphs presenting a clustered structure [27, 57], as discussed in more detail in Sect. 2.
In this work, we aim at contributing to the general understanding of the evolution of simple opinion dynamics in richer classes of network topologies by studying their behavior theoretically and empirically on core–periphery networks. Core–periphery networks are typical economic and social networks which exhibit a core–periphery structure, a wellknown concept in the analysis of social networks in sociology and economics [16, 28], which defines a bipartition of the agents into core and periphery, such that certain key features are identified. Informally, the core (or elite), is a dense and cohesive small set of powerful nodes at the center of the network, while the periphery (or the masses) is the sparse, less organized, and weaklyconnected rest of the network. A very related notion to that of a core, is that of a krich club, namely the set of k nodes with highest degree that forms a hub of highly influential nodes [61]. In fact, such a set is usually considered as the core of a network.
We consider an axiomatic framework that has been introduced in [5], and we base our analysis and experiments on two of their axioms’ parameters, namely dominance and robustness. The ranges for these parameters in the theorems we obtain include the values used in the experimental part of this work, in which our results are validated on important datasets of realworld networks. Intuitively, the core is a set of agents that dominates the rest of the network. In order to do so, it maintains a large amount of external influence on the periphery, higher than or at least comparable to the internal influence that the periphery has on itself. Similarly, to maintain its robustness, namely to hold its position and stick to its opinions, the core must be able to resist the “outside” pressure in the form of external influence. To achieve that, the core must maintain a higher (or at least not significantly lower) influence on itself than the external influence exerted on it by the periphery. Both, high dominance and high robustness, are essential for the core to be able to maintain its dominating status in the network. Moreover, it seems natural for the core size to be as small as possible. In socialnetwork terms this is motivated by the idea that if membership in a social elite entails benefits, then keeping the elite as small as possible increases the share for each of its members.
The above requirements are formalized in the following axioms [5]. Given a network \(G=(V,E)\) and two subsets of agents \(A,B\subseteq V\), let \(e(A,B) := \{\{u,v\}\in E \,:\, u\in A,\,v\in B\}\) be the set of cut edges between A and B. The logdensity of a set \(X \subseteq V\) is defined as \(\delta (X)= \log \vert e(X, X) \vert / \log X\). Let \(c_d\) and \(c_r\) be two positive constants and let \(V = {\mathcal {C}}\mathbin {\dot{\cup }}{\mathcal {P}}\), where \({\mathcal {C}}\) is the set of agents in the core and \({\mathcal {P}}\) the set of agents in the periphery. Then, the axioms are as follows:

Dominance: The core’s influence dominates the periphery, i.e., \(\vert e({\mathcal {C}}, {\mathcal {P}}) \vert \ge c_d \cdot \vert e({\mathcal {P}}, {\mathcal {P}}) \vert \), for a fixed positive constant \(c_d\).

Robustness: The core can withstand outside influence from the periphery, i.e., \(\vert e({\mathcal {C}}, {\mathcal {C}}) \vert \ge c_r \cdot \vert e({\mathcal {P}}, {\mathcal {C}}) \vert \), for a fixed positive constant \(c_r\).

Density: The core is denser than the whole network, i.e., \(\delta ({\mathcal {C}}) \ge 1 + c_c\), for a fixed positive constant \(c_c\).
Another interesting property often observed in core–periphery networks, but not assumed to be an axiom in [5], is compactness, namely the core is a minimal set satisfying the above dominance and robustness axioms.^{Footnote 1}
Note that the concepts of dominance and robustness are strictly related to the concept of conductance: As described in the Appendix A, the conductance of the cut between \({\mathcal {C}}\) and \({\mathcal {P}}\) is \( \varphi ({\mathcal {C}}, {\mathcal {P}}) = \frac{e({\mathcal {C}}, {\mathcal {P}})}{\min \{\mathrm {vol}({\mathcal {C}}), \mathrm {vol}({\mathcal {P}})\}} = \max \left\{ \frac{c_d}{1+c_d}, \frac{1}{1+c_r} \right\} . \) Moreover, whenever \(\mathrm {vol}({\mathcal {C}})=\mathrm {vol}({\mathcal {P}})\) the two terms in the maximum coincide and \(\varphi ({\mathcal {C}}, {\mathcal {P}}) = \frac{1}{1+c_r}\).
Our analytical and experimental results leverage the dominance and robustness axioms only (see Definition 4), showing how assumptions on the values of \(c_d\) and \(c_r\) are sufficient to provide a good characterization of the behavior of the dynamics. We consider the 2Choices dynamics in core–periphery networks when starting from natural initial configurations in which the core and the periphery have different opinions. Our theoretical results and experiments on realworld networks show that the execution of the 2Choices dynamics tends to fall mainly within two opposite kinds of possible behavior:

Consensus: The opinion of the core spreads in the periphery and takes over the network in a short time.

Metastability: The periphery resists and, although the opinion of the core may continuously “infect” agents in the periphery, most of them retain the initial opinion.
Note that, within our assumptions on the dominance and robustness of the core in Theorem 2, the opinion initially held by the periphery never takes over the network. Interestingly, our experimental results generally support such a behavior, indicating a superiority of the core in spreading opinions, even in the case in which the volumes of core and periphery are approximately equal (see Sect. 4.2 for more details).
By comprehending the underlying principles which govern the aforementioned phenomena, we aim at a twofold contribution:

We seek for the first results on basic nontrivial opinion dynamics, such as 2Choices, in order to characterize its behavior: (i) on new classes of topologies other than networks with strong expansion; (ii) as a function of the process’ initial configuration.

We look for a dynamic explanation for the axioms of core–periphery networks: By investigating the interplay between the core–periphery axioms and the evolution of simple opinion dynamics, we want to get insights on dynamical properties which are implicitly responsible for causing social and economic agents to form networks with a core–periphery structure.
1.1 Original contribution
In order to understand what network key properties are responsible for the aforementioned dichotomy between a long metastable and a fast consensus behavior, we theoretically investigate a class of networks belonging to the core–periphery model.
To further simplify the theoretical analysis, in Theorem 1 we initially consider the setting in which agents in the core are stubborn, i.e., they don’t change their initial opinion. We later show, in Theorem 2, how to substitute this assumption with milder hypotheses on the core’s structure. We remark that the evolution of the 2Choices dynamics, together with the latter assumption on the stubbornness of the core, can be regarded as a SISlike epidemic model [38, 53]. In such a model, the network is the subgraph induced by the periphery and the infection probability is given by the 2Choices dynamics, which also determines a certain probability of spontaneous infection (that in the original process corresponds to the fact that agents in the periphery interact with agents in the core). This interpretation of our results may be of independent interest.
The common difficulty in analyzing opinion dynamics is the lack of general tools which allow to rigorously handle their intrinsic nonlinearity and stochastic dependencies [11, 19, 22, 51, 52]. Hence, the difficulty usually resides in identifying some crucial key quantities for which adhoc analytical bounds on the expected evolution are derived. Our approach is yet another instance of such efforts: In Sect. 3 we provide a careful bound on the expected change of the number of agents supporting a given opinion. Together with the use of Chernoff bounds, we obtain a concentration of probability around the expected evolution. Rather surprisingly, our analysis on the concentrated probabilistic behavior turns out to identify a phase transition phenomenon:
There exists a universal constant \(c^{\star } = \frac{\sqrt{2}  1}{2}\) such that, on any core–periphery network of n agents , if the dominance parameter \(c_d\) is greater than \(c^{\star }\), an almostconsensus is rapidly reached, with high probability;^{Footnote 2} otherwise, if \(c_d\) is less than \(c^{\star }\), a metastable phase in which the periphery retains its opinion takes place, namely, although the opinion of the core may continuously “infect” agents in the periphery, most of them will retain the initial opinion for superpolinomiallymany rounds, with high probability.^{Footnote 3}
We validate our theoretical predictions by extensive experiments on realworld networks chosen from a variety of domains including social networks, communication networks, road networks, and the web. We thoroughly discuss our results in Section 4.2, however, we briefly want to highlight the key results of our experiments in the following. The experiments showed some weaknesses of the core extraction heuristic used in [5], namely the krich club method. To avoid those drawbacks, we designed a new core extraction heuristic which repeatedly calculates densestsubgraph approximations. Our experimental results on realworld networks show a strong correlation with the theoretical predictions made by our model. They further suggest an empirical threshold larger than \( c^{\star }\) for which the aforementioned correlation is even stronger. We discuss which aspects of the current theoretical model may be responsible for such discrepancy, and thus identify possibilities for a model which is even more accurate.
We remark that our investigation represents an original contribution with respect to the line of research on consensus discussed in Sect. 2, as it shows a drastic change in behavior for the 2Choices dynamics on an arguably typical broad family of social networks which is not directly characterized by expansion properties. In particular, the convergence to the core’s opinion in our theoretical and experimental results is a highly nontrivial fact when compared to previous analytical works (see Sect. 4.2 for more details).
Overall, our theoretical and experimental results highlight new potential relations between the typical core–periphery structure in social and economic networks and the behavior of simple opinion dynamics—both, in terms of getting insights into the driving forces that may determine certain structures to appear frequently in realworld networks, as well as in terms of the possibility to provide analytical predictions on the outcome of simplistic models of interaction in networks of agents.
1.2 Roadmap
In Sect. 2 we present related work on opinion dynamics and core–periphery networks. In Sect. 3 we analyze the Biased2Choices dynamics , proving a phase transition on general dense graphs. We complete our results by analyzing the behavior of the dynamics on the threshold of the phase transition. In Section 4.1 we show how to translate the results of Theorem 1 in a formal analysis of the 2Choices dynamics on a family of Core–Periphery networks. In Sect. 4.2 we propose a new heuristic for extracting the Core from real networks and we present simulations of the 2Choices dynamics when the starting color configuration reflects our Core–Periphery partitioning.
2 Related work
Simple models of interaction between pairs of nodes in a network are studied since the first half of the twentieth century in statistical mechanics where mathematical models of ferromagnetism led to the study of Ising and Potts models [48]. A different perspective later came from diverse sciences such as economics and sociology where averagingbased opinion dynamics such as the DeGroot model were investigated [29, 32, 35, 36, 40].
More recently, computer scientists have started to contribute to the investigating of opinion dynamics for mainly two reasons. First, with the advent of the Internet, huge amounts of data from social networks are now available. As the law of large numbers often allows to assume crude simplifications on the agents’ behavior in such networks [28], investigating opinion dynamics allows for a more finegrained understanding of the evolution of such systems. Second and somehow complementary to the previous motivation, technological systems of computationally simple agents, such as mobile sensor networks, often require the design of computationally primitive protocols. These protocols end up being surprisingly similar, if not identical, to many opinion dynamics which emerge from a simplistic mathematical modeling of agents’ behavior in fields such as sociology, biology, and economy [9, 37, 52].
A substantial line of work has recently been devoted to investigating the use of simple opinion dynamics for solving the plurality consensus problem in distributed computing. The goal in this problem setting is for each node to be aware of the most frequent initially supported opinion after a certain time [9,10,11, 13, 18, 21, 23, 30, 34]. The seminal work by Hassin and Peleg [37] introduced for the first time the study of a synchronoustime version of the Voter Model in statistical mechanics. In this model, in each discretetime round, each node looks at a random neighbor and copies her opinion. The Voter Model is considered the trivial opinion dynamics, in the sense that it is arguably the simplest conceivable rule by which nodes may meaningfully update their opinion as a function of their neighbors’ opinion. Many properties of this process are understood by known mathematical techniques such as an elegant duality with the coalescing random walk process [1]. In particular, it is known that the Voter Model is not a fast dynamics as for the time it takes before consensus on one opinion is reached in the network. For that reason, the 2Choices dynamics has been considered [19]. In such dynamics, in each round, each node looks at the opinion of two random neighbors and, if these two are the same, adopts it. This process can arguably be considered the simplest nontrivial type of opinion dynamics, in that nodes compare for equality of the two sampled opinions before updating.
The authors of [19] consider any initial configuration in which each node is supporting one out of two possible opinions. They proved that in such a configuration, under the assumption that the initial bias (i.e., advantage of an opinion) is greater than a function of the network’s expansion (measured in terms of the second eigenvalue of the network) [39], the whole network will support the initially most frequent opinion with high probability after a polylogarithmic number of rounds. The results of [19] on the 2Choices dynamics were later refined with milder assumptions on the initial bias with respect to the network’s expansion [20] and generalized to more opinions [22]. Their techniques should be easily adaptable in order to handle similar dynamics, such as the 3Majority dynamics [10, 11, 33]. The 2Choices dynamics constitutes one of the few processes whose behavior has been characterized on noncomplete topologies, typically assuming good expansion properties. Few works analyze the nontrivial behavior of such a dynamics on other classes of topologies which present a clustered structure, e.g., on regular clustered graphs [27] and on graphs sampled from the Stochastic Block Models [57], proving nontrivial behaviors of the dynamics. In particular, [57] leverages the KimVu concentration of probability inequality and the theory of competitive dynamical systems to obtain a precise description of the phase transition behavior of the 2Choices dynamics on the aforementioned model.
On a different note, for the deterministic Majority dynamics where in each round each node updates her opinion with the most frequent one among her neighbors: Substantial effort has been devoted to investigating how small the cardinality of a monopoly can be, i.e., a set of nodes supporting a given opinion \({\mathcal {O}}\) such that, when running the Majority dynamics, eventually the network reaches consensus on \({\mathcal {O}}\) [54, 55]. The previous line of investigation has focused on determining the existence of network classes on which the monopoly has a size which is upper bounded by a small function. In [4], the authors prove that many realworld networks contain a group of \(\sqrt{m}\) nodes, with m being the number of edges of the graph, that are monopolies with disproportionate power with respect to the rest of the network, namely their opinion wins the Majority voting and they remain stable over time. In [15], the existence of a family of networks with constantsize monopoly is shown. We emphasize that this line of investigation is peculiar as it deals with existential questions related to specific network classes, as opposed to the typical research questions that we discussed so far, which ask for general characterizations of the behavior of the considered process.
Recently, a more systematic and general study of opinion dynamics has been carried out in [12, 51, 52]. It characterizes the evolution and other mathematical aspects of dynamics—such as the Majority dynamics, the Voter Model, the DeGroot model, and others—on different network classes, such as ErdősRényi random networks and expander networks. We follow [52] in adopting the term “opinion dynamics” to refer to the class of processes discussed above.
Majority dynamics have also been studied as local interaction in bootstrap percolation processes, where nodes of graphs, typically lattices that exhibit very regular structures, interact with their neighbors until the process stabilizes, i.e., the diffusion started from an initial set of nodes stops. The typical setting considers an initial configuration where each node is in one of two possible states with probability p, and analyzes the convergence time of the process. Typical results show sharp phase transitions on p, i.e., a drastic change in the behavior of the process if p is greater or smaller than some threshold, in specific graph topologies such as the hypercube [6], binomial random graphs [41], random regular graphs [7], tori [59], or infinite trees [42].
A similar perspective to ours has been adopted also in other works. In [45] the authors show a phasetransition in a meanfield analysis of the behavior of deterministic majority in an asynchronousupdate model, in which only few nodes update their opinion at each round, on “coupled fully connected networks” composed of overlapping complete graphs. Voter Model and deterministic majority dynamics are also analyzed in [2], where it is considered a setting in which a superior opinion exists; using tools from the birthanddeath Markov Chains theory, it is shown the interplay between network topology and opinion dynamics in the time needed for the process to reach a consensus on the superior opinion. In [24, 25] a similar analysis as ours has been carried out for the synchronous kmajority dynamics, in which nodes update their opinion to the majority opinion of k randomly selected neighbors, proving similar phase transitions; in the same work results for the synchronous Voter Model and Majority dynamics are also presented.
2.1 Core–periphery model
It has long been observed in sociology that many economic and social networks exhibit a core–periphery structure [16, 56, 58, 60], namely, it is generally possible to group nodes into two classes, a core and a periphery, such that the former exhibits a dense internal topology while the latter is sparse and loosely connected, with specific properties relating the two. Such architectural principle has been linked, for example, to the easiness with which individuals solve routing problems in networks subject to the smallworld phenomenon [28].
The qualitative notion of core–periphery structure was translated into quantitative relations in the axiomatic approach of [5], which later also applied the algorithmic properties that follow from the core–periphery structure to the design of efficient distributed networks [3]. In some sense, our theoretical and empirical results may be regarded as a functional justification for the presence of a core–periphery structure in networks, as the latter turns out to play a decisive role in determining a certain kind of evolution for basic opinion dynamics such as the 2Choices.
3 Analysis of the biased2Choices dynamics
We now present the 2Choices dynamics and an alternative process, based on it, that will be analyzed in this section. The results on such an alternative process will be exploited later, in Sect. 4, to describe the behavior of the 2Choices dynamics on core–periphery networks. We are going to use use colors, instead of opinions, to give an intuitive explanation of the processes and facilitate its understanding.
Definition 1
(2Choices dynamics) Let \(G=(V,E)\) be a network and let each agent u have a color \(c^{(t)}(u) \in \{red, blue\}\) in every synchronous round t. In each round t, the 2Choices dynamics proceeds as follows: each agent u picks two neighbors v, w uniformly at random and with replacement; if \(c^{(t)}(v)=c^{(t)}(w)\), then u updates its color to that color, namely \(c^{(t+1)}(u) = c^{(t)}(v)\); otherwise u keeps its previous color, namely \(c^{(t+1)}(u) = c^{(t)}(u)\).
Definition 2
(Biased2Choices \((p\sigma )\) dynamics) Let \(p \in [0,1]\) be a constant and let \(\sigma \in \{red, blue\}\) be a color. We define the Biased2Choices(p, \(\sigma \)) dynamics as a variation of the 2Choices dynamics in which every time an agent picks a neighbor, that neighbor supports color \(\sigma \) with probability p regardless of its actual color. As in the 2Choices dynamics, in every round t, each agent u picks two neighbors v, w uniformly at random and with replacement. Formally, for every round t, every agent u, and every agent \(x \in \{v, w\}\), let us define an independent Bernoulli random variable \(M^{(t)}_{ux}\) parametrized by p. Let \({\bar{c}}_u^{(t)}(x)\) be the color of the sampled neighbor x seen by u, namely \({\bar{c}}_u^{(t)}(x) = \sigma \) if \(M^{(t)}_{ux}=1\) (with probability p) and \({\bar{c}}_u^{(t)}(x) = c^{(t)}(x)\) if \(M^{(t)}_{ux}=0\) (with probability \(1p\)). Each node u updates its state as follows: If \({\bar{c}}_u^{(t)}(v) = {\bar{c}}_u^{(t)}(w)\), then \(c^{(t+1)}(u) = {\bar{c}}_u^{(t)}(v)\); otherwise \(c^{(t+1)}(u) = c^{(t)}(u)\).
We start with some notation and preliminaries. In the following, we will make use of the asymptotic notation in order to bound the limiting behavior of some of the quantities analyzed in the paper. In particular we will use \({\mathcal {O}}\), o, \(\varTheta \), \(\varOmega \), and \(\omega \). This means that our results hold for networks with sufficiently many agents.
Let \(G=(V,E)\) be a network. For a set of agents \(A \subseteq V\), let the volume of A be \(\mathrm {vol}(A) := \sum _{v \in A} d_v\), where \(d_v\) is the degree of v. We call \(d_{_{\min }} = \min _{v \in V} d_v\). In this section we only consider dense graphs, i.e., graphs of n agents where \(d_{_{\min }} = \omega (\log n)\). Let \({\mathbf {c}}^{(t)} \in \{red,\, blue\}^n\) be the configuration of the colors of the agents at time t. Let the agents of G run the Biased2Choices(p, blue) dynamics starting from an initial configuration \({\mathbf {c}}^{(0)}\) where all nodes support color red. Let \(B^{(t)}\) be the set of blue agents and \(R^{(t)} = V \setminus B^{(t)}\) be the set of red agents at time t. For any agent v, let \(N_R(v) = N(v) \cap R^{(t)}\) be the set of red neighbors and \(N_B(v) = N(v) \cap B^{(t)}\) the set of blue neighbors of v. Furthermore, let \(r^{(t)}_v\) and \(b^{(t)}_v\) respectively be the number of red and blue neighbors of v at time t, i.e., \(r^{(t)}_v = N_R(v)\) and \(b^{(t)}_v = N_B(v)\). Let \(\phi ^{(t)}_v = \frac{r^{(t)}_v}{d_v}\) be the fraction of red agents in the neighborhood of v; let \(\phi _{_{\min }}^{(t)} = \min _{v \in V} \phi ^{(t)}_v\) and \(\phi _{_{\max }}^{(t)} = \max _{v \in V} \phi ^{(t)}_v\) be, respectively, the minimum and maximum fractions of red neighbors among all agents in V. In the following, for the sake of readability, whenever we omit the time index, we refer to the value at time t, e.g., \(\phi _v\) stands for \(\phi ^{(t)}_v\). Similarly, we concisely denote with \({\mathbf {P}}_{R} \left( v \right) = {\mathbf {P}}_{ } ( v \in R^{(t+1)} \,\, {\mathbf {c}}^{(t)} = \bar{{\mathbf {c}}})\) the probability that agent v will be supporting the red color in the next round of the Biased2Choices(p, blue) conditioned to the event that the configuration at time t is equal to \(\bar{{\mathbf {c}}}\), i.e.,
In particular, given the conditioning \({\mathbf {c}}^{(t)} = \bar{{\mathbf {c}}}\) that makes \(\phi _v\) deterministic for each v, the previous probability can be read in the following terms: if the agent v was red, it will remain red only if it does not sample a blue neighbor twice (where the probability of sampling a blue neighbor is \(p + (1p)(1\phi _v)\), i.e., either the bias p has an effect or the bias p has no effect and v actually samples a blue neighbor); instead, if the agent v was blue, it will become red only if it samples a neighbor in state red twice (where the probability of sampling a red neighbor is \((1p)\phi _v\), i.e., the bias p has no effect and v actually samples a red neighbor). Furthermore, note that:
Conditioning to the configuration \({\mathbf {c}}^{(t)} = \bar{{\mathbf {c}}}\), we can give a lower bound for the expected fraction of red neighbors of any agent v as follows:
Note that we could cancel out 1 and \(1\), however, leaving them facilitates the analysis. In the steps above, we can lower bound \(\frac{r_v}{d_v}\) because its coefficient, i.e., \((1  \big ( p+(1p)(1  \phi _{_{\min }}) \big )^2  (1p)^2\phi _{_{\min }}^2)\), is nonnegative for any \(p, \phi _{_{\min }} \in [0,1]\).
Conversely, we can upper bound the expectation using \(\phi _{_{\max }}\), i.e.,
Note that the lower and the upper bound for the expectation have the same form. In fact, defining the functions
the lower and the upper bound for the expectation can respectively be written as \(g_p(\phi _{_{\min }})\) and \(g_p(\phi _{_{\max }})\). Thus, analyzing \(f_p(\phi )\), we can see for which values of p the function \(g_p(\phi )\) is increasing or decreasing.
Before analyzing the actual behavior of the Biased2Choices(p, blue) on G, we study \(f_p(\phi )\) in order to characterize the bounds for the expectation. The roots of \(f_p(\phi )\) are in \(\frac{3p\pm \sqrt{p^26p+1}}{4(1p)}\) while its derivative is \( f_p'(\phi ) = 4\left( 1p\right) ^2\phi  (1p)(3p). \) It follows that \(f_p(\phi )\) has a minimum point in \({\bar{\phi }} = \frac{3p}{4(1p)}\). Moreover, the sign of \(f_p({\bar{\phi }})\) exclusively depends on p. In fact
since \(f_p(\phi )\) is convex and in (2) the discriminant of \(f_p(\phi )\) is negative, while in (3) the discriminant is positive.
Before stating and proving the main theorem of this work, we give the definition of almostconsensus (\((1\kappa (n))\)consensus), i.e., one of the configurations of interest that are reached by the dynamics.
Definition 3
(\((1\kappa (n))\)consensus) Let \(\kappa (n) : {\mathbb {N}} \rightarrow [0,1]\). Given a network \(G=(V,E)\) and a color \(\sigma \), we say a dynamics reaches a \((1\kappa (n))\)consensus in round t if the volume of agents supporting color \(\sigma \) is \((1  \kappa (n))\mathrm {vol}(V)\).
We are now ready to state the main theorem, that will be proved in the following subsections.
Theorem 1
(Phase Transition) Let \(G = (V,E)\) be a network of n agents such that each agent v has a color \(\sigma _v\) and \(d_v = \omega (\log n)\) neighbors. Let \(p \in [0,1]\) be a constant and \(p^\star = 3  2\sqrt{2}\). Then, starting from a configuration where all agents initially support the red color and letting the agents run Biased2Choices(p, blue), it holds that:

\((1\kappa (n))\)consensus: If \(p > p^\star \), then there exists a constant \(\lambda \) such that for every \(\kappa (n) : {\mathbb {N}} \rightarrow [0,1]\) with \(\kappa (n) \ge \lambda \cdot \frac{\log n}{d_{_{\min }}}\), the dynamics reaches a \((1\kappa (n))\)consensus on color blue within \({\mathcal {O}}(\log (1/\kappa (n)))\) rounds, w.h.p.

Metastability: If \(p < p^\star \), then the volume of the blue agents never exceeds \(\frac{13p}{4(1p)} \mathrm {vol}(V)\) for any \( {\mathrm {poly}}(n)\) number of rounds, w.h.p.

Critical value: If \(p = p^\star \) and G is the complete graph, the dynamics reaches a consensus on color blue in round \(t \in \varOmega (\root 4 \of {n/\log n}) \cap {\mathcal {O}}(n \log n)\), w.h.p.
Note that in the \((1\kappa (n))\)consensus result there is a lower bound on the function \(\kappa (n) = \varOmega (\frac{\log n}{d_{_{\min }}})\). Indeed, given no topological assumption on the graph other than the minimum degree, our proof techniques cannot guarantee a stronger consensus. As a consequence, the higher the minimum degree, the closer to a complete consensus our analysis can get.
3.1 Almostconsensus
Let \(p > 3  2\sqrt{2}\). Let \(f_p({\bar{\phi }}) = \varepsilon \) be the local minimum of \(f_p\). Note that \(\varepsilon \) is positive because of (2) and it is a constant since it only depends on p and \({\bar{\phi }}\), which are both constants. Due to the convexity of \(f_p(\phi )\), it holds that \(f_p(\phi ) \ge \varepsilon \) for every \(\phi \in [0,1]\). Thus, for every \(v \in V\), we have that
Thus, we can apply a multiplicative form of the Chernoff bounds directly to the upper bound of the expected fraction of red neighbors at the next round, as shown in [31, Exercise 1.1], and obtain
where the last inequality only holds for configurations \({\mathbf {c}}^{(t)} = \bar{{\mathbf {c}}}\) such that \(\phi _{_{\max }}^{(t)} \ge \kappa (n)\), since by hypothesis we have that \(\kappa (n) \ge \lambda \cdot \frac{\log n}{d_{_{\min }}}\) where we set \(\lambda = \frac{6}{\varepsilon ^2 (1  \varepsilon )}\). Thus, using the union bound over all the agents, we get that \(\phi _{_{\max }}^{(t+1)} \le (1\varepsilon ^2)\phi _{_{\max }}^{(t)}\), w.h.p. Formally, for all t such that \(\phi _{_{\max }}^{(t)} \ge \kappa (n)\),
Starting from a configuration where all agents are in state red and thus \(\phi _{_{\max }}^{(0)} = 1\), we get that after T rounds \(\phi _{_{\max }}^{(T)} \le (1\varepsilon ^2)^{T}\) and, considering \(T={\mathcal {O}}(\log (1/\kappa (n)))\), it follows that \(\phi _{_{\max }}^{(T)} \le \kappa (n)\). Indeed,
which implies \(T = {\mathcal {O}}(\log (1/\kappa (n)))\) since \(\varepsilon \) is a positive constant.
N ote that if the configuration \({\mathbf {c}}^{(t)} = \bar{{\mathbf {c}}}\) is such that \(\phi _{_{\max }}^{(t)} < \kappa (n)\), i.e., after \({\mathcal {O}}(\log (1/\kappa (n)))\) rounds of the Biased2Choices(p, blue) dynamics, the process has reached a \((1\kappa (n))\)consensus on color blue. Indeed,
3.2 Metastability
Let \(p < 3  2\sqrt{2}\). Define \(f_p({\bar{\phi }}) = \varepsilon \) to be the local minimum of f. Recall that \(\varepsilon \) is positive because of (3) and it is a constant since it only depends on the constants p and \({\bar{\phi }}\).
Then, using the fact that \(g_p(\phi )\) is monotonically nondecreasing for \(\phi \in [0,1]\), for every \(\phi \ge {\bar{\phi }}\) we have that
We can now use a multiplicative form of the Chernoff bounds in order to show that if the fraction of red neighbors of an agent v is at least \({\bar{\phi }}\), then the probability that the number of red neighbors of v in the next round is lower than \({\bar{\phi }}\) is negligible. Formally, let \({\mathbf {c}}^{(t)}\) be an arbitrary configuration such that \(\phi _{_{\min }}^{(t)} \ge {\bar{\phi }}\), e.g., the initial configuration \({\mathbf {c}}^{(0)}\) has this property. First, note that due to \(g_p(\phi ) \ge g_p({\bar{\phi }})\), we have that
Then, it follows that
Applying the union bound over all the agents, we get
Thus, with high probability we have that \(\phi _{_{\min }}^{(t)} \ge {\bar{\phi }}\) for every round polynomial number of rounds. Before we can use this to finish the proof, note that \(\sum _{v \in B^{(t)}} d_v = \sum _{v \in V} (d_v  r_v^{(t)})\), by simply counting the number of blue endpoints of an edge in two different ways. Using that \(\phi _v^{(t)} \ge \phi _{_{\min }}^{(t)} \ge {\bar{\phi }}\) for each v, we have
This means, the volume of the blue agents never exceeds a fraction of \(\frac{13p}{4(1p)}\) of the total volume of the graph, w.h.p.
3.3 Critical value
In this section we prove the criticalvalue part of Theorem 1. The analysis of the behavior of the dynamics becomes harder if \(p = 3  2\sqrt{2}\). Indeed in this case the expected evolution of the dynamics cannot describe accurately its real evolution. For this reason we consider the simplest case where the underlying graph G is a clique (assuming it also has selfloops, to further simplify the analysis). In this scenario we prove both an upper and a lower bound on the converge time of the dynamics to a consensus.^{Footnote 4}
In the upper bound the main idea is to use the variance of the process to show that, in nearlinear time, the color configuration is unbalanced enough toward color blue so that the process quickly reaches the blue monochromatic configuration. The main part of the lower bound, instead, is where we show that there is a timeframe where the drift toward the blue configuration gets smaller and smaller, and the bound then follows by applying known results on submartingales. In both analyses, many events happen with constant probability, so it is not possible to apply the same technique used in the previous sections where \(p \ne p^\star \), i.e., giving bounds neighborhood by neighborhood and “merge” them through a union bound.
Even if we restrict the analysis to the case where G is the complete graph, we observe that in this context the convergence time of the dynamics is quite different from both the previous cases, being closer to the convergence time of Voter [8].
Upper bound We first show an upper bound to the time that the process needs to reach a configuration in which the number of blue nodes is big enough, e.g., 3/4 of the total, exploiting the variance of the process. Then, starting from a configuration where 3/4 of the nodes are blue, we can rely on previous results on the unbiased version of the 2Choices dynamics [20], which is stochastically dominated by the Biased2Choices(p, blue) (having no help of the bias p in reaching a blue consensus and, thus, being slower).

1.
Let \(b^{(t)} = n (1  \phi ^{(t)})\) be the random variable counting the number of blue nodes at time t and let \(\tau := \inf \{t \in {\mathbb {N}} : b^{(t)} \ge \frac{3}{4}n\}\) be a stopping time. We first show in Lemma 1 that starting from any configuration where \(b^{(0)} < \frac{3}{4}n\), it holds that \({\mathbf {E}}\left[ \tau \right] = {\mathcal {O}}(n)\). As a simple application of the Markov inequality we get that \({\mathbf {P}}_{} \left( \tau > 2{\mathbf {E}}\left[ \tau \right] \right) \le \frac{{\mathbf {E}}\left[ \tau \right] }{2{\mathbf {E}}\left[ \tau \right] } \le \frac{1}{2}\), using Lemma 1. As an application of the Union Bound we get that, w.h.p., the hitting condition is satisfied at least once within \(\log n\) attempts. This shows that the stopping time \(\tau = {\mathcal {O}}(n \log n)\) w.h.p., namely the process reaches a configuration such that the number of blue nodes is at least \(\frac{3}{4}n\) within \({\mathcal {O}}(n \log n)\) rounds, w.h.p.

2.
Starting from such a set of configurations we apply the results on the 2Choices dynamics [20, Theorem 1], which is stochastically dominated by the Biased2Choices(p, blue). There the authors show that the dynamics converges to the allblue configuration in \({\mathcal {O}}(\log n)\) rounds, w.h.p., if the initial unbalance toward the blue color is big enough with respect to some function of the spectral expansion of the graph.
In detail, we first apply our previous equations on the complete graph G. Since G is the complete graph with selfloops we have that the set of neighbors for each \(v \in V\) is \(N_v=V\). Thus, for each \(v,w \in V\) the number of red neighbors is equal, i.e., \(r_v = r_w\), and therefore also the ratio of red neighbors is equal, i.e., \(\phi _v = \phi _w\). Therefore, for the sake of simplicity, we will just look at the number of red neighbors \(r^{(t)}\) and at the fraction of red neighbors
The topology of G also implies that a configuration \({\mathbf {c}}^{(t)}\) at time t is completely determined by the number (or fraction) of red nodes at time t. Thus, for this scenario, it follows from Equation (1) that
since the minimum and maximum fraction of red neighbors are the same for all nodes and equal among them, i.e., \(\phi _{_{\min }} = \phi _{_{\max }} = \phi \). Since in this scenario
we get that
Note that \(f_{p^\star } \in [0,1]\) for every \(\phi \in [0,1]\) and thus it holds that \({\mathbf {E}}\left[ \phi ^{(t+1)} \ \big  \ \phi ^{(t)}=\phi \right] \le \phi ^{(t)}\). Thus the converse must also hold, i.e.,
Lemma 1
Let \(b^{(t)}\) the random variable counting the number of blue nodes at time t and let \(\tau := \inf \{t \in {\mathbb {N}} : b^{(t)} \ge \frac{3}{4}n\}\) be a stopping time. Starting from any configuration where \(r^{(0)} \ge \frac{1}{4}n\), it holds that \({\mathbf {E}}\left[ \tau \right] = {\mathcal {O}}(n)\).
Proof
We start by proving that
where \(\delta := \frac{(p^\star )^2(1p^\star )}{16}\) and \(\xi _r \ge (p^\star )^2\) are constant w.r.t. n. The core of the proof are indeed Eqs. (6) and (7), that allow us to show that when the number of blue nodes is sufficiently large, i.e., \(b^{(t)} \ge \frac{3}{4}n\), the dynamics is a submartingale with conditional variance \(\varTheta (n)\). Then we show that \(\tau := \inf \{t \in {\mathbb {N}} : b^{(t)} \ge \frac{3}{4}n\}\) is a hitting time with linear expectation w.r.t. the number of nodes n.
Since \(b^{(t)} := n(1\phi ^{(t)})\), Eq. (6) implies that
Let X(v) be an indicator random variable for the event “node v is blue in the next round”. We have \(X(v) = 1\) if v is currently red and sees two blue nodes; we denote the probability of this event with \(\xi _r\). We also have \(X(v) = 1\) if v is currently blue and does not see two red nodes; we denote the probability of this event with \(\xi _b\). By indicating with \(\text {Bin}(n,\,p)\) a random variable sampled from a binomial distribution with parameters n (trials) and p (probability of success), it follows that
Recall that, by hypothesis, \(r^{(t)} \ge \frac{1}{4}n\). Moreover, note that: (i) \(\xi _r\) (i.e., the probability of seeing blue twice), is greater than that of seeing blue twice only considering the bias and thus \(\xi _r \ge (p^\star )^2\); (ii) \((1\xi _r)\), (i.e., the probability of seeing at least one red), is greater than the probability that the first node that we see is red, thus \( (1\xi _r) \ge (1p^\star )\phi \ge \frac{1p^\star }{4}. \) Therefore it follows that \( \mathbf {Var}\left[ b^{(t+1)} \ \big  \ \phi ^{(t)}=\phi \right] \ge r^{(t)} \xi _r (1\xi _r) \ge \frac{(p^\star )^2(1p^\star )n}{16} = \delta n, \) where \(\delta := \frac{(p^\star )^2(1p^\star )}{16}\).
Let us now define a new random variable \(Z^{(t)} := (b^{(t)})^2  \delta n t\). We show that the random process defined by \(\{Z^{(t)}\}_{t \in {\mathbb {N}}}\) is a submartingale. Observe that
where in (a) we used the lower bound on the conditional variance [Eq. (7)], and in (b) we used the fact that the fraction of blue nodes is a submartingale [Eq. (6)].
Let us define the stopping time \(\tau := \inf \{t \in {\mathbb {N}} : b^{(t)} \ge \frac{3}{4}n\}\). Note that \(\tau \) meets the conditions of the Optional Stopping Theorem [47, Corollary 17.7], in its version for submartingales. Indeed:

\({\mathbf {P}}_{} \left( \tau < \infty \right) = 1\) holds because the probability of jumping in the configuration where all nodes are blue at any time time t is lower bounded by a nonzero value independent from t, namely \({\mathbf {P}}_{} \left( b^{(t+1)}=n \right) \ge (p^\star )^{2n}\) (in words, it is at least the probability for each node to see twice color blue).

\(Z^{(t)} \le K\), for every \(t \le \tau \) and for some value K independent from t, holds because \(Z^{(t)} = (b^{(t)})^2  \delta n t \le (b^{(t)})^2 + \delta n t \le n^2 + cn\), where the last inequality holds from previous point, i.e., since \(\tau < \infty \) almost surely.
The Optional Stopping Theorem states that \({\mathbf {E}}\left[ Z^{(\tau )} \right] \ge {\mathbf {E}}\left[ Z^{(0)} \right] \); it then follows that
and, thus, we can conclude that
\(\square \)
We now apply previous results on the 2Choices dynamics dynamics [20, Theorem 1], that claim that the 2Choices dynamics dynamics converges in \({\mathcal {O}}(\log n)\) rounds to a consensus on the initial majority, w.h.p., if the second largest eigenvalue of the transition matrix of a random walk on the underlying graph is less or equal to \(1/\sqrt{2}\), and if the difference between the number of supporters of blue and red colors is \(\varOmega (n)\). Thanks to Lemma 1, we know that after \({\mathcal {O}}(n \log n)\) rounds the dynamics reaches a configuration where \(B^{(t)} \ge \frac{3}{4} n\), even if starting from an initial worstcase configuration where all nodes supported state red. This implies the \(\varOmega (n)\) condition on difference between blue and red colors support. Moreover note that the transition matrix of the clique with self loops is \(P = \frac{1}{n} J\), where J is the \(n \times n\) matrix of all ones and the eigenvalues of P are 1, with multiplicity 1, and 0 (including the second largest), with multiplicity \(n1\).
Since the 2Choices dynamics dynamics is equivalent to the Biased2Choices(p, blue) when \(p=0\), it follows from a stochastic domination argument that also the Biased2Choices(p, blue) dynamics converges in \({\mathcal {O}}(\log n)\) rounds to a blue consensus, w.h.p., since we lowered the bias p from \(p=p^\star =3  2\sqrt{2}\) to \(p=0\).
Lower bound The proof for the lower bound is divided in two parts. Note from Eq. (5) that \(f_{p^\star }\) has a root in \({\bar{\phi }} = \frac{1}{1+p^\star }\). Combining this fact with Eq. (4), it follows that when \(\phi ^{(t)} = {\bar{\phi }}\) the process is stationary in expectation, namely \({\mathbf {E}}\left[ \phi ^{(t+1)} \ \big  \ \phi ^{(t)}={\bar{\phi }} \right] = {\bar{\phi }}\). We essentially show a lower bound on the time the process needs to reach a configuration where the number of red nodes is \({\bar{\phi }}n\), starting from the initial configuration in which all nodes are red. In order to do this we use the following strategy:

1.
We look at the evolution over time of the difference between the number of red nodes and the target number of red nodes, namely
$$\begin{aligned} \varDelta ^{(t)} := r^{(t)}  {\bar{\phi }} n. \end{aligned}$$(8)Note that the closer \(\varDelta ^{(t)}\) is to zero, the smaller is the drift of the dynamics since it goes closer to the saddle point \({\bar{\phi }}\) where it is a martingale.

2.
In Lemma 2 we prove an upper bound to the difference \(\varDelta ^{(t)}\varDelta ^{(t+1)}\) in two consecutive rounds, namely that \(\varDelta ^{(t)}\varDelta ^{(t+1)}\le [8p^\star + \sqrt{2}]\sqrt{n\log n}\) (we recall that \(p^\star = 3  2\sqrt{2}\)), starting from a configuration in which \(\varDelta ^{(t)} \le n^{\frac{3}{4}}\root 4 \of {\log n}\). The lemma allows us to give a lower bound on the time that the process needs to reach the saddle point in which \(\varDelta ^{(t)}\) is close to 0, w.h.p. In fact, if the process lies in a configuration such that \(\frac{1}{2} n^{\frac{3}{4}}\root 4 \of {\log n} \le \varDelta ^{(t)} \le n^{\frac{3}{4}}\root 4 \of {\log n}\), it needs \(({\frac{1}{2} n^\frac{3}{4}\root 4 \of {\log n}})/({[8p^\star + \sqrt{2}]\sqrt{n\log n}}) = \varOmega (\root 4 \of {n/\log n})\) rounds to reach a configuration such that \(\varDelta ^{(t)} = {\mathcal {O}}(1)\), w.h.p.

3.
In Lemma 3, instead, we prove that at any time t such that \(\varDelta ^{(t)} = \omega (n^{\frac{3}{4}}\root 4 \of {\log n})\), e.g., at the beginning of the process in which \(\varDelta ^{(0)} = \varTheta (n)\), then the process either jumps in the desired range of values for \(\varDelta \) or the dynamics does not converge at all, w.h.p.
The proof follows from the two lemmas and from an application of the Union Bound for \({\tilde{{\mathcal {O}}}}(n^{\frac{1}{4}})\) rounds.
Lemma 2
If \(\varDelta ^{(t)} \le n^\frac{3}{4}\root 4 \of {\log n}\), then \((\varDelta ^{(t)}\varDelta ^{(t+1)}) \le [8p^\star + \sqrt{2}]\sqrt{n\log n}\).
Proof
We first lower bound the decrease of the number of red nodes at each round by using a Chernoff Bound (Eq. (9)); then we express the result as a function of \(\varDelta ^{(t)}\).
Let \(r^{(t)}\) be the random variable counting the number of red nodes at time t. Let \(\varepsilon := \sqrt{\frac{2\log n}{{\mathbf {E}}\left[ r^{(t+1)} \right] }}\). Note that \(\varepsilon \in (0,1)\) since \(\varDelta ^{(t)} \le n^\frac{3}{4}\root 4 \of {\log n}\) that implies that \({\mathbf {E}}\left[ r^{(t+1)} \right] > 2 \log n\).
By applying a multiplicative form of the Chernoff bound, it holds that
Recall that \({\bar{\phi }} = \frac{1}{1+p^\star }\) is the root of \(f_{p^\star }(\phi )\). Let us define the extra number of red nodes w.r.t. the critical number, i.e., the number of red nodes such that \(f_p(\phi ) = 0\), as
Thanks to Eq. (9) the following holds w.h.p.
where in (a) we use that \({\mathbf {E}}\left[ r^{(t+1)} \right] \le n\). In order to conclude the proof, we show in the next claim a suitable formulation for the expectation of \(\varDelta ^{(t+1)}\) that will be used in the last steps.
Claim
It holds that
Proof
By using Eq. (4), we get that
Moreover, by using the definition of \(\varDelta \) (Equation (8)), we have that
By combining the last two equations, and noticing that \((1+p^\star )^2 = 8p^\star \), we get
\(\square \)
Using the previous claim we conclude that
where in (a) we use that \(r^{(t)} \le n\) and in (b) that \(\varDelta ^{(t)} \le n^\frac{3}{4}\root 4 \of {\log n}\). \(\square \)
Lemma 3
The process does not jump from a configuration where \(\varDelta \ge n^\frac{3}{4}\root 4 \of {\log n}\) to a configuration where \(\varDelta < \frac{1}{2} n^\frac{3}{4}\root 4 \of {\log n}\), w.h.p.
Proof
Starting from Eq. (11) we get
Note that \(1  8p^\star \cdot (1{\bar{\phi }}) \approx 0.8 > 0\). Thus, conditioning with respect to the complement of the event of Eq. (9) and using Eq. (10) as starting point, we get the following bound to the value of the random variable \(\varDelta ^{(t+1)}\), assuming a suitably large value of n:
where in (a) we used that \(\varepsilon = \sqrt{\frac{2\log n}{{\mathbf {E}}\left[ r^{(t+1)} \right] }}\) and that \({\mathbf {E}}\left[ r^{(t+1)} \right] \le n\), in (b) we used Inequality (12), and in (c) we used that \(\sqrt{n\log n} = o(\varDelta ^{(t)})\) since \(\varDelta ^{(t)} \ge n^\frac{3}{4}\root 4 \of {\log n}\) and thus for any \(\varepsilon ' > 0\) there exists a suitably large n. \(\square \)
4 Results on core–periphery networks
In this section we present theoretical and experimental results about the behavior of the 2Choices dynamics on networks exhibiting a core–periphery structure. In particular, in Sect. 4.1 we apply the technical result of Theorem 1 on a suitably defined class of Core–Periphery networks. In Sect. 4.2, instead, we introduce a new heuristic to identify a good core–periphery partition and simulate the behavior of the 2Choices dynamics in the same setting we theoretically analyzed.
4.1 Theoretical results
Let us start by giving a formal definition of Core–Periphery networks on which it is possible to apply the results of Theorem 1.
Definition 4
Let \(n \in {\mathbb {N}}\) and \(\varepsilon ,c_r,c_d \in {\mathbb {R}}^+\), with \( \frac{1}{2} \le \varepsilon \le 1\). We define an \((n, \varepsilon , c_r,c_d)\)Core–Periphery network \(G=(V, E)\) as a network where each agent either belongs to the core \({\mathcal {C}}{}\) or to the periphery \({\mathcal {P}}{}\), i.e., \(V = {\mathcal {C}}\mathbin {\dot{\cup }}{\mathcal {P}}\), with \(\vert {\mathcal {C}} \vert = n^\varepsilon \) and \(\vert {\mathcal {P}} \vert = n\), and such that:

for each agent \(u \in {\mathcal {C}}\), it holds that \(\vert N(u) \cap {\mathcal {C}}\vert = c_r \cdot \vert N(u) \cap {\mathcal {P}}\vert \),

for each agent \(v \in {\mathcal {P}}\), it holds that \(\vert N(v) \cap {\mathcal {C}}\vert = c_d \cdot \vert N(v) \cap {\mathcal {P}}\vert \),
where N(v) is the set of neighbors of agent v.
Note that the definition we just provided matches the requirements of the core–periphery structure as axiomatized by Avin et al. [5]. However, observe that it is more restrictive: The values \(c_r\) and \(c_d\) define properties that hold for each agent of the network and not only globally, i.e., for the partition induced by the core.
Let \(G = (V, E)\) be an \((n, \varepsilon , c_r, c_d)\)Core–Periphery network with \(d_{_{\min }} = \omega (\log n)\). Note that the minimum degree assumption might seem strong for periphery agents that are usually weaklyconnected. On the one hand, nowadays the social networks follow a densification trend [43], namely the number of connections grows faster than the number of agents, thus making the average degree increase. On the other hand, the assumption is made to simplify the analysis and to be able to use concentration arguments to show that the actual behavior of all agents is close to the expected one w.h.p. In fact, allowing a few agents in the periphery to have sublogarithmic degree does not change their expected behavior, but it is just not sufficient to use concentration of probability arguments.
We consider the natural setting in which, w.l.o.g., the agents belonging to the core \({\mathcal {C}}\) initially support the color blue while the remaining agents, from the periphery \({\mathcal {P}}\), support the color red. With the following theorem, we prove a phase transition of the 2Choices dynamics on Core–Periphery networks, showing how to apply the technical results provided in Theorem 1.
Theorem 2
Let \(c^\star = \frac{\sqrt{2}1}{2}\) be a universal constant. Let \(G=(V, E)\) be an \((n, \varepsilon , c_r, c_d)\)Core–Periphery network such that \(d_{_{\min }} = \omega (\log n)\) and let G run the 2Choices dynamics starting from an initial configuration where all the nodes in the core support color blue, while all the nodes in the periphery support color red. It holds that:

\((1\kappa (n))\)consensus: There exists a constant \(\lambda \) such that for all \(\kappa (n) : {\mathbb {N}} \rightarrow [0,1]\) with \(\kappa (n) \ge \lambda \cdot \frac{\log n}{d_{_{\min }}}\), there exists a round \(t \in {\mathcal {O}}(\log (1/\kappa (n)))\) such that:

if \(c_d > c^\star \) by a constant, and \(c_r > n^{(\varepsilon + \delta )/2}\) for a suitable constant \(\delta \), then \(\mathrm {vol}(B^{(t)}) = (1  \kappa (n))\mathrm {vol}(V)\), w.h.p.


Metastability: For each round \(t \in {\mathrm {poly}}(n)\) it holds that:

if \(c_d < c^\star \) by a constant, then \(\mathrm {vol}(R^{(t)}) \ge \frac{3}{4}\mathrm {vol}({\mathcal {P}})\), w.h.p.

if \(c_r > \frac{1}{c^\star }\) by a constant, then \(\mathrm {vol}(B^{(t)}) \ge \frac{3}{4}\mathrm {vol}({\mathcal {C}})\), w.h.p.

Proof
Let \(q_{_{\mathcal {C}}} = \frac{ N(u) \cap {\mathcal {P}}}{d_u}\) be the probability that an agent \(u \in {\mathcal {C}}\) picks a neighbor in the periphery, and let \(q_{_{\mathcal {P}}} = \frac{ N(v) \cap {\mathcal {C}}}{d_v}\) be the probability that an agent \(v \in {\mathcal {P}}\) picks a neighbor in the core. The relations below follow from Definition 4:
Let \(c^\star = \frac{\sqrt{2}  1}{2}\) be the constant which later defines a threshold on \(c_d\) between almostconsensus and metastability behavior. We get
for \(\delta _r\) and \(\delta _r'\) (\(\delta _d\) and \(\delta _d'\)) which are either both positive or both negative.
Almostconsensus For the almostconsensus result, we require a high robustness of the core such that it remains monochromatic for \({\mathcal {O}}(\log (1/\kappa (n)))\) rounds, where \(\kappa (n) : {\mathbb {N}} \rightarrow [0,1]\) with \(\kappa (n) \ge \lambda \cdot \frac{\log n}{d_{_{\min }}}\) by hypothesis. The following lemma is needed to link the robustness with this property.
Lemma 4
Let \(\varepsilon \) and \(\delta \) be two positive constants. Let \(G = (V,E)\) be a graph of \(n^\varepsilon \) agents, and let \(0 \le p \le n^{{(\varepsilon + \delta )}/{2}}\). Starting from a configuration such that each agent initially supports the blue color, no agent becomes red within \({\mathcal {O}}(\log (1/\kappa (n)))\) rounds of the Biased2Choices(p, red), w.h.p.
Proof
The probability that an agent v changes its color to red at time t, given that all the other agents are still blue, is
Applying the union bound over all the agents and over \(\tau = {\mathcal {O}}(\log (1/\kappa (n)))\) rounds, we get
since \(\tau = {\mathcal {O}}(\log (1/\kappa (n)))\) and \(\kappa (n) \ge \lambda \cdot \frac{\log n}{d_{_{\min }}}\). Thus, all agents in the graph remain blue for any logarithmic number of rounds, w.h.p. \(\square \)
If \(c_r \ge n^{(\varepsilon + \delta )/2}\), by Eq. (13) it follows that \( q_{_{\mathcal {C}}} = 1 \,/\, (c_r + 1) < 1 \,/\, c_r \le n^{(\varepsilon + \delta )/2}. \) Thus, we can apply Lemma 4 which essentially claims that, if the core is robust enough, then the agents in the core never changes color for \({\mathcal {O}}(\log (1/\kappa (n)))\) rounds, w.h.p., even in the worst case scenario in which the nodes in the periphery always stay red. Therefore, for any \({\mathcal {O}}(\log (1/\kappa (n)))\) number of rounds, the process is, w.h.p., equivalent to a Biased2Choices(\(q_{_{\mathcal {P}}}\), blue) run by the subgraph induced by the nodes in the periphery. Since \(c_d > c^\star \) and thus \(q_{_{\mathcal {P}}} > 3  2\sqrt{2}\) by Eq. (16), we can apply Theorem 1 and get a \((1\kappa (n))\)consensus on the blue color within \({\mathcal {O}}(\log (1/\kappa (n)))\) number of rounds, w.h.p.
Metastability Consider the following worst case scenario: Every time an agent in the core (periphery) chooses a random neighbor belonging to the periphery (core), then that neighbor is red (blue). In this scenario, the 2Choices dynamics can be thought of as two independent Biased2Choices(p, \(\sigma \)) in which for the core \(p = q_{_{\mathcal {C}}}\) and \(\sigma = red \), and for the periphery \(p = q_{_{\mathcal {P}}}\) and \(\sigma = blue \). From \(c_r > \frac{1}{c^\star }\) and \(c_d < c^\star \) and Eqs. (15) and (16), it follows that \(q_{_{\mathcal {C}}}\) and \(q_{_{\mathcal {P}}}\) are less than \(3  2\sqrt{2}\). By applying the metastability result of Theorem 1, we get that the volume of the adversary never exceeds \(\frac{13p}{4(1p)}\) of the network’s volume. Since both \(q_{_{\mathcal {C}}}\) and \(q_{_{\mathcal {P}}}\) are smaller than \(3  2\sqrt{2}\), we have that \(\frac{13p}{4(1p)} \le \frac{1}{4}\) (as the inequality is tight for \(p=0\) and its value is decreasing). Thus, the volumes of red (blue) agents in the core (periphery) are at most a fraction of \(\frac{1}{4}\). Therefore, the volumes of blue and red agents in the whole network are at least \(\frac{3}{4}\) of the volumes of \({\mathcal {C}}\) and \({\mathcal {P}}\), respectively. \(\square \)
4.2 Experimental results
In the previous Sect. 3 we formally studied the 2Choices dynamics on Core–Periphery networks, observing a phase transition phenomenon that appears on a dominance threshold \(c^\star = \frac{\sqrt{2}1}{2}\). Here, we report the results of the empirical data obtained by simulating the 2Choices dynamics on realworld networks. Furthermore, we discuss our results and compare them with our theoretical analysis. The source code of the experiments is freely available.^{Footnote 5}
We simulated the 2Choices dynamics on 70 realworld networks, out of which 25 taken from KONECT [44] and 45 from SNAP [46]. Detailed information regarding the networks and the results of the experiments are reported in Table 1. The networks chosen for the experiments are drawn from a variety of domains including social networks, communication networks, road networks, and web graphs; moreover, they range in size from thousands of nodes and thousands of edges up to roughly one million of nodes and tens of millions of edges. Before simulating the 2Choices dynamics , we preprocess the networks in order to match the theoretical setting. In particular, for all the networks, we remove the orientation of the edges and all loops, and we work on the largest (w.r.t. the number of nodes) connected component.
The first issue we faced simulating the 2Choices dynamics was the extraction of the set of agents representing the core. In fact, there is no exact definition of what a good core is with respect to dominance and robustness values. We started by using a simple heuristic to extract the core, namely the krichclub method [61]: This method establishes the core \({\mathcal {C}}\) as the set of k agents with highest degree and the periphery \({\mathcal {P}}\) as the remaining agents. Avin et al. [5] empirically show that when k is at the balance point, i.e., k is chosen such that \(vol({\mathcal {C}}) \approx vol({\mathcal {P}})\), the core found by this method is sublinear in size with respect to the number of agents of the network. We remark that if \(vol({\mathcal {C}}) = vol({\mathcal {P}})\) then, from the definitions of robustness and dominance, it follows that \( c_r = \frac{1}{c_d} \) and the conductance of the cut dividing \({\mathcal {C}}\) from \({\mathcal {P}}\) is \(\varphi ({\mathcal {C}}, {\mathcal {P}}) = \frac{1}{1+c_r}\). In particular, a high robustness \(c_r\) and, thus, a low dominance \(c_d\) have direct implications on the topological structure of core and periphery. On the one hand, a high robustness implies that nodes in the core have a high number of neighbors in the core w.r.t. the neighbors in the periphery; on the other hand, a low dominance implies that nodes in the periphery have a low number of neighbors in the periphery w.r.t. the neighbors in the core. From the point of view of the conductance of the cut between the two sets, the higher the robustness (hence, the lower the dominance), the lower the conductance \(\varphi ({\mathcal {C}}, {\mathcal {P}})\), i.e., the two sets are wellseparated.
We initially used the krichclub method to extract the core but noted that this simple heuristic produces a core with very low robustness values, contrary to what common sense would suggest to be a good core. In particular, low robustness values imply that the dominance values never go below our theoretical threshold \(c^\star \) (see columns \({\bar{c}}_r\) and \({\bar{c}}_d\) in Table 1), which hinders the comparison between theoretical and experimental results. Indeed, in our theoretical analysis we assume that the core never changes color, i.e., that the robustness is high; however, in the experiments the core was very unstable when using the krichclub method. The main issue of this method is that it does not take into account the topological structure of the network, e.g., if we consider a regular graph with a well defined core–periphery structure (which satisfies Definition 4) the krichclub method would identify the core to be a random subset of nodes.
Therefore, we introduce a novel heuristic for extracting the core which takes the network topology into account by prioritizing the robustness of the core over its dominance. The procedure, which we refer to as densestcore method, is described in Algorithm 1. Informally, it iteratively extracts the densest subgraph from the network and adds it to the core unless the core’s volume becomes too large. In order to compute this constrained densest subgraph, it uses a variation of the 2approximation algorithm [17], which chooses every time the densest subgraph that will not make the core’s volume larger than the periphery’s volume. A similar idea has been used in [50], where the concept of a krich club is used together with that of a random walk on the graph, by examining the probability of visiting rich nodes, in order to identify richcores.
We apply the densestcore method to the networks and, as expected, we obtain higher robustness and lower dominance values compared to the krichclub method. The data reported in Table 1 shows that the robustness of the core extracted by our method is higher in all the considered datasets but one. Indeed, we finally obtain dominance values below the theoretical threshold \(c^\star \).
We proceed as follows: We initialize all the agents in \({\mathcal {C}}\) with blue and all the agents in \({\mathcal {P}}\) with red. Then, we simulate the 2Choices dynamics on each network, keeping track of the volumes of blue and red agents in each iteration. We declare an almostconsensus on the majority’s color if within \(\vert V \vert \) iterations either the red or the blue agents reach a volume greater than 95% of the network’s volume. Otherwise we consider the simulation metastable—waiting for a superpolynomial number of rounds would be infeasible. The experiments were repeated 50 times for each network.
As can be observed in Fig. 1, there exists an empirical threshold \(\sigma = \frac{1}{2}\) which is different from the theoretical one. In fact, in \(81\%\) of the datasets with a dominance above the threshold the 2Choices dynamics converges to an almostconsensus while in \(86\%\) of the datasets with a dominance below the threshold, the 2Choices dynamics ends up in a metastable phase. The empirical threshold is greater than the theoretical threshold because of several factors: (i) in the experiments the core actually changes color to a small extent (while in the theoretical part we ignored such small perturbations thanks to a high robustness assumption), and it consequently lowers the probability for an agent in the periphery to pick the core’s color; (ii) the realworld network we used in the experiments do not have the regularity assumptions of the networks that we consider in the analysis; (iii) in the experiments we declare metastability only after V iterations and this increases the likelihood of false positive metastable runs. The gap between the theoretical and the empirical threshold should be closed in future work by providing a more finegrained theoretical analysis which does not assume the adversary’s color to be monochromatic and considers more general networks.
We want to highlight that the dynamics only converged to the color initially held by the periphery in two snapshots of the Gnutella P2P network, probably due to some specific topological features exhibited by those two networks. The protocol’s convergence to the core’s color (as shown in Table 1) is remarkable in light of the fact that the densestcore method ensures that the sum of the agents’ degrees of the core and of the periphery are equal. More precisely, note that equal volumes of core and periphery, starting from an initial configuration where two sets support different colors, is sufficient in the Voter Model to say that the two initial colors have the same probability to be the one eventually supported by all agents [37], regardless of the topological structure. Previous work on the 2Choices dynamics [19] provided convergence results which are parametrized only in the difference of the volumes of the two sets, suggesting a similar behavior. Our experimental results highlight the insufficiency of the initial volume distribution as an accurate predictive parameter, showing that the topological structure of the core plays a decisive role.
5 Conclusions
We analyzed the 2Choices dynamics on a class of networks with core–periphery structure, where the core, a small group of densely interconnected agents, initially holds a different opinion from the rest of the network, the periphery. We formally proved that a phasetransition phenomenon occurs: Depending on the dominance parameter \(c_d\) characterizing the connectivity of the network, either the core’s opinion spreads among the agents of the periphery and the network reaches an (almost)consensus, or there is a metastability phase in which none of the opinions prevails over the other.
We validated our theoretical results on several realworld networks. Introducing an efficient and effective method to extract the core, we showed that the same parameter \(c_d\) is sufficient to predict the convergence/metastability of the 2Choices dynamics most of the time. Surprisingly, even if the volumes of core and periphery are equal, the core’s opinion wins in most of the cases. These behaviors suggest that in many realworld networks there actually is a core whose initial opinion has a great advantage of spreading in simple opinion dynamics such as the 2Choices. We think that these results are a relevant step towards understanding which dynamical properties are implicitly responsible for causing social and economic agents to form networks with a core–periphery structure.
Notes
The core is a minimal set and not necessarily the minimum one.
We further emphasize that our analysis is not only meanfield. We also show that the process does not deviate significantly from its expected behavior with high probability (w.h.p.), i.e., with probability at least \(1{\mathcal {O}}(n^{c})\) for some constant \(c>0\).
Our technique does not allow a direct analysis of the case in which \(c_d\) is exactly equal to \(c^{\star }\); in that respect, we provide an analysis in the simplified setting of Theorem 1.
Differently from the previous subsections describing the behavior of the dynamics in the subcritical (\(p < p^\star \)) and supercritical (\(p > p^\star \)) regimes, in this setting we are able to talk about full consensus, i.e., where all agents agree on a same opinion, due to the specific graph topology.
References
Aldous, D., Fill, J.A.: Reversible Markov chains and random walks on graphs. Unfinished monograph, recompiled 2014. https://www.stat.berkeley.edu/users/aldous/RWG/book.html (2002)
Anagnostopoulos, A., Becchetti, L., Cruciani, E., Pasquale, F., Rizzo, S.: Biased opinion dynamics: when the devil is in the details. In: Bessiere, C. (ed.) Proceedings of the TwentyNinth International Joint Conference on Artificial Intelligence, IJCAI 2020, pp. 53–59. ijcai.org (2020). https://doi.org/10.24963/ijcai.2020/8
Avin, C., Borokhovich, M., Lotker, Z., Peleg, D.: Distributed computing on core–periphery networks: axiombased design. J. Parallel Distrib. Comput. 99, 51–67 (2017). https://doi.org/10.1016/j.jpdc.2016.08.003
Avin, C., Lotker, Z., Mizrachi, A., Peleg, D.: Majority vote and monopolies in social networks. In: Proceedings of the 20th International Conference on Distributed Computing and Networking, ICDCN ’19, p. 342–351. Association for Computing Machinery, New York, NY, USA (2019). https://doi.org/10.1145/3288599.3288633
Avin, C., Lotker, Z., Peleg, D., Pignolet, Y.A., Turkel, I.: Elites in social networks: an axiomatic approach to power balance and price’s square root law. PLoS One 13(10), 1–35 (2018). https://doi.org/10.1371/journal.pone.0205820
Balogh, J., Bollobás, B.: Bootstrap percolation on the hypercube. Probab. Theory Relat. Fields 134(4), 624–648 (2006)
Balogh, J., Pittel, B.G.: Bootstrap percolation on the random regular graph. Random Struct. Algorithms 30(1–2), 257–286 (2007). https://doi.org/10.1002/rsa.20158
Becchetti, L., Clementi, A., Natale, E.: Consensus dynamics: an overview. SIGACT News 51(1), 58–104 (2020). https://doi.org/10.1145/3388392.3388403
Becchetti, L., Clementi, A., Natale, E., Pasquale, F., Silvestri, R.: Plurality consensus in the gossip model. In: Proceedings of the 26th Annual ACMSIAM Symposium on Discrete Algorithms (SODA’15), pp. 371–390. SIAM (2015). http://dl.acm.org/citation.cfm?id=2722129.2722156
Becchetti, L., Clementi, A.E.F., Natale, E., Pasquale, F., Silvestri, R., Trevisan, L.: Simple dynamics for plurality consensus. Distrib. Comput. 30(4), 293–306 (2017). https://doi.org/10.1007/s0044601602894
Becchetti, L., Clementi, A.E.F., Natale, E., Pasquale, F., Trevisan, L.: Stabilizing consensus with many opinions. In: Proceedings of the TwentySeventh Annual ACMSIAM Symposium on Discrete Algorithms, SODA 2016, Arlington, VA, USA, January 10–12, 2016, pp. 620–635 (2016). https://doi.org/10.1137/1.9781611974331.ch46
Benjamini, I., Chan, S.O., O’Donnell, R., Tamuz, O., Tan, L.Y.: Convergence, unanimity and disagreement in majority dynamics on unimodular graphs and random graphs. Stoch. Process. Appl. 126(9), 2719–2733 (2016). https://doi.org/10.1016/j.spa.2016.02.015
Berenbrink, P., Friedetzky, T., Giakkoupis, G., Kling, P.: Efficient plurality consensus, or: the benefits of cleaning up from time to time. In: 43rd International Colloquium on Automata, Languages and Programming (ICALP 2016). Rome, Italy (2016). https://doi.org/10.4230/LIPIcs.ICALP.2016.136, https://hal.archivesouvertes.fr/hal01353690
Berenbrink, P., Giakkoupis, G., Kermarrec, A.M., MallmannTrenn, F.: Bounds on the voter model in dynamic networks. In: Chatzigiannakis, I., Mitzenmacher, M., Rabani, Y., Sangiorgi, D. (eds.) 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016), Leibniz International Proceedings in Informatics (LIPIcs), vol. 55, pp. 146:1–146:15. Schloss Dagstuhl–LeibnizZentrum fuer Informatik, Dagstuhl, Germany (2016). https://doi.org/10.4230/LIPIcs.ICALP.2016.146, http://drops.dagstuhl.de/opus/volltexte/2016/6290
Berger, E.: Dynamic monopolies of constant size. J. Comb. Theory Ser. B 83(2), 191–200 (2001). https://doi.org/10.1006/jctb.2001.2045
Borgatti, S.P., Everett, M.G.: Models of core/periphery structures. Soc. Netw. 21(4), 375–395 (2000). https://doi.org/10.1016/S03788733(99)000192
Charikar, M.: Greedy Approximation Algorithms for Finding Dense Components in a Graph, pp. 84–95. Springer, Berlin (2000). https://doi.org/10.1007/354044436X_10
Cooper, C., Dyer, M.E., Frieze, A.M., Rivera, N.: Discordant voting processes on finite graphs. In: 43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016, July 11–15, 2016, Rome, Italy, pp. 145:1–145:13 (2016). https://doi.org/10.4230/LIPIcs.ICALP.2016.145
Cooper, C., Elsässer, R., Radzik, T.: The power of two choices in distributed voting. In: Automata, Languages, and Programming—41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8–11, 2014, Proceedings, Part II, pp. 435–446 (2014). https://doi.org/10.1007/9783662439517_37
Cooper, C., Elsässer, R., Radzik, T., Rivera, N., Shiraga, T.: Fast consensus for voting on general expander graphs. In: Distributed Computing—29th International Symposium, DISC 2015, Tokyo, Japan, October 7–9, 2015, Proceedings, pp. 248–262 (2015). https://doi.org/10.1007/9783662486535_17
Cooper, C., Radzik, T., Rivera, N.: The coalescingbranching random walk on expanders and the dual epidemic process. In: Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, PODC 2016, Chicago, IL, USA, July 25–28, 2016, pp. 461–467 (2016). https://doi.org/10.1145/2933057.2933119
Cooper, C., Radzik, T., Rivera, N., Shiraga, T.: Fast plurality consensus in regular expanders. In: 31st International Symposium on Distributed Computing, DISC, October 16–20, 2017, Vienna, Austria, pp. 13:1–13:16 (2017). https://doi.org/10.4230/LIPIcs.DISC.2017.13
Cooper, C., Rivera, N.: The linear voting model. In: 43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016, July 11–15, 2016, Rome, Italy, pp. 144:1–144:12 (2016). https://doi.org/10.4230/LIPIcs.ICALP.2016.144
Cruciani, E., Mimun, H.A., Quattropani, M., Rizzo, S.: Brief announcement: phase transitions of the kmajority dynamics in a biased communication model. In: 34th International Symposium on Distributed Computing, DISC 2020, LIPIcs, vol. 179, pp. 42:1–42:3. Schloss Dagstuhl  LeibnizZentrum für Informatik (2020). https://doi.org/10.4230/LIPIcs.DISC.2020.42
Cruciani, E., Mimun, H.A., Quattropani, M., Rizzo, S.: Phase transitions of the kmajority dynamics in a biased communication model. In: ICDCN ’21: International Conference on Distributed Computing and Networking, 2021, pp. 146–155. ACM (2021). https://doi.org/10.1145/3427796.3427811
Cruciani, E., Natale, E., Nusser, A., Scornavacca, G.: Phase transition of the 2choices dynamics on core–periphery networks. In: Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2018, pp. 777–785 (2018). http://dl.acm.org/citation.cfm?id=3237499
Cruciani, E., Natale, E., Scornavacca, G.: Distributed community detection via metastability of the 2choices dynamics. In: The ThirtyThird AAAI Conference on Artificial Intelligence, AAAI 2019, pp. 6046–6053. AAAI Press (2019). https://doi.org/10.1609/aaai.v33i01.33016046
David, E., Jon, K.: Networks, Crowds, and Markets: Reasoning About a Highly Connected World. Cambridge University Press, New York, USA (2010)
Degroot, M.H.: Reaching a consensus. J. Am. Stat. Assoc. 69(345), 118–121 (1974). https://doi.org/10.1080/01621459.1974.10480137
Doerr, B., Goldberg, L.A., Minder, L., Sauerwald, T., Scheideler, C.: Stabilizing consensus with the power of two choices. In: Proceedings of the Twentythird Annual ACM Symposium on Parallelism in Algorithms and Architectures, SPAA ’11, pp. 149–158. ACM, New York, NY, USA (2011). https://doi.org/10.1145/1989493.1989516
Dubhashi, D., Panconesi, A.: Concentration of Measure for the Analysis of Randomized Algorithms, 1st edn. Cambridge University Press, New York (2009)
French, J.R.: A formal theory of social power. Psychol. Rev. 63(3), 181–194 (195605)
Ghaffari, M., Lengler, J.: Tight analysis for the 3majority consensus dynamics. CoRR arXiv:1705.05583 (2017)
Ghaffari, M., Parter, M.: A polylogarithmic gossip algorithm for plurality consensus. In: Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, PODC 2016, Chicago, IL, USA, July 25–28, 2016, pp. 117–126 (2016). https://doi.org/10.1145/2933057.2933097
Golub, B., Jackson, M.O.: Naïve learning in social networks and the wisdom of crowds. Am. Econ. J. Microecon. 2(1), 112–49 (2010). https://doi.org/10.1257/mic.2.1.112
Harary, F.: A criterion for unanimity in French’s theory of social power. Studies in Social Power, pp. 168–182 (1959)
Hassin, Y., Peleg, D.: Distributed probabilistic polling and applications to proportionate agreement. Inf. Comput. 171(2), 248–268 (2001). https://doi.org/10.1006/inco.2001.3088
Hethcote, H.W.: The mathematics of infectious diseases. SIAM Rev. 42(4), 599–653 (2000). https://doi.org/10.1137/S0036144500371907
Hoory, S., Linial, N., Wigderson, A.: Expander graphs and their applications. Bull. Am. Math. Soc. 43(4), 439–561 (2006)
Jackson, M.O.: Social and economic networks. Princeton University Press, Princeton (20101121)
Janson, S., Łuczak, T., Turova, T., Vallier, T.: Bootstrap percolation on the random graph \(G_{n, p}\). Ann. Appl. Probab. 22(5), 1989–2047 (2012). https://doi.org/10.1214/11AAP822
Kanoria, Y., Montanari, A.: Majority dynamics on trees and the dynamic cavity method. Ann. Appl. Probab. 21(5), 1694–1748 (2011). https://doi.org/10.1214/10AAP729
Kobayashi, T., Génois, M.: The switching mechanisms of social network densification. Sci. Rep. 11(1), 1–11 (2021)
Kunegis, J.: Konect: the koblenz network collection. In: Proceedings of the 22nd International Conference on World Wide Web, pp. 1343–1350. ACM (2013)
Lambiotte, R., Ausloos, M., Hołyst, J.A.: Majority model on a network with communities. Phys. Rev. E 75, 030101 (2007). https://doi.org/10.1103/PhysRevE.75.030101
Leskovec, J., Krevl, A.: SNAP Datasets: Stanford large network dataset collection. http://snap.stanford.edu/data (2014)
Levin, D.A., Peres, Y.: Markov Chains and Mixing Times, vol. 107. American Mathematical Society, Providence (2017)
Liggett, T.M.: Interacting Particle Systems. Springer Science & Business Media (20121206). GoogleBooksID: 7JbqBwAAQBAJ
Liggett, T.M.: Stochastic Interacting Systems: Contact, Voter and Exclusion Processes. Springer Science & Business Media (20130309). GoogleBooksID: wRv2CAAAQBAJ
Ma, A., Mondragón, R.J.: Richcores in networks. PLoS One 10(3), 1–13 (2015). https://doi.org/10.1371/journal.pone.0119678
Mossel, E., Neeman, J., Tamuz, O.: Majority dynamics and aggregation of information in social networks. Auton. Agents MultiAgent Syst. 28(3), 408–429 (2014). https://doi.org/10.1007/s1045801392304
Mossel, E., Tamuz, O.: Opinion exchange dynamics. Probab. Surv. 14, 155–204 (2017). https://doi.org/10.1214/14PS230
Newman, M.E.J.: Spread of epidemic disease on networks. Phys. Rev. E Stat. Nonlinear Soft Matter phys. 66, 016128 (2002)
Peleg, D.: Size bounds for dynamic monopolies. Discrete Appl. Math. 86(2–3), 263–273 (1998). https://doi.org/10.1016/S0166218X(98)000432
Peleg, D.: Local majorities, coalitions and monopolies in graphs: a review. Theor. Comput. Sci. 282(2), 231–257 (2002). https://doi.org/10.1016/S03043975(01)00055X
Rombach, M.P., Porter, M.A., Fowler, J.H., Mucha, P.J.: Coreperiphery structure in networks. SIAM J. Appl. Math. 74(1), 167–190 (2014). https://doi.org/10.1137/120881683
Shimizu, N., Shiraga, T.: Phase transitions of bestoftwo and bestofthree on stochastic block models. In: J. Suomela (ed.) 33rd International Symposium on Distributed Computing, DISC 2019, October 14–18, 2019, Budapest, Hungary, LIPIcs, vol. 146, pp. 32:1–32:17. Schloss Dagstuhl  LeibnizZentrum für Informatik (2019). https://doi.org/10.4230/LIPIcs.DISC.2019.32
Snyder, D., Kick, E.L.: Structural position in the world system and economic growth, 1955–1970: a multiplenetwork analysis of transnational interactions. Am. J. Sociol. 84(5), 1096–1126 (1979)
Zehmakan, A.N.: Two phase transitions in twoway bootstrap percolation. In: Lu, P., Zhang, G. (eds.) 30th International Symposium on Algorithms and Computation (ISAAC 2019), Leibniz International Proceedings in Informatics (LIPIcs), vol. 149, pp. 5:1–5:21. Schloss Dagstuhl–LeibnizZentrum fuer Informatik, Dagstuhl, Germany (2019). https://doi.org/10.4230/LIPIcs.ISAAC.2019.5. https://drops.dagstuhl.de/opus/volltexte/2019/11501
Zhang, X., Martin, T., Newman, M.E.J.: Identification of coreperiphery structure in networks. Phys. Rev. E 91, 032803 (2015). https://doi.org/10.1103/PhysRevE.91.032803
Zhou, S., Mondragón, R.J.: The richclub phenomenon in the internet topology. IEEE Commun. Lett. 8(3), 180–182 (2004)
Funding
Open access funding provided by Paris Lodron University of Salzburg.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
An extended abstract version of this work appeared in [26]
Appendices
Appendix
On the conductance of core–periphery networks
As mentioned in Sect. 1, the concepts of dominance and robustness are strictly related to the concept of conductance. Recall that, and given a set of nodes \(S \subseteq V\) of a graph \(G=(V,E)\), the conductance of the cut between S and \(V\setminus S\) is defined as
Consider an undirected core–periphery network G, so that \(\vert e({\mathcal {P}}, {\mathcal {C}}) \vert = \vert e({\mathcal {C}}, {\mathcal {P}}) \vert \), and such that the dominance and robustness axioms are satisfied with equality, namely
Starting from the dominance and using that \(\vert e({\mathcal {P}}, {\mathcal {P}}) \vert + \vert e({\mathcal {P}}, {\mathcal {C}}) \vert = \mathrm {vol}({\mathcal {P}})\), we get
Analogously, starting from the definition of robustness and using that \(\vert e({\mathcal {C}}, {\mathcal {C}}) \vert + \vert e({\mathcal {C}}, {\mathcal {P}}) \vert = \mathrm {vol}({\mathcal {C}})\), we get
Therefore, the conductance of the cut between core and periphery is
Moreover, note that whenever \(\mathrm {vol}({\mathcal {C}})=\mathrm {vol}({\mathcal {P}})\), then the two formulations coincide, namely \(c_r=\frac{1}{c_d}\) and hence \(\varphi ({\mathcal {C}}, {\mathcal {P}}) = \frac{1}{1+c_r}\).
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Cruciani, E., Natale, E., Nusser, A. et al. Phase transition of the 2Choices dynamics on core–periphery networks. Distrib. Comput. 34, 207–225 (2021). https://doi.org/10.1007/s00446021003965
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00446021003965