Next Article in Journal
Segmentation of High Dimensional Time-Series Data Using Mixture of Sparse Principal Component Regression Model with Information Complexity
Next Article in Special Issue
Quantum-Like Interdependence Theory Advances Autonomous Human–Machine Teams (A-HMTs)
Previous Article in Journal
Knowledge Graph Completion for the Chinese Text of Cultural Relics Based on Bidirectional Encoder Representations from Transformers with Entity-Type Information
Previous Article in Special Issue
Application of Quantum—Markov Open System Models to Human Cognition and Decision
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Spreading of Competing Information in a Network

by
Fabio Bagarello
1,2,†,
Francesco Gargano
1,*,† and
Francesco Oliveri
3,†
1
Dipartimento di Ingegneria, Università di Palermo, Viale delle Scienze, I–90128 Palermo, Italy
2
I.N.F.N- Sezione di Napoli, 80126 Napoli, Italy
3
Dipartimento di Scienze Matematiche e Informatiche, Scienze Fisiche e Scienze della Terra, Università di Messina, Viale F. Stagno d’Alcontres 31, I–98166 Messina, Italy
*
Author to whom correspondence should be addressed.
These authors contributed equally to this work.
Entropy 2020, 22(10), 1169; https://doi.org/10.3390/e22101169
Submission received: 22 September 2020 / Accepted: 13 October 2020 / Published: 17 October 2020
(This article belongs to the Special Issue Quantum Models of Cognition and Decision-Making)

Abstract

:
We propose a simple approach to investigate the spreading of news in a network. In more detail, we consider two different versions of a single type of information, one of which is close to the essence of the information (and we call it good news), and another of which is somehow modified from some biased agent of the system (fake news, in our language). Good and fake news move around some agents, getting the original information and returning their own version of it to other agents of the network. Our main interest is to deduce the dynamics for such spreading, and to analyze if and under which conditions good news wins against fake news. The methodology is based on the use of ladder fermionic operators, which are quite efficient in modeling dispersion effects and interactions between the agents of the system.
MSC:
37M05; 37N20; 47L90

1. Introduction

The recent rise of social media, personal blogs, and wiki-like sites has totally changed the way users relates to the diffusion of news, the users themselves being the media and distributors of news. Of course, this kind of global participatory attitude has the effect of a rapid spreading of the information, but has a main drawback—i.e., the scarce reliability of the information. The news is easily modified, distorted, or partially omitted so that much of it is just misinformation, unfounded rumors or fake news. Needless to say, the mathematical models devoted to the description of these phenomena are constantly growing in quantity. Many of them are based on concepts very often adopted in epidemiological models and graph analyses [1,2,3,4], with the goal of controlling the spreading of rumors through social media.
In this paper, we adopt an operational method based on fermionic ladder operators to describe the diffusion of news in a network of agents who are capable of receiving and transmitting information while interacting with the other agents. The underlying idea of our model is to describe a system dynamics based on the mathematical tools adopted in quantum mechanics. In particular, our framework is based on the construction of a Hamiltonian operator H using suitable ladder operators, and deriving the Heisenberg equations of motion to deduce the time evolution of some relevant observable parts of the system. The key observable factor in our analysis is the number operators attached to each ladder operator, from which we can obtain their mean values. This is phenomenologically interpreted as a measure of how news is considered (fake or good) by each agent. The Hamiltonian H contains all the operators describing the interactions occurring between the different agents of the system, in particular the diffusion of fake and good news, and the ability to modify the nature of news from good to fake and vice versa. We stress that the use of operational methods has proven successful in describing the dynamics of several macroscopic systems arising in decision making, [5], population dynamics, [6], basic cancer cell dynamics, [7,8], biological aspects of the bacterial dynamics, [9], and epigenetic evolution, [10] (see [11,12] for other fields of application).
In order to enrich the derived dynamics we shall also adopt the ( H , ρ ) -induced dynamics introduced in [13,14], whose approach is similar to the typical rule-oriented dynamics of the cellular automata. This approach makes it possible to introduce in the model some effects which are not easy to implement in the Hamiltonian operator.
Our main goal is to describe the typical uncertainty which accompanies the diffusion of news through non reliable agents (social media above all). We shall apply the model to two heuristic cases adopting different kind of behaviors of the agents (i.e., different rules ρ ) which, as we shall see, can drastically change the way news is perceived.
The paper is organized as follows. In Section 2, we build the operational model for the spreading of news in a network. Since the dynamics are governed by a Hermitian time-independent quadratic Hamiltonian, the resulting dynamics are oscillatory. The dynamics are then enriched by allowing the action of some rules that modify the state of the system as a consequence of some checks on the state itself (this gives rise to a possible ( H , ρ ) -induced dynamic). Two main classes of rules are considered. In Section 3, two different simple applications of the general model are considered, and the results of the numerical simulations are discussed. Section 4 contains some final remarks. Additionally, for the reader’s convenience, we give a simple sketch of the ( H , ρ ) -induced dynamics approach in Appendix A.

2. The Model and Its Dynamics

As discussed in the Introduction, our main interest is to deduce a reasonable dynamical behavior for a single bit of information, the news N , that, depending on who is processing it, can be transmitted in a rather neutral way (good news, meaning with this that what is transmitted is just the original N ), or it can be somehow distorted, because of the agent’s convenience, ignorance or for other reasons. This is what we call fake news. Suppose we have N agents, creating, receiving and transmitting N . They are labeled by indices α = 1 , , N . We treat the various agents, A α , as different cells of a network S . Two cells α and β are neighboring if the agents A α and A β have a direct link to interchange information. The cells are far away, in our picture of S , if A α is connected to A β by means of intermediate agents. For each α we introduce two families of fermionic operators, f α and g α , satisfying the camonical anticommutation rules (CAR)
{ f α , f β } = { g α , g β } = δ α , β I , I identity operator ,
with all the other anti-commutators trivial. In particular f α 2 = g α 2 = 0 , and { f α , g β } = 0 , where x = x or x . We also define the number operators F ^ α = f α f α and G ^ α = g α g α . For each α we also construct a four-dimensional Hilbert space introducing first the vacua of f α and g α . These are two vectors, e α , 0 ( f ) and e α , 0 ( g ) satisfying the equations f α e α , 0 ( f ) = g α e α , 0 ( g ) = 0 . Then, we define e α , 1 ( f ) = f α e α , 0 ( f ) , e α , 1 ( g ) = g α e α , 0 ( g ) , and
φ α : n f , n g = e α , n f ( f ) e α , n g ( g ) ,
where n f , n g = 0 , 1 . The set F φ ( α ) = { φ α : n f , n g } is an orthonormal basis in a Hilbert space H α , which is a four-dimensional vector space endowed with scalar product . , . α :
φ α : n f , n g , φ α : m f , m g α = δ n f , m f δ n g , m g .
Moreover,
F ^ α φ α : n f , n g = n f φ α : n f , n g , G ^ α φ α : n f , n g = n g φ α : n f , n g .
Similarly to what is done in several contexts [11,12], we associate the following meaning to each φ α : n f , n g : if the system S in α is described by the vector φ α : 0 , 0 , then N has not reached A α , in any of its form. If it is described by φ α : 1 , 0 , then the fake version of N has reached A α , while A α was reached by its good version if the vector is φ α : 0 , 1 . Finally, both versions of N have reached A α if S is described by φ α : 1 , 1 .
It is clear that each vector f α H α is a linear combination of the φ α : n f , n g . Now we can consider H = α H α , the Hilbert space of S , with scalar product
f , g = α f α , g α α ,
for each f = α f α and g = α g α . Each operator X ^ α acting on H α can be extended to all of H by identifying X ^ α with X ^ α ( β α I β ) , where I β is the identity operator on H β . The initial state of S is described the the following vector on H :
Ψ n , m = α φ α : n α , m α ,
where n = ( n 1 , n 2 , , n N ) , m = ( m 1 , m 2 , , m N ) . The knowledge of Ψ n , m allows us to deduce if, and which kind of, information has reached any agent A α of the system. In fact, Ψ n , m represents the initial diffusion of N all along the network R . In the following section, we will discuss how we can give this dynamic to S , and the effect of this dynamic.

2.1. The Hamiltonian and Its Effect

We first consider a time interval, [ 0 , T ] , in which the dynamical behavior of S is only driven by a certain operator, the Hamiltonian H of the system [11,12], describing the main interactions occurring in S during that interval. In particular, we assume the following form for H:
H = H 0 + H I , with H 0 = α ω f , α F ^ α + α ω g , α G ^ α , H I = α , β p α , β ( f ) ( f α f β + f β f α ) + α , β p α , β ( g ) ( g α g β + g β g α ) + α λ α ( f α g α + g α f α ) .
The first term, H 0 , describes the inertia of the various agents, i.e., their tendency to keep, or change, the original message they have received [11,12]. The first two terms in H I describe how N is moving in the network R . In particular, the first term is a diffusion term for fake news, while the second one describes the diffusion of good news. The third term describes a possible interaction between fake and good news in each cell α : the nature of N , as perceived by the agent A α , can change during the time evolution. Of course, if λ α = 0 for some α , the news is left unchanged by agent A α . We refer to [11,12] for several considerations on this approach and on the use of Hamiltonians in the analysis of similar systems, and in the rationale for the interpretation of the various terms in H.
Some remarks are in order. H is Hermitian; this is connected to the fact that news can move along R going back and forth from, say, A α to A β and then back to A α again. This is clearly possible for information which can be easily be reflected to the original source from the receiver. The coefficients p α , β ( f , g ) in H I are diffusion coefficients for the two classes of news. We assume that they are all real and symmetric ( p α , β ( f , g ) = p β , α ( f , g ) ); moreover, we take p α , α ( f , g ) = 0 .
A reasonable assumption on the diffusion coefficients is that
α , β p α , β ( f ) > α , β p α , β ( g ) ,
since in everyday life we usually observe that fake news diffused much faster than good news. One of the main interests in this paper is to understand how it is possible to slow down the diffusion of fake news, increasing that of good news.
We now use H, and the CAR in (1), to deduce the equations of motion for the ladder operators and the mean values of their related number operators. In particular, using the Heisenberg approach, we have
f ˙ α ( t ) = i ω f , α f α ( t ) + 2 i β p α , β ( f ) f β ( t ) + i λ α g α ( t ) , g ˙ α ( t ) = i ω g , α g α ( t ) + 2 i β p α , β ( g ) g β ( t ) + i λ α f α ( t ) ,
where α = 1 , 2 , , N . This is a closed system of linear, operator-valued, differential equations which can be easily solved. In fact, denoting with X ( t ) the 2 N -column vectors whose transpose is
X ( t ) T = f 1 ( t ) , f 2 ( t ) , , f N ( t ) , g 1 ( t ) , g 2 ( t ) , , g N ( t ) ,
and introducing the following Hermitian 2 N × 2 N matrix V,
V = ω f , 1 2 p 1 , 2 ( f ) 2 p 1 , 3 ( f ) . . 2 p 1 , N ( f ) λ 1 0 0 . . 0 2 p 1 , 2 ( f ) ω f , 2 2 p 2 , 3 ( f ) . . 2 p 2 , N ( f ) 0 λ 2 0 . . 0 2 p 1 , 3 ( f ) 2 p 3 , 2 ( f ) ω f , 3 . . 2 p 3 , N ( f ) 0 0 λ 3 . . 0 . . . . . . . . . . . . . . . . . . . . . . . . 2 p 1 , N ( f ) 2 p 2 , N ( f ) 2 p 3 , N ( f ) . . ω f , N 0 0 . . . λ N λ 1 0 0 . . 0 ω g , 1 2 p 1 , 2 ( g ) 2 p 1 , 3 ( g ) . . 2 p 1 , N ( g ) 0 λ 2 0 . . 0 2 p 1 , 2 ( g ) ω g , 2 2 p 2 , 3 ( g ) . . 2 p 2 , N ( g ) 0 0 λ 3 . . 0 2 p 1 , 3 ( g ) 2 p 3 , 2 ( g ) ω g , 3 . . 2 p 3 , N ( g ) . . . . . . . . . . . . . . . . . . . . . . . . 0 0 . . . λ N 2 p 1 , N ( g ) 2 p 2 , N ( g ) 2 p 3 , N ( g ) . . ω g , N ,
system (6) can be rewritten as
X ˙ ( t ) = i V X ( t ) ,
whereupon the solution is
X ( t ) = exp ( i V t ) X ( 0 ) ,
X ( 0 ) being the initial condition. In writing the explicit form of V we have used the equality p α , β ( f , g ) = p β , α ( f , g ) . Let us call v i , j ( t ) = exp ( i V t ) i , j , i , j = 1 , 2 , , 2 N , and let E = { e j , j = 1 , 2 , , 2 N } be the canonical orthonormal basis in H 2 N C 2 N , endowed with scalar product · , · 2 N . Then we have
f α ( t ) = e α , X ( t ) 2 N , g α ( t ) = e N + α , X ( t ) 2 N ,
α = 1 , 2 , , N . If we call F β 0 and G β 0 the mean value of F ^ β and G ^ β on the vector φ β : n β , m β at t = 0 ,
F β 0 = φ β : n β , m β , F ^ β φ β : n β , m β β , G β 0 = φ β : n β , m β , G ^ β φ β : n β , m β β ,
then, calling
F α ( t ) = Ψ n , m , F ^ α ( t ) Ψ n , m = Ψ n , m , f α ( t ) f α ( t ) Ψ n , m G α ( t ) = Ψ n , m , G ^ α ( t ) Ψ n , m = Ψ n , m , g α ( t ) g α ( t ) Ψ n , m ,
we get
F α ( t ) = β = 1 N | v α , β ( t ) | 2 F β 0 + | v α , β + N ( t ) | 2 G β 0 , G α ( t ) = β = 1 N | v α + N , β ( t ) | 2 F β 0 + | v α + N , β + N ( t ) | 2 G β 0 ,
α = 1 , 2 , , N . From these functions we define the following mean values:
F ( t ) = 1 N α = 1 N F α ( t ) , G ( t ) = 1 N α = 1 N G α ( t ) ,
that we interpret as the time evolution of the global mean values of fake and good news in R . On the other hand, F α ( t ) and G α ( t ) are their local counterparts. Notice that, because of the fermionic nature of the operators involved, we have F α ( t ) , G α ( t ) [ 0 , 1 ] , and therefore F ( t ) , G ( t ) [ 0 , 1 ] as well.
The various mean values F α ( t ) , G α ( t ) are the main functions we are interested to. In fact, they can be phenomenologically interpreted as the intensities of fake news and good news, respectively, the agents perceive. In the case F α ( t ) G α ( t ) ( F α ( t ) G α ( t ) , respectively), there is no doubt the agent A α perceives news as fake (good, respectively), whereas the condition F α ( t ) G α ( t ) reflects the uncertainty about the reliability of news. Consequently, F ( t ) , G ( t ) are a sort of global intensity of how news is perceived by the whole system.
Remark 1.
If we introduce the operator N ^ t o t = α = 1 N F ^ α + G ^ α , it is possible to check that [ H , N ^ t o t ] = 0 . This implies that, when the dynamics is only driven by H (as in this section), N ^ t o t stays constant in time, and, consequently, also F ( t ) + G ( t ) . This means that when news N moves around R , its nature can be modified during the time evolution, but the overall amount of fake and good news stays unchanged. This is reasonable since, if news is globally considered a fake, F ( t ) increases while G ( t ) decreases, and vice versa if news is considered good. In any case, in the next section we will propose a strategy, already used in other contexts, breaking this feature of the model.

2.2. The Effect of the Rule

In [13], we have proposed a general strategy to modify the dynamics of a system S when some of the phenomena occurring during its time evolution cannot be encoded completely in a (Hermitian) Hamiltonian. This is particularly interesting when, from time to time, some checks are performed on S and on some of the quantities describing S , whereupon the Hamiltonian, or the state of the system, are modified accordingly to the result of the checks. We refer to [12,13,14] for a detailed discussion of this procedure, and for several applications—in any case, a short review of this idea is given in Appendix A. We have called the dynamics deduced in this way ( H , ρ ) -dynamics, since they are based on the idea that, while H drives the dynamics in the time intervals [ 0 , T [ , [ T , 2 T [ , [ 2 T , 3 T [ , and so on, at times T, 2 T , 3 T some transition may occur in the system due to the fact that we perform a periodic check on S , and we modify some ingredients of S accordingly. This is what we call the rule ρ . Then, the evolution starts again, but with these modified values of parameters, states, and so on, depending on the nature of ρ .
The quantity T should be therefore considered as the time taken by the agents to interact with the other agents of S before the status of N could be changed. In our system the explicit form of the rule is based on the following idea: let us consider a given cell α , and let Γ α be the set of all the cells which are connected to the cell α , with the possible inclusion of the cell α itself. Let w α f , g ( γ ) be the weights assigned to the cells γ in Γ α according to the nature of news, as we clarify below. We set
F Γ α ( T ) : = 1 W α f γ Γ α w α f ( γ ) F γ ( T ) , G Γ α ( T ) : = 1 W α g γ Γ α w α g ( γ ) G γ ( T ) ,
where W α f , g = γ Γ α w α f , g ( γ ) are the sums of the weights, and let
Δ Γ α ( T ) = F Γ α ( T ) G Γ α ( T )
be their difference. If Δ Γ α ( T ) > 0 then, in our model, this is seen as evidence of the fact that, at t = T , A α is surrounded by agents distributing more fake news rather than good news. The opposite happens if Δ Γ α ( T ) < 0 , while the two versions of N are balanced around A α if Δ Γ α ( T ) = 0 . Of course, this interpretation is also related to the explicit choice of the weights.
These basic ingredients can be used now to set up several interesting forms of rules. In the following section, we will consider two different possibilities, described below.

2.2.1. Rule ρ 1 : Strongly Passive

In this first case, we assume that Γ α does not contain the cell α . Rule ρ 1 acts on the state of the system in the following (very easy) way: suppose Δ Γ α ( T ) > 0 . Then, the status of news of the agent A α , independently of its own status (i.e., independently of the values of F α ( T ) and G α ( T ) ), is changed to φ α : 1 , 0 : maximum fake and minimum good. On the contrary, if Δ Γ α ( T ) < 0 , the state is changed to φ α : 0 , 1 , independently of the values of F α ( T ) and G α ( T ) . We use T to stress that we are approaching T from below, and that in T the rule is applied. Hence, the values of, say F α ( T ) and F α ( T ) are, in general, different. Of course, it may also happen that Δ Γ α ( T ) = 0 . When this happens, we let the system evolve up to 2 T without changing anything, and then we apply the rule. Of course, this check must be performed for each α . Then, what we are essentially doing, is replacing the vector Ψ n , m in (4) with a new one, Ψ n ( 1 ) , m ( 1 ) , of the same kind but with ( n , m ) replaced by the new vectors ( n ( 1 ) , m ( 1 ) ) , deduced by the action of the rules. In the interval [ T , 2 T [ the evolution is again driven by the same H, and at t = 2 T the rule is applied once again, changing again the state from Ψ n ( 1 ) , m ( 1 ) to Ψ n ( 2 ) , m ( 2 ) and so on. The reason why this rule is referred to as strongly passive should be clear: the original (i.e., for t = T ) status of A α plays no role in what happens to S after the check. A α only looks at what is happening in Γ α .

2.2.2. Rule ρ 2 : Active

The rule ρ 2 is a slight variation of the previous one. In this case we suppose that Γ α contains the α , and hence the status of the agent A α depends on its status too. This is a small mathematical difference, with respect to ρ 1 , but it has a deep meaning. As before, the agent A α changes the status to φ α : 1 , 0 or φ α : 0 , 1 according the value of Δ Γ α ( T ) .

3. Applications

In this section, we present some numerical applications of the model we have constructed. The main focus is to describe different kinds of diffusion dynamics and interactions between agents together with different application of the rules. We consider two simple situations; more realistic simulations are postponed to a forthcoming paper.

3.1. A Simple Network with Three Agents

The first application we present is related to the diffusion of news N in a network with three agents. We suppose that, initially Agent 1 diffuses good news N , and that this agent can interact and be influenced by two other agents, 2 and 3, whop, in turn, do not interact between themselves (see the schematic representation in Figure 1).
We suppose that the various agents communicate in a different way, and that Agents 2 and 3 behave in a different way regarding the diffusion of news from A 1 : agent A 2 is inclined to accept only good news, whereas A 3 prefers fake news. We also suppose that A 3 is inclined to change the nature of N and hence he influences Agent 1 to change the nature of N .
We consider the following set of parameters determining the strength of the various mechanisms previously described. The parameters of the inertial terms are ω 1 f , g = ω 2 f , g = 1 , ω 3 f , g = 0.1 , which express the fact that agents A 1 and A 2 tends to be more inclined than A 3 to maintain their perception about N . The parameters for the interactions of the agents are p 1 , 2 g = 1 , p 1 , 3 g = 0.1 , p 1 , 2 f = 0.1 , p 1 , 3 f = 1 (remember that p i , j f , g = p j , i f , g , i , j = 1 , 2 , 3 , i j ), expressing the fact that A 1 and A 2 share basically good news, whereas A 1 and A 3 share fake news. The parameters related to the change in the nature of N of the various agents are λ 1 = λ 2 = 0.2 , λ 3 = 1 , meaning that A 3 easily changes the nature of N when compared to the more conservative agents A 1 and A 2 . We consider also the following initial conditions: G 1 0 = 1 , G 2 , 3 0 = F 1 , 2 , 3 0 = 0 , so that initially (at t = 0 ) Agent 1 diffuses good news N .
In order to apply rules ρ 1 and ρ 2 , we take T = 60 , and the weights in (13) are chosen as w 1 f ( 2 ) = 0.1 , w 1 f ( 3 ) = 1 , w 1 g ( 2 ) = 1 , w 1 g ( 3 ) = 0.1 expressing that A 1 and A 2 influence themselves above all for good news, whereas A 1 and A 3 for fake news. In the case of rule ρ 2 we also take w α f , g ( α ) = 1 , α = 1 , 2 , 3 , meaning that each agent attributes a great role to his own perception of N . It is to be expected that the application of the rules can drastically change the way N is finally perceived by the agents, depending on how the various agents are influenced by the others, and hence depending on whether we adopt the rule ρ 1 or ρ 2 .
The time evolution of the main function F ( t ) and G ( t ) for the two rules ρ 1 and ρ 2 are shown in Figure 2 (we recall from the last remark of Section 2.1 that we have F ( t ) = 1 G ( t ) , t T .), while in Figure 3 we show the time evolution of the functions F 1 ( t ) and G 1 ( t ) , focusing on agent A 1 .
Let us first analyze the case of rule ρ 1 . We notice that in every sub interval [ ( k 1 ) T , k T ] , all the evolutions are periodic with alternating phases in which strong oscillations appear, representing a sort of uncertainty in how news is perceived. The appearance of the oscillations is even more pronounced if we look at the evolution for a specific agent, say A 1 (the dynamics of other agents, not shown here, exhibit similar oscillations). This is clearly seen by comparing Figure 2 and Figure 3. The main reason for that is due to the way A 1 interacts with A 3 : in fact, A 3 receives good news N , and converts the nature of N that becomes fake (high value of λ 3 ), and induces A 1 to change the nature of N (high values of p 1 , 3 f and w 1 f ( 3 ) ). On the other side, A 2 is inclined to maintain the nature of N , which explains why, despite the phases of oscillations/uncertainty, news N remains on average good ( G ( t ) > F ( t ) , t ), regardless of the uncertainty induced by A 3 .
On the contrary, by considering the active rule ρ 2 , we have that in this case the agents are inclined to be a little bit less influenced by the surrounding agents, since they give a non-zero weight to their own perception of news. In fact, we can observe from Figure 2b and Figure 3b that the amplitudes of the oscillations are weakened, and the perception of the goodness of N is higher than that when we adopt rule ρ 1 case (in the sense that the mean value of G ( t ) is higher). Moreover, as expected from the application of ρ 2 , the evolution of G 1 ( t ) exhibits a lower uncertainty, this value being very close to the maximum value 1 for t T .
We now present the results obtained by lowering the parameter λ 3 which is responsible for the highly variable nature of N for A 3 and, as a consequence, for A 1 . In Figure 4, we plot the time evolution of G ( t ) , G 1 ( t ) and F 1 ( t ) for different values of λ 3 and compare them with the already analyzed case λ 3 = 1 . As expected, moderate low values λ 3 0.5 determine a more stable time evolution, since A 3 is less inclined to change the nature of N diffused by A 1 : the news is globally perceived good, as both G ( t ) and G 1 ( t ) get very close to the maximum value 1.

3.2. A Network with Seven Agents

The second application we present is the diffusion of news among agents belonging to different levels. These levels could represent (from the highest to the lowest) transmitters verifying the nature of the news with some investigations, inquiries, validations, agents representing some media, and agents which are actually a generic class of final receivers of news (for instance, people getting information from social media, or people using only reliable TV news programs.). A schematic representation of this model and the connections among the agents is shown in Figure 5. The first level is made by two non-interacting main transmitters. We suppose that good news, N g is transmitted by agent A 1 , and fake news, N f , by agent A 2 . The second level consists of three agents interacting with the main transmitters, and with the two final receivers: only the agent A 5 interacts with all the transmitters and receivers. Finally, the third level is made by two receivers communicating between themselves too; therefore, they can influence the perception of news of the other receiver. From the schematic representation of the interaction paths, we can observe that the agent A 6 (the first receiver) looks more influenced by the agent A 1 and then by agents A 3 and A 5 , whereas the A 7 (the second receiver) by A 2 and then by agents A 4 and A 5 : therefore, without considering the mechanisms responsible for the change in news, the two receivers are inclined to perceive N g and N f , respectively, as sent by the transmitters, at least if the strength of the various interactions are similar. Of course, the real interesting situation is when some agent changes the reliability of news and how the receivers react accordingly.
The initial conditions for this model are easily written: G 1 0 = F 2 0 = 1 , while G j 0 = 0 for j 1 , and F j 0 = 0 , for j 2 . The parameters ω f , g of the free dynamics are all taken equal to 0.5, and the other parameters are chosen accordingly to strengthen or weaken the influence of the other mechanisms with respect to the free dynamics.
The interaction parameters are different from zero only for the related agents having connections, as shown in Figure 5, and depend also on the kind of initial news; among all the possible choices, we set p 1 , 3 g = p 1 , 5 g = p 2 , 4 f = p 2 , 5 f = 1 , p 3 , 6 g = p 4 , 7 f = 0.5 , p 5 , 6 f = p 5 , 7 f = 0.25 , and p f , g ( 6 , 7 ) = 1 , and of course p i , j f , g = p i , j f , g for all i j . The above choices reflect a certain strength between the agents of the first two levels, and between the final receivers which could represent a real situation in which people easily, and very often without care, transmit news or modify it using social media.
In this simulation, we consider the possibility that only the final receivers are able to change the way news is diffused (this could mimic the way the people modify or distort news), and we set λ 7 = 0.05 , whereas λ 6 is varied. Of course, in the case where λ 6 > λ 7 , it results that agent A 6 is more inclined to change the nature of the news N g to fake. The fact that λ 7 is in general much smaller then the others parameters means that agent A 7 is almost fair and essentially communicates news as it is received (no matter good or fake), so that agent A 6 can be the main party responsible for the alteration of news.
For the application of the rules ρ 1 , ρ 2 we take as before T = 60 , and the weights used in (13) are set equal to the related interaction parameters: w i f ( j ) = p i , j f , w i g ( j ) = p i , j g , and only for rule ρ 2 we also take w i f , g ( i ) = 1 , i .
We first present the results related to rule ρ 1 , shown in Figure 6 the time evolutions of the functions G 6 , F 6 , G 7 and F 7 for different values of the parameter λ 6 . We can observe that, for λ 6 = 0.025 , there is a different tendency of the agents in changing the way news is transmitted by the main agents A 1 and A 2 . In fact, after the application of the rule at T = 60 , we have that G 6 oscillates very close to the maximum value 1, whereas F 6 is very low, meaning that agent A 6 considers news transmitted by A 1 as good. At the same time, due to the interactions with the agent A 6 ( p 6 , 7 f , g > 0 ), A 7 changes its perception of fake news N f , and both functions G 7 and F 7 show evident oscillations, which express the uncertainty of the agent A 7 .
For λ 6 = 0.4 , we can observe a slightly more stable situation. In fact, despite the fact that the uncertainty of A 6 increases, we still have G 6 ( t ) > F 6 ( t ) , and the uncertainty of A 7 is significantly decreased as F 7 ( t ) > G 7 ( t ) —on average, agents A 6 and A 7 consider news as good when it is transmitted by A 1 , and fake when transmitted by A 2 . Increasing λ 6 further has remarkable effects on the uncertainty of agent A 6 , while decreasing that of agent A 7 . In fact, for λ 6 = 0.8 , there is no clear determination of the reliability of the news for agent A 6 , and G 6 and F 6 oscillate in all the interval [ 0 , 1 ] . The oscillations of F 7 and G 7 are instead damped and G 7 0 , F 7 1 , so that A 7 perceives the news as fake. The reason for this dynamics is that, for large λ 6 , A 6 is inclined to change the nature of N g to fake, and this reinforces the perception of news by A 7 as fake.
We also show the global function G ( t ) in Figure 7 for the various λ 6 we have considered (we recall that, after the time T, it results in F ( t ) = 1 G ( t ) ). Again, oscillations are wider for larger λ 6 , and the overall mean values decrease for increasing λ 6 . This is somewhat expected, because the larger λ 6 A 6 is more inclined in changing news from good to fake, so that F ( t ) > G ( t ) .
The results concerning the application of rule ρ 2 are shown in Figure 8, where the functions G 6 and F 7 are shown for values λ 6 = 0.8 and λ 6 = 0.4 , and compared with the results of the rule ρ 1 . The overall outcome is that all the uncertainties are weakened for the agent A 6 , and reinforced for the agent A 7 ; nevertheless, we observe that a global uncertainty arises that requires a more deep analysis.

4. Conclusions

In this paper, we have shown how a quantum-like approach can be used to describe the spreading of news in a network. In particular, we have considered a system where both good and fake news move. The analysis was based on the use of ladder operators obeying the canonical anti-commutation relations and their related number operators. We have also discussed what happens when some checks (our rule) are applied, from time to time, to the system, and how this modifies the dynamics of the spreading. Incidentally, we do not expect significant changes for larger sizes of networks, at least when compared with those in Figure 5, since each agent could be seen as a cluster of agents with similar behavior, which is very close to the reality, where clusters of people sharing some similar attitude or idea quite easily can be observed.
Our analysis opens the way to many possible applications, from the application of different rules, to the possibility of modeling special classes of agents (e.g., the so-called influencers) in the network. These are only few of the possible extensions of the ideas discussed here.

Author Contributions

Conceptualization, F.B., F.G. and F.O.; methodology, F.B., F.G. and F.O.; formal analysis, F.B., F.G. and F.O.; writing–original draft preparation, F.B., F.G. and F.O. All authors have read and agreed to the published version of the manuscript.

Funding

F.G. acknowledges partial support from MIUR Grant ”FFABR2017 - Fondo di Finanziamento per le Attività Base di Ricerca”.

Acknowledgments

F.B. and F.G. acknowledge partial support from the University of Palermo. F.O. acknowledges partial support from the University of Messina. The authors also acknowledge partial support from G.N.F.M. of the I.N.d.A.M.

Conflicts of Interest

The authors declare no conflict of interest.

Appendix A. (H,ρ)-Dynamics

Let S be our physical system and let O j be a set of M commuting self-adjoint operators, needed for the complete description of S , with eigenvectors φ α n ( j ) and eigenvalues α n ( j ) :
[ O j , O k ] = 0 , O j = O j , O j φ n j ( j ) = α n j ( j ) φ n j ( j ) ,
j = 1 , 2 , , M , n j = 1 , 2 , 3 , , N j , which can be finite or infinite. Let n = ( n 1 , n 2 , , n M ) and let
φ n = φ n 1 ( 1 ) φ n 2 ( 2 ) φ n M ( M ) .
Then φ n is an eigenstate of all the operators O j —i.e.,
O j φ n = α n j ( j ) φ n .
We can safely assume that these vectors satisfy
φ n , φ m = δ n , m = j = 1 M δ n j , m j .
The Hilbert space H where S is defined is the closed linear span of all the vectors φ n . Now, let H = H be the (time-independent) self-adjoint Hamiltonian of S . This means that, in the absence of any other information, the wave function Ψ ( t ) describing S at time t evolves according to the Schrödinger equation i Ψ ˙ ( t ) = H Ψ ( t ) , where Ψ ( 0 ) = Ψ 0 describes the initial status of S . The formal solution of the Schrödinger equation in t [ 0 , τ [ , for a fixed τ > 0 , is Ψ 0 ( t ) = exp ( i H t ) Ψ 0 . Now let ρ be our rule—i.e., a set of conditions mapping, at a certain time, any input vector Ψ 0 ( τ ) H in a new vector Ψ 1 H —and with a synthetic notation we will simply write Ψ 1 = ρ ( Ψ 0 ( τ ) ) . Then, in the new time interval t [ 0 , τ ] , the new vector Ψ 1 evolves according to the Schrödinger evolution, Ψ 1 ( t ) = exp ( i H t ) Ψ 1 , and at time τ we map Ψ 1 ( τ ) into a new state Ψ 2 . The procedure can continue for more iterations k = 1 , 2 , . Now let X be a generic bounded operator on H . For instance, in Section 2 we have considered X as the number operators related to good and fake news.
Definition A1.
The sequence of functions
x k ( t ) : = Ψ k , X ( t ) Ψ k ,
for t [ 0 , τ ] and k N 0 , is called the ( H , ρ ) -induced dynamics of the operator X.
We refer to [14] (and to the references therein) for more details of the ( H , ρ ) -induced dynamics. Here we only observe that, using X ( t ) = ( x 1 ( t ) , x 2 ( t ) , x 3 ( t ) , ) , it is possible to define a function of time in the following way:
X ˜ ( t ) = x 1 ( t ) , t [ 0 , τ [ x 2 ( t τ ) , t [ τ , 2 τ [ x 3 ( t 2 τ ) , t [ 2 τ , 3 τ [
It is clear that X ˜ ( t ) may have discontinuities in k τ , for k N . In [14] ,we have discussed conditions for X ˜ ( t ) to admit some asymptotic value or to be periodic, and some related notions of equilibria for ( H , ρ ) -dynamics.

References

  1. Jin, F.; Dougherty, E.; Saraf, P.; Cao, Y.; Ramakrishnan, N. Epidemiological Modeling of News and Rumors on Twitter. In Proceedings of the 7th Workshop on Social Network Mining and Analysis, Chicago, IL, USA, 11 August 2013; Volume 8, pp. 1–8. [Google Scholar]
  2. Lerman, K. Social Information Processing in News Aggregation. IEEE Internet Comput. 2007, 11, 16–28. [Google Scholar] [CrossRef] [Green Version]
  3. Abdullah, S.; Wu, X. An Epidemic Model for News Spreading on Twitter. In Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, Boca Raton, FL, USA, 7–9 November 2001; pp. 163–169. [Google Scholar]
  4. Doerr, B.; Fouz, M.; Friedrich, T. Why rumors spread so quickly in social networks. Commun. ACM 2012, 55, 70–75. [Google Scholar] [CrossRef]
  5. Bagarello, F. One-directional quantum mechanical dynamics and an application to decision making. Physica A 2020, 537, 122739. [Google Scholar] [CrossRef] [Green Version]
  6. Gargano, F.; Tamburino, L.; Bagarello, F.; Bravo, G. Large-scale effects of migration and conflict in pre-agricultural groups: Insights from a dynamic model. PLoS ONE 2017, 12, e0172262. [Google Scholar] [CrossRef] [PubMed] [Green Version]
  7. Bagarello, F.; Gargano, F. Non-Hermitian Operator Modelling of Basic Cancer Cell Dynamics. Entropy 2018, 20, 270. [Google Scholar] [CrossRef] [Green Version]
  8. Robinson, T.R.; Fry, A.M.; Haven, E. Quantum counting: Operator methods for discrete population dynamics with applications to cell division. Prog. Biophys. Mol. Biol. 2017, 130, 106–119. [Google Scholar] [CrossRef] [PubMed] [Green Version]
  9. Di Salvo, R.; Oliveri, F. An operatorial model for long-term survival of bacterial populations. Ric. Mat. 2017, 65, 435–447. [Google Scholar] [CrossRef]
  10. Asano, M.; Basieva, I.; Khrennikov, A.; Ohya, M.; Tanaka, Y.; Yamat, I. A model of epigenetic evolution based on theory of open quantum systems. Syst. Synth. Biol. 2013, 7, 161–173. [Google Scholar] [CrossRef] [PubMed] [Green Version]
  11. Bagarello, F. Quantum Dynamics for Classical Systems: With Applications of the Number Operator; Wiley: New York, NY, USA, 2012. [Google Scholar]
  12. Bagarello, F. Quantum Concepts in the Social, Ecological and Biological Sciences; Cambridge University Press: Cambridge, UK, 2019. [Google Scholar]
  13. Bagarello, F.; Di Salvo, R.; Gargano, F.; Oliveri, F. (H,ρ)-induced dynamics and the quantum game of life. Appl. Math. Model. 2017, 43, 15–32. [Google Scholar] [CrossRef]
  14. Bagarello, F.; Di Salvo, R.; Gargano, F.; Oliveri, F. (H,ρ)-induced dynamics and large time behaviors. Physica A 2018, 505, 355–373. [Google Scholar] [CrossRef] [Green Version]
Figure 1. Schematic representation of the interactions and the diffusion of news N among the three agents: Agent 1 interacts with Agents 2 and 3, while Agents 2 and 3 do not interact between themselves.
Figure 1. Schematic representation of the interactions and the diffusion of news N among the three agents: Agent 1 interacts with Agents 2 and 3, while Agents 2 and 3 do not interact between themselves.
Entropy 22 01169 g001
Figure 2. Time evolutions of F ( t ) and G ( t ) for the case of 3 agents, and rules ρ 1 (a) and ρ 2 (b).
Figure 2. Time evolutions of F ( t ) and G ( t ) for the case of 3 agents, and rules ρ 1 (a) and ρ 2 (b).
Entropy 22 01169 g002
Figure 3. Time evolutions of F 1 ( t ) and G 1 ( t ) for the case of 3 agents, and rules ρ 1 (a) and ρ 2 (b): phases of strong oscillations are more evident in the case of rule ρ 1 .
Figure 3. Time evolutions of F 1 ( t ) and G 1 ( t ) for the case of 3 agents, and rules ρ 1 (a) and ρ 2 (b): phases of strong oscillations are more evident in the case of rule ρ 1 .
Entropy 22 01169 g003
Figure 4. Time evolutions of G ( t ) , G 1 ( t ) and F 1 ( t ) for the case of three agents for different value of the interaction parameter λ 3 , and for rules ρ 1 (a) and ρ 2 (b).
Figure 4. Time evolutions of G ( t ) , G 1 ( t ) and F 1 ( t ) for the case of three agents for different value of the interaction parameter λ 3 , and for rules ρ 1 (a) and ρ 2 (b).
Entropy 22 01169 g004
Figure 5. Schematic representation of the network with 7 agents.
Figure 5. Schematic representation of the network with 7 agents.
Entropy 22 01169 g005
Figure 6. The 7 agents agents model with the application of rule ρ 1 . The evolutions of the functions G 6 ( t ) , F 6 ( t ) , G 7 ( t ) and F 7 ( t ) are shown for different values of the parameters λ 6 . The schematic representation of the interactions between agents are shown in Figure 5.
Figure 6. The 7 agents agents model with the application of rule ρ 1 . The evolutions of the functions G 6 ( t ) , F 6 ( t ) , G 7 ( t ) and F 7 ( t ) are shown for different values of the parameters λ 6 . The schematic representation of the interactions between agents are shown in Figure 5.
Entropy 22 01169 g006
Figure 7. The 7 agents agents model with the application of the rule ρ 1 . The evolution of the function G ( t ) is shown for different values of the parameters λ 6 . The schematic representation of the interactions between agents are shown in Figure 5.
Figure 7. The 7 agents agents model with the application of the rule ρ 1 . The evolution of the function G ( t ) is shown for different values of the parameters λ 6 . The schematic representation of the interactions between agents are shown in Figure 5.
Entropy 22 01169 g007
Figure 8. The 7 agents agents model with the application of rules ρ 1 and ρ 2 . The evolutions of the functions G 6 ( t ) and F 7 ( t ) are shown for different values of the parameters λ 6 .
Figure 8. The 7 agents agents model with the application of rules ρ 1 and ρ 2 . The evolutions of the functions G 6 ( t ) and F 7 ( t ) are shown for different values of the parameters λ 6 .
Entropy 22 01169 g008
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Bagarello, F.; Gargano, F.; Oliveri, F. Spreading of Competing Information in a Network. Entropy 2020, 22, 1169. https://doi.org/10.3390/e22101169

AMA Style

Bagarello F, Gargano F, Oliveri F. Spreading of Competing Information in a Network. Entropy. 2020; 22(10):1169. https://doi.org/10.3390/e22101169

Chicago/Turabian Style

Bagarello, Fabio, Francesco Gargano, and Francesco Oliveri. 2020. "Spreading of Competing Information in a Network" Entropy 22, no. 10: 1169. https://doi.org/10.3390/e22101169

APA Style

Bagarello, F., Gargano, F., & Oliveri, F. (2020). Spreading of Competing Information in a Network. Entropy, 22(10), 1169. https://doi.org/10.3390/e22101169

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop