Abstract

We provide a new gossip algorithm to investigate the problem of opinion consensus with the time-varying influence factors and weakly connected graph among multiple agents. What is more, we discuss not only the effect of the time-varying factors and the randomized topological structure but also the spread of misinformation and communication constrains described by probabilistic quantized communication in the social network. Under the underlying weakly connected graph, we first denote that all opinion states converge to a stochastic consensus almost surely; that is, our algorithm indeed achieves the consensus with probability one. Furthermore, our results show that the mean of all the opinion states converges to the average of the initial states when time-varying influence factors satisfy some conditions. Finally, we give a result about the square mean error between the dynamic opinion states and the benchmark without quantized communication.

1. Introduction

Individuals form beliefs on various economic, political, and social state based on information they receive from others, including friends, neighbors, and coworkers as well as local leaders and news sources. The society may face the tradeoff whether this process of information aggregation will lead to the formation of more accurate beliefs or to certain bias, which is led by the limit of communication and the change of mutual influence. Gossips, rumors, and other misinformation are an important form of social communications, and their spreading plays a significant role in human affairs. The spread of them can shape the public opinion in a country, greatly impact financial markets, and cause panic in a society during wars and epidemics outbreaks. The information content of rumors can range from simple gossip to advanced propaganda and marketing material. In practice, social groups are often swayed by misleading ads, media outlets, and political leaders, so they may hold on to incorrect and inaccurate beliefs. A central question we are interested in is to study the conditions under which exchange of information will lead to aggregation of dispersed information. We also pay attention to the gap between this consensus and the true value of the underlying state in society.

Social networks constitute a new method of studying social mechanism that has grown tremendously over the last decade. Decentralized is the inevitable trend of the development of network technology. In addition, the unprecedented number of interacting agents, the time-varying topology of agent interactions, and the unreliability of agents are key challenges for the analysis and design of this mechanism. Gossip algorithms, as an asynchronous time algorithm, have the special feature that each agent exchanges information and decisions with at most one neighboring agent in each time slot. So, gossip algorithms have been proven to be an efficacious approach to achieve fault-tolerant information dissemination. Furthermore, these algorithms can be applied in such a decentralized, large scale, and dynamically distributed network very well. In social networks, gossip algorithms to solve consensus problems have attracted a lot of interest. Based on probabilistic quantized communication, whether a group of agents has to agree under the weakly connected graph and time-varying influence factors in the communication process, starting from different initial estimates is the problem we need to study in this paper.

Consensus problems have been discussed through the great number of different opinion formation models by a lot of people. To relax the requirement of the global clock synchronization, Boyd et al. [1] proposed a compelling gossip algorithms, which provides an asynchronous approach to treat average consensus and describe the randomized node interaction. Based on social network, Acemoglu et al. in [2] provided a gossip model to investigate the tension between information aggregation and the spread of misinformation, which individuals meet pairwise and exchange information, which is modeled as both individuals adopting the average of their beliefs. In [3], Shi and Johansson considered and solved a randomized optimal consensus problem for multiagent systems with stochastically time-varying topology.

Since communication constraints play a major role in consensus and related problems, Carli et al. in [4] considered the average consensus problem based on a deterministic or a randomized quantizer and studied the convergence based on pairwise gossip communications and updates. Yuan et al. [5] dealt with a more general probabilistic quantization case which is that the mixing parameter ranges from 0 to 1. In [6], Ceragioli and his collaborators considered continuous-time average consensus dynamics in which the agent’s states are communicated through uniform quantizers. Recently, Wang et al. in [7] studied the problem of broadcast gossip average consensus with quantization constraints in the wireless sensor network. With the similar problem, Cai and Ishii [8] proposed the directed graphs with the least restrictive connectivity requirements.

We can know that the consensus problems in gossip algorithms [13] were important for large-scale information dissemination on the Internet, in the sensor network, and in peer-to-peer file sharing applications. Considering communication constraints and the spread of misinformation, more scholars [48] studied a class of gossip algorithms based on quantized communication, at the same time, they paid more attention to the time-invariant influence factors. According to the character of social network, we will not only consider communication constraints on strongly connected graph but also study with the broader topology and time-varying influence factors.

Our work has been influenced by reading the papers [8] which one based on strongly connected graph and [5] which also has the quantized communication. Compared to the former paper, our contribution is under the weaker assumption about the underlying topology, and thus broader discussion of opinion evolution will be given. Compared to the latter paper, we allow the information exchange between agents with time-varying influence factors, rather than the constant factors which one more precise and realistic in social network.

In this paper, we provide a new gossip consensus algorithm based on weakly connected graph to describe the randomized agent interactions and contain probabilistic quantized communication with time-varying influence factors. The paper is organized as follows: Section 2 introduces some descriptions of algorithm environment and our assumption, and gives a detailed description of the proposed algorithm. Section 3 provides the results that our algorithm indeed converges to a consensus almost surely, which is that all agents have the same opinion states, and this consensus value is a random variable. We also give a characterization of the expected value of this consensus with the influence factors satisfying some conditions. We also provide a result characterizing the convergence performance of the square mean error between the dynamic opinion and the average initial states. Section 4 gives some lemmas and the detailed proofs of the above results. We conclude the paper in Section 5.

2. Algorithm Description and Assumptions

In the following, we describe briefly the distributed average consensus problem along with the proposed consensus algorithm.

2.1. Description of the Environment

We consider a set of agents interacting and denote as a directed and randomized graph, which we refer to as the social network. So, and are different. Each vertex of the graph is referred to as an agent, and each agent begins with an initial belief which evolves in discrete time and represents its belief or opinion for every . The belief can be active when ; otherwise, it can be negative and misleading when . Opinion belief represents the value of information. We devote as the true value of the underlying aggregation state which represents the average of the dispersed initial states.

We use an asynchronous time algorithm introduced in [4] to describe interactions between agents. Particularly, we recognize that the information exchange results from bilateral communication under the circumstance of gossip, rumors, and misinformation. Moreover, each individual meets the other in her social neighborhoods according to a prespecified stochastic process and considers this stochastic process is representing an underlying social network such as friendships and information network. So, we assume that each agent communicates with the other agent at instances defined by a rate-one Poisson process independent of other agents.

In this algorithm, without loss of generality, at most, one node is meeting another at a given time [1]. Agent interactions are characterized by an matrix where , and we can associate a unique diagraph with such that if and only if . We call the induced graph . We discretize time and suppose at time , agent is chosen with probability . In this case, agent will meet agent with probability . Following a meeting between and , there is a potential exchange of information. Throughout, we assume that all events that happen in a meeting are independent of any other event that happened in the past. According to the above description, we can get the following definition.

Definition 1 (selection probabilities). Independent of time and agent state, at time ,(i) an agent is selected with probability ,(ii) for all , the probabilities ,(iii) agent picks the edge with probability , where for all , .From (iii), this implied that is a row stochastic matrix.
In the social network, we want to reflect communication constraints by means of probabilistic quantization . For example, there exist the fact that words can’t express meaning and everyone has different understanding so as to update partial information. In addition, people can understand themselves with the vague or fuzzy recognition sometimes. So we can use probabilistic quantization to show the actual opinion belief.
The probabilistic quantization has been introduced in [9]. The probabilistic quantization is defined as follows: suppose that is bounded to a finite interval , and the interval is equally divided into subintervals with quantization points defined by the set , where , . Denote the interval as , for . Then, for , is a random variable defined by
The following lemma gives two important properties of the probabilistic quantization.

Lemma 2 (see [10]). For every , Note that is unbiased uniform quantization; that is, the quantized data is an unbiased representation of .

2.2. Assumption

We consider a social network with the finite set of agents interacting. Each agent starts with an initial belief which we denote by . Moreover, the underlying graph indicates potential interactions between agents.

Assumption 3 (connectivity see [11]). The underlying graph is weakly connected.
Note that the graph is the random graph. Here, we require that keep the character of the weak connectivity.

Remark 4. Here, we can have a weaker assumption and a more extensive network. In the standing assumption of [8], the matrix is supposed to have its largest eigenvalue equal to 1 and all other eigenvalues strictly less than 1 in magnitude. This condition is equivalent with the underlying graph that is quasi-strongly connected. In order to guarantee convergence for the gossip algorithm discussed below, the assumption cannot be further weakened based on the following argument. If the weaker hold, they will be divide into two isolated groups at least in the network. As a result, agents in each group can only communicate with the others in the same group. So, the convergence for the whole network is impossible. If there is no-communication groups in fact, we also can apply our algorithm to each group. Moreover, most subsets of society are connected by means of several links, and the same seems to be true for indirect link via the Internet [2]. Therefore, Assumption 3 is a weaker assumption and weakly connected and random topology of social network reflects a wider social scope and relationship.

2.3. Description of the Consensus Algorithm

In society, we can usually listen to advice from other people, receive the influence of others, and eventually form their own views. Due to the change in the relationship over time and the limit in the communication, we will construct our average gossip algorithm based on quantized communication and time-varying impact factors. The gossip algorithms, as the name suggests, are built upon a gossip or rumor style unreliable, asynchronous information exchange protocol. At the same time, we use the symmetric gossip algorithm which is based on mutual trust between information exchangers. Let denote the vector of all individual opinion value at the end of time instant . Then, agent and can be connected with probability , and based bounded confidence and bilateral communication, the states of agent and evolve as follows: where and is called the influence factor. The time-varying influence factor shows the size of the influence of each other, and each agent starts with an initial belief and it is bounded to a finite interval . The agents’ beliefs evolve according to the following stochastic update process. Furthermore, for the quantized version, the opinion states evolvement can be compactly written according to the following equation: where the random matrix satisfies and we define , where denotes the column vector in having all entries equal to 0 except at a 1 in the th position.

In the social network, we consider that probabilistic quantization reflects communication constraints. For example, there exist the fact that words can not express meaning and everyone has different understanding so as to update partial information. In addition, people can understand themselves with the vague or fuzzy recognition in some times. But as time goes on and the increase of the number of the communication and information can get accurate expression with using . Furthermore, we are concerned that if each individual holds one opinion at the initial time, then can the dispersed group converge to a consensus? And if they can, what conditions must be needed? According to the above algorithm, we will talk about these problems as follows.

First, we know the convergence to a consensus means that a final unanimous consensus will be reached in some way. But what does the word “consensus” mean? From the view of the opinion algorithm, it means that an opinion vector in which all elements are the same. In other words, all individuals have the same opinion, which means a unanimous one. While final compromise means a compromise is reached for .

Then, in order to be convenient, we will follow the assumptions as above and give the results about the consensus.

3. Main Results

In this section, we provide our main convergence result based on the above algorithm. Particularly, we denote that despite the presence of quantized communication, with potentially very different initial opinions, the group will converge to a consensus almost surely, which all agents have the same opinion states. This consensus value is a random variable. We also provide the characterization of the expected value of this consensus under some conditions. In addition, we give a result about the square mean error between the dynamic opinion and the average initial states.

Here, we give a convergence theorem based on the topology of the underlying social network.

Theorem 5. A global gossip consensus achieves the probabilistic consensus; that is, where denotes the vector with all its entries equal to 1 and the random variable satisfies when satisfies .

Remark 6. This result implies that the society will reach a dynamic consensus almost surely despite the presence of the quantized communication and the effect of influence factor under a weaker assumption that the underlying graph is weakly connected. Based on the network and the pattern of communication, all agents endowed with the different initial opinion will form the common opinion with probability 1, and the expected value of the common opinion will tend to be the true value of the underlying aggregation opinion when satisfies some conditions. We also will discover that the above second conclusion still shows that even is constant satisfying 0 to 1. In addition, either or for all ; that is, is monotone, the conclusion is achieved only if . Finally, in mathematics, the condition of divergent sequence is easier satisfied than that of convergent sequence. So, our condition can be satisfied in a rather wide range.
The following proposition provides the expectation of the error between the opinion states and the static average consensus.

Theorem 7. The evolution of the square mean error from consensus of the algorithm satisfies where , for the given , .

Remark 8. We try to study the character of its square mean convergence and find that it does not meet this convergence. But from the above proposition, we can see the square mean error has an upper bound and estimate the convergence speed of the upper bound. The limit of the bound is which depends on the quantized revolution, the second smallest eigenvalue of Laplacian matrix and the time-varying factors when .

4. Lemmas and Proofs

4.1. Average Matrix Properties

Lemma 9. Define the expected value of as then where is the diagonal matrix with entries satisfying and for all , , and , respectively satisfies where denotes the vector with all its entries equal to 1.

Proof. From the fact that , we can deduce that then we can substitute these into the matrix , in the similar way, we can get .
It is easy to see that the matrix is the symmetric matrix and the sum of the row in is 1. So, we have
From the above equation, have the same character. So is the eigenvector of the eigenvalue 1. Using the Gersgorin disc theorem [12], we have where denotes the eigenvalue of a symmetric matrix. Therefore,
Then, the spectrum of is 1.

Lemma 10 (see [13]). Define is a sequence of real numbers with for all , then

4.2. The Proof of Theorem 5

Proof of Theorem 5: in the first part, we will prove the character of convergence. with loss of probability, we consider the integer quantization in the range . Define a discrete Markov chain with initial state , and the transition matrix is defined by the combination of the quantized gossip consensus algorithm and the probabilistic quantization operator .

Define and , when . Note that the gossip consensus algorithm satisfies the equality holds when the two agents chosen at time instant have the same quantized state value. Thus, there is a nonzero probability that the strict inequality holds when the consensus is not achieved. Moreover, using the fact that , we can derive when . Then, following a similar line as in the proof of Theorem 1 in [13], we can prove that there exists a sequence of transitions with nonzero probability whose application yields absorption; that is, the probabilistic consensus is achieved.

In the second part, we will consider the character of mean about the state value.

We can use the Lebesgue dominated convergence theorem [14] to give

Then, we can derive the expression of and use the above equality to get the desired result. Now, define the quantization error as

We can get

Noting the property of the probabilistic quantization; that is, and the fact that and are independent, so we can see that

Therefore,

Define , we can see , furthermore, on the basis of Lemma 9, we can see , , and every possible sample of is doubly stochastic, each sample of is also doubly stochastic. This implied that is the eigenvector corresponding to eigenvalue 1 of . Thus, we can conclude from the above equation that where for a stochastic matrix denotes the largest eigenvalue in magnitude excluding the eigenvalue at one.

Therefore,

Note that is actually the (weighted) Laplacian of the graph . With Assumption 3, apparently is symmetric, and thus one connected graphs [15], we have the multiple of is one and , where is the th smallest eigenvalue of . On the other hand, since is a stochastic matrix, it is straightforward to see that for all . According to Gersgorin’s circle theorem, every eigenvalue of is .

Then, we assume , for the trace of is ; then since , .

It is impossible. So,

Now we conclude that for all ,

Then,

Therefore, based on Lemma 10, we have

So, we can get when satisfies .

The proof is finished.

4.3. The Proof of Theorem 7

Proof of Theorem 7: defining where ; then, we can get

So,

Using the Proposition 3.4 in [4], it is easy to see that both the second and the third term of the right hand side of the above equation are zero. Thus, we can derive where .

The second equality follows from the fact that for , and the inquiry follows from . Furthermore, the last equality is obtained by using

Then, repeatedly conditioning and using the iteration obtained above, we obtain, define when , , where when .

Define .

Because of , ; then

By Lemma 9, we can deduce that This completes the proof.

5. Conclusions

In this paper, we have considered the consensus problem of gossip algorithm based on time-varying influence and weakly connected graph in the social network. Based on the gossip algorithm, we also pay attention to studying the effect of the probabilistic quantized communication.

We show that the group will achieve the probabilistic consensus value which is a random variable despite the presence of quantized communication, with potentially very different initial opinions. And we present the condition on the time-varying influence factors that guarantee the mean of consensus equals to the average initial states. We also provide a result about the square mean error which has an upper bound and the convergence speed of the upper bound can be estimated. The limit of the bound is dependent on the quantized revolution, the second smallest eigenvalue of Laplacian matrix, and the time-varying factors.

And some other interesting problems we will be concerned with in further research, such as the existence of agents who have different prejudices and whether the consensus can be reached with partial trust.

Acknowledgment

This research is supported by the National Science Foundation of China (NSFC) Grant no. 71171045 and funded by the Deanship of Scientific Research (DSR), King Abdulaziz University, under Grant no. (3-130/1434/HiCi). The authors acknowledge the technical and financial support of KAU.