# A Model of Competition Among More than Two Languages

- First Online:

- Received:
- Accepted:

DOI: 10.1007/s10955-012-0613-8

- Cite this article as:
- Fujie, R., Aihara, K. & Masuda, N. J Stat Phys (2013) 151: 289. doi:10.1007/s10955-012-0613-8

## Abstract

We extend the Abrams–Strogatz model for competition between two languages (Abrams and Strogatz in Nature 424:900, 2003) to the case of *n* (≥2) competing states (i.e., languages). Although the Abrams–Strogatz model for *n*=2 can be interpreted as modeling either majority preference or minority aversion, the two mechanisms are distinct when *n*≥3. We find that the condition for the coexistence of different states is independent of *n* under the pure majority preference, whereas it depends on *n* under the pure minority aversion. We also show that the stable coexistence equilibrium and stable monopoly equilibria can be multistable under the minority aversion and not under the majority preference. Furthermore, we obtain the phase diagram of the model when the effects of the majority preference and minority aversion are mixed, under the condition that different states have the same attractiveness. We show that the multistability is a generic property of the model facilitated by large *n*.

### Keywords

ConsensusMajority rulePopulation dynamicsSocial dynamics## 1 Introduction

The consensus problem, in which we ask whether the unanimity of one among different competing states (e.g., opinions) is reached, and its mechanisms are of interest in various disciplines including political science, sociology, and statistical physics. In models of consensus formation, it is usually assumed that each individual possesses one of the different states that can flip over time. The flip rate depends on the environment such as the number of the individuals that adopt a different state. Statistical physicists have approached this problem by analyzing a variety of models including the voter model, majority rule models, the bounded confidence model, Axelrod’s model, and the naming game (see [3] for a review).

A major mechanism that would lead to consensus in a population is preference for the majority. Collective opinion formation under various majority voting rules has been examined for mean-field populations [8, 11–13, 15, 19, 26] and in different types of networks such as regular lattices [7–9, 22, 31], small-world networks [21], heterogeneous networks [17], and networks with community structure [16, 18]. The majority preference may be identified with the aversion to the minority. When there are only two states, they are equivalent because one state is the majority if and only if the other state is the minority. However, the two principles may be distinct when more than two states are assumed [34]. We are concerned with this case in the present study.

Language competition is an example of consensus problems. The model proposed by Abrams and Strogatz (AS model) accounts for extinction of endangered languages [1]. The AS model implements competition between two languages for speakers in a population. The dynamics of the model is based on the majority preference, which is also regarded as the minority aversion because there are just two competing languages.

Several authors found that different languages can stably coexist in variants of the AS model. Two languages can coexist by spatial segregation in a model in which competition dynamics and spatial diffusion are combined [28, 29]. A Lotka–Volterra variant of the AS model also leads to coexistence [30]. Introduction of bilingual individuals also enables coexistence [24, 25]. Castelló and colleagues investigated variants of the AS model with bilingualism on various networks [4, 5, 32, 33]. Coexistence also occurs when the attractiveness of languages is dynamically manipulated [6] or when bilingualism, horizontal (i.e., from adults to adults) and vertical (i.e., from adults to children) transmission of languages, and dynamics of the languages’ attractiveness are combined [23, 35].

In the present work, we extend the AS model to the case of competition among a general number of languages, denoted by *n*. Our model is a mean-field model (i.e., without spatial or network structure), as is the original AS model. Because the AS model has been used for modeling competition of other cultural or social traits such as religion [2], opinion, and service sectors [20], we use the term “state” instead of “language” in the following. We show that the behavior of the model is essentially different between *n*=2 and *n*≥3. In particular, the coexistence of different states and the consensus can be multistable, i.e., the coexistence and consensus equilibria are both stable, only when *n*≥3.

## 2 Model

*n*(≥2) states. The dynamics of the fraction of state

*i*(1≤

*i*≤

*n*) is given by

*x*

_{i}is the fraction of state

*i*in the population, and

*P*

_{ji}represents the transition rate from state

*j*to state

*i*. Equation (1) respects the conservation law \(\sum_{i=1}^{n} x_{i}=1\). The transition rates of the original AS model (i.e.,

*n*=2) are given by

*a*>0 controls the strength of the frequency-dependent state transition,

*s*

_{i}>0 is the attractiveness of state

*i*, and \(\sum_{i=1}^{n} s_{i}=1\) [1]. Because

*c*simply specifies the time scale of the dynamics, we set

*c*=1.

*P*

_{ji}=

*s*

_{i}(1−

*x*

_{j})

^{a}. The two principles lead to the same model when

*n*=2. However, the two principles are distinct when

*n*≥3. Therefore, we redefine

*P*

_{ji}to allow for independent manipulation of the two factors. The transition rates of the extended model are defined by

*β*(≥0) and

*a*−

*β*(≥0) represent the strength of the majority preference and the minority aversion, respectively. When

*n*=2, the dynamics given by the substitution of Eq. (3) in Eq. (1) becomes independent of the

*β*value.

## 3 Analysis

### 3.1 Case of Majority Preference (i.e., *β*=*a*)

*β*=

*a*to analyze the case in which the majority preference is present and the minority aversion is absent. Substitution of Eq. (3) in Eq. (1) yields where 〈⋅〉 represents the average over the population, i.e., the average of a state-dependent variable with weight

*x*

_{i}(1≤

*i*≤

*n*). Equation (4) is a replicator equation [14] in which \(s_{i}x_{i}^{a-1}\) and \(\langle sx^{a-1}\rangle =\sum_{\ell=1}^{n} s_{\ell}x_{\ell}^{a}\) play the role of the fitness for state

*i*and the average fitness in the population, respectively. The dynamics given by Eq. (4) has

*n*trivial equilibria corresponding to the consensus, i.e., the monopoly of a single state, and an interior equilibrium given by

*V*(

*)≡−〈*

**x***sx*

^{a−1}〉, where

*=(*

**x***x*

_{1},…,

*x*

_{n}), is a Lyapunov function of the dynamics given by Eq. (4) because

*V*has a unique global extremum at

**x**^{∗}, which is minimum for

*a*<1 and maximum for

*a*>1 (Appendix A). Therefore, the coexistence equilibrium given by Eq. (5) is globally stable for

*a*<1 and unstable for

*a*>1.

Equation (4) also admits a unique equilibrium for each subset of the *n* states. When *n*=3, for example, the equilibrium in which states 1 and 2, but not 3, coexist is given by Eq. (5) for *i*=1 and 2, with the denominator replaced by \(s_{1}^{\frac{1}{1-a}} + s_{2}^{\frac{1}{1-a}}\), and *x*_{3}=0. In general, there are \(\binom{n}{n^{\prime}}\) equilibria containing *n*′ states. If 2≤*n*′≤*n*−1, these equilibria are unstable. For *a*<1, the instability immediately follows from the fact that **x**^{∗} is the unique global minimum of *V*(* x*). For

*a*>1, any equilibrium containing

*n*′ (2≤

*n*′≤

*n*−1) states is unstable because it realizes the global maximum of the same Lyapunov function restricted to the simplex spanned by the

*n*′ states.

When *a*=1, we obtain \(V(\boldsymbol{x})\equiv-\langle s\rangle = \sum_{i=1}^{n} s_{i} x_{i}\). Therefore, if *s*_{i}>*s*_{j} (*j*≠*i*), the consensus of state *i* is eventually reached. If *s*_{i}=*s*_{i′}>*s*_{j} (*j*≠*i*,*i*′), for example, the *n*−2 states corresponding to *s*_{j} (*j*≠*i*,*i*′) are eventually eliminated. The dynamics then stops such that states *i* and *i*′ coexist. If all the three *s*_{i} values are equal, any population is neutrally stable.

*n*=3, which we obtained by numerically integrating Eq. (4). For

*a*<1, a trajectory starting from anywhere in the interior of the phase space, i.e.,

*that satisfies*

**x***x*

_{1}+

*x*

_{2}+

*x*

_{3}=1,

*x*

_{1},

*x*

_{2},

*x*

_{3}>0, asymptotically approaches the coexistence equilibrium (Fig. 1a). It should be noted that a point in the triangle in Fig. 1a corresponds to a configuration of the population, i.e.,

*. For example, corner*

**x***e*

_{i}(

*i*=1, 2, or 3) represents the consensus (i.e.,

*x*

_{i}=1 and

*x*

_{j}=0 (

*j*≠

*i*)), and the normalized Euclidean distance from the point to the edge

*e*

_{2}–

*e*

_{3}of the triangle is equal to the

*x*

_{1}value. For

*a*>1, a trajectory starting from the interior of the triangle converges to one of the

*n*consensus equilibria, depending on the initial condition (Fig. 1b).

*a*is shown for

*s*

_{1}=0.40,

*s*

_{2}=0.35, and

*s*

_{3}=0.25. As

*a*approaches unity from below, the stable coexistence equilibrium approaches the unstable consensus equilibrium corresponding to the largest

*s*

_{i}value (

*e*

_{1}in Fig. 1). At

*a*=1, the two equilibria collide, and an unstable coexistence equilibrium simultaneously bifurcates from the consensus equilibrium corresponding to the smallest

*s*

_{i}value (

*e*

_{3}in Fig. 1).

### 3.2 Case of Minority Aversion (i.e., *β*=0)

*β*=0 to analyze the case in which the majority preference is absent and the minority aversion is present. Substitution of Eq. (3) in Eq. (1) yields In contrast to the case of the majority preference (Sect. 3.1), the simplex spanned by

*n*′ (2≤

*n*′≤

*n*−1) states is not invariant under the dynamics given by Eq. (7). Therefore, a state that once gets extinct may reappear. In this section, we numerically analyze Eq. (7) for

*n*=3 and

*n*=4. For general

*n*, we analytically examine the special case in which

*s*

_{i}is independent of

*i*in Sect. 3.3.

*n*=3, the dynamics for various values of

*a*is shown in Fig. 3. We set

*s*

_{1}=0.36,

*s*

_{2}=0.33, and

*s*

_{3}=0.31. When

*a*is small (

*a*<1), there is a unique globally stable coexistence equilibrium in the interior (Fig. 3a). The three consensus equilibria

*e*

_{1},

*e*

_{2}, and

*e*

_{3}are unstable. At

*a*=1,

*e*

_{1},

*e*

_{2}, and

*e*

_{3}change the stability such that they are stable beyond

*a*=1 (Appendix B). Simultaneously, a saddle point bifurcates from each consensus equilibrium. The bifurcation occurs simultaneously for the three equilibria at

*a*=1 irrespective of the values of

*s*

_{1},

*s*

_{2}, and

*s*

_{3}. Slightly beyond

*a*=1, the three consensus equilibria and the interior coexistence equilibrium are multistable (see Fig. 3b for the results at

*a*=1.3). As

*a*increases, the attractive basin of the coexistence equilibrium becomes small, and that of each consensus equilibrium becomes large (see Fig. 3c for the results at

*a*=1.4). At

*a*=

*a*

_{c1}≈1.43, the coexistence equilibrium that is stable for

*a*<

*a*

_{c1}and the unstable interior equilibrium that bifurcates from

*e*

_{i}at

*a*=1, where

*i*corresponds to the largest

*s*

_{i}value (

*i*=1 in the present example), collide. This is a saddle-node bifurcation.

*a*

_{c1}values are shown in Fig. 4a for different values of

*s*

_{1},

*s*

_{2}, and

*s*

_{3}. A point in the triangle in the figure specifies the values of

*s*

_{1},

*s*

_{2}, and

*s*

_{3}under the constraint

*s*

_{1}+

*s*

_{2}+

*s*

_{3}=1,

*s*

_{i}>0 (1≤

*i*≤3). It seems that

*a*

_{c1}is the largest when

*s*

_{i}=1/3 (1≤

*i*≤3). Figure 4 suggests that heterogeneity in

*s*

_{i}makes

*a*

_{c1}smaller and hence makes the stable coexistence of the three states difficult. When

*s*

_{i}≈1 and

*s*

_{j}≈0 (

*j*≠

*i*), we obtain

*a*

_{c1}≈1.

When *a* is slightly larger than *a*_{c1}, there are two saddle points in the interior. In this situation, one of the three consensus equilibria, which depends on the initial condition, is eventually reached (Fig. 3d). However, the manner with which the triangular phase space is divided into the three attractive basins is qualitatively different from that in the case of the majority preference (Fig. 1b). In particular, in the present case of the minority aversion, even if *x*_{1} is initially equal to 0, the consensus of state 1 (i.e., *e*_{1}) can be reached. This behavior never occurs in the case of the majority preference and less likely for a larger *a* value in the case of the minority aversion (Fig. 3e).

*a*in Fig. 5a. Up to our numerical efforts with various initial conditions, we did not find limit cycles. A discrete jump in the basin size of the coexistence equilibrium is observed at

*a*

_{c1}≈1.43, reminiscent of the saddle-node bifurcation. Interestingly, the attractive basin of the consensus equilibrium

*e*

_{1}is the largest just beyond

*a*

_{c1}.

As *a* increases further, the second saddle-node bifurcation occurs at *a*=*a*_{c2}≈2.81, where an unstable node and a saddle point coappear (Fig. 3f). Logically, the sizes of the attractive basins could be discontinuous at *a*=*a*_{c2} because some initial conditions with small *x*_{1} might be attracted to *e*_{1} when *a* is slightly smaller than *a*_{c2} and to *e*_{2} or *e*_{3} when *a* is slightly larger than *a*_{c2}. However, up to our numerical efforts, we did not observe the discontinuity, as implied by Fig. 5a.

Numerically obtained *a*_{c2} values are shown in Fig. 4b for different values of *s*_{1}, *s*_{2}, and *s*_{3}. Heterogeneity in *s*_{i} makes *a*_{c2} larger. In addition, *a*_{c2} is equal to *a*_{c1} when *s*_{1}=*s*_{2}=*s*_{3}=1/3. In this symmetric case, the three saddle points simultaneously collide with the stable star node at *a*=1. Beyond *a*=1, the equilibrium that is the stable star node when *a*<1 loses its stability to become an unstable star node. The three saddle points move away from the unstable star node as *a* increases. This transition can be interpreted as three simultaneously occurring transcritical bifurcations.

The unstable node that emerges at *a*=*a*_{c2} approaches \(x_{i}^{*}=1/3\) (1≤*i*≤3) in the limit *a*→∞, as shown in Appendix C. The three saddle points approach (*x*_{1},*x*_{2},*x*_{3})=(1/2,1/2,0),(1/2,0,1/2), and (0,1/2,1/2), as shown in Fig. 3g. This is a trivial consequence of the proof given in Appendix C. Therefore, the heterogeneity in *s*_{i} does not play the role in the limit *a*→∞ such that the phase space is symmetrically divided into the three attractive basins corresponding to *e*_{1}, *e*_{2}, and *e*_{3}.

For *n*=4, the relationship between *a* and the sizes of the attractive basins of the different equilibria is shown in Fig. 5b. The results are qualitatively the same as those for *n*=3 (Fig. 5a).

### 3.3 Symmetric Case

*s*

_{i}=

*s*(1≤

*i*≤

*n*). Although normalization \(\sum_{i=1}^{n} s_{i}=1\) leads to

*s*

_{i}=1/

*n*, we set

*s*=1 in this section to simplify the notation;

*s*just controls the time scale of the dynamics. Then, Eqs. (1) and (3) are reduced to

Equation (8) implies that, regardless of the parameter values, there exist *n* trivial consensus equilibria and symmetric coexistence equilibria of *n*′ (2≤*n*′≤*n*) states given by \(x_{i}^{*}=1/n^{\prime}\), where *i* varies over the *n*′ surviving states arbitrarily selected from the *n* states.

*n*−1)-dimensional. The eigenvalues of the Jacobian matrix of the dynamics at the coexistence equilibrium containing the

*n*states are (

*n*−1)-fold and given by \((\frac{1}{n} )^{\beta}(1-\frac{1}{n} )^{a-\beta -1} [(n-2)\beta+a-n+1 ]\), as shown in Appendix D. Therefore, the coexistence equilibrium is stable if and only if

*n*′ (2≤

*n*′≤

*n*−1) states are always unstable (Appendix D).

*n*≥3; Eq. (9) is reduced to

*a*<1 when

*n*=2. When

*n*≥3, the multistability occurs except in the case of the pure majority preference (i.e.,

*β*=

*a*). The multistable parameter region enlarges as

*n*increases.

## 4 Discussion

We analyzed an extended AS model with *n* states. We showed that the introduction of the minority aversion as compared to the majority preference changes the behavior of the model with *n*≥3 in two main aspects. First, different states stably coexist up to a larger *a* value with the minority aversion than with the majority preference. Nevertheless, it should be noted that *a* is the exponent associated with different quantities in the two cases (Eq. (3)). Second, the multistability of the consensus equilibria and the coexistence equilibrium is facilitated by the minority aversion and opposed by the majority preference. We verified that the main results also hold true in the case of more general transition rates than Eq. (3), expressed as \(P_{ji}=s_{i}^{\gamma}(1-s_{j})^{1-\gamma}x_{i}^{\beta}(1-x_{j})^{a-\beta}\) (Appendix E).

Volovik and colleagues examined mean-field dynamics of a three-state opinion formation model with minority aversion [34]. Coexistence of at least two states occurs in their model even if a random choice term, equivalent to diffusive coupling, which the authors assumed, is turned off. This is because only the most minor state decreases in the number of individuals and the other two major states are equally strong in their model. In our model, the most major and second major states have different strengths in attracting individuals, and the coexistence equilibrium is stable only for small *a*.

Fu and Wang considered the combined effects of the majority preference and minority avoidance on coevolution of opinions and network structure [10]. They assumed that the majority preference is used for collective opinion formation and the minority avoidance guides network formation. They showed that segregated groups, each composed of individuals with the same opinion, evolve when the minority avoidance is dominantly used. The coexistence of multiple states owing to the segregation has also been shown in spatially extended AS models [28, 29]. We showed that coexistence of different states is facilitated by the minority aversion, not by the majority preference, and that stable coexistence occurs without segregation, or other spatial or network mechanisms.

Nowak and colleagues analyzed a replicator–mutator equation as a model of language evolution [27]. They showed that coexistence of different grammars (i.e., states in our terminology) and a consensus-like configuration in which one grammar dominates the others are multistable when a learning parameter takes an intermediate value. If the learning is accurate, the consensus-like configuration becomes monostable. Our model and theirs differ in at least two aspects. First, the control parameter in our model is *a*, that is, the strength of the sum of the majority preference and minority aversion. Second, the stable coexistence in our model requires some minority aversion, whereas their model takes into account the majority preference but not the minority aversion.

## Acknowledgements

We thank Kiyohito Nagano, Hisashi Ohtsuki, and Gouhei Tanaka for valuable discussions. This research is supported by the Aihara Innovative Mathematical Modelling Project, the Japan Society for the Promotion of Science (JSPS) through the “Funding Program for World-Leading Innovative R&D on Science and Technology (FIRST Program),” initiated by the Council for Science and Technology Policy (CSTP). We also acknowledge financial support provided through Grants-in-Aid for Scientific Research (No. 23681033).

## Copyright information

**Open Access** This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.