Social Distancing as a Network Population Game in a Socially Connected World
Abstract
While social living is considered to be an indispensable part of human life in today’s ever-connected world, social distancing has recently received much public attention on its importance since the outbreak of the coronavirus pandemic. In fact, social distancing has long been practiced in nature among solitary species, and been taken by human as an effective way of stopping or slowing down the spread of infectious diseases. Here we consider a social distancing problem for how a population, when in a world with a network of social sites, decides to visit or stay at some sites while avoiding or closing down some others so that the social contacts across the network can be minimized. We model this problem as a network population game, where every individual tries to find some network sites to visit or stay so that he/she can minimize all his/her social contacts. In the end, an optimal strategy can be found for every one, when the game reaches an equilibrium. We show that a large class of equilibrium strategies can be obtained by selecting a set of social sites that forms a so-called maximal -regular subnetwork. The latter includes many well studied network types, which are easy to identify or construct, and can be completely disconnected (with ) for the most strict isolation, or allow certain degree of connectivities (with ) for more flexible distancing. We derive the equilibrium conditions of these strategies, and analyze their rigidity and flexibility on different types of -regular subnetworks. We also extend our model to weighted networks, when different contact values are assigned to different network sites.
keywords:
Social distancing, epidemic and pandemic prevention, network population games, social networks, regular networks, optimal distancing strategies, rigidity, flexibility, and fragility of distancing strategies92D30, 92D25, 91A22, 91A43, 90C35, 90C27
1 Introduction
Humans participate in all sorts of social activities, especially in modern societies. We go to school, go to work, attend meetings, go shopping, go to restaurants, watch shows, movies, or sports, etc. The world is formed by a huge number of social sites that host these activities. These sites are also closely connected for people to contact, meet, and socialize across. The world is a well-connected network. People’s daily life is simply a busy agenda of events at different event sites in this network, with different visiting frequencies for different sites. As such, the world can be modeled as a social network, with the nodes representing the social sites and the links the connections among the social sites. The social life of an individual can be described by the frequencies of the individual to visit these social sites, and the social behavior of the population can be described by these frequencies averaged over the whole population.
Mathematically, we can represent a social network with a graph , where is a set of nodes corresponding to the social sites of the network, and a set of links between the nodes representing the social connections among the social sites. Let , , , be a vector describing the social behavior of an individual on , with being the frequency of the individual to visit or stay at node of . Then, we can define a vector , , , for the social behavior of the whole population, with being the average frequency of the population to visit or stay at node of . Let be the adjacency matrix of , if , if , and for all . Then, in a -population, the amount of social contacts an -individual can make at node must be , the contacts with the population on node , plus , the contacts with the population on other nodes , all together equal to . Across the network, the social contacts this individual can make must be .
Consider as the social strategy of an individual, and the social strategy of the population. Consider as a payoff function. We can then define a network population game where each individual of the population tries to maximize his/her social payoff. The latter can be achieved when an optimal strategy is found for every individual. The strategy for the population then becomes as well, and a Nash equilibrium is reached. A Nash equilibrium of this game is thus a strategy such that
where is the set of all possible social strategies. We call this game a social networking game on network . For social networking, we encourage interactions across different social sites and do not count the contacts among individuals in the same sites, and therefore, set for all .
Different from social networking, social distancing is to reduce social contacts instead. Therefore, for a given social network, social distancing can be considered as a problem to find a set of social sites in the network where interactions within and between these sites can be minimized. It can therefore be modeled as a network population game where each individual tries to minimize his/her social contacts . A Nash equilibrium of this game is then a strategy such that
We call this game a social distancing game on network . For social distancing, we also count the contacts among individuals in the same sites, and therefore, set for all . Let be the complement of , with and . Then, it is easy to see that a social distancing game on network is equivalent to a social networking game on , and vice versa (See Figure 1).


While social living is considered to be an indispensable part of human life in today’s ever-connected world, social distancing has recently received much public attention on its importance since the outbreak of the coronavirus pandemic [1, 2, 3, 4, 5, 6]. In fact, social distancing has long been practiced in nature among solitary animals, who always try to distance themselves from others, sometimes for more efficient foraging, sometimes for self-protection from infightings, and sometimes for avoiding disease infections as well [7, 8, 9]. In human societies, social distancing has been recommended by health experts as a special yet effective measure for mitigating the spread of diseases during epidemic or pandemic [10, 11, 12, 13]. It can be as simple as just to keep distances from each other, or be more cooperative to follow certain rules such as avoiding large gatherings, canceling events, and closing schools, or to shut down places such as movie theaters, shopping centers, and commercial areas [14, 15].
Much work has been done on modeling social distancing in the past [16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26] and especially in this year since the outbreak of the coronavirus pandemic [27, 28, 29, 30, 31, 32], most focusing on epidemiological models and predictions, with social distancing as a behavioral factor affecting the spread of the diseases. The impacts of distancing behaviors on contact rates, transmission rates, and hence the infectious rates have been investigated through statistical estimation, dynamic simulation, and model prediction. Our work is focused more on planning of social distancing for a population on how to separate, what to avoid, and where to stay to minimize social contacts and mitigate the spread of the diseases. More specifically, we consider a social distancing problem for how the individuals of a given population, when in a world with a network of social sites, find some sites of the network to visit or stay while avoiding or closing down some others so that the social contacts among the individuals across the network can be minimized. This can be critical as a personal decision to make, and perhaps more so as a public health policy to implement. This problem can be modeled as a social distancing game as described above, where every individual tries to find some network sites to visit or stay so that he/she can minimize all his/her social contacts. In the end, an optimal strategy can be found for everyone, when the game reaches an equilibrium. We show that a large class of equilibrium strategies can be obtained by selecting a set of network sites that forms a so-called maximal -regular subnetwork. A regular subnetwork is a subnetwork of all nodes of equal degree. An -regular subnetwork is a subnetwork of all nodes of degree [33, 34] (see Figure 2). The latter includes many well studied network types, such as the maximal independent set (), the maximal strong matching (), the maximal set of independent cycles (), etc. They are easy to identify or construct, and can be completely disconnected (with ) for the most strict isolation, or allow certain degree of connectivities (with ) for more flexible distancing. We derive the equilibrium conditions of these strategies, and analyze their rigidity and flexibility on different types of -regular subnetworks. We also extend our model to weighted networks, when different contact values are assigned to different network sites.
Our work do share some important features with other previous studies. For example, Reluga and co-workers [23, 35, 36, 26] have also applied a game dynamic approach to the study of social distancing. Their game involves the investment on social distancing and its effect on the dynamics of SIR populations. Our game is instead for choosing locations for social distancing in a given network of social sites. Eubank et al. [16, 37, 38, 39, 40] have started investigating network based models in early 2000, and analyzed and simulated large social networks and their impacts on epidemics. Meyers et al. [41, 19, 42, 43, 44] have led multiple efforts on contact network based epidemic modeling, mostly concerning networks of person-to-person contacts. The networks studied in our work can be considered as a special type of contact networks, where the nodes are locations, and the contacts are made through access to the connected locations.




2 Optimal Distancing Strategies
In the social distancing game on a network, every individual wants to find a network site to distance himself/herself from others. In an attempt, a site with a small number of connections would be a good choice. However, if everyone chooses this site, no one will benefit. Therefore, a strategy is needed to select a set of sites to visit or stay with only certain frequency at each. Let be a strategy everyone would like to take, with being the frequency of visiting or staying at site . In effect, the population will distribute on the network also as , with being the probable fraction on site . With the population distributed as such, the social contacts an individual at site can make with the population at site will be . If there is a link between and , i.e., , ; otherwise, . In total, the social contacts this individual can make, if at site , will be . The competition among all the sites is then balanced if are the same, say equal to , for all such that , i.e., for all the sites selected to visit or stay. In addition, must be smaller than or equal to for all such that , i.e., for all the sites not selected, for otherwise, by selecting such a site such that , the individual will be able to reduce the social contacts further. When all these conditions are satisfied, every individual with a strategy minimizes all his/her social contacts to , no more, no less, and an equilibrium is reached.
Based on evolutionary game theory [45, 46], we can prove that the above conditions are in fact necessary and sufficient for a strategy to be a Nash equilibrium of the social distancing game on a network. We state this property in the following theorem.
Theorem 2.1.
Let be the adjacency matrix of network . Then, a strategy is a Nash equilibrium of the social distancing game on if and only if there is a scalar such that for all such that and for all such that , where .
Proof 2.2.
(): Assume that there is a scalar such that for all such that and for all such that . Then, . Let be any strategy. Since for all , . Therefore, is a Nash equilibrium.
(): Assume that is a Nash equilibrium. Then, for all . Let . Then, for all , i.e., for all . It follows that for all such that . If for some such that , then . Therefore, for all such that .
Let be the set of nodes in selected by a strategy , i.e., . Let be the set of links between the nodes in , i.e., . We call the subnetwork of supporting . For an individual, an equilibrium strategy on then means to visit or stay only at the nodes of , with a nonzero frequency at node of , while for the population, it implies to spread only on the nodes of , with a nonzero probable fraction on node of . In either view, strategy with a choice of nodes in maximizes the social distances and minimizes the social contacts among all the individuals of the population, if a link between two nodes is counted as a contact while no link as a distance.
The equilibrium strategy for the social distancing game on a network is not necessarily unique. Different equilibrium strategies may have different minimal social contacts. In general, the fewer connections in supporting subnetwork , the smaller amount of social contacts at equilibrium. Therefore, an equilibrium strategy without connections in can be a first choice for distancing. Such a is called an independent set of . It is easy to verify that the larger the independent set, the better the corresponding strategy, when a larger amount of social contacts is minimized. The largest possible independent set that is not contained in another independent set is called a maximal independent set. In fact, a distancing strategy on an independent set of is not necessarily a Nash equilibrium, but it always is if it is on a maximal independent set of .
Theorem 2.3.
Let be a strategy for the social distancing game on a network . Let be the supporting subnetwork for . Then, if is a maximal independent set of , is a Nash equilibrium for the game, with for all and for all , where is the size of .
Proof 2.4.
Assume without loss of generality that with . Then, for all and for all . Since supports , for all and for all . Let for all . Then, for all . Since , and for all . Since is a maximal independent set, for any , there must be such that and are connected, i.e., and . Therefore, for any , . By Theorem 2.1, is a Nash equilibrium.
Note that if is an independent set of but not a maximal one, there will be not connected with any and . Then, cannot be a Nash equilibrium. Theorem 2.3 suggests that if there is a maximal independent set of nodes in the network, an optimal distancing strategy for an individual will be to choose only this set of nodes to visit or stay with an equal frequency for each node, where is the size of the set. As a result, the population will then be distributed only on this set of nodes with an equally probable fraction on each node. At equilibrium, every individual minimizes his/her total amount of social contacts to . Therefore, the larger the maximal independent set, the better for minimizing the social contacts, and the strategy on a maximum independent set will be the best among all those supported by a maximal independent set.
Figure 3 shows an example network, representing a world of connected social sites. The inside sites, , may be town centers, well connected. The outside sites, , may be residential areas, each having access to some of the town centers. In this network, the sites form a maximal independent set. An equilibrium strategy can be reached on this set of sites, with and all other elements , and a minimal social contact . However, the sites form another maximal independent set. An equilibrium strategy can be reached on this set of sites, with and all other elements , and a minimal social contact . The latter is an even better strategy than the former.

An equilibrium strategy may as well be supported by a subnetwork where there are some connections among the nodes. A general class of subnetworks that may be selected by an equilibrium strategy is the regular networks. In a regular network, all nodes have the same number of connections with other nodes. In other words, all the nodes of a regular network have the same degree. If the degree is , the network is called an -regular network. Thus, a maximal independent set of a given network is a -regular network. A -regular network is where each node is connected only to another one; a -regular network is where each node is connected to two other nodes; and so on and so forth (see Figure 2).
A regular network can be connected or disconnected. In the latter case, it consists of a number of disconnected components, each being a regular network itself. For an -regular subnetwork of , the larger the subnetwork, the sparser the connectivity, and the better for social distancing. The largest possible -regular subnetwork that is not a disconnected part of another -regular subnetwork is called a maximal -regular subnetwork. A distancing strategy on an -regular subnetwork may not necessarily be an equilibrium strategy, but it always is if it is on a maximal -regular subnetwork and if there is no less than connections to the subnetwork from an outside node.
Theorem 2.5.
Let be a strategy for the social distancing game on a network . Let be the supporting subnetwork for . Then, if is a maximal -regular subnetwork and if there is no less than links to from a node , is a Nash equilibrium for the game, with for all and for all , where is the size of .
Proof 2.6.
Assume without loss of generality that . Then, is the adjacency matrix of , and each of its rows and columns has exactly elements equal to . Since supports , for all and for all . It follows that for all . Let for all . By adding all these equations, we obtain , and . By solving the equations for , for all , we also have for all . Since there is no less than links to from a node , for any . By Theorem 2.1, is a Nash equilibrium.
Theorem 2.5 suggests that if there is a maximal -regular subnetwork in the network, an optimal distancing strategy for an individual will be to choose only this subnetwork to visit or stay with an equal frequency for each node of the subnetwork, where is the number of the nodes in the subnetwork. As a result, the population will then be distributed only on this subnetwork with an equally probable fraction on each node of the subnetwork. At equilibrium, every individual minimizes his/her total amount of social contacts to . Therefore, the larger the regular subnetwork or the smaller the value, the better for minimizing the social contacts.
Of particular interest among maximal regular subnetworks are those with a large number of disconnected components. For example, a maximal -regular subnetwork is just a set of disconnected -regular subnetworks of size ; a maximal -regular subnetwork can be a large number of disconnected -regular subnetworks of size ; etc. An equilibrium strategy on such a subnetwork means that the population can spread on a large number of independent locations, where at each location, there is a group of social sites with a low degree of connectivity. Such a strategy allows certain degree of local contacts yet keeps maximal possible distances among individuals, and can therefore be considered as a more flexible strategy for social distancing than those on maximal independent sets.
Figure 4 shows a network similar to the one in Figure 3 except for some changes in contact connections. In this network, the sites form a -regular subnetwork. However, a strategy on this subnetwork cannot be an equilibrium strategy because there are nodes outside the subnetwork, say node , with less than connections to the nodes in the subnetwork. For the same reason, a strategy on the -regular subnetwork formed by the sites cannot be an equilibrium strategy, either. On the other hand, the whole network itself is a -regular network. An equilibrium strategy can be reached on the whole network with for all , and a minimal social contact .
In the network in Figure 4, there are also equilibrium strategies supported by other regular subnetworks. For example, the sites form a -regular subnetwork of size . An equilibrium strategy can be reached on this subnetwork with and all other elements , and a minimal social contact . There are total such equilibrium strategies on this network. Furthermore, the sites form a maximal independent set of sites or in other words, a -regular subnetwork. An equilibrium strategy can be reached on this set of sites with and all other elements , and a minimal social contact . There are total such equilibrium strategies on this network. In terms of minimal social contact, among these strategies, the one on the maximal independent set, i.e., on a -regular subnetwork, is the best, because its social contact is the lowest. However, it is also the most strict strategy, for it does not allow any contacts across different sites. The strategy on the whole network, i.e., on a -regular network, has the highest social contact, but it is the most flexible strategy, allowing certain degree of contacts across different sites.

3 Rigidity and Flexibility of Social Distancing
Once an equilibrium is reached, i.e., a distancing rule is established, can we make some small changes or adjustments on the strategy? This is a question of legitimate concern in practice, for we may not be able to commit to a rule all the time. The answer to the question is that it depends on whether the social contact is changed: if the contact is increased with small changes in the strategy, the rule needs to be enforced, and we say the strategy is rigid; if the contact is not changed, the rule is not strict, and we say the strategy is flexible; if the contact is decreased, the rule is broken, and we say the strategy is fragile. In order to further address this issue, we give a formal definition for rigidity, flexibility, and fragility for a distancing strategy in the following. We then analyze the strategies on maximal -regular subnetworks with these properties.
Let be an equilibrium strategy for the social distancing game on network . Let be the subnetwork supporting . Let . Then, is the set of strategies all supported by . We define rigidity, flexibility, and fragility of only for small changes of in . Let . Then, is a direction such that , a small change of along , remains in for all sufficiently small.
Defintion 3.1.
Let be an equilibrium strategy for the social distancing game on network supported by subnetwork . Then, is said to be strongly rigid on if for any , for all sufficiently small.
Defintion 3.2.
Let be an equilibrium strategy for the social distancing game on network supported by subnetwork . Then, is said to be weakly rigid on if for any , for all sufficiently small.
Defintion 3.3.
Let be an equilibrium strategy for the social distancing game on network supported by subnetwork . Then, is said to be flexible on if there is such that for all sufficiently small.
Defintion 3.4.
Let be an equilibrium strategy for the social distancing game on network supported by subnetwork . Then, is said to be fragile on if there is such that for all sufficiently small.
Recall that is the social contact of the population of strategy . Therefore, the definition of rigidity basically implies that an equilibrium strategy is strongly (or weakly) rigid if it is a strict (or non-strict) local minimizer of the social contact in . In this sense, the strong (or weak) rigidity can be considered as a weaker version of strong (or weak) evolutionary stability for general evolutionary games [45, 46]. Nonetheless, we call this property rigidity instead of stability because the corresponding strategy is considered as a rigid distancing rule in the context of social distancing. Note that based on the above definitions, if an equilibrium strategy is weakly rigid, it must be flexible; however, if it is flexible, it may not necessarily be weakly rigid; It could be fragile.
We now investigate these properties for strategies on maximal -regular subnetworks. First, it is easy to justify that the equilibrium strategies on a maximal independent set are all strongly rigid: Small changes on such strategies always increase the social contacts. In other words, there will be penalties for any changes on such strategies. On the other hand, the equilibrium strategies on any maximal -regular subnetworks with are always flexible: In this case, we can find some connected nodes in the subnetworks. By increasing the frequencies on some of these nodes while decreasing on others, we can make some small changes on the strategy without changing the original amount of social contacts. Of these flexible strategies, some may be weakly rigid, but others may be fragile.
Theorem 3.1.
Let be an equilibrium strategy for the social distancing game on network . If is supported by a maximal independent set , then is strongly rigid on .
Proof 3.2.
Let be a change from for any and sufficiently small. Then,
Note that for some , . Therefore, , but for , and . Note also that for all and therefore, . In addition, since is a maximal independent set, , the adjacency matrix of , is an identity matrix. Therefore, . It follows that
By Definition 3.1, is strongly rigid on .
Theorem 3.3.
Let be an equilibrium strategy for the social distancing game on network . If is supported by a maximal -regular subnetwork with , then is flexible on .
Proof 3.4.
Since is an -regular subnetwork with , there must be such that and . Let be a vector such that with and for all . Then, . Let be a change from along for sufficiently small. Then,
Since for all , . Also, . It follows that
By Definition 3.3, is flexible on .
Based on Theorem 3.1 and 3.3, for the example distancing problem shown in Figure 4, the equilibrium strategy on a maximal independent set such as is strongly rigid, and the one on a maximal -regular subnetwork such as is flexible. The equilibrium strategy on the whole network, which is a -regular network, is also flexible. Therefore, as described in the proof for Theorem 3.3, for this strategy, the frequencies can be exchanged between any two connected nodes, say node 1 and 2, by moving a small amount from one node to another. For example, by moving from node 1 to node 2, the frequency on node 1 decreases to from while on node 2 increases to from , yet the minimal social contact for every individual remains to be .
Note that an -regular network must have at least nodes. We call an -regular network of size a minimal -regular network. A minimal -regular network must be a complete network, i.e., each node is connected with all others in the network. It turns out that an equilibrium strategy for the social distancing game on a network is always weakly rigid if it is supported by a maximal -regular subnetwork whose components are all minimal -regular subnetworks with :
Theorem 3.5.
Let be an equilibrium strategy for the social distancing game on network . Then, is weakly rigid if it is supported by a maximal -regular subnetwork whose components are all minimal -regular subnetworks with .
Proof 3.6.
Let be the th -regular subnetwork in and the adjacency matrix of , . Then, is a matrix of all ’s. Let be a change from for any and sufficiently small.
Note that for some , . Therefore, , but for , and . Note also that for all and therefore, . Let . Then,
It follows that
By Definition 3.2, is weakly rigid on .
From the above proof, we see that if we update with a vector such that for all , we will have , and hence , i.e., the minimal social contacts will remain to be the same. This means that we can make such small changes in frequencies on the subnetwork components independently without changing the original amount of social contacts across the network. In fact, we can make such changes on any group of supporting components as long as they are minimal regular subnetworks.
Figure 5 shows an example network with social sites. It is structured like a small town, with connected town centers in the middle and separated residential areas outside around. Every residential area consists of well-connected activity sites, each having access to one of the town centers. The social distancing game on this network has at least three equilibrium strategies: one on the maximal -regular subnetwork or in other words, the maximal independent set with the minimal social contact equal to ; one on the maximal -regular subnetwork with the minimal social contact equal to ; and one on the maximal -regular subnetwork with the minimal social contact equal to . The minimal social contacts of the three strategies are all the same. However, based on Theorem 3.1, 3.3, and 3.5 , the first one is strictly rigid; the second and third are flexible and only weakly rigid. In addition, the supporting subnetworks for the second and third strategies consist of disconnected minimal regular subnetworks. The frequencies on those minimal subnetworks can be adjusted independently without affecting the social contacts of the individuals. For example, for the third strategy, for each minimal -regular subnetwork component, say the subnetwork , a small fraction can be moved from each of the outer most two sites, say the sites and , to the inner site, say the site . The fractions on the outer sites are then decreased from to while on the inner site is increased from to . However, such changes will not affect the original minimized social contact of the population.

Finally, if a maximal -regular subnetwork is connected but not minimal, or disconnected but at least one of the components is not minimal, then an equilibrium strategy supported by such a subnetwork will not be weakly rigid though still flexible. It will in fact be fragile, i.e., there will be a certain way to update the strategy on the subnetwork to decrease the social contacts among the individuals. Such changes will make the population to break away from the current equilibrium state. An example fragile strategy is the one on the whole network for the game shown in Figure 4. The whole network is a -regular network, but it is not minimal.
Theorem 3.7.
Let be an equilibrium strategy for the social distancing game on a network supported by a maximal -regular subnetwork , . If is connected but not minimal, or disconnected but at least one of its components is not minimal, then is fragile on .
Proof 3.8.
Without loss of generality, we consider only the case where is connected. If is not a minimal -regular subnetwork, there must be three nodes such that , but . Let be a vector such that for all , , with , and . Then, . Let be a change from along for sufficiently small. Then,
Note that for all , and therefore,
Note also,
Therefore,
By Definition 3.4, is fragile on .
4 Extension to Weighted Networks
So far, in all our discussions, we have assumed that the social sites are all the same for making social contacts. However, in real situation, different sites may have different sizes, different population densities, different activities, and hence different contact rates. Therefore, a more realistic model for a given world of social sites would be a weighted network of social sites, with each site assigned a contact value. The total amount of social contacts an individual can make will then be those made within each site and through connected sites, all weighted by the contact values of the sites. We show that for such a weighted network of social sites, we can define a similar social distancing game as we have discussed in previous sections, and have similar distancing strategies and related rigidity and flexibility properties.
Let be the adjacency matrix of a given network . Suppose for each social site , we assign a contact value . Then, in a population of strategy , the total amount of social contacts an individual can make at social site will be , where is a value dependent of and . We consider two methods to define : (a) with an additive weight, , i.e., if , is the sum of the weights of site and ; and (b) with a multiplicative weight, , i.e., if , is the multiplication of the weights of site and . Then, if an individual takes a strategy to visit all the social sites, the total amount of social contacts the individual can make will be , where . Let , and , i.e., a diagonal matrix with as its diagonal vector. Then, is a matrix with the same nonzero entries of , but weighted by , and with additive weights, , and with multiplicative weights, .
By considering as a weighted adjacency matrix of network , and as a payoff function, we can then define a social distancing game, where each individual tries to minimize his/her weighted social contacts . A Nash equilibrium of this game is then a strategy such that
We call this game a weighted social distancing game on network . Recall for social distancing, we count the contacts among individuals in the same sites, and therefore for all . It follows that are nonzero, and for additive weights, and for multiplicative weights for all .
The conditions for a given strategy to be a Nash equilibrium for the above weighted social distancing game are the same as those for the social distancing game on an unweighted network as given in Theorem 2.1, except that the adjacency matrix is replaced by the weighted adjacency matrix . We state these conditions in the following theorem as a reference without repeating the proof.
Theorem 4.1.
Let be the weighted adjacency matrix of network . Then, a strategy is a Nash equilibrium of the weighted social distancing game on if and only if there is a scalar such that for all such that and for all such that , where .
Note that the first set of conditions, which we call the equality conditions, requires the social contacts on all selected nodes to be equal; and the second set, which we call the inequality conditions, requires the social contacts on the unselected nodes to be no less than those on the selected ones; and in either case, the social contacts are weighted by the weights on the corresponding network sites.
In a weighted network, an optimal distancing strategy can also be obtained by distancing on a maximal independent set of social sites, i.e., with a maximal independent set as the supporting subnetwork. However, the distribution of the frequencies over the selected sites is not necessarily uniform any more, for the social sites are all weighted by the contact values. Also, the inequality conditions for the strategy are not necessarily satisfied automatically, either:
Theorem 4.2.
Let be a strategy for the weighted social distancing game on , with . Let be the supporting subnetwork for . Then, if is a maximal independent set of and if for any , there is such that and , is a Nash equilibrium for the game, with for all and for all , where .
Proof 4.3.
Since supports , for all and for all . Also, for all , and for all , . Let for all . Then, , i.e., , for all . Since , and for all . Since for any , there is such that and , . Therefore, for any ,
By Theorem 4.1, is a Nash equilibrium.
Theorem 4.4.
Let be a strategy for the weighted social distancing game on , with . Let be the supporting subnetwork for . Then, if is a maximal independent set of and if for any , there is such that and , is a Nash equilibrium for the game, with for all and for all , where .
Proof 4.5.
Since supports , for all and for all . Also, for all , and for all , . Let for all . Then, , i.e., , for all . Since , and for all . Since for any , there is such that and , . Therefore, for any ,
By Theorem 4.1, is a Nash equilibrium.
Note that the above two theorems show that an optimal strategy supported by a maximal independent set has for networks with additive weights and for networks with multiplicative weights. In either case, , the frequency of visiting or staying at social site , is inversely proportional to , the contact value of social site . This implies that the larger the contact value at a given social site, the smaller the corresponding visiting frequency, and hence the probable fraction of the population at the site. In addition, the total amount of social contacts every individual can make at equilibrium is given by the parameter , which is equal to for networks with additive weights and to for networks with multiplicative weights. In either case, the larger the number of nodes in the supporting subnetwork or the lighter the assigned weights, the smaller the value, i.e., the minimal social contacts at equilibrium.
As an example, consider the network in Figure 4. Assume that the nodes in are all assigned a weight 2, i.e., , and the nodes in are all assigned a weight 1, i.e., . Consider three maximal independent sets of the network, , , and . Assume that the additive weights are used for the calculation of the social contacts. First, for , . Let , , , and for all . Then, satisfies the equality conditions in Theorem 4.1. However, for , . Then, violates the inequality conditions in Theorem 4.1, and therefore cannot be a Nash equilibrium. Second, for , . Let , , , and for . Also, for any , there is a node such that and are connected and . Therefore, by Theorem 4.2, is a Nash equilibrium, with the total amount of social contacts minimized to . Third, for , . Let , , , , and for . Also, for any , there is a node such that and are connected and . Therefore, by Theorem 4.2, is a Nash equilibrium, with the total amount of social contacts minimized to .
The strategies on a general maximal -regular subnetwork are more complicated if the subnetwork has arbitrary weights assigned. However, they can still be determined easily, if the weights are the same for all the nodes in each connected component of the subnetwork. For the following two theorems, we therefore assume that the supporting subnetwork is a maximal -regular subnetwork and consists of connected components . For each component , a weight is assigned to all its nodes.
Theorem 4.6.
Let be a strategy for the weighted social distancing game on , with . Let be the supporting subnetwork for . Assume that consists of connected components , each assigned a weight , . Then, if is a maximal -regular subnetwork and if for any node , there are at least nodes such that and , is a Nash equilibrium for the game, with for all , , and for all , where , with being the size of .
Proof 4.7.
Since supports , for all and for all . It follows that for all . Let for all . By adding the equations for all , we obtain . By adding the latter equations for all , we then obtain . By solving the equations for , we also have for all . Note that for any node ,
Since there are at least nodes such that and ,
By Theorem 4.1, is a Nash equilibrium.
Theorem 4.8.
Let be a strategy for the weighted social distancing game on , with . Let be the supporting subnetwork for . Assume that consists of connected components , each assigned a weight , . Then, if is a maximal -regular subnetwork and if for any node , there are at least nodes such that and , is a Nash equilibrium for the game, with for all , , and for all , where , with being the size of .
Proof 4.9.
Since supports , for all and for all . It follows that for all . Let for all . By adding the equations for all , we obtain . By adding the latter equations for all , we then obtain . By solving the equations for , we also have for all . Note that for any node ,
Since there are at least nodes such that and ,
By Theorem 4.1, is a Nash equilibrium.
Note that in Theorem 4.2, 4.4, 4.6, 4.8, the conditions for any node , there must be at least nodes such that and are sufficient but not necessary. In general, the inequality conditions in Theorem 4.1 may need to be tested. In any case, as an example, consider the network in Figure 5. Assume that the nodes in are assigned a weight , assigned , assigned , assigned , and assigned . Assume that additive weights are used for the calculation of the social contacts. Consider the maximal -regular subnetwork formed by . Then, . Let , , , , and . Then, for any node , there are nodes such that and are connected and since while or . Therefore, by Theorem 4.6, is a Nash equilibrium, with the total amount of social contacts minimized to .
In previous sections, we have discussed the rigidity, flexibility, and fragility of distancing strategies for social distancing games. These properties all depend on the structures of the supporting subnetworks. Therefore, Theorem 3.1, 3.3, 3.5, and 3.7 can all be extended straightforwardly to the equilibrium strategies for weighted social distancing games since the weighting schemes we have considered do not change the network structures. In particular, for a given -regular network, if the same weight is assigned to the nodes of each component of the network, as we have assumed in the above discussion, we can show that (a) an equilibrium strategy of the weighted game, with either additive or multiplicative weights, must be strongly rigid if its supporting subnetwork is a maximal independent set; (b) it is flexible if its supporting subnetwork is a maximal -regular subnetwork, ; (c) it is weakly rigid if its supporting network is a maximal -regular subnetwork whose components are all minimal -regular subnetworks, ; and (d) it is fragile if its supporting subnetwork is an -regular subnetwork, , which is connected but not minimal, or disconnected but at least one of its components is not minimal. The proofs follow almost the same steps as in the proofs for Theorem 3.1, 3.3, 3.5, and 3.7. We will not elaborate further.
5 Concluding Remarks
Much work has been done in the past on social distancing as a behavioral factor affecting the development of an infectious disease, but research on how to effectively practice and manage social distancing is lacking. The latter can in fact be an even more important research subject, for the effectiveness of social distancing would be greatly undermined if without effective practicing. We have considered a social distancing problem for how a population, when in a world with a network of social sites, chooses some sites to visit or stay while avoiding or closing down some others so that the social contacts of the population across the network can be minimized. We have modeled this problem as a network population game with the Nash equilibrium of the game corresponding to an optimal distancing strategy. The social sites that are selected at equilibrium form a subnetwork, which we have recognized as a structural support for the equilibrium strategy.
We have shown that a large class of equilibrium strategies can be supported by a maximal -regular subnetwork. The latter includes many well studied network types, which are easy to identify or construct, and can be completely disconnected for the most strict isolation (with ) or allow certain degree of connectivities for more flexible distancing (with ). We have derived the equilibrium strategies on (a) maximal -regular subnetworks known as maximal independent sets; and (b) maximal -regular subnetworks for . We have also extended these results to weighted networks and derived equilibrium strategies with additive and multiplicative weights on (c) maximal weighted -regular subnetworks; and (d) maximal -regular weighted subnetworks for .
We have introduced the concept of rigidity, flexibility, and fragility of a social distancing strategy, and analyzed these properties for strategies on different types of -regular subnetworks. We have shown that (a) strategies on maximal -regular subnetworks are strictly rigid; (b) strategies on maximal -regular subnetworks are flexible for all ; (c) strategies on maximal -regular subnetworks whose components are minimal -regular subnetworks are weakly rigid for all ; and (d) strategies on maximal -regular subnetworks with at least one non-minimal -regular component are fragile for all . These results apply to both weighted and unweighted networks.
Our work is a step towards developing a general theoretical and computational framework for the study of social distancing in networked social environments. It is however open for many further research efforts. First, new dynamic epidemic models can be built for populations distributed over social networks as determined by the equilibrium strategies for the social distancing games. Different from those for well mixed populations, such models may provide more realistic estimates on various epidemic properties such as contact rates, transmission rates, and hence the infectious rates, etc. Dynamic models on structured populations are always preferred because populations are always heterogeneous in terms of physical or social proximities [49].
Second, the network types we have discussed are -regular networks because they are easy to identify or construct, yet cover a broad range of networks with varying degrees of connectivities. However, in reality, the networks may not always be so “regular”. The population may prefer other types of network structures such as spanning trees, extended stars, or small-world networks, all with low degrees of connectivities [50]. In addition, the structures may also change dynamically. It would be interesting to find the equilibrium conditions of the distancing strategies on such networks, including related distancing properties such as rigidity, flexibility, and fragility of the strategies.
Third, social distancing always brings economic costs or social sacrifices. Different distancing strategies may have different social or economic consequences [1, 5, 6, 12]. Reducing social contacts is a main goal as far as fighting a pandemic is concerned, but keeping certain levels of social or economic activities can be important as well especially during a possibly long period of recovery from the pandemic [2, 3, 4]. Therefore, there must be a tradeoff between choosing rigid and flexible distancing strategies. A cost-benefit function may be defined as a function of the amount of social contacts of any distancing strategy. The social distancing game can then be generalized to find an optimal distancing strategy that maximizes distancing benefits at lowest possible social or economic costs. Future research along this line can be of great practical interest.
In this paper, we have focused on distancing strategies on maximal -regular subnetworks, which are supposed to be easy to identify or construct [51, 52]. Still, when a large network is given, it takes time to find a desired -regular subnetwork. It is well known that the problem to find the maximum -regular subgraph, i.e., the maximum independent set of a given graph is NP-hard [53]. The problem to find the maximum -regular subgraph of a given graph, known as the maximum strong matching problem, is also NP-hard [54, 55]. In fact, it has been proved that the problem to find the maximum -regular subgraph of a given graph is NP-hard for any [56, 57]. Fortunately, for our purpose, we do not have to find the maximum -regular subnetwork. A maximal -regular subnetwork would be sufficient to support an equilibrium distancing strategy, which is relatively easier to find than the maximum one.
Finally, we would also like to point out that the social networking game as described in the first section of the paper has been studied previously as a network population game in [58]. It becomes relevant when social distancing comes into play, for the latter is exactly a complementary game to the former. The social networking game has been formulated in different forms and for different purposes in the past. It has been used for the solution of the maximum clique problem, since the maximum clique of a given network corresponds to the Nash equilibrium of the social networking game on this network with the largest number of positive frequencies [59]. It has also been used for modeling the evolution of allele selection in genetic research as an evolutionary game on genetic selection graphs [60]. The work on the social distancing game on a network in this paper benefits from many ideas and results coming out from these previous studies.
Acknowledgement
The author would like to thank Claus Kadelka, Audrey McCombs, and Rana Parshad to share their work with the author, and provide valuable suggestions on this work. The author would also like to acknowledge the support from the Simons Foundation through the Mathematics and Physical Sciences Collaboration Grants for Mathematicians.
References
- [1] Chakradhar, S., To fight coronavirus spread, the U.S. may extend ‘social distancing’ measures, but it comes at a cost, STAT News, February 17, 2020
- [2] Kissler, S., Tedijanto, C., Goldstein, E., et al., Projecting the transmission dynamics of SARS-CoV-2 through the post-pandemic period, Science, online April 14, 2020, doi:10.1126/science.abb5793
- [3] Long, N., From social distancing to social containment: reimagining sociality for the coronavirus pandemic, Medicine Anthropology Theory, ISSN 2405-691x (submitted), 2020
- [4] Mann, C., Pandemics leave us forever altered – What history can tell us about the long-term effects of the coronavirus, The Atlantic: IDEAS, June 2020.
- [5] Miller, G., Social distancing prevents infections, but it can have unintended consequences, Science News, March 16, 2020
- [6] Thunstrome L., Newbold, S., Finnoff, D., et al., The benefits and costs of using social distancing to flatten the curve for COVID-19, Journal of Benefit Cost Analysis, online March 27, 2020, doi:10.2139/ssrn.3561934
- [7] Krause, J. and Ruxton, G., Living in Groups, Oxford University Press, 2002
- [8] Alcock, J., Animal Behavior: An Evolutionary Approach, Sinauer Associates Inc., 2009
- [9] Combs, S., These wild animals also practice social distancing to avoid getting sick, National Geographic News, March 24, 2020
- [10] Hatchett, R., Mecher, C., and Lipsitch, M., Public health interventions and epidemic intensity during the 1918 influenza pandemic, PNAS 104: 7582-7587, 2007
- [11] Roth, D., Henry, B., Social distancing as a pandemic influenza prevention measure, National Collaborating Center for Infectious Diseases, Winnipeg, MB, Canada, July, 2011
- [12] Fenichel, E., Economic considerations of social distancing and behavioral based policies during an epidemic, Journal of Health Economics 32: 440-451, 2013
- [13] Ahmed, F., Zviedrite, N., and Uzicanin, A., Effectiveness of workplace social distancing measures in reducing influenza transmission: A systematic review, BMC Public Heath 8: 518-530, 2018
- [14] Faherty, L., Schwartz, H., Ahmed, F., Zheteyeva, Y., Uzicanin, A., and Uscher-Pines, L., School and prepareness officials’ perspectives on social distancing practices to reduce influenza transmission during a pandemic: Considerations to guide future work, Preventive Medicine Reports 14: 100871, 2019
- [15] Wilder-Smith, A. and Freedman, D, Isolation, quarantine, social distancing and community containment: pivotal role for old-style public heath measures in the novel coronavirus (2019-nCoV) outbreak, Journal of Travel Medicine 2020: 1-4
- [16] Eubank, S., Guclu, H., Anil Kumar, V., Marathe, M., Srinivasan, A., Toroczkai, Z., and Wang, N., Modeling desease outbreaks in realistic urban social networks, Nature 429: 180-184, 2004
- [17] Del Valle, S., Hethcote, H., Hyman, J., and Castillo-Chavez, C., Effects of behavioral changes in a smallpox attack model, Mathematical Biosciences 195: 238-251, 2005
- [18] Glass, R., Glass, L., Beyeler, W., and Min, H., Targeted social distancing design for pandemic influenza, Emerging Infectious Diseases 12: 1671-1681, 2006
- [19] Meyers, L., Contact network epidemiology: bond percolation applied to infectious disease prediction and control, Bulletin of American Mathematics Society, 44: 63-86, 2007
- [20] Caley, P., Philp, D., and McCracken, K., Quantifying social distancing arising from pandemic influenza, Journal of Royal Society, Interface 5, 631-639, 2008
- [21] Kelso, J., Milne, G., and Kelly, H., Simulation suggests that rapid activation of social distancing can arrest epidemic development due to a novel strain of influenza, BMC Public Health 9: 1, 2009
- [22] Funk, S., Salathe, M., and Jansen, V., Modeling the influence of human behavior on the spread of infectious diseases: a review, Journal of Royal Society, Interface 7: 1247-1256, 2010
- [23] Reluga, T., Game theory of social distancing in response to an epidemic, PLoS Computational Biology 6: c1000793, 2010
- [24] Chen, F., Jiang, M., Rabidoux, S., and Robinson, S., Public avoidance and epidemics: insights from an economic model, Journal of Theoretical Biology 278: 107-119, 2011
- [25] Valdez, L., Buono, C., Macri, P., and Braunstein, L., Intermittent social distancing strategies for epidemic control, Physics Review E 85: 036108, 2012
- [26] Bhattacharyya, S. and Reluga, T., Game dynamic model of social distancing while cost of infection varies with epidemic burden, IMA Journal of Applied Mathematics 84: 23-43, 2019
- [27] Eubank, S., Eckstrand, I., Lewis, B., Venkatramanan, S., Marathe, M., and Barrett, C., Commentary on Ferguson, et al., “Impact on non-pharmaceutical interventions (NPIs) to reduce COVID-19 mortality and healthcare demand”, Bulletin of Mathematics Biology, DOI: https://doi.org/10.1007/s11538-020-00726-x, 2020
- [28] Ferguson, N., Laydon, D., Nadjati-Gilani, N., et al., Impact of non-pharmaceutical interventions (NPIs) to reduce COVID-19 mortality and healthcare demand, Imperial College COVID-19 Response Team, London, March 16, 2020
- [29] Hellewell, J., Abbott, S., Gimma, A., et al., Feasibility of controlling COVID-19 outbreaks by isolation of cases and contacts, The LANCET Global Health 8: E488-E496, 2020
- [30] Kiesha, P., Liu, Y., Russell T., et al, The effect of controlling strategies to reduce social mixing on outcomes of the COVID-19 epidemic in Wuhan, China: a modeling study, LANCET PUBLIC Health, DOI: https://doi.org/10.1016/S2468-2667(20)30073-6, 2020
- [31] McCombs, A. and Kadelka, C., A model-based evaluation of the efficacy of COVID-19 social distancing, testing and hospital triage policies, medRxiv: doi: https://doi.org/10.1101/2020.04.20.20073213, 2020
- [32] Sanche, S., Lin, Y., Xu, C., et al., The Novel coronavirus, 2019-nCoV, is highly contagious and more infectious than initially estimated, arXir.org: 2002,03268, 2020
- [33] Bondy, A. and Murty, U., Graph Theory, Springer, 2008
- [34] Newman, M., Networks, Oxford University Press, 2018
- [35] Reluga, T. and Galvani, A., A general approach for population games with applications to vaccination, Mathematical Biosciences 230: 67-78, 2011
- [36] Reluga, T., Equilibria of an epidemic game with piecewise linear social distancing cost, Bulletin of Mathematical Biology 75: 1961-1984, 2013
- [37] Barrett, C., Eubank, S., Anil Kumar, V., and Marathe, M., Understanding large-scale social and infrastructure Networks: A simulation-based approach, SIAM News 37, May, 2004
- [38] Eubank, S., Network based models of infectious disease spread, Japanese Journal of Infectious Diseases 58: S9-S13, 2005
- [39] Eubank, S., Anil Kumar, V., Marathe, M., Srinivasan, A., and Wang, N., Structure of social networks and their impact on epidemics, DIMACS Series in Discrete Mathematics and Theoretical Computer Science 70: 181-213, 2006
- [40] Barrett, C., Bisset, K., Eubank, S., Feng, X., Marathe, M., EpiSimdemics: An efficient algorithm for simulating the spread of infectious disease over large realistic social networks, SC08: Proceedings of the 2008ACM/IEEE Conference on Supercomputing, 1-12, 2008
- [41] Meyers, L., Newman, M., and Pourbohloul, B., Predicting epidemics on direct contact networks, Journal of Theoretical Biology 240: 400-418, 2006
- [42] Volz, E. and Meyers, L., Susceptible-infected-recovered epidemics in dynamic contact networks, Proceedings of the Royal Society B 274: 2925-2933, 2007
- [43] Volz, E. and Meyers, L., Epidemic thresholds in dynamic contact networks, Journal of the Royal Society, Interface 6: 233-241, 2009
- [44] Bansal, S., Read, J., Pourbohloul, B., Meyers, L., The dynamic nature of contact networks in infectious disease epidemiology, Journal of Biological Dynamics 4: 478-489, 2010
- [45] Weibull, J. W., Evolutionary Game Theory, The MIT Press, 1995
- [46] Hofbauer, J. and Sigmund, K., Evolutionary Games and Population Dynamics, Cambridge University Press, 1998
- [47] Fletcher, R., Practical Optimization, Wiley, 2000
- [48] Nocedal, J. and Wright, S., Numerical Optimization, Springer, 2006
- [49] Brauer, F. and Castillo-Chavez, C., Mathematical Models in Population Biology and Epidemiology, 2nd Edition, Springer 2011
- [50] Lewis, T., Network Science: Theory and Applications, Wiley, 2009
- [51] Cormen, T., Leiserson, C., Rivest, R., and Stein, C., Introduction to Algorithms, Third Edition, The MIT Press, 2009
- [52] Erickson, J., Algorithms, Independent Publisher, 2019
- [53] Garey, M. and Johnson, D., Computers and Intractability: A Guide to the Theory of NP-Completeness, Freeman, 1979
- [54] Stockmeyer, L. and Vazirani, V., NP-completeness of some generalizations of the maximum matching problem, Information Processing Letters 15: 14-19, 1982
- [55] Cameron, K., Induced matchings, Discrete Applied Mathematics 24: 97-102, 1989
- [56] Cardoso, D., Kaminski, M., and Lozin, V., Maximum -regular induced subgraphs, Rutcor Research Report (RRR) 3, 2006
- [57] Gupta, S., Raman, V., and Saurabh, S, Fast exponential algorithms for maximum -regular induced subgraph problems, in S. Arun-Kumar and N. Garg (Eds): FSTTCS 2006: Lecture Notes in Computer Science 4337: 139-151, 2006
- [58] Wang, M., Zhou, W., and Wu, Z., Equilibrium distributions of populations of biological species on networks of social sites, Journal of Biological Dynamics 13: 74-98, 2019
- [59] Bomze, I., Evolution towards the maximum clique, Journal of Global Optimization 10: 143-164, 1997
- [60] Vickers, G. and Cannings, C., On the number of stable equilibria in a one-locus, multi-allelic system, Journal of Theoretical Biology 131: 273-277, 1988