Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

Learning thresholds lead to stable language coexistence

M.V. Tamm1, E. Heinsalu2, S. Scialla2,3, M. Patriarca2 1 ERA Chair for Cultural Data Analytics and School of Digital Technologies, Tallinn University, Tallinn, Estonia;
2 National Institute of Chemical Physics and Biophysics, Tallinn, Estonia;
3 Università Campus Bio-Medico di Roma, Rome, Italy
(June 14, 2024)
Abstract

We introduce a language competition model that incorporates the effects of memory and learning on the language shift dynamics, using the Abrams-Strogatz model as a starting point. On a coarse grained time scale, the effects of memory and learning can be expressed as thresholds on the speakers fractions. In its simplest form, the resulting model is exactly solvable. Besides the consensus on one of the two languages, the model describes additional equilibrium states that are not present in the Abrams-Strogatz model: a stable coexistence of the two languages, if both thresholds are low enough, so that the language shift processes in the two opposite directions compensate each other, and a frozen state coinciding with the initial state, when both thresholds are too high for any language shift to take place. We show numerically that these results are preserved for threshold functions of a more general shape.

Introduction.– In multilingual societies languages are in constant competition with each other. This competition manifests itself in language shift, when individuals switch the language they use, leading to a gradual change of the linguistic composition of the society and, in some cases, eventual disappearance of one of the languages.

Starting from the seminal papers of Baggs and Freedman Baggs-1990a and Abrams and Strogatz Abrams-2003a , language competition has been described by dynamical models mathematically similar to models of ecological competition or chemical reaction kinetics. Variants and generalizations of these models have been proposed Patriarca-2012a ; Patriarca-2020a , in order to take into account additional aspects of the underlying language dynamics and social processes, e.g. the presence of bilinguals Minett2008a ; Baronchelli-2006a ; Heinsalu-2014a , the effects of political and geographic barriers Patriarca-2004a ; Patriarca-2009a , population dynamics Baggs-1993a ; Pinasco-2006a ; Kandler2008a , the inhomogeneity of resources Kandler2009a , and the similarity between languages Mira2005a . Generalizations of these models have been used to study various other aspects of social dynamics, such as change in religious affiliation Abrams2011 and political polarization Lu2019 , thus making language competition an archetypal problem of social dynamics.

However, not enough attention has been paid so far to the effect of the learning processes on the dynamics of language competition. Learning a new language is a prerequisite of language shift Scialla-2023a , and thus microscopic barriers to learning can suppress the shift. Here we aim to fill this gap. We argue that, although language shift in a two-language system can still be studied in terms of an Abrams-Strogatz(AS)-type model, the microscopic mechanisms of the learning process suggest the existence of thresholds in the transition rates.

One reason for that comes from the fact that one needs sufficiently frequent repetitions to learn. Indeed, it is known since Ebbinghaus’ study of human memory that retention of information is described by a “forgetfulness curve” Ebbinghaus-1885a ; Murre-2015a , and that forgetting can be contrasted (the amount of information subject to long-term retention increased) through sufficiently frequent repetitions. One expects, that learners of a rare language do not have sufficient repetitive encounters with speakers of this language to reach this retention level, so that a minimal prevalence of a language is needed for it to be learned organically.

Furthermore, in many cases language learning does not happen organically through encounters with other language speakers, but is the result of a conscious decision to allocate time specifically to learning. For such a conscious learning to be feasible, the learning individual should perceive time spent to learn as beneficial compared to other economic activities. Similarly to the case of organic learning, this can be expected to occur when language prevalence exceeds a certain threshold.

To describe these effects, in what follows we introduce a generalized AS model whose transition rates have thresholds on the speakers fractions. We study the effects of these thresholds in case of both step-wise and sigmoid shapes of the rates and, contrary to the standard AS model with a>1𝑎1a>1italic_a > 1, obtain stable coexistence of languages for a wide range of parameters and initial conditions.

Abrams-Strogatz model. – The AS model Abrams-2003a is a two-state language competition model, where individuals speak either language X or Y and can at any time undergo a language shift. The fractions of the X- and Y-speakers, x(t)𝑥𝑡x(t)italic_x ( italic_t ) and y(t)𝑦𝑡y(t)italic_y ( italic_t ), satisfy the condition x(t)+y(t)=1𝑥𝑡𝑦𝑡1x(t)+y(t)=1italic_x ( italic_t ) + italic_y ( italic_t ) = 1. The mean field dynamical equations for x(t)𝑥𝑡x(t)italic_x ( italic_t ), y(t)𝑦𝑡y(t)italic_y ( italic_t ), can be thus rewritten as a single equation:

x˙=y˙=rx(x)yry(y)x;=rx(x)(1x)ry(1x)x.˙𝑥˙𝑦subscript𝑟𝑥𝑥𝑦subscript𝑟𝑦𝑦𝑥missing-subexpressionsubscript𝑟𝑥𝑥1𝑥subscript𝑟𝑦1𝑥𝑥\begin{array}[]{rll}\dot{x}&=&-\dot{y}=\leavevmode\nobreak\ r_{x}(x)\,y-r_{y}(% y)\,x;\vskip 6.0pt plus 2.0pt minus 2.0pt\\ &=&r_{x}(x)\,(1-x)-r_{y}(1-x)\,x\,.\end{array}start_ARRAY start_ROW start_CELL over˙ start_ARG italic_x end_ARG end_CELL start_CELL = end_CELL start_CELL - over˙ start_ARG italic_y end_ARG = italic_r start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT ( italic_x ) italic_y - italic_r start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT ( italic_y ) italic_x ; end_CELL end_ROW start_ROW start_CELL end_CELL start_CELL = end_CELL start_CELL italic_r start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT ( italic_x ) ( 1 - italic_x ) - italic_r start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT ( 1 - italic_x ) italic_x . end_CELL end_ROW end_ARRAY (1)

The transition rates rxsubscript𝑟𝑥r_{x}italic_r start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT (for Y \to X) and rysubscript𝑟𝑦r_{y}italic_r start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT (for X \to Y) are assumed to be monotonously increasing functions of their arguments; the boundary conditions rx(x0)=0subscript𝑟𝑥𝑥00r_{x}(x\!\to\!0)=0italic_r start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT ( italic_x → 0 ) = 0 and ry(y0)=0subscript𝑟𝑦𝑦00r_{y}(y\to 0)=0italic_r start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT ( italic_y → 0 ) = 0 express the fact that language shift does not take place in the absence of speakers of the other language. In the AS model Abrams-2003a

rx(x)=jxxa,ry(y)=jyya,formulae-sequencesubscript𝑟𝑥𝑥subscript𝑗𝑥superscript𝑥𝑎subscript𝑟𝑦𝑦subscript𝑗𝑦superscript𝑦𝑎\displaystyle r_{x}(x)=j_{x}x^{a}\,,\quad r_{y}(y)=j_{y}y^{a}\,,italic_r start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT ( italic_x ) = italic_j start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT italic_x start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT , italic_r start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT ( italic_y ) = italic_j start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT italic_y start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT , (2)

where the exponent a>0𝑎0a>0italic_a > 0 is called volatility Castello2006a and the parameters jxsubscript𝑗𝑥j_{x}italic_j start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT, jysubscript𝑗𝑦j_{y}italic_j start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT represent the maximal rates of language shift, reached when a speaker is immersed in a linguistic environment composed solely of speakers of the other language . In an analogy with reaction kinetics, Eqs. (2), describing the X \to Y language shift, can be interpreted in terms of a chemical reaction X+Y2YXY2Y\mathrm{X}+\mathrm{Y}\to 2\mathrm{Y}roman_X + roman_Y → 2 roman_Y, which would suggest volatility a=1𝑎1a=1italic_a = 1; however, an analysis of real data suggests that a[1,2]𝑎12a\in[1,2]italic_a ∈ [ 1 , 2 ] Abrams-2003a ; Isern-2014a . The power law transition rate rx(x)subscript𝑟𝑥𝑥r_{x}(x)italic_r start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT ( italic_x ) of the AS model is shown in Fig. 1(a) by the black dotted line for a=1.3𝑎1.3a=1.3italic_a = 1.3.

The difference in the maximal rates jxsubscript𝑗𝑥j_{x}italic_j start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT, jysubscript𝑗𝑦j_{y}italic_j start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT quantifies the social effects that influence the language choices of the individuals. Measuring time in units of (jx+jy)1superscriptsubscript𝑗𝑥subscript𝑗𝑦1(j_{x}+j_{y})^{-1}( italic_j start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT + italic_j start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT and introducing the dimensionless parameter γ=jx/(jx+jy)𝛾subscript𝑗𝑥subscript𝑗𝑥subscript𝑗𝑦\gamma=j_{x}/(j_{x}+j_{y})italic_γ = italic_j start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT / ( italic_j start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT + italic_j start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT ), Eq. (1) becomes

x˙=γxa(1x)(1γ)(1x)ax.˙𝑥𝛾superscript𝑥𝑎1𝑥1𝛾superscript1𝑥𝑎𝑥\dot{x}=\gamma x^{a}(1-x)-(1-\gamma)(1-x)^{a}x\,.over˙ start_ARG italic_x end_ARG = italic_γ italic_x start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT ( 1 - italic_x ) - ( 1 - italic_γ ) ( 1 - italic_x ) start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT italic_x . (3)

The long-time behavior of the solution of this equation depends on the values of a𝑎aitalic_a and γ𝛾\gammaitalic_γ. For a>1𝑎1a>1italic_a > 1 there are two attractive equilibrium points, x=0𝑥0x=0italic_x = 0 and x=1𝑥1x=1italic_x = 1. For a=1𝑎1a=1italic_a = 1 there is a single attractive point: x=1𝑥1x=1italic_x = 1 for γ>1/2𝛾12\gamma>1/2italic_γ > 1 / 2, and x=0𝑥0x=0italic_x = 0 for γ<1/2𝛾12\gamma<1/2italic_γ < 1 / 2. For a<1𝑎1a<1italic_a < 1 an attractive stable point with x(0,1)𝑥01x\in(0,1)italic_x ∈ ( 0 , 1 ) exists, corresponding to language coexistence; however values volatility a<1𝑎1a<1italic_a < 1 are not observed in reality.

Refer to caption
Figure 1: Panel (a): Transition rates rx(x)subscript𝑟𝑥𝑥r_{x}(x)italic_r start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT ( italic_x ). Black dotted line – power law rate (2) of the AS model with a=1.3𝑎1.3a=1.3italic_a = 1.3; thin blue line – step function rate defined by Eqs. (4)-(5); thick red line – generalized sigmoid rate with w=0.1𝑤0.1w=0.1italic_w = 0.1 and constant r0xsubscript𝑟0𝑥r_{0x}italic_r start_POSTSUBSCRIPT 0 italic_x end_POSTSUBSCRIPT; dashed magenta line – generalized sigmoid rate with w=0.1𝑤0.1w=0.1italic_w = 0.1 and r0x(x)=0.25+0.75xsubscript𝑟0𝑥𝑥0.250.75𝑥r_{0x}(x)=0.25+0.75xitalic_r start_POSTSUBSCRIPT 0 italic_x end_POSTSUBSCRIPT ( italic_x ) = 0.25 + 0.75 italic_x. For all transition rates jx=1,x=0.2formulae-sequencesubscript𝑗𝑥1superscript𝑥0.2j_{x}=1,x^{*}=0.2italic_j start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT = 1 , italic_x start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT = 0.2. Panel (b): The x𝑥xitalic_x-velocity field defined by Eq. (1), computed for the same transition rates as in panel (a) and for y=x,γ=0.55formulae-sequencesuperscript𝑦superscript𝑥𝛾0.55y^{*}=x^{*},\gamma=0.55italic_y start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT = italic_x start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT , italic_γ = 0.55.

Abrams-Strogatz model with step-function learning rates. – Learning a language is a prerequisite for language shift. For the reasons outlined in the introduction, we expect the rates rxsubscript𝑟𝑥r_{x}italic_r start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT, rysubscript𝑟𝑦r_{y}italic_r start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT to have a shape different from Eq. (2), assumed in the AS model. Indeed, we expect that an individual is able to learn a language only if the interaction rate with the speakers of this language exceeds some critical value. If all X-speakers are identical, one expects the existence of a critical concentration ysuperscript𝑦y^{*}italic_y start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT, below which language Y cannot be learned, and an analogous critical concentration xsuperscript𝑥x^{*}italic_x start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT for Y-speakers, suggesting a rate function of the form [see the thin blue line in Fig. 1(a)]

rx=r0x(x)Θ(xx),ry=r0y(y)Θ(yy).formulae-sequencesubscript𝑟𝑥subscript𝑟0𝑥𝑥Θ𝑥superscript𝑥subscript𝑟𝑦subscript𝑟0𝑦𝑦Θ𝑦superscript𝑦r_{x}=r_{0x}(x)\Theta(x-x^{*})\,,\quad r_{y}=r_{0y}(y)\Theta(y-y^{*})\,.italic_r start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT = italic_r start_POSTSUBSCRIPT 0 italic_x end_POSTSUBSCRIPT ( italic_x ) roman_Θ ( italic_x - italic_x start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ) , italic_r start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT = italic_r start_POSTSUBSCRIPT 0 italic_y end_POSTSUBSCRIPT ( italic_y ) roman_Θ ( italic_y - italic_y start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ) . (4)

The threshold values x,ysuperscript𝑥superscript𝑦x^{*},y^{*}italic_x start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT , italic_y start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT are assumed to be different, reflecting the differences in language learning difficulty or prestige. The functions r0x(x)subscript𝑟0𝑥𝑥r_{0x}(x)italic_r start_POSTSUBSCRIPT 0 italic_x end_POSTSUBSCRIPT ( italic_x ) and r0y(y)subscript𝑟0𝑦𝑦r_{0y}(y)italic_r start_POSTSUBSCRIPT 0 italic_y end_POSTSUBSCRIPT ( italic_y ) are positive and non-decreasing, satisfying the conditions r0x(x=1)=jxsubscript𝑟0𝑥𝑥1subscript𝑗𝑥r_{0x}(x\!=\!1)=j_{x}italic_r start_POSTSUBSCRIPT 0 italic_x end_POSTSUBSCRIPT ( italic_x = 1 ) = italic_j start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT and r0y(y=1)=jysubscript𝑟0𝑦𝑦1subscript𝑗𝑦r_{0y}(y\!=\!1)=j_{y}italic_r start_POSTSUBSCRIPT 0 italic_y end_POSTSUBSCRIPT ( italic_y = 1 ) = italic_j start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT.

In the simple case, when

r0xjx,r0yjy,formulae-sequencesubscript𝑟0𝑥subscript𝑗𝑥subscript𝑟0𝑦subscript𝑗𝑦r_{0x}\equiv j_{x}\,,\quad r_{0y}\equiv j_{y}\,,italic_r start_POSTSUBSCRIPT 0 italic_x end_POSTSUBSCRIPT ≡ italic_j start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT , italic_r start_POSTSUBSCRIPT 0 italic_y end_POSTSUBSCRIPT ≡ italic_j start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT , (5)

Eq. (1) becomes

x˙=γΘ(xx)(1x)(1γ)Θ(1xy)x.˙𝑥𝛾Θ𝑥superscript𝑥1𝑥1𝛾Θ1𝑥superscript𝑦𝑥\dot{x}=\gamma\Theta(x-x^{*})\,(1-x)-(1-\gamma)\Theta(1-x-y^{*})\,x\,.over˙ start_ARG italic_x end_ARG = italic_γ roman_Θ ( italic_x - italic_x start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ) ( 1 - italic_x ) - ( 1 - italic_γ ) roman_Θ ( 1 - italic_x - italic_y start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ) italic_x . (6)

The dynamical evolution described by Eq. (6) is controlled by the step functions Θ(xx)Θ𝑥superscript𝑥\Theta(x-x^{*})roman_Θ ( italic_x - italic_x start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ) and Θ(1xy)Θ1𝑥superscript𝑦\Theta(1-x-y^{*})roman_Θ ( 1 - italic_x - italic_y start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ). For each pair of parameters x,ysuperscript𝑥superscript𝑦x^{*},y^{*}italic_x start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT , italic_y start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT, the conditions x=x𝑥superscript𝑥x=x^{*}italic_x = italic_x start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT and 1x=y1𝑥superscript𝑦1-x=y^{*}1 - italic_x = italic_y start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT generate four possible options, corresponding to the two ΘΘ\Thetaroman_Θ-functions assuming a value equal to zero or one. For each of these options, Eq. (6) becomes linear and can be solved exactly, unlike the AS model.

If x(1y,x)𝑥1superscript𝑦superscript𝑥x\in(1-y^{*},x^{*})italic_x ∈ ( 1 - italic_y start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT , italic_x start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ), i.e., if the arguments of both step functions are negative, Eq. (6) reduces to x˙=0˙𝑥0\dot{x}=0over˙ start_ARG italic_x end_ARG = 0, and x(t)x0t𝑥𝑡subscript𝑥0for-all𝑡x(t)\equiv x_{0}\leavevmode\nobreak\ \forall titalic_x ( italic_t ) ≡ italic_x start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ∀ italic_t. This frozen regime describes a population where interaction rates are so low that nobody will learn the other language and undergo language shift.

If x>max(x,1y)𝑥superscript𝑥1superscript𝑦x>\max(x^{*},1-y^{*})italic_x > roman_max ( italic_x start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT , 1 - italic_y start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ), then Θ(xx)=1Θ𝑥superscript𝑥1\Theta(x-x^{*})=1roman_Θ ( italic_x - italic_x start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ) = 1 and Θ(1xy)=0Θ1𝑥superscript𝑦0\Theta(1-x-y^{*})=0roman_Θ ( 1 - italic_x - italic_y start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ) = 0 and Eq. (6) reduces to x˙=γ(1x)˙𝑥𝛾1𝑥\dot{x}=\gamma(1-x)over˙ start_ARG italic_x end_ARG = italic_γ ( 1 - italic_x ). The solution of this equation increases with time, x=1(1x0)exp(γt)𝑥11subscript𝑥0𝛾𝑡x=1-(1-x_{0})\exp(-\gamma t)italic_x = 1 - ( 1 - italic_x start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) roman_exp ( - italic_γ italic_t ), and therefore, if the condition x>max(x,1y)𝑥superscript𝑥1superscript𝑦x>\max(x^{*},1-y^{*})italic_x > roman_max ( italic_x start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT , 1 - italic_y start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ) is satisfied initially, it remains satisfied at all subsequent moments. This regime corresponds to a system containing enough X-speakers, so that Y-speakers will learn language X, but not vice versa, and the dynamics eventually converges to consensus in language X, i.e., to solution xI=1subscript𝑥I1x_{\text{I}}=1italic_x start_POSTSUBSCRIPT I end_POSTSUBSCRIPT = 1.

The case x<min(x,1y)𝑥superscript𝑥1superscript𝑦x<\min(x^{*},1-y^{*})italic_x < roman_min ( italic_x start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT , 1 - italic_y start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ) is analogous up to replacement x1x,γ1γ𝑥1𝑥𝛾1𝛾x\leftrightarrow 1-x,\gamma\leftrightarrow 1-\gammaitalic_x ↔ 1 - italic_x , italic_γ ↔ 1 - italic_γ and leads to the convergence to consensus in language Y, corresponding to the attractive stable point xII=0subscript𝑥II0x_{\text{II}}=0italic_x start_POSTSUBSCRIPT II end_POSTSUBSCRIPT = 0.

Refer to caption
Figure 2: Panel (a): Plane xsuperscript𝑥x^{*}italic_x start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT-ysuperscript𝑦y^{*}italic_y start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT split into different regions corresponding to possible outcomes of the dynamics defined by Eq. (6): state 0 represents a dynamics frozen at the initial condition x0=x(0)subscript𝑥0𝑥0x_{0}=x(0)italic_x start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = italic_x ( 0 ); state I to the X-consensus attractive fixed point xI=1subscript𝑥I1x_{\text{I}}=1italic_x start_POSTSUBSCRIPT I end_POSTSUBSCRIPT = 1; state II to Y-consensus, xII=0subscript𝑥II0x_{\text{II}}=0italic_x start_POSTSUBSCRIPT II end_POSTSUBSCRIPT = 0; and state III to the coexistence point xIII=γsubscript𝑥III𝛾x_{\text{III}}=\gammaitalic_x start_POSTSUBSCRIPT III end_POSTSUBSCRIPT = italic_γ. Panel (b): Cross-section of x0subscript𝑥0x_{0}italic_x start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT-xsuperscript𝑥x^{*}italic_x start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT-ysuperscript𝑦y^{*}italic_y start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT space along the dashed line x=ysuperscript𝑥superscript𝑦x^{*}=y^{*}italic_x start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT = italic_y start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT in panel (a), showing the dependence on initial conditions. The initial conditions x=x(0)𝑥𝑥0x=x(0)italic_x = italic_x ( 0 ) of each region lead to a unique asymptotic solution indicated, apart from those of the shaded region, defined by x=y=min(γ,1γ)superscript𝑥superscript𝑦𝛾1𝛾x^{*}=y^{*}=\min(\gamma,1-\gamma)italic_x start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT = italic_y start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT = roman_min ( italic_γ , 1 - italic_γ ) and x<x0<1xsuperscript𝑥subscript𝑥01superscript𝑥x^{*}<x_{0}<1-x^{*}italic_x start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT < italic_x start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT < 1 - italic_x start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT, which lead to xII=0subscript𝑥II0x_{\text{II}}=0italic_x start_POSTSUBSCRIPT II end_POSTSUBSCRIPT = 0 if γ<1/2𝛾12\gamma<1/2italic_γ < 1 / 2 or xI=1subscript𝑥I1x_{\text{I}}=1italic_x start_POSTSUBSCRIPT I end_POSTSUBSCRIPT = 1 if γ>1/2𝛾12\gamma>1/2italic_γ > 1 / 2.

Finally, if x[x,1y]𝑥superscript𝑥1superscript𝑦x\in[x^{*},1-y^{*}]italic_x ∈ [ italic_x start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT , 1 - italic_y start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ], both step functions equal one, i.e., there are enough contacts in the system, so that both transitions from X to Y and from Y to X are possible. In this case, Eq. (6) becomes x˙=γx˙𝑥𝛾𝑥\dot{x}=\gamma-xover˙ start_ARG italic_x end_ARG = italic_γ - italic_x, which has the solution x(t)=γ(γx0)exp(t)𝑥𝑡𝛾𝛾subscript𝑥0𝑡x(t)=\gamma-(\gamma-x_{0})\exp(-t)italic_x ( italic_t ) = italic_γ - ( italic_γ - italic_x start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) roman_exp ( - italic_t ), monotonously approaching the limiting value xIII=γsubscript𝑥III𝛾x_{\text{III}}=\gammaitalic_x start_POSTSUBSCRIPT III end_POSTSUBSCRIPT = italic_γ. Importantly, contrary to the previous cases, the constraint x(t)(x,1y)𝑥𝑡superscript𝑥1superscript𝑦x(t)\in(x^{*},1-y^{*})italic_x ( italic_t ) ∈ ( italic_x start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT , 1 - italic_y start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ) defining this dynamical regime may not be fulfilled at t>0𝑡0t>0italic_t > 0. If γ[x,1y]𝛾superscript𝑥1superscript𝑦\gamma\in[x^{*},1-y^{*}]italic_γ ∈ [ italic_x start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT , 1 - italic_y start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ], the dynamics remains in the same region and the solution converges to the attractive stable point x=xIII𝑥subscript𝑥IIIx=x_{\text{III}}italic_x = italic_x start_POSTSUBSCRIPT III end_POSTSUBSCRIPT. If γ𝛾\gammaitalic_γ is above the upper limit of the interval, γ>1y𝛾1superscript𝑦\gamma>1-y^{*}italic_γ > 1 - italic_y start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT, the solution x(t)𝑥𝑡x(t)italic_x ( italic_t ) will increase until it reaches the region x>max(x,1y)𝑥superscript𝑥1superscript𝑦x>\max(x^{*},1-y^{*})italic_x > roman_max ( italic_x start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT , 1 - italic_y start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ) at some time and at long times gets attracted towards the stable point x=xI𝑥subscript𝑥Ix=x_{\text{I}}italic_x = italic_x start_POSTSUBSCRIPT I end_POSTSUBSCRIPT. If γ𝛾\gammaitalic_γ is below the lower limit of the interval, γ<x𝛾superscript𝑥\gamma<x^{*}italic_γ < italic_x start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT, then at some time the solution will reach the region x<min(x,1y)𝑥superscript𝑥1superscript𝑦x<\min(x^{*},1-y^{*})italic_x < roman_min ( italic_x start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT , 1 - italic_y start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ) and will eventually converge towards the stable point x=xII𝑥subscript𝑥IIx=x_{\text{II}}italic_x = italic_x start_POSTSUBSCRIPT II end_POSTSUBSCRIPT.

Refer to caption
Figure 3: Time-evolution of the fractions of X-speakers for different initial conditions x(0)=1/8,2/8,,7/8𝑥0182878x(0)=1/8,2/8,\dots,7/8italic_x ( 0 ) = 1 / 8 , 2 / 8 , … , 7 / 8 (from red to purple) and for x=ysuperscript𝑥superscript𝑦x^{*}=y^{*}italic_x start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT = italic_y start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT; γ=0.3𝛾0.3\gamma=0.3italic_γ = 0.3. Solid lines correspond to the results obtained using the step-function rates and the dashed lines using the sigmoid rates with w=0.07𝑤0.07w=0.07italic_w = 0.07. Panel (a): x=0.7superscript𝑥0.7x^{*}=0.7italic_x start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT = 0.7; possible outcomes are I, II and 0 [see Fig. 2(b)]; for sigmoid rates the 0 regime becomes unstable and converges to either xIsubscript𝑥Ix_{\text{I}}italic_x start_POSTSUBSCRIPT I end_POSTSUBSCRIPT or xIIsubscript𝑥IIx_{\text{II}}italic_x start_POSTSUBSCRIPT II end_POSTSUBSCRIPT. Panel (b): x=0.35superscript𝑥0.35x^{*}=0.35italic_x start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT = 0.35, possible outcomes are I, II; for step-function rates there is discontinuity in x˙˙𝑥\dot{x}over˙ start_ARG italic_x end_ARG when crossing x=x𝑥superscript𝑥x=x^{*}italic_x = italic_x start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT. Panel (c): x=0.2superscript𝑥0.2x^{*}=0.2italic_x start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT = 0.2, possible outcomes are I, II and III. In the case of S-shaped rates the boundaries of the basins of attraction move slightly, e.g., in panel (c) the initial condition x0=7/8subscript𝑥078x_{0}=7/8italic_x start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = 7 / 8 is attracted to the intermediate stable point xIIIsubscript𝑥IIIx_{\text{III}}italic_x start_POSTSUBSCRIPT III end_POSTSUBSCRIPT. However, outcome I is still possible, as illustrated by trajectory with x0=15/16subscript𝑥01516x_{0}=15/16italic_x start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = 15 / 16 (magenta dashed line).

The possible outcomes of the dynamics are summarized by Fig. 2. Figure 2(a) shows the xsuperscript𝑥x^{*}italic_x start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT-ysuperscript𝑦y^{*}italic_y start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT state diagram, split into different regions depending on the possible solutions, indicated in the same area; e.g., in the region labeled “0 + I + II”, the system can remain frozen in the initial state (0) or converge to the consensus in X (I) or in Y (II). Figure 2(b) illustrates the dependence of the outcome on the initial condition x0=x(0)subscript𝑥0𝑥0x_{0}=x(0)italic_x start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = italic_x ( 0 ) in the case x=ysuperscript𝑥superscript𝑦x^{*}=y^{*}italic_x start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT = italic_y start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT. The plane is divided into disjoint regions corresponding to different outcomes. If the initial conditions of the system are within the gray region, the system will converge either to state I of X-consensus, if γ>1/2𝛾12\gamma>1/2italic_γ > 1 / 2, or to state II of Y-consensus, if γ<1/2𝛾12\gamma<1/2italic_γ < 1 / 2.

In Fig. 3 we plot with solid lines x(t)𝑥𝑡x(t)italic_x ( italic_t ) for γ=0.3𝛾0.3\gamma=0.3italic_γ = 0.3 and three threshold values of x=ysuperscript𝑥superscript𝑦x^{*}=y^{*}italic_x start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT = italic_y start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT. For x=0.7superscript𝑥0.7x^{*}=0.7italic_x start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT = 0.7 [panel (a)], initial conditions x0>0.7subscript𝑥00.7x_{0}>0.7italic_x start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT > 0.7 and x0<0.3subscript𝑥00.3x_{0}<0.3italic_x start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT < 0.3 lead to the attracting fixed points xI=1subscript𝑥I1x_{\text{I}}=1italic_x start_POSTSUBSCRIPT I end_POSTSUBSCRIPT = 1 and xII=0subscript𝑥II0x_{\text{II}}=0italic_x start_POSTSUBSCRIPT II end_POSTSUBSCRIPT = 0, respectively, while for intermediate initial conditions the dynamics remains frozen. If x=0.35superscript𝑥0.35x^{*}=0.35italic_x start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT = 0.35 [panel (b)], the basins of attraction of xIsubscript𝑥Ix_{\text{I}}italic_x start_POSTSUBSCRIPT I end_POSTSUBSCRIPT and xIIsubscript𝑥IIx_{\text{II}}italic_x start_POSTSUBSCRIPT II end_POSTSUBSCRIPT are separated by x0=1y=0.65subscript𝑥01superscript𝑦0.65x_{0}=1-y^{*}=0.65italic_x start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = 1 - italic_y start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT = 0.65. Note that trajectories starting between xsuperscript𝑥x^{*}italic_x start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT and ysuperscript𝑦y^{*}italic_y start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT consist of two different exponential parts; the kink corresponds to x=x𝑥superscript𝑥x=x^{*}italic_x = italic_x start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT, at which the first step function in Eq. (6) changes its value. Finally, if x=0.2superscript𝑥0.2x^{*}=0.2italic_x start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT = 0.2 [panel (c)], initial conditions x0>0.8subscript𝑥00.8x_{0}>0.8italic_x start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT > 0.8 and x0<0.2subscript𝑥00.2x_{0}<0.2italic_x start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT < 0.2 are still attracted to xIsubscript𝑥Ix_{\text{I}}italic_x start_POSTSUBSCRIPT I end_POSTSUBSCRIPT and xIIsubscript𝑥IIx_{\text{II}}italic_x start_POSTSUBSCRIPT II end_POSTSUBSCRIPT, respectively, but the intermediate initial conditions converge to xIII=γ=0.3subscript𝑥III𝛾0.3x_{\text{III}}=\gamma=0.3italic_x start_POSTSUBSCRIPT III end_POSTSUBSCRIPT = italic_γ = 0.3, corresponding to a stable dynamic equilibrium between languages.

Abrams-Strogatz model with sigmoid learning rates. – Because people are not identical, but rather heterogeneous in their linguistic traits, such as communication patterns and language learning abilities, due to factors like individual skills, education, and age Griffiths-2020a ; Scialla-2023a , individuals should be characterized by different threshold values xsuperscript𝑥x^{*}italic_x start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT, ysuperscript𝑦y^{*}italic_y start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT. If the distribution of these traits is relatively narrow, this changes the step-function ΘΘ\Thetaroman_Θ in Eq. (4) into a sigmoid function H𝐻Hitalic_H. Namely, Θ(xx)Θ𝑥superscript𝑥\Theta(x-x^{*})roman_Θ ( italic_x - italic_x start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ) becomes H(x,x,w)𝐻𝑥superscript𝑥𝑤H(x,x^{*},w)italic_H ( italic_x , italic_x start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT , italic_w ), where the parameter w𝑤witalic_w represents the step width and the sigmoid function H𝐻Hitalic_H satisfies the conditions [see the thick red line in Fig. 1(a) for w=0.1𝑤0.1w=0.1italic_w = 0.1 and constant r0xsubscript𝑟0𝑥r_{0x}italic_r start_POSTSUBSCRIPT 0 italic_x end_POSTSUBSCRIPT]

H(0,x,w)=0,H(1,x,w)=1.formulae-sequence𝐻0superscript𝑥𝑤0𝐻1superscript𝑥𝑤1H(0,x^{*},w)=0\,,\quad H(1,x^{*},w)=1\,.italic_H ( 0 , italic_x start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT , italic_w ) = 0 , italic_H ( 1 , italic_x start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT , italic_w ) = 1 . (7)

Analogously, Θ(1xy)Θ1𝑥superscript𝑦\Theta(1-x-y^{*})roman_Θ ( 1 - italic_x - italic_y start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ) is replaced by H(1x,y,w)𝐻1𝑥superscript𝑦𝑤H(1-x,y^{*},w)italic_H ( 1 - italic_x , italic_y start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT , italic_w ). As an example, we choose

H(x,x,w)=S(x,x,w)S(0,x,w)S(1,x,w)S(0,x,w),S(x,x,w)={1+tanh[(xx)/w]}/2,𝐻𝑥superscript𝑥𝑤𝑆𝑥superscript𝑥𝑤𝑆0superscript𝑥𝑤𝑆1superscript𝑥𝑤𝑆0superscript𝑥𝑤𝑆𝑥superscript𝑥𝑤1𝑥superscript𝑥𝑤2\begin{array}[]{rll}H(x,x^{*},w)&=&\displaystyle\frac{S(x,x^{*},w)-S(0,x^{*},w% )}{S(1,x^{*},w)-S(0,x^{*},w)}\,,\vskip 6.0pt plus 2.0pt minus 2.0pt\\ S(x,x^{*},w)&=&\{1+\tanh[(x-x^{*})/w]\}/2\,,\end{array}start_ARRAY start_ROW start_CELL italic_H ( italic_x , italic_x start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT , italic_w ) end_CELL start_CELL = end_CELL start_CELL divide start_ARG italic_S ( italic_x , italic_x start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT , italic_w ) - italic_S ( 0 , italic_x start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT , italic_w ) end_ARG start_ARG italic_S ( 1 , italic_x start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT , italic_w ) - italic_S ( 0 , italic_x start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT , italic_w ) end_ARG , end_CELL end_ROW start_ROW start_CELL italic_S ( italic_x , italic_x start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT , italic_w ) end_CELL start_CELL = end_CELL start_CELL { 1 + roman_tanh [ ( italic_x - italic_x start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ) / italic_w ] } / 2 , end_CELL end_ROW end_ARRAY (8)

which satisfy boundary conditions (7), and converge to Θ(xx)Θ𝑥superscript𝑥\Theta(x-x^{*})roman_Θ ( italic_x - italic_x start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ) for w0𝑤0w\to 0italic_w → 0.

In Fig. 3 the dashed lines represent numerical results for x(t)𝑥𝑡x(t)italic_x ( italic_t ) for the case of sigmoid learning rates(8) with w=0.07𝑤0.07w=0.07italic_w = 0.07. Comparing the solid and dashed lines in Fig. 3(a), it can be observed that when the step-function is replaced by the sigmoid function, the neutral equilibrium due to frozen dynamics becomes unstable and the trajectory slowly converges either to xI=1subscript𝑥I1x_{\text{I}}=1italic_x start_POSTSUBSCRIPT I end_POSTSUBSCRIPT = 1 or xII=0subscript𝑥II0x_{\text{II}}=0italic_x start_POSTSUBSCRIPT II end_POSTSUBSCRIPT = 0.

Mechanism behind the language coexistence. – The model (6) exhibits two additional regimes not present in the AS model: a frozen state for x+y>1superscript𝑥superscript𝑦1x^{*}+y^{*}>1italic_x start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT + italic_y start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT > 1 and an attractive stable point corresponding to the coexistence of languages X and Y for x+y<1superscript𝑥superscript𝑦1x^{*}+y^{*}<1italic_x start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT + italic_y start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT < 1.

The existence of a frozen state follows from the assumption that language shift does not occur if the interaction rate among individuals is below some universal threshold. The replacement of the step function with the sigmoid shape (8) describes a more realistic scenario, where language shift rates are not identically zero but strongly suppressed if the interaction rates are below the threshold (corresponding to fractions of speakers x<x𝑥superscript𝑥x<x^{*}italic_x < italic_x start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT or y<y𝑦superscript𝑦y<y^{*}italic_y < italic_y start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT), see, e.g., the well-known lack of interactions between the Dutch- and French-speaking communities in Belgium Blondel2008 . Note that the chosen unit of time (time needed to learn a new language) corresponds to several years, so typical observable times do not exceed t30similar-to𝑡30t\sim 30italic_t ∼ 30, which means that from an observational point of view such a slow decay, for a small enough width w𝑤witalic_w of the sigmoid function, might actually appear as a stable language coexistence.

In turn, language coexistence for x+y<1superscript𝑥superscript𝑦1x^{*}+y^{*}<1italic_x start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT + italic_y start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT < 1 is not due to a freezing of the dynamics but to a dynamical equilibrium, in which the same number of speakers switch language with the same rate in the two opposite directions, X \to Y and Y \to X. Figure 1(a) compares the shapes of various Y \to X shift rates rx(x)subscript𝑟𝑥𝑥r_{x}(x)italic_r start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT ( italic_x ): that of the AS model, Eq. (2) (a1𝑎1a\geq 1italic_a ≥ 1) (where no coexistence is possible); the step-function rate given by Eq. (4); the sigmoid rates defined in Eq. (8); and a generalized rate rx(x)=H(x,0.2,0.1)(0.25+0.75x)subscript𝑟𝑥𝑥𝐻𝑥0.20.10.250.75𝑥r_{x}(x)=H(x,0.2,0.1)(0.25+0.75x)italic_r start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT ( italic_x ) = italic_H ( italic_x , 0.2 , 0.1 ) ( 0.25 + 0.75 italic_x ), constructed starting from the sigmoid rate, but such that it resembles the power-law rate of the AS model. The corresponding velocity fields x˙(t)=v(x)˙𝑥𝑡𝑣𝑥\dot{x}(t)=v(x)over˙ start_ARG italic_x end_ARG ( italic_t ) = italic_v ( italic_x ) associated to the different rates, shown in Fig. 1(b), demonstrate some fundamental differences not revealed by the plot of the rates. In fact, a point x(0,1)𝑥01x\in(0,1)italic_x ∈ ( 0 , 1 ) is an attractive stable point only if the velocity field is such that x˙=v(x)=0˙𝑥𝑣𝑥0\dot{x}=v(x)=0over˙ start_ARG italic_x end_ARG = italic_v ( italic_x ) = 0 and v(x)/x<0𝑣𝑥𝑥0\partial v(x)/\partial x<0∂ italic_v ( italic_x ) / ∂ italic_x < 0 Strogatz-2018a . Figure 1(b) shows that there is no such point for the AS model for a1𝑎1a\geq 1italic_a ≥ 1, whereas it exists for all the other models considered. We conclude that the absence of language coexistence in the AS model is an artifact of the chosen shape of rate functions and even a relatively small change of the power-law rate form – reflecting an underlying learning process – can lead to stabilization of a state where two competing languages coexist.

Conclusion and outlook. – In this letter we presented a language competition model that takes into account the dynamics of the language learning process and allows an analytical investigation in the mean-field limit.

The addition of constraints on the interaction rates – the minimum interaction frequencies between speakers of different languages required to learn a language – leads to redefining the language shift rates of the AS model through the introduction of a multiplicative Heaviside function term. When population heterogeneity is taken into account, the universal threshold value for all speakers is replaced by a bell-shaped distribution and the step function rates turn into sigmoid rates.

Depending on interaction rates and initial fractions of speakers, we find three possible scenarios: 1) a consensus state characterized by the extinction of one language, either X or Y, and adoption of Y or X, respectively; 2) a final state equal to the initial state, following from the absence of language shifts due to absence or extremely low level of interactions; 3) a final stable state where the two languages coexist.

Beyond the AS model, the approach presented in this letter could be applied to other, more sophisticated models of language competition, therefore enabling the addition to such models of the effect of the learning process. This is expected to lead to more complicated stability state scenarios than the ones shown in this letter. Additionally, one expects language shift in real systems to be subject to some uncertainty and noise.

Acknowledgments. – MP, EH, and SS acknowledge support from the Estonian Research Council through Grant PRG1059. MT acknowledges support from the CUDAN ERA Chair project (EU Horizon 2020 research and innovation program, Grant No. 810961). We are grateful to S. Maslov for fruitful discussions.

References

  • (1) I. Baggs and H.I. Freedman. A mathematical model for the dynamical interactions between a unilingual and bilingual population: Persistence versus extinction. J. of Math. Sociology, 16:51, 1990.
  • (2) D.M. Abrams and S.H. Strogatz. Modelling the dynamics of language death. Nature, 424:900, 2003.
  • (3) M. Patriarca, X. Castelló, J.R. Uriarte, V.M. Eguíluz, and M. San Miguel. Modeling two-language competition dynamics. Adv. Comp. Syst., 15(3&4):1250048, 2012.
  • (4) M. Patriarca, E. Heinsalu, and J.L. Leonard. Languages in Space and Time: Models and Methods from Complex Systems Theory. Physics of Society: Econophysics and Sociophysics. Cambridge University Press, 2020.
  • (5) J.W. Minett and W.S-Y. Wang. Modelling endangered languages: The effects of bilingualism and social structure. Lingua, 118:19, 2008.
  • (6) A. Baronchelli, L. Dall’Asta, A. Barrat, and V. Loreto. Topology-induced coarsening in language games. Phys. Rev. E, 73:015102, January 2006.
  • (7) E. Heinsalu, M. Patriarca, and J. L. Léonard. The role of bilinguals in language competition. Advances in Complex Systems, 17(1):1450003, 2014.
  • (8) M. Patriarca and T. Leppänen. Modeling language competition. Physica A, 338:296–299, 2004.
  • (9) M. Patriarca and E. Heinsalu. Influence of geography on language competition. Physica A, 388(2-3):174–186, January 2009.
  • (10) I. Baggs and H.I. Freedman. Can the speakers of a dominated language survive as unilinguals — a mathematical-model of bilingualism. Mathematical and computer modelling, 18:9, 1993.
  • (11) J.P. Pinasco and L. Romanelli. Coexistence of languages is possible. Physica A, 361:355, 2006.
  • (12) A. Kandler and J. Steele. Ecological models of language competition. Biological Theory, 3:164, 2008.
  • (13) A. Kandler. Demography and language competition. Human Biology, 81:181, 2009.
  • (14) J. Mira and A. Paredes. Interlinguistic similarity and language death dynamics. Europhys. Lett., 69:1031, 2005.
  • (15) D.M. Abrams, H.A. Yaple, and R.J. Wiener. Dynamics of social group competition: Modeling the decline of religious affiliation. Physical Review Letters, 107:088701, 8 2011.
  • (16) X. Lu, J. Gao, and B.K. Szymanski. The evolution of polarization in the legislative branch of government. J. R. Soc. Interface, 16:20190010, 2019.
  • (17) S. Scialla, J.-K. Liivand, M. Patriarca, and E. Heinsalu. A three-state language competition model including language learning and attrition. Frontiers in Complex Systems, 1, 2023.
  • (18) H. Ebbinghaus. Memory: A contribution to experimental psychology. Dover, New York, 1885.
  • (19) J.M.J. Murre and J. Dros. Replication and analysis of ebbinghaus’ forgetting curve. PLoS ONE, 10, 2015.
  • (20) X. Castelló, V.M. Eguíluz, and M. San Miguel. Ordering dynamics with two non-excluding options: bilingualism in language competition. New J. Phys., 8:306, 2006.
  • (21) N. Isern and J. Fort. Language extinction and linguistic fronts. Journal of The Royal Society Interface, 11(94):20140028, 2014.
  • (22) C. Griffiths and A. Soruç. Individual Differences in Language Learning: A Complex Systems Theory Perspective. Springer International Publishing, 2020.
  • (23) V.D. Blondel, J.L. Guillaume, R. Lambiotte, and E. Lefebvre. Fast unfolding of communities in large networks. J. Stat. Mech, 2008.
  • (24) S.H. Strogatz. Nonlinear Dynamics and Chaos: With Applications to Physics, Biology, Chemistry, and Engineering. CRC Press, 2018.