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 [,,,], 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, [], population dynamics, [], basic cancer cell dynamics, [,], biological aspects of the bacterial dynamics, [], and epigenetic evolution, [] (see [,] for other fields of application).
In order to enrich the derived dynamics we shall also adopt the -induced dynamics introduced in [,], 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 -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 -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 , 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 ), 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 . They are labeled by indices . We treat the various agents, , as different cells of a network . Two cells and are neighboring if the agents and have a direct link to interchange information. The cells are far away, in our picture of , if is connected to by means of intermediate agents. For each we introduce two families of fermionic operators, and , satisfying the camonical anticommutation rules (CAR)
with all the other anti-commutators trivial. In particular , and , where or . We also define the number operators and . For each we also construct a four-dimensional Hilbert space introducing first the vacua of and . These are two vectors, and satisfying the equations . Then, we define , , and
where . The set is an orthonormal basis in a Hilbert space , which is a four-dimensional vector space endowed with scalar product :
Moreover,
Similarly to what is done in several contexts [,], we associate the following meaning to each : if the system in is described by the vector , then has not reached , in any of its form. If it is described by , then the fake version of has reached , while was reached by its good version if the vector is . Finally, both versions of have reached if is described by .
It is clear that each vector is a linear combination of the . Now we can consider , the Hilbert space of , with scalar product
for each and . Each operator acting on can be extended to all of by identifying with , where is the identity operator on . The initial state of is described the the following vector on :
where , . The knowledge of allows us to deduce if, and which kind of, information has reached any agent of the system. In fact, represents the initial diffusion of all along the network . In the following section, we will discuss how we can give this dynamic to , and the effect of this dynamic.
2.1. The Hamiltonian and Its Effect
We first consider a time interval, , in which the dynamical behavior of is only driven by a certain operator, the Hamiltonian H of the system [,], describing the main interactions occurring in during that interval. In particular, we assume the following form for H:
The first term, , describes the inertia of the various agents, i.e., their tendency to keep, or change, the original message they have received [,]. The first two terms in describe how is moving in the network . 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 , as perceived by the agent , can change during the time evolution. Of course, if for some , the news is left unchanged by agent . We refer to [,] 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 going back and forth from, say, to and then back to again. This is clearly possible for information which can be easily be reflected to the original source from the receiver. The coefficients in are diffusion coefficients for the two classes of news. We assume that they are all real and symmetric (); moreover, we take .
A reasonable assumption on the diffusion coefficients is that
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
where . This is a closed system of linear, operator-valued, differential equations which can be easily solved. In fact, denoting with the -column vectors whose transpose is
and introducing the following Hermitian matrix V,
system (6) can be rewritten as
whereupon the solution is
being the initial condition. In writing the explicit form of V we have used the equality . Let us call , , and let be the canonical orthonormal basis in , endowed with scalar product . Then we have
. If we call and the mean value of and on the vector at ,
then, calling
we get
. From these functions we define the following mean values:
that we interpret as the time evolution of the global mean values of fake and good news in . On the other hand, and are their local counterparts. Notice that, because of the fermionic nature of the operators involved, we have , and therefore as well.
The various mean values 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 (, respectively), there is no doubt the agent perceives news as fake (good, respectively), whereas the condition reflects the uncertainty about the reliability of news. Consequently, are a sort of global intensity of how news is perceived by the whole system.
Remark 1.
If we introduce the operator , it is possible to check that . This implies that, when the dynamics is only driven by H (as in this section), stays constant in time, and, consequently, also . This means that when news moves around , 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, increases while 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 [], we have proposed a general strategy to modify the dynamics of a system 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 and on some of the quantities describing , whereupon the Hamiltonian, or the state of the system, are modified accordingly to the result of the checks. We refer to [,,] 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 -dynamics, since they are based on the idea that, while H drives the dynamics in the time intervals , , , and so on, at times T, , some transition may occur in the system due to the fact that we perform a periodic check on , and we modify some ingredients of 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 before the status of 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 be the weights assigned to the cells in according to the nature of news, as we clarify below. We set
where are the sums of the weights, and let
be their difference. If then, in our model, this is seen as evidence of the fact that, at , is surrounded by agents distributing more fake news rather than good news. The opposite happens if , while the two versions of are balanced around if . 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 : Strongly Passive
In this first case, we assume that does not contain the cell . Rule acts on the state of the system in the following (very easy) way: suppose . Then, the status of news of the agent , independently of its own status (i.e., independently of the values of and ), is changed to : maximum fake and minimum good. On the contrary, if , the state is changed to , independently of the values of and . We use to stress that we are approaching T from below, and that in T the rule is applied. Hence, the values of, say and are, in general, different. Of course, it may also happen that . When this happens, we let the system evolve up to 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 in (4) with a new one, , of the same kind but with replaced by the new vectors , deduced by the action of the rules. In the interval the evolution is again driven by the same H, and at the rule is applied once again, changing again the state from to and so on. The reason why this rule is referred to as strongly passive should be clear: the original (i.e., for ) status of plays no role in what happens to after the check. only looks at what is happening in .
2.2.2. Rule : Active
The rule is a slight variation of the previous one. In this case we suppose that contains the , and hence the status of the agent depends on its status too. This is a small mathematical difference, with respect to , but it has a deep meaning. As before, the agent changes the status to or according the value of .
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 in a network with three agents. We suppose that, initially Agent 1 diffuses good news , 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).
Figure 1.
Schematic representation of the interactions and the diffusion of news among the three agents: Agent 1 interacts with Agents 2 and 3, while Agents 2 and 3 do not interact between themselves.
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 : agent is inclined to accept only good news, whereas prefers fake news. We also suppose that is inclined to change the nature of and hence he influences Agent 1 to change the nature of .
We consider the following set of parameters determining the strength of the various mechanisms previously described. The parameters of the inertial terms are , which express the fact that agents and tends to be more inclined than to maintain their perception about . The parameters for the interactions of the agents are (remember that ), expressing the fact that and share basically good news, whereas and share fake news. The parameters related to the change in the nature of of the various agents are , , meaning that easily changes the nature of when compared to the more conservative agents and . We consider also the following initial conditions: , so that initially (at ) Agent 1 diffuses good news .
In order to apply rules and , we take , and the weights in (13) are chosen as expressing that and influence themselves above all for good news, whereas and for fake news. In the case of rule we also take , meaning that each agent attributes a great role to his own perception of . It is to be expected that the application of the rules can drastically change the way 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 or .
The time evolution of the main function and for the two rules and are shown in Figure 2 (we recall from the last remark of Section 2.1 that we have .), while in Figure 3 we show the time evolution of the functions and , focusing on agent .
Figure 2.
Time evolutions of and for the case of 3 agents, and rules (a) and (b).
Figure 3.
Time evolutions of and for the case of 3 agents, and rules (a) and (b): phases of strong oscillations are more evident in the case of rule .
Let us first analyze the case of rule . We notice that in every sub interval , 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 (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 interacts with : in fact, receives good news , and converts the nature of that becomes fake (high value of ), and induces to change the nature of (high values of and ). On the other side, is inclined to maintain the nature of , which explains why, despite the phases of oscillations/uncertainty, news remains on average good (), regardless of the uncertainty induced by .
On the contrary, by considering the active rule , 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 is higher than that when we adopt rule case (in the sense that the mean value of is higher). Moreover, as expected from the application of , the evolution of exhibits a lower uncertainty, this value being very close to the maximum value 1 for .
We now present the results obtained by lowering the parameter which is responsible for the highly variable nature of for and, as a consequence, for . In Figure 4, we plot the time evolution of and for different values of and compare them with the already analyzed case . As expected, moderate low values determine a more stable time evolution, since is less inclined to change the nature of diffused by : the news is globally perceived good, as both and get very close to the maximum value 1.
Figure 4.
Time evolutions of and for the case of three agents for different value of the interaction parameter , and for rules (a) and (b).
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, is transmitted by agent , and fake news, , by agent . The second level consists of three agents interacting with the main transmitters, and with the two final receivers: only the agent 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 (the first receiver) looks more influenced by the agent and then by agents and , whereas the (the second receiver) by and then by agents and : therefore, without considering the mechanisms responsible for the change in news, the two receivers are inclined to perceive and , 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.
Figure 5.
Schematic representation of the network with 7 agents.
The initial conditions for this model are easily written: , while for , and , for . The parameters 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 , , , and , and of course for all . 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 , whereas is varied. Of course, in the case where , it results that agent is more inclined to change the nature of the news to fake. The fact that is in general much smaller then the others parameters means that agent is almost fair and essentially communicates news as it is received (no matter good or fake), so that agent can be the main party responsible for the alteration of news.
For the application of the rules we take as before , and the weights used in (13) are set equal to the related interaction parameters: , and only for rule we also take .
We first present the results related to rule , shown in Figure 6 the time evolutions of the functions , , and for different values of the parameter . We can observe that, for , there is a different tendency of the agents in changing the way news is transmitted by the main agents and . In fact, after the application of the rule at , we have that oscillates very close to the maximum value 1, whereas is very low, meaning that agent considers news transmitted by as good. At the same time, due to the interactions with the agent (), changes its perception of fake news , and both functions and show evident oscillations, which express the uncertainty of the agent .
Figure 6.
The 7 agents agents model with the application of rule . The evolutions of the functions and are shown for different values of the parameters . The schematic representation of the interactions between agents are shown in Figure 5.
For , we can observe a slightly more stable situation. In fact, despite the fact that the uncertainty of increases, we still have , and the uncertainty of is significantly decreased as —on average, agents and consider news as good when it is transmitted by , and fake when transmitted by . Increasing further has remarkable effects on the uncertainty of agent , while decreasing that of agent . In fact, for , there is no clear determination of the reliability of the news for agent , and and oscillate in all the interval . The oscillations of and are instead damped and , , so that perceives the news as fake. The reason for this dynamics is that, for large , is inclined to change the nature of to fake, and this reinforces the perception of news by as fake.
We also show the global function in Figure 7 for the various we have considered (we recall that, after the time T, it results in ). Again, oscillations are wider for larger , and the overall mean values decrease for increasing . This is somewhat expected, because the larger is more inclined in changing news from good to fake, so that .
Figure 7.
The 7 agents agents model with the application of the rule . The evolution of the function is shown for different values of the parameters . The schematic representation of the interactions between agents are shown in Figure 5.
The results concerning the application of rule are shown in Figure 8, where the functions and are shown for values and , and compared with the results of the rule . The overall outcome is that all the uncertainties are weakened for the agent , and reinforced for the agent ; nevertheless, we observe that a global uncertainty arises that requires a more deep analysis.
Figure 8.
The 7 agents agents model with the application of rules and . The evolutions of the functions and are shown for different values of the parameters .
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 be our physical system and let be a set of M commuting self-adjoint operators, needed for the complete description of , with eigenvectors and eigenvalues :
, , which can be finite or infinite. Let and let
Then is an eigenstate of all the operators —i.e.,
We can safely assume that these vectors satisfy
The Hilbert space where is defined is the closed linear span of all the vectors . Now, let be the (time-independent) self-adjoint Hamiltonian of . This means that, in the absence of any other information, the wave function describing at time t evolves according to the Schrödinger equation , where describes the initial status of . The formal solution of the Schrödinger equation in , for a fixed , is . Now let be our rule—i.e., a set of conditions mapping, at a certain time, any input vector in a new vector —and with a synthetic notation we will simply write . Then, in the new time interval , the new vector evolves according to the Schrödinger evolution, , and at time we map into a new state . The procedure can continue for more iterations . Now let X be a generic bounded operator on . 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
for and , is called the -induced dynamics of the operator X.
We refer to [] (and to the references therein) for more details of the -induced dynamics. Here we only observe that, using , it is possible to define a function of time in the following way:
It is clear that may have discontinuities in , for . In [] ,we have discussed conditions for to admit some asymptotic value or to be periodic, and some related notions of equilibria for -dynamics.
References
- 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]
- Lerman, K. Social Information Processing in News Aggregation. IEEE Internet Comput. 2007, 11, 16–28. [Google Scholar] [CrossRef]
- 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]
- Doerr, B.; Fouz, M.; Friedrich, T. Why rumors spread so quickly in social networks. Commun. ACM 2012, 55, 70–75. [Google Scholar] [CrossRef]
- Bagarello, F. One-directional quantum mechanical dynamics and an application to decision making. Physica A 2020, 537, 122739. [Google Scholar] [CrossRef]
- 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]
- Bagarello, F.; Gargano, F. Non-Hermitian Operator Modelling of Basic Cancer Cell Dynamics. Entropy 2018, 20, 270. [Google Scholar] [CrossRef]
- 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]
- Di Salvo, R.; Oliveri, F. An operatorial model for long-term survival of bacterial populations. Ric. Mat. 2017, 65, 435–447. [Google Scholar] [CrossRef]
- 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]
- Bagarello, F. Quantum Dynamics for Classical Systems: With Applications of the Number Operator; Wiley: New York, NY, USA, 2012. [Google Scholar]
- Bagarello, F. Quantum Concepts in the Social, Ecological and Biological Sciences; Cambridge University Press: Cambridge, UK, 2019. [Google Scholar]
- 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]
- 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]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations. |
© 2020 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).