-
Indirect reciprocity with stochastic rules
Authors:
Yohsuke Murase,
Christian Hilbe
Abstract:
Cooperation is a crucial aspect of social life, yet understanding the nature of cooperation and how it can be promoted is an ongoing challenge. One mechanism for cooperation is indirect reciprocity. According to this mechanism, individuals cooperate to maintain a good reputation. This idea is embodied in a set of social norms called the ``leading eight''. When all information is publicly available…
▽ More
Cooperation is a crucial aspect of social life, yet understanding the nature of cooperation and how it can be promoted is an ongoing challenge. One mechanism for cooperation is indirect reciprocity. According to this mechanism, individuals cooperate to maintain a good reputation. This idea is embodied in a set of social norms called the ``leading eight''. When all information is publicly available, these norms have two major properties. Populations that employ these norms are fully cooperative, and they are stable against invasion by alternative norms. In this paper, we extend the framework of the leading eight in two directions. First, we allow social norms to be stochastic. Such norms allow individuals to evaluate others with certain probabilities. Second, we consider norms in which also the reputations of passive recipients can be updated. Using this framework, we characterize all evolutionarily stable norms that lead to full cooperation in the public information regime. When only the donor's reputation is updated, and all updates are deterministic, we recover the conventional model. In that case, we find two classes of stable norms: the leading eight and the `secondary sixteen'. Stochasticity can further help to stabilize cooperation when the benefit of cooperation is comparably small. Moreover, updating the recipients' reputations can help populations to recover more quickly from errors. Overall, our study highlights a remarkable trade-off between the evolutionary stability of a norm and its robustness with respect to errors. Norms that correct errors quickly require higher benefits of cooperation to be stable.
△ Less
Submitted 2 March, 2023;
originally announced March 2023.
-
Grouping promotes both partnership and rivalry with long memory in direct reciprocity
Authors:
Yohsuke Murase,
Seung Ki Baek
Abstract:
Biological and social scientists have long been interested in understanding how to reconcile individual and collective interests in iterated Prisoner's Dilemma. Many effective strategies have been proposed, and they are often categorized into one of two classes, `partners' and `rivals.' More recently, another class, `friendly rivals,' has been identified in longer-memory strategy spaces. Friendly…
▽ More
Biological and social scientists have long been interested in understanding how to reconcile individual and collective interests in iterated Prisoner's Dilemma. Many effective strategies have been proposed, and they are often categorized into one of two classes, `partners' and `rivals.' More recently, another class, `friendly rivals,' has been identified in longer-memory strategy spaces. Friendly rivals qualify as both partners and rivals: They fully cooperate with themselves, like partners, but never allow their co-players to earn higher payoffs, like rivals. Although they have appealing theoretical properties, it is unclear whether they would emerge in evolving population because most previous works focus on memory-one strategy space, where no friendly rival strategy exists. To investigate this issue, we have conducted large-scale evolutionary simulations in well-mixed and group-structured populations and compared the evolutionary dynamics between memory-one and memory-three strategy spaces. In a well-mixed population, the memory length does not make a major difference, and the key factors are the population size and the benefit of cooperation. Friendly rivals play a minor role because being a partner or a rival is often good enough in a given environment. It is in a group-structured population that memory length makes a stark difference: When memory-three strategies are available, friendly rivals become dominant, and the cooperation level nearly reaches a maximum, even when the benefit of cooperation is so low that cooperation would not be achieved in a well-mixed population. This result highlights the important interaction between group structure and memory lengths that drive the evolution of cooperation.
△ Less
Submitted 16 January, 2023;
originally announced January 2023.
-
Evolution of direct reciprocity in group-structured populations
Authors:
Yohsuke Murase,
Christian Hilbe,
Seung Ki Baek
Abstract:
People tend to have their social interactions with members of their own community. Such group-structured interactions can have a profound impact on the behaviors that evolve. Group structure affects the way people cooperate, and how they reciprocate each other's cooperative actions. Past work has shown that population structure and reciprocity can both promote the evolution of cooperation. Yet the…
▽ More
People tend to have their social interactions with members of their own community. Such group-structured interactions can have a profound impact on the behaviors that evolve. Group structure affects the way people cooperate, and how they reciprocate each other's cooperative actions. Past work has shown that population structure and reciprocity can both promote the evolution of cooperation. Yet the impact of these mechanisms has been typically studied in isolation. In this work, we study how the two mechanisms interact. Using a game-theoretic model, we explore how people engage in reciprocal cooperation in group-structured populations, compared to well-mixed populations of equal size. To derive analytical results, we focus on two scenarios. In the first scenario, we assume a complete separation of time scales. Mutations are rare compared to between-group comparisons, which themselves are rare compared to within-group comparisons. In the second scenario, there is a partial separation of time scales, where mutations and between-group comparisons occur at a comparable rate. In both scenarios, we find that the effect of population structure depends on the benefit of cooperation. When this benefit is small, group-structured populations are more cooperative. But when the benefit is large, well-mixed populations result in more cooperation. Overall, our results reveal how group structure can sometimes enhance and sometimes suppress the evolution of cooperation.
△ Less
Submitted 28 July, 2022;
originally announced July 2022.
-
Evolution of global development cooperation: An analysis of aid flows with hierarchical stochastic block models
Authors:
Koji Oishi,
Hiroto Ito,
Yohsuke Murase,
Hiroki Takikawa,
Takuto Sakamoto
Abstract:
Despite considerable scholarly attention on the institutional and normative aspects of development cooperation, its longitudinal dynamics unfolding at the global level have rarely been investigated. Focusing on aid, we examine the evolving global structure of development cooperation induced by aid flows in its entirety. Representing annual aid flows between donors and recipients from 1970 to 2013…
▽ More
Despite considerable scholarly attention on the institutional and normative aspects of development cooperation, its longitudinal dynamics unfolding at the global level have rarely been investigated. Focusing on aid, we examine the evolving global structure of development cooperation induced by aid flows in its entirety. Representing annual aid flows between donors and recipients from 1970 to 2013 as a series of networks, we apply hierarchical stochastic block models to extensive aid-flow data that cover not only the aid behavior of the major OECD donors but also that of other emerging donors, including China. Despite a considerable degree of external expansion and internal diversification of aid relations over the years, the analysis has uncovered a temporally persistent structure of aid networks. The latter comprises, on the one hand, a limited number of major donors with far-reaching resources and, on the other hand, a large number of mostly poor but globally well-connected recipients. The results cast doubt on the efficacy of recurrent efforts for "aid reform" in substantially changing the global aid flow pattern.
△ Less
Submitted 27 June, 2022; v1 submitted 6 April, 2022;
originally announced April 2022.
-
A second-order stability analysis for the continuous model of indirect reciprocity
Authors:
Sanghun Lee,
Yohsuke Murase,
Seung Ki Baek
Abstract:
Reputation is one of key mechanisms to maintain human cooperation, but its analysis gets complicated if we consider the possibility that reputation does not reach consensus because of erroneous assessment. The difficulty is alleviated if we assume that reputation and cooperation do not take binary values but have continuous spectra so that disagreement over reputation can be analysed in a perturba…
▽ More
Reputation is one of key mechanisms to maintain human cooperation, but its analysis gets complicated if we consider the possibility that reputation does not reach consensus because of erroneous assessment. The difficulty is alleviated if we assume that reputation and cooperation do not take binary values but have continuous spectra so that disagreement over reputation can be analysed in a perturbative way. In this work, we carry out the analysis by expanding the dynamics of reputation to the second order of perturbation under the assumption that everyone initially cooperates with good reputation. The second-order theory clarifies the difference between Image Scoring and Simple Standing in that punishment for defection against a well-reputed player should be regarded as good for maintaining cooperation. Moreover, comparison among the leading eight shows that the stabilizing effect of justified punishment weakens if cooperation between two ill-reputed players is regarded as bad. Our analysis thus explains how Simple Standing achieves a high level of stability by permitting justified punishment and also by disregarding irrelevant information in assessing cooperation. This observation suggests which factors affect the stability of a social norm when reputation can be perturbed by noise.
△ Less
Submitted 11 July, 2022; v1 submitted 8 March, 2022;
originally announced March 2022.
-
Social norms in indirect reciprocity with ternary reputations
Authors:
Yohsuke Murase,
Minjae Kim,
Seung Ki Baek
Abstract:
Indirect reciprocity is a key mechanism that promotes cooperation in social dilemmas by means of reputation. Although it has been a common practice to represent reputations by binary values, either `good' or `bad', such a dichotomy is a crude approximation considering the complexity of reality. In this work, we studied norms with three different reputations, i.e., `good', `neutral', and `bad'. Thr…
▽ More
Indirect reciprocity is a key mechanism that promotes cooperation in social dilemmas by means of reputation. Although it has been a common practice to represent reputations by binary values, either `good' or `bad', such a dichotomy is a crude approximation considering the complexity of reality. In this work, we studied norms with three different reputations, i.e., `good', `neutral', and `bad'. Through massive supercomputing for handling more than thirty billion possibilities, we fully identified which norms achieve cooperation and possess evolutionary stability against behavioural mutants. By systematically categorizing all these norms according to their behaviours, we found similarities and dissimilarities to their binary-reputation counterpart, the leading eight. We obtained four rules that should be satisfied by the successful norms, and the behaviour of the leading eight can be understood as a special case of these rules. A couple of norms that show counter-intuitive behaviours are also presented. We believe the findings are also useful for designing successful norms with more general reputation systems.
△ Less
Submitted 13 January, 2022; v1 submitted 20 September, 2021;
originally announced September 2021.
-
Deep learning based parameter search for an agent based social network model
Authors:
Yohsuke Murase,
Hang-Hyun Jo,
János Török,
János Kertész,
Kimmo Kaski
Abstract:
Interactions between humans give rise to complex social networks that are characterized by heterogeneous degree distribution, weight-topology relation, overlapping community structure, and dynamics of links. Understanding such networks is a primary goal of science due to serving as the scaffold for many emergent social phenomena from disease spreading to political movements. An appropriate tool fo…
▽ More
Interactions between humans give rise to complex social networks that are characterized by heterogeneous degree distribution, weight-topology relation, overlapping community structure, and dynamics of links. Understanding such networks is a primary goal of science due to serving as the scaffold for many emergent social phenomena from disease spreading to political movements. An appropriate tool for studying them is agent-based modeling, in which nodes, representing persons, make decisions about creating and deleting links, thus yielding various macroscopic behavioral patterns. Here we focus on studying a generalization of the weighted social network model, being one of the most fundamental agent-based models for describing the formation of social ties and social networks. This Generalized Weighted Social Network (GWSN) model incorporates triadic closure, homophilic interactions, and various link termination mechanisms, which have been studied separately in the previous works. Accordingly, the GWSN model has an increased number of input parameters and the model behavior gets excessively complex, making it challenging to clarify the model behavior. We have executed massive simulations with a supercomputer and using the results as the training data for deep neural networks to conduct regression analysis for predicting the properties of the generated networks from the input parameters. The obtained regression model was also used for global sensitivity analysis to identify which parameters are influential or insignificant. We believe that this methodology is applicable for a large class of complex network models, thus opening the way for more realistic quantitative agent-based modeling.
△ Less
Submitted 14 July, 2021;
originally announced July 2021.
-
Local stability of cooperation in a continuous model of indirect reciprocity
Authors:
Sanghun Lee,
Yohsuke Murase,
Seung Ki Baek
Abstract:
Reputation is a powerful mechanism to enforce cooperation among unrelated individuals through indirect reciprocity, but it suffers from disagreement originating from private assessment, noise, and incomplete information. In this work, we investigate stability of cooperation in the donation game by regarding each player's reputation and behaviour as continuous variables. Through perturbative calcul…
▽ More
Reputation is a powerful mechanism to enforce cooperation among unrelated individuals through indirect reciprocity, but it suffers from disagreement originating from private assessment, noise, and incomplete information. In this work, we investigate stability of cooperation in the donation game by regarding each player's reputation and behaviour as continuous variables. Through perturbative calculation, we derive a condition that a social norm should satisfy to give penalties to its close variants, provided that everyone initially cooperates with a good reputation, and this result is supported by numerical simulation. A crucial factor of the condition is whether a well-reputed player's donation to an ill-reputed co-player is appreciated by other members of the society, and the condition can be reduced to a threshold for the benefit-cost ratio of cooperation which depends on the reputational sensitivity to a donor's behaviour as well as on the behavioural sensitivity to a recipient's reputation. Our continuum formulation suggests how indirect reciprocity can work beyond the dichotomy between good and bad even in the presence of inhomogeneity, noise, and incomplete information.
△ Less
Submitted 9 July, 2021; v1 submitted 6 April, 2021;
originally announced April 2021.
-
Lockdowns need geographic coordination because of propagation of economic effects through supply chains
Authors:
Hiroyasu Inoue,
Yohsuke Murase,
Yasuyuki Todo
Abstract:
In order to prevent the spread of COVID-19, governments have often required regional or national lockdowns, which have caused extensive economic stagnation over broad areas as the shock of the lockdowns has diffused to other regions through supply chains. Using supply-chain data for 1.6 million firms in Japan, this study examines how governments can mitigate these economic losses when they are obl…
▽ More
In order to prevent the spread of COVID-19, governments have often required regional or national lockdowns, which have caused extensive economic stagnation over broad areas as the shock of the lockdowns has diffused to other regions through supply chains. Using supply-chain data for 1.6 million firms in Japan, this study examines how governments can mitigate these economic losses when they are obliged to implement lockdowns. Through tests of all combinations of two-region lockdowns, we find that coordinated, i.e., simultaneous, lockdowns yield smaller GDP losses than uncoordinated lockdowns. Furthermore, we test practical scenarios in which Japan's 47 regions impose lockdowns over three months and find that GDP losses are lower if nationwide lockdowns are coordinated than if they are uncoordinated.
△ Less
Submitted 20 January, 2021; v1 submitted 5 January, 2021;
originally announced January 2021.
-
Do economic effects of the anti-COVID-19 lockdowns in different regions interact through supply chains?
Authors:
Hiroyasu Inoue,
Yohsuke Murase,
Yasuyuki Todo
Abstract:
To prevent the spread of COVID-19, many cities, states, and countries have `locked down', restricting economic activities in non-essential sectors. Such lockdowns have substantially shrunk production in most countries. This study examines how the economic effects of lockdowns in different regions interact through supply chains, a network of firms for production, simulating an agent-based model of…
▽ More
To prevent the spread of COVID-19, many cities, states, and countries have `locked down', restricting economic activities in non-essential sectors. Such lockdowns have substantially shrunk production in most countries. This study examines how the economic effects of lockdowns in different regions interact through supply chains, a network of firms for production, simulating an agent-based model of production on supply-chain data for 1.6 million firms in Japan. We further investigate how the complex network structure affects the interactions of lockdowns, emphasising the role of upstreamness and loops by decomposing supply-chain flows into potential and circular flow components. We find that a region's upstreamness, intensity of loops, and supplier substitutability in supply chains with other regions largely determine the economic effect of the lockdown in the region. In particular, when a region lifts its lockdown, its economic recovery substantially varies depending on whether it lifts lockdown alone or together with another region closely linked through supply chains. These results propose the need for inter-region policy coordination to reduce the economic loss from lockdowns.
△ Less
Submitted 7 January, 2021; v1 submitted 15 September, 2020;
originally announced September 2020.
-
Friendly-rivalry solution to the iterated $n$-person public-goods game
Authors:
Yohsuke Murase,
Seung Ki Baek
Abstract:
Repeated interaction promotes cooperation among rational individuals under the shadow of future, but it is hard to maintain cooperation when a large number of error-prone individuals are involved. One way to construct a cooperative Nash equilibrium is to find a `friendly-rivalry' strategy, which aims at full cooperation but never allows the co-players to be better off. Recently it has been shown t…
▽ More
Repeated interaction promotes cooperation among rational individuals under the shadow of future, but it is hard to maintain cooperation when a large number of error-prone individuals are involved. One way to construct a cooperative Nash equilibrium is to find a `friendly-rivalry' strategy, which aims at full cooperation but never allows the co-players to be better off. Recently it has been shown that for the iterated Prisoner's Dilemma in the presence of error, a friendly rival can be designed with the following five rules: Cooperate if everyone did, accept punishment for your own mistake, punish defection, recover cooperation if you find a chance, and defect in all the other circumstances. In this work, we construct such a friendly-rivalry strategy for the iterated $n$-person public-goods game by generalizing those five rules. The resulting strategy makes a decision with referring to the previous $m=2n-1$ rounds. A friendly-rivalry strategy for $n=2$ inherently has evolutionary robustness in the sense that no mutant strategy has higher fixation probability in this population than that of a neutral mutant. Our evolutionary simulation indeed shows excellent performance of the proposed strategy in a broad range of environmental conditions when $n= 2$ and $3$.
△ Less
Submitted 22 January, 2021; v1 submitted 1 August, 2020;
originally announced August 2020.
-
Five rules for friendly rivalry in direct reciprocity
Authors:
Yohsuke Murase,
Seung Ki Baek
Abstract:
Direct reciprocity is one of the key mechanisms accounting for cooperation in our social life. According to recent understanding, most of classical strategies for direct reciprocity fall into one of two classes, `partners' or `rivals'. A `partner' is a generous strategy achieving mutual cooperation, and a `rival' never lets the co-player become better off. They have different working conditions: F…
▽ More
Direct reciprocity is one of the key mechanisms accounting for cooperation in our social life. According to recent understanding, most of classical strategies for direct reciprocity fall into one of two classes, `partners' or `rivals'. A `partner' is a generous strategy achieving mutual cooperation, and a `rival' never lets the co-player become better off. They have different working conditions: For example, partners show good performance in a large population, whereas rivals do in head-to-head matches. By means of exhaustive enumeration, we demonstrate the existence of strategies that act as both partners and rivals. Among them, we focus on a human-interpretable strategy, named `CAPRI' after its five characteristic ingredients, i.e., cooperate, accept, punish, recover, and defect otherwise. Our evolutionary simulation shows excellent performance of CAPRI in a broad range of environmental conditions.
△ Less
Submitted 9 October, 2020; v1 submitted 1 April, 2020;
originally announced April 2020.
-
Automata representation of successful strategies for social dilemmas
Authors:
Yohsuke Murase,
Seung Ki Baek
Abstract:
In a social dilemma, cooperation is collectively optimal, yet individually each group member prefers to defect. A class of successful strategies of direct reciprocity were recently found for the iterated prisoner's dilemma and for the iterated three-person public-goods game: By a successful strategy, we mean that it constitutes a cooperative Nash equilibrium under implementation error, with assuri…
▽ More
In a social dilemma, cooperation is collectively optimal, yet individually each group member prefers to defect. A class of successful strategies of direct reciprocity were recently found for the iterated prisoner's dilemma and for the iterated three-person public-goods game: By a successful strategy, we mean that it constitutes a cooperative Nash equilibrium under implementation error, with assuring that the long-term payoff never becomes less than the co-players' regardless of their strategies, when the error rate is small. Although we have a list of actions prescribed by each successful strategy, the rationale behind them has not been fully understood for the iterated public-goods game because the list has hundreds of entries to deal with every relevant history of previous interactions. In this paper, we propose a method to convert such history-based representation into an automaton with a minimal number of states. Our main finding is that a successful strategy for the iterated three-person public-goods game can be represented as a $10$-state automaton by this method. In this automaton, each state can be interpreted as the player's internal judgement of the situation, such as trustworthiness of the co-players and the need to redeem oneself after defection. This result thus suggests a comprehensible way to choose an appropriate action at each step towards cooperation based on a situational judgement, which is mapped from the history of interactions.
△ Less
Submitted 9 October, 2020; v1 submitted 7 October, 2019;
originally announced October 2019.
-
An Incremental Turn-Taking Model For Task-Oriented Dialog Systems
Authors:
Andrei C. Coman,
Koichiro Yoshino,
Yukitoshi Murase,
Satoshi Nakamura,
Giuseppe Riccardi
Abstract:
In a human-machine dialog scenario, deciding the appropriate time for the machine to take the turn is an open research problem. In contrast, humans engaged in conversations are able to timely decide when to interrupt the speaker for competitive or non-competitive reasons. In state-of-the-art turn-by-turn dialog systems the decision on the next dialog action is taken at the end of the utterance. In…
▽ More
In a human-machine dialog scenario, deciding the appropriate time for the machine to take the turn is an open research problem. In contrast, humans engaged in conversations are able to timely decide when to interrupt the speaker for competitive or non-competitive reasons. In state-of-the-art turn-by-turn dialog systems the decision on the next dialog action is taken at the end of the utterance. In this paper, we propose a token-by-token prediction of the dialog state from incremental transcriptions of the user utterance. To identify the point of maximal understanding in an ongoing utterance, we a) implement an incremental Dialog State Tracker which is updated on a token basis (iDST) b) re-label the Dialog State Tracking Challenge 2 (DSTC2) dataset and c) adapt it to the incremental turn-taking experimental scenario. The re-labeling consists of assigning a binary value to each token in the user utterance that allows to identify the appropriate point for taking the turn. Finally, we implement an incremental Turn Taking Decider (iTTD) that is trained on these new labels for the turn-taking decision. We show that the proposed model can achieve a better performance compared to a deterministic handcrafted turn-taking algorithm.
△ Less
Submitted 11 July, 2019; v1 submitted 28 May, 2019;
originally announced May 2019.
-
Sampling networks by nodal attributes
Authors:
Yohsuke Murase,
Hang-Hyun Jo,
János Török,
János Kertész,
Kimmo Kaski
Abstract:
In a social network individuals or nodes connect to other nodes by choosing one of the channels of communication at a time to re-establish the existing social links. Since available data sets are usually restricted to a limited number of channels or layers, these autonomous decision making processes by the nodes constitute the sampling of a multiplex network leading to just one (though very import…
▽ More
In a social network individuals or nodes connect to other nodes by choosing one of the channels of communication at a time to re-establish the existing social links. Since available data sets are usually restricted to a limited number of channels or layers, these autonomous decision making processes by the nodes constitute the sampling of a multiplex network leading to just one (though very important) example of sampling bias caused by the behavior of the nodes. We develop a general setting to get insight and understand the class of network sampling models, where the probability of sampling a link in the original network depends on the attributes $h$ of its adjacent nodes. Assuming that the nodal attributes are independently drawn from an arbitrary distribution $ρ(h)$ and that the sampling probability $r(h_i , h_j)$ for a link $ij$ of nodal attributes $h_i$ and $h_j$ is also arbitrary, we derive exact analytic expressions of the sampled network for such network characteristics as the degree distribution, degree correlation, and clustering spectrum. The properties of the sampled network turn out to be sums of quantities for the original network topology weighted by the factors stemming from the sampling. Based on our analysis, we find that the sampled network may have sampling-induced network properties that are absent in the original network, which implies the potential risk of a naive generalization of the results of the sample to the entire original network. We also consider the case, when neighboring nodes have correlated attributes to show how to generalize our formalism for such sampling bias and we get good agreement between the analytic results and the numerical simulations.
△ Less
Submitted 22 May, 2019; v1 submitted 12 February, 2019;
originally announced February 2019.
-
CARAVAN: a framework for comprehensive simulations on massive parallel machines
Authors:
Yohsuke Murase,
Hiroyasu Matsushima,
Itsuki Noda,
Tomio Kamada
Abstract:
We present a software framework called CARAVAN, which was developed for comprehensive simulations on massive parallel computers. The framework runs user-developed simulators with various input parameters in parallel without requiring the knowledge of parallel programming. The framework is useful for exploring high-dimensional parameter spaces, for which sampling points must be dynamically determin…
▽ More
We present a software framework called CARAVAN, which was developed for comprehensive simulations on massive parallel computers. The framework runs user-developed simulators with various input parameters in parallel without requiring the knowledge of parallel programming. The framework is useful for exploring high-dimensional parameter spaces, for which sampling points must be dynamically determined based on the previous results. Possible use cases include optimization, data assimilation, and Markov-chain Monte Carlo sampling in parameter spaces. As a demonstration, we applied CARAVAN to an evacuation planning problem in an urban area. We formulated the problem as a multi-objective optimization problem, and searched for solutions using multi-agent simulations and a multi-objective evolutionary algorithm, which were developed as modules of the framework.
△ Less
Submitted 21 November, 2018; v1 submitted 7 November, 2018;
originally announced November 2018.
-
Structural transition in social networks: The role of homophily
Authors:
Yohsuke Murase,
Hang-Hyun Jo,
János Török,
János Kertész,
Kimmo Kaski
Abstract:
We introduce a model for the formation of social networks, which takes into account the homophily or the tendency of individuals to associate and bond with similar others, and the mechanisms of global and local attachment as well as tie reinforcement due to social interactions between people. We generalize the weighted social network model such that the nodes or individuals have $F$ features and e…
▽ More
We introduce a model for the formation of social networks, which takes into account the homophily or the tendency of individuals to associate and bond with similar others, and the mechanisms of global and local attachment as well as tie reinforcement due to social interactions between people. We generalize the weighted social network model such that the nodes or individuals have $F$ features and each feature can have $q$ different values. Here the tendency for the tie formation between two individuals due to the overlap in their features represents homophily. We find a phase transition as a function of $F$ or $q$, resulting in a phase diagram. For fixed $q$ and as a function of $F$ the system shows two phases separated at $F_c$. For $F{<}F_c$ large, homogeneous, and well separated communities can be identified within which the features match almost perfectly (segregated phase). When $F$ becomes larger than $F_c$, the nodes start to belong to several communities and within a community the features match only partially (overlapping phase). Several quantities reflect this transition, including the average degree, clustering coefficient, feature overlap, and the number of communities per node. We also make an attempt to interpret these results in terms of observations on social behavior of humans.
△ Less
Submitted 26 March, 2019; v1 submitted 15 August, 2018;
originally announced August 2018.
-
Conservation of population size is required for self-organized criticality in evolution models
Authors:
Yohsuke Murase,
Per Arne Rikvold
Abstract:
We study models of biological evolution and investigate a key factor to yield self-organized criticality (SOC). The Bak-Sneppen (BS) model is the most basic model that shows an SOC state, which is developed based on minimal and plausible assumptions of Darwinian competition. Another class of models, which have population dynamics and simple rules for species migrations, has also been studied. It t…
▽ More
We study models of biological evolution and investigate a key factor to yield self-organized criticality (SOC). The Bak-Sneppen (BS) model is the most basic model that shows an SOC state, which is developed based on minimal and plausible assumptions of Darwinian competition. Another class of models, which have population dynamics and simple rules for species migrations, has also been studied. It turns out that they do not show an SOC state although the assumptions made in these models are similar to those in the BS model. To clarify the origin of these differences and to identify a key ingredient of SOC, we study models that bridge the BS model and the Dynamical Graph model, which is a representative of the population dynamics models. From a comparative study of the models, we find that SOC is found when the fluctuations of the number of species $N$ are suppressed, while it shows off-critical states when $N$ changes according to its evolutionary dynamics. This indicates that the assumption of the fixed system size in the BS model plays a pivotal role to drive the system into an SOC state, and casts doubt on its applicability to actual evolutionary dynamics.
△ Less
Submitted 10 August, 2018;
originally announced August 2018.
-
An open-source job management framework for parameter-space exploration: OACIS
Authors:
Yohsuke Murase,
Takeshi Uchitane,
Nobuyasu Ito
Abstract:
We present an open-source software framework for parameter-space exploration, named OACIS, which is useful to manage vast amount of simulation jobs and results in a systematic way. Recent development of high-performance computers enabled us to explore parameter spaces comprehensively, however, in such cases, manual management of the workflow is practically impossible. OACIS is developed aiming at…
▽ More
We present an open-source software framework for parameter-space exploration, named OACIS, which is useful to manage vast amount of simulation jobs and results in a systematic way. Recent development of high-performance computers enabled us to explore parameter spaces comprehensively, however, in such cases, manual management of the workflow is practically impossible. OACIS is developed aiming at reducing the cost of these repetitive tasks when conducting simulations by automating job submissions and data management. In this article, an overview of OACIS as well as a getting started guide are presented.
△ Less
Submitted 19 April, 2018;
originally announced May 2018.
-
Seven rules to avoid the tragedy of the commons
Authors:
Yohsuke Murase,
Seung Ki Baek
Abstract:
Cooperation among self-interested players in a social dilemma is fragile and easily interrupted by mistakes. In this work, we study the repeated $n$-person public-goods game and search for a strategy that forms a cooperative Nash equilibrium in the presence of implementation error with a guarantee that the resulting payoff will be no less than any of the co-players'. By enumerating strategic possi…
▽ More
Cooperation among self-interested players in a social dilemma is fragile and easily interrupted by mistakes. In this work, we study the repeated $n$-person public-goods game and search for a strategy that forms a cooperative Nash equilibrium in the presence of implementation error with a guarantee that the resulting payoff will be no less than any of the co-players'. By enumerating strategic possibilities for $n=3$, we show that such a strategy indeed exists when its memory length $m$ equals three. It means that a deterministic strategy can be publicly employed to stabilize cooperation against error with avoiding the risk of being exploited. We furthermore show that, for general $n$-person public-goods game, $m \geq n$ is necessary to satisfy the above criteria.
△ Less
Submitted 18 April, 2018;
originally announced April 2018.
-
Modality via Iterated Enrichment
Authors:
Yuichi Nishiwaki,
Yoshihiko Kakutani,
Yuito Murase
Abstract:
This paper investigates modal type theories by using a new categorical semantics called change-of-base semantics. Change-of-base semantics is novel in that it is based on (possibly infinitely) iterated enrichment and interpretation of modality as hom objects. In our semantics, the relationship between meta and object levels in multi-staged computation exactly corresponds to the relationship betwee…
▽ More
This paper investigates modal type theories by using a new categorical semantics called change-of-base semantics. Change-of-base semantics is novel in that it is based on (possibly infinitely) iterated enrichment and interpretation of modality as hom objects. In our semantics, the relationship between meta and object levels in multi-staged computation exactly corresponds to the relationship between enriching and enriched categories. As a result, we obtain a categorical explanation of situations where meta and object logics may be completely different. Our categorical models include conventional models of modal type theory (e.g., cartesian closed categories with a monoidal endofunctor) as special cases and hence can be seen as a natural refinement of former results.
On the type theoretical side, it is shown that Fitch-style modal type theory can be directly interpreted in iterated enrichment of categories. Interestingly, this interpretation suggests the fact that Fitch-style modal type theory is the right adjoint of dual-context calculus. In addition, we present how linear temporal, S4, and linear exponential modalities are described in terms of change-of-base semantics. Finally, we show that the change-of-base semantics can be naturally extended to multi-staged effectful computation and generalized contextual modality a la Nanevski et al. We emphasize that this paper answers the question raised in the survey paper by de Paiva and Ritter in 2011, what a categorical model for Fitch-style type theory is like.
△ Less
Submitted 25 October, 2018; v1 submitted 9 April, 2018;
originally announced April 2018.
-
Contextual Modal Type Theory with Polymorphic Contexts
Authors:
Yuito Murase,
Yuichi Nishiwaki,
Atsushi Igarashi
Abstract:
Modal types -- types that are derived from proof systems of modal logic -- have been studied as theoretical foundations of metaprogramming, where program code is manipulated as first-class values. In modal type systems, modality corresponds to a type constructor for code types and controls free variables and their types in code values. Nanevski et al. have proposed contextual modal type theory, wh…
▽ More
Modal types -- types that are derived from proof systems of modal logic -- have been studied as theoretical foundations of metaprogramming, where program code is manipulated as first-class values. In modal type systems, modality corresponds to a type constructor for code types and controls free variables and their types in code values. Nanevski et al. have proposed contextual modal type theory, which has modal types with fine-grained information on free variables: modal types are explicitly indexed by contexts -- the types of all free variables in code values.
This paper presents $λ_{\forall[]}$, a novel extension of contextual modal type theory with parametric polymorphism over contexts. Such an extension has been studied in the literature but unlike earlier proposals, $λ_{\forall[]}$ is more general in that multiple parts of a single context can be abstracted. We formalize \lamfb with its type system and operational semantics given by $β$-reduction and prove its basic properties including subject reduction, strong normalization, and confluence. Moreover, to demonstrate the expressive power of polymorphic contexts, we show a type-preserving embedding from a two-level fragment of Davies' $λ_{\bigcirc}$, which is based on linear-time temporal logic, to $λ_{\forall[]}$.
△ Less
Submitted 5 January, 2023; v1 submitted 28 January, 2018;
originally announced January 2018.
-
Stylized facts in social networks: Community-based static modeling
Authors:
Hang-Hyun Jo,
Yohsuke Murase,
János Török,
János Kertész,
Kimmo Kaski
Abstract:
The past analyses of datasets of social networks have enabled us to make empirical findings of a number of aspects of human society, which are commonly featured as stylized facts of social networks, such as broad distributions of network quantities, existence of communities, assortative mixing, and intensity-topology correlations. Since the understanding of the structure of these complex social ne…
▽ More
The past analyses of datasets of social networks have enabled us to make empirical findings of a number of aspects of human society, which are commonly featured as stylized facts of social networks, such as broad distributions of network quantities, existence of communities, assortative mixing, and intensity-topology correlations. Since the understanding of the structure of these complex social networks is far from complete, for deeper insight into human society more comprehensive datasets and modeling of the stylized facts are needed. Although the existing dynamical and static models can generate some stylized facts, here we take an alternative approach by devising a community-based static model with heterogeneous community sizes and larger communities having smaller link density and weight. With these few assumptions we are able to generate realistic social networks that show most stylized facts for a wide range of parameters, as demonstrated numerically and analytically. Since our community-based static model is simple to implement and easily scalable, it can be used as a reference system, benchmark, or testbed for further applications.
△ Less
Submitted 8 August, 2017; v1 submitted 11 November, 2016;
originally announced November 2016.
-
Multiplex Modeling of the Society
Authors:
Janos Kertesz,
Janos Torok,
Yohsuke Murase,
Hang-Hyun Jo,
Kimmo Kaski
Abstract:
The society has a multi-layered structure, where the layers represent the different contexts. To model this structure we begin with a single-layer weighted social network (WSN) model showing the Granovetterian structure. We find that when merging such WSN models, a sufficient amount of inter-layer correlation is needed to maintain the relationship between topology and link weights, while these cor…
▽ More
The society has a multi-layered structure, where the layers represent the different contexts. To model this structure we begin with a single-layer weighted social network (WSN) model showing the Granovetterian structure. We find that when merging such WSN models, a sufficient amount of inter-layer correlation is needed to maintain the relationship between topology and link weights, while these correlations destroy the enhancement in the community overlap due to multiple layers. To resolve this, we devise a geographic multi-layer WSN model, where the indirect inter-layer correlations due to the geographic constraints of individuals enhance the overlaps between the communities and, at the same time, the Granovetterian structure is preserved. Furthermore, the network of social interactions can be considered as a multiplex from another point of view too: each layer corresponds to one communication channel and the aggregate of all them constitutes the entire social network. However, usually one has information only about one of the channels, which should be considered as a sample of the whole. Here we show by simulations and analytical methods that this sampling may lead to bias. For example, while it is expected that the degree distribution of the whole social network has a maximum at a value larger than one, we get with reasonable assumptions about the sampling process a monotonously decreasing distribution as observed in empirical studies of single channel data. We analyse the far-reaching consequences of our findings.
△ Less
Submitted 27 September, 2016;
originally announced September 2016.
-
What does Big Data tell? Sampling the social network by communication channels
Authors:
János Török,
Yohsuke Murase,
Hang-Hyun Jo,
János Kertész,
Kimmo Kaski
Abstract:
Big Data has become the primary source of understanding the structure and dynamics of the society at large scale. The network of social interactions can be considered as a multiplex, where each layer corresponds to one communication channel and the aggregate of all of them constitutes the entire social network. However, usually one has information only about one of the channels or even a part of i…
▽ More
Big Data has become the primary source of understanding the structure and dynamics of the society at large scale. The network of social interactions can be considered as a multiplex, where each layer corresponds to one communication channel and the aggregate of all of them constitutes the entire social network. However, usually one has information only about one of the channels or even a part of it, which should be considered as a subset or sample of the whole. Here we introduce a model based on a natural bilateral communication channel selection mechanism, which for one channel leads to consistent changes in the network properties. For example, while it is expected that the degree distribution of the whole social network has a maximum at a value larger than one, we get a monotonously decreasing distribution as observed in empirical studies of single channel data. We also find that assortativity may occur or get strengthened due to the sampling method. We analyze the far-reaching consequences of our findings.
△ Less
Submitted 28 October, 2016; v1 submitted 27 November, 2015;
originally announced November 2015.
-
Modeling the role of relationship fading and breakup in social network formation
Authors:
Yohsuke Murase,
Hang-Hyun Jo,
János Török,
János Kertész,
Kimmo Kaski
Abstract:
In social networks of human individuals, social relationships do not necessarily last forever as they can either fade gradually with time, resulting in link aging, or terminate abruptly, causing link deletion, as even old friendships may cease. In this paper, we study a social network formation model where we introduce several ways by which a link termination takes place. If we adopt the link agin…
▽ More
In social networks of human individuals, social relationships do not necessarily last forever as they can either fade gradually with time, resulting in link aging, or terminate abruptly, causing link deletion, as even old friendships may cease. In this paper, we study a social network formation model where we introduce several ways by which a link termination takes place. If we adopt the link aging, we get a more modular structure with more homogeneously distributed link weights within communities than when link deletion is used. By investigating distributions and relations of various network characteristics, we find that the empirical findings are better reproduced with the link deletion model. This indicates that link deletion plays a more prominent role in organizing social networks than link aging.
△ Less
Submitted 22 June, 2015; v1 submitted 4 May, 2015;
originally announced May 2015.
-
A Universal Lifetime Distribution for Multi-Species Systems
Authors:
Yohsuke Murase,
Takashi Shimada,
Nobuyasu Ito,
Per Arne Rikvold
Abstract:
Lifetime distributions of social entities, such as enterprises, products, and media contents, are one of the fundamental statistics characterizing the social dynamics. To investigate the lifetime distribution of mutually interacting systems, simple models having a rule for additions and deletions of entities are investigated. We found a quite universal lifetime distribution for various kinds of in…
▽ More
Lifetime distributions of social entities, such as enterprises, products, and media contents, are one of the fundamental statistics characterizing the social dynamics. To investigate the lifetime distribution of mutually interacting systems, simple models having a rule for additions and deletions of entities are investigated. We found a quite universal lifetime distribution for various kinds of inter-entity interactions, and it is well fitted by a stretched-exponential function with an exponent close to 1/2. We propose a "modified Red-Queen" hypothesis to explain this distribution. We also review empirical studies on the lifetime distribution of social entities, and discussed the applicability of the model.
△ Less
Submitted 2 March, 2015; v1 submitted 2 February, 2015;
originally announced February 2015.
-
Multilayer weighted social network model
Authors:
Yohsuke Murase,
János Török,
Hang-Hyun Jo,
Kimmo Kaski,
János Kertész
Abstract:
Recent empirical studies using large-scale data sets have validated the Granovetter hypothesis on the structure of the society in that there are strongly wired communities connected by weak ties. However, as interaction between individuals takes place in diverse contexts, these communities turn out to be overlapping. This implies that the society has a multilayered structure, where the layers repr…
▽ More
Recent empirical studies using large-scale data sets have validated the Granovetter hypothesis on the structure of the society in that there are strongly wired communities connected by weak ties. However, as interaction between individuals takes place in diverse contexts, these communities turn out to be overlapping. This implies that the society has a multilayered structure, where the layers represent the different contexts. To model this structure we begin with a single-layer weighted social network (WSN) model showing the Granovetterian structure. We find that when merging such WSN models, a sufficient amount of interlayer correlation is needed to maintain the relationship between topology and link weights, while these correlations destroy the enhancement in the community overlap due to multiple layers. To resolve this, we devise a geographic multilayer WSN model, where the indirect interlayer correlations due to the geographic constraints of individuals enhance the overlaps between the communities and, at the same time, the Granovetterian structure is preserved.
△ Less
Submitted 10 November, 2014; v1 submitted 6 August, 2014;
originally announced August 2014.
-
A tool for parameter-space explorations
Authors:
Yohsuke Murase,
Takeshi Uchitane,
Nobuyasu Ito
Abstract:
A software for managing simulation jobs and results, named "OACIS", is presented. It controls a large number of simulation jobs executed in various remote servers, keeps these results in an organized way, and manages the analyses on these results. The software has a web browser front end, and users can submit various jobs to appropriate remote hosts from a web browser easily. After these jobs are…
▽ More
A software for managing simulation jobs and results, named "OACIS", is presented. It controls a large number of simulation jobs executed in various remote servers, keeps these results in an organized way, and manages the analyses on these results. The software has a web browser front end, and users can submit various jobs to appropriate remote hosts from a web browser easily. After these jobs are finished, all the result files are automatically downloaded from the computational hosts and stored in a traceable way together with the logs of the date, host, and elapsed time of the jobs. Some visualization functions are also provided so that users can easily grasp the overview of the results distributed in a high-dimensional parameter space. Thus, OACIS is especially beneficial for the complex simulation models having many parameters for which a lot of parameter searches are required. By using API of OACIS, it is easy to write a code that automates parameter selection depending on the previous simulation results. A few examples of the automated parameter selection are also demonstrated.
△ Less
Submitted 15 April, 2014;
originally announced April 2014.
-
Effects of demographic stochasticity on biological community assembly on evolutionary time scales
Authors:
Yohsuke Murase,
Takashi Shimada,
Nobuyasu Ito,
Per Arne Rikvold
Abstract:
We study the effects of demographic stochasticity on the long-term dynamics of biological coevolution models of community assembly. The noise is induced in order to check the validity of deterministic population dynamics. While mutualistic communities show little dependence on the stochastic population fluctuations, predator-prey models show strong dependence on the stochasticity, indicating the…
▽ More
We study the effects of demographic stochasticity on the long-term dynamics of biological coevolution models of community assembly. The noise is induced in order to check the validity of deterministic population dynamics. While mutualistic communities show little dependence on the stochastic population fluctuations, predator-prey models show strong dependence on the stochasticity, indicating the relevance of the finiteness of the populations. For a predator-prey model, the noise causes drastic decreases in diversity and total population size. The communities that emerge under influence of the noise consist of species strongly coupled with each other and have stronger linear stability around the fixed-point populations than the corresponding noiseless model. The dynamics on evolutionary time scales for the predator-prey model are also altered by the noise. Approximate $1/f$ fluctuations are observed with noise, while $1/f^{2}$ fluctuations are found for the model without demographic noise.
△ Less
Submitted 3 April, 2010; v1 submitted 25 January, 2010;
originally announced January 2010.
-
Random walk in genome space : A key ingredient of intermittent dynamics of community assembly on evolutionary time scales
Authors:
Yohsuke Murase,
Takashi Shimada,
Nobuyasu Ito,
Per Arne Rikvold
Abstract:
Community assembly is studied using individual-based multispecies models. The models have stochastic population dynamics with mutation, migration, and extinction of species. Mutants appear as a result of mutation of the resident species, while migrants have no correlation with the resident species. It is found that the dynamics of community assembly with mutations are quite different from the case…
▽ More
Community assembly is studied using individual-based multispecies models. The models have stochastic population dynamics with mutation, migration, and extinction of species. Mutants appear as a result of mutation of the resident species, while migrants have no correlation with the resident species. It is found that the dynamics of community assembly with mutations are quite different from the case with migrations. In contrast to mutation models, which show intermittent dynamics of quasi-steady states interrupted by sudden reorganizations of the community, migration models show smooth and gradual renewal of the community. As a consequence, instead of the $1/f$ diversity fluctuations found for the mutation models, $1/f^2$, random-walk like fluctuations are observed for the migration models. In addition, a characteristic species-lifetime distribution is found: a power law that is cut off by a "skewed" distribution in the long-lifetime regime. The latter has a longer tail than a simple exponential function, which indicates an age-dependent species-mortality function. Since this characteristic profile has been observed, both in fossil data and in several other mathematical models, we conclude that it is a universal feature of macroevolution.
△ Less
Submitted 16 May, 2010; v1 submitted 24 January, 2010;
originally announced January 2010.
-
Effects of stochastic population fluctuations in two models of biological macroevolution
Authors:
Yohsuke Murase,
Takashi Shimada,
Nobuyasu Ito,
Per Arne Rikvold
Abstract:
Two mathematical models of macroevolution are studied. These models have population dynamics at the species level, and mutations and extinction of species are also included. The population dynamics are updated by difference equations with stochastic noise terms that characterize population fluctuations. The effects of the stochastic population fluctuations on diversity and total population sizes…
▽ More
Two mathematical models of macroevolution are studied. These models have population dynamics at the species level, and mutations and extinction of species are also included. The population dynamics are updated by difference equations with stochastic noise terms that characterize population fluctuations. The effects of the stochastic population fluctuations on diversity and total population sizes on evolutionary time scales are studied. In one model, species can make either predator-prey, mutualistic, or competitive interactions, while the other model allows only predator-prey interactions. When the noise in the population dynamics is strong enough, both models show intermittent behavior and their power spectral densities show approximate $1/f$ fluctuations. In the noiseless limit, the two models have different power spectral densities. For the predator-prey model, $1/f^2$ fluctuations appears, indicating random-walk like behavior, while the other model still shows $1/f$ noise. These results indicate that stochastic population fluctuations may significantly affect long-time evolutionary dynamics.
△ Less
Submitted 10 March, 2008;
originally announced March 2008.