1. Introduction
In recent years, Biró, Néda, and collaborators have successfully applied a simple dynamical model to address the behavior of complex systems of a varied nature, including high energy physics systems, ecology, population distribution, scientific citations, and social media popularity [
1,
2,
3,
4]. In addition, particularly promising are more recent applications to income and wealth distributions [
5,
6,
7]. These latter applications contribute to an ongoing effort to model social and economic phenomena by means of simple mathematical models, often inspired in statistical physics and stochastic processes (see e.g., [
8,
9,
10]). Going beyond the standard master equation for diffusion in a discrete system, the authors intend to explore unidirectional growth processes in order to model the dynamics of complex systems, including open ones. These processes explicitly break the detailed balance condition, and the unidirectional growth is supplemented with a mechanism designed to ensure the existence of interesting stationary distributions [
1,
2].
Specifically, the model concerns a probability distribution
evolving in time according to the following differential equations:
Within this class of models, each particular case is parametrized by the sequences
and
. One can recognize in (
1) the differential equations for the probability of each state in a continuous-time Markov chain [
11,
12]. In particular,
characterizes the dynamics of a pure birth process [
11,
12]. However, the one-step transitions are supplemented by nonlocal transitions to the state
, modifying the dynamics in order to allow for nontrivial stationary solutions.
In fact, the time-independent version of (
1), i.e., with
, for all
, can be used by iteration as a generator for probability distributions, starting from some
. Several interesting distributions have been considered and discussed in applications, for various
and
. In particular, for constant
, the standard exponential distribution
emerges for the case of constant
, whereas a linear growth
produces the so-called Waring distribution [
13]. Other distributions of interest are generated by other sequences, with constant and nonconstant
and a variety of behaviors for
, including power-law and exponential growth (see Refs. [
1,
2], and also [
14] for the emergence of distributions in a related context).
The purpose of the current article is twofold. In
Section 4, we address the behavior of the transient, time-dependent solutions of the Biró–Néda model for the two most simple and common cases, namely with constant
and constant or linear
. In this respect, we develop the analysis first put forward in Ref. [
15], hopefully contributing to the effort of exploring the behavior of these models, and in particular to improve the understanding of the approach to stationarity.
In the first part of the article, we point out and address technical challenges faced by the Biró–Néda model, outside the simple cases mentioned above. First, we will argue in
Section 2 that the current formulation of the model requires modification, in order to accommodate the cases such that the sequence of values
grow faster than
n. In fact, for those cases, we will show that the model does not actually admit (nontrivial) stationary solutions. The above-mentioned iteration process is of course present, however the only stationary solution compatible with (
2) gives
. On the technical side, we disprove a claim made in Ref. [
1], showing that it fails for those fast sequences
.
As a second contribution, we discuss the solution to the above issue. We will see in
Section 3 that there is a natural and simple modification of Equation (
2) compatible with the stationary solutions, however it comes at a cost. In fact, we will argue that probability is only conserved close to stationarity, which in this case means that it can only be conserved starting from initial distributions that are quite different from typical initial states. This consequence seems to be unavoidable, since the stationary solution introduces a nonzero boundary term in the equation for probability conservation.
It should again be said that no such issues affect the most simple and most common applications discussed by Biró, Néda, and collaborators, which most frequently involve simple situations for which the above-mentioned claim made in Ref. [
1] is actually valid. Nevertheless, the departure from those simple cases is relevant, and our remarks shed light on the limits of applicability of the model, hopefully contributing to improve the mathematical formulation and the mathematical status of the model itself.
2. Stationary Solution
In this section we will disprove a general claim made in Ref. [
1] and show that, for the cases where that claim is not valid, the current formulation of the Biró–Néda model [
1,
2] does not admit a nontrivial stationary solution.
The Biró–Néda model consists of the system of Equations (
1) and (
2) for the evolution of a probability distribution
, where the dot stands for time derivative, and time
t takes values in
. Following Refs. [
1,
2], we introduce parameters
:
where all values
and
are positive. The sequence of values
is referred to by the authors of Refs. [
1,
2] as the loss rate, or reset rate, and
as the growth rate.
Let us then suppose that a stationary solution of the model exists, i.e., such that
, for all
t, for all
. Let
be that solution, where
is some sequence of real numbers satisfying:
and a corresponding condition coming from Equation (
2), which is:
On the other hand, one can easily obtain the expression for
, for all
, in terms of
, by a standard iteration typical of these systems [
12]. Starting from
, the iteration of system (
4) gives:
Following Ref. [
1], let us rewrite (
6) in the form (valid also for
):
Again as in Ref. [
1], we introduce also a special notation
for the following infinite sum:
where we have defined:
Note that depends exclusively on the sequence .
It follows immediately from (
7) that:
Thus, the authors of Refs. [
1,
2] have two distinct expressions for
: Equation (
10) above and Equation (
5), obtained from the evolution equation for
(
2). To reconcile these two expressions, it is claimed in Ref. [
1] that
always takes the value
, for all sequences
. We show next that this is not the case. In fact, and although
is indeed equal to one for the most common and simple type of sequences
,
considered in Refs. [
1,
2], it turns out that
is strictly smaller than one for more general sequences
.
Proof. Follows from the sum of Equation (
4), or alternatively, directly from (
9), by working out the expression for
. □
Proposition 1. The infinite sum exists for all (positive) sequences , with . The equality is achieved if and only if the sum diverges, when .
Proof. From Lemma 1, it follows that:
The latter limit always exists, since the sequence is clearly decreasing and bounded from below. On the other hand, applying logarithm to the product, it follows that the limit of is zero if and only if the sum diverges. □
Note that
is ensured for all sequences
that do not tend to zero, and also for sequences
that behave like
, for large
n. However,
fails to be equal to one for sequences
that behave, for large
n, as
, with
, since the infinite sum
behaves in that case (apart from some finite term) as
, which converges. Thus,
is indeed satisfied for the simplest cases considered in Refs. [
1,
2,
5,
6,
7,
15], and in particular for constant sequences
, with
being also constant or linearly growing with
n, but it fails even for constant
sequences if
grows like
.
If
is not equal to one, then the Biró–Néda model simply does not admit a nontrivial stationary solution. In fact, the only solution to the joint Equations (
5) and (
10) is in that case
, since
. This of course implies
, for all
n.
The source of the mismatch between expressions (
5) and (
10) present in Refs. [
1,
2] becomes clear when considering the derivative of the total probability. Let us then apply the time derivative to the infinite sum
, taking into account (
1) (and assuming that the derivative and limit of the sum commute). We obtain:
A rearrangement of the finite sums then gives:
Typically, one would like to neglect the last term on the right-hand side, and the requirement of probability conservation would lead to Equation (
2). However, this is incompatible with the possibility of a nontrivial stationary solution, if
. In fact, for a distribution
generated from
by means of the system (
4), it follows from (
7) and (
12) precisely that
, and thus
is zero for a nontrivial stationary solution if and only if
.
Equation (
2) therefore does not admit (nontrivial) stationary solutions when
. In order to include stationary solutions in the model, a modified version of Equation (
2) is required, which we discuss in the next section.
To conclude the present section, let us remark that, regardless of the differential equation for
, the (nontrivial) stationary solution to be defined by (
7) is not necessarily normalizable for arbitrary sequences
,
. In fact, taking
leads to
, which is clearly not summable. On the other hand, considering in particular situations with
, normalizability is definitely ensured for the cases of fast growth rates described e.g., in Refs. [
1,
2]. In fact, it follows from
that
behaves asymptoticaly as
, and is therefore normalizable for all sequences
growing faster than
n 4. Behavior of the Transient Solution
In this section, we depart from foundational and formulation issues, and address the behavior of the time-dependent solutions of the Biró–Néda model for two special cases. In particular, we consider sequences
that are constant, and sequences
that are either constant or growing linearly with
n. In both cases the value of
(
8) is equal to one, no boundary issues such as those discussed in
Section 2 and
Section 3 exist, and the model is fully consistent, as we have just seen.
This issue was originally addressed in Ref. [
15]. In that work, the general solutions of the differential equations were written down, for the two considered cases, and an attempt was made to study the behavior of the transient, i.e., time-dependent, solution. Particular attention was paid to the monotonicity, or lack thereof, of the time-dependent solution when approaching the stationary solution. Although the general solutions presented in Ref. [
15] are absolutely correct, the analysis of their behavior was restricted to a very special case, embodied by very particular initial conditions. We show here that the simple behavior of the solutions discussed in Ref. [
15] is far from generic.
Let us then fix
, for all
, and let
be a sequence of variables satisfying Equations (
1) and (
20) with
, for sequences
that grow, at most, linearly with
n.
Let us write, for arbitrary
n:
Since, for each fixed
n, the set
is a solution of the nonhomogeneous system of differential equations determined by (
1) and (
20) for the variables
, it follows from general arguments that the variables
are solutions of the corresponding homogeneous system, i.e.,
Given that all values
,
, are positive, the functions
tend to zero as time tends to infinity, with
approaching its stationary value
. The detailed behavior of the functions
was analyzed in Ref. [
15] only for the particular initial conditions
,
, for all
. The authors observed only one stationary point for each function
and concluded (analytically in the case of constant
and based on numerical evidence in the other case) that the functions
are monotonic after a critical time
that depends on
n. We show next that the behavior of the functions
is much more involved, in general. In fact, depending on the initial conditions, each function
can have up to
n stationary points, with the position of the last one being arbitrary. Thus, while it is true that all functions
are eventually monotonic, the time after which monotonicity is achieved can be arbitrarily large, for any given
n.
4.1. Constant Growth Rate
Let us then fix
for all
, besides
. As shown in Ref. [
15], the solutions
to the homogeneous system determined by (
23) can be written in terms of the initial values
,
in the form:
where
is a degree-
n polynomial:
The derivative of
is easily obtained:
Thus, the stationary points of
coincide with the positive roots of the function
, which is again a polynomial of degree
n. In particular:
Thus, each has at most n stationary points, and is therefore monotonic after some point. However, for any given pair , , one can find initial conditions such that, for any given n, the polynomial is fairly arbitrary, concerning both the number of positive roots and the position of its largest root. In fact, the following applies:
Proposition 2. Let μ, λ, and n be given, and let denote the largest (positive) root of . Then, for any , one can find initial values , , such that has n positive roots and .
Proof. Let
denote an arbitrary degree-
n polynomial. The equation
gives us a system of linear equations for the set
, in terms of the set
, which can always be solved. Now choose
such that it possesses
n positive roots, which is certainly possible (choose any polynomial with
n real roots and apply a translation). If the largest root of
is not greater than the prescribed value
, replace
with
, for appropriate
. The choice
thus gives us
n positive roots and an arbitrarily large value of
. To prove the proposition, it remains to show that the initial values
,
, can be chosen in a way that is compatible with a probability distribution, namely defined by
. It is thus necessary that:
and
which follow from
,
, and
. This can be simply achieved (if necessary) by replacing the latter polynomial with
, for sufficiently small
. The new polynomial has the same set of roots, and it is certainly possible to satisfy all the conditions (
28) concerning
. Note again that the relation between the
’s and the
’s is linear, and therefore the scaling
results in a scaling
. All conditions (
28) for
can be satisfied for an appropriate choice of
, since the number of conditions is finite. As for condition (
29), it can only be violated if
, since
is satisfied by construction. In that case, one can just further reduce the value of
above, until (
29) is satisfied. Clearly, this last action preserves conditions (
28), therefore we are done for
. For the remaining initial values one can simply set
and
,
. □
4.2. Linear Growth Rate
When all values
in the sequence
are different, the general solution for the functions
takes the form [
15]:
with
The coefficients
and the initial conditions
are related by:
or by the inverse relation:
The above expressions take a simpler form in the particular case considered in Ref. [
15]. Let then:
It follows from (
31) that the coefficients
are just the binomial coefficients, i.e.,
In addition, expression (
30) simplifies to:
with
given by (
35). Relation (
33) in turn becomes:
Therefore, again
is of the form:
with
, where
is a polynomial, this time in the variable
, i.e.,
The derivative is:
and again the stationary points of
correspond to the positive roots of the polynomial
, which now takes the form:
Obviously, the stationary points t of are related to the roots y of by .
The following analogue of proposition (2) can be proven, using essentially the same arguments, with the appropriate adaptations.
Proposition 3. Let γ, σ, and n be given, and let denote the largest (positive) stationary point of (36). Then, for any , one can find initial values , , such that has n positive stationary points and . Proof. Let
denote an arbitrary degree-
n polynomial. Again, the equation
gives us a system of linear equations for the set
, in terms of the set
, which can always be solved, taking into account (
32). Now choose
such that it possesses
n roots in the interval
. This is certainly possible, since one can pick any polynomial
with
n positive roots and replace it by
, for appropriate
. Let
be the smallest root of
. If
is not greater than the prescribed value
M, then simply adjust the value of
above. The choice
thus gives us
n-positive stationary points and an arbitrarily large value of
. To conclude the proof, it remains to show that the initial values
can be chosen such that
defines a normalized probability distribution, which can be done by exactly the same arguments as in proposition (2). □
5. Conclusions and Discussion
We have analyzed the Biró–Néda model [
1,
2], parametrized by the reset rate
and growth rate
. We have shown that, contrary to expectations, the model does not actually admit (nontrivial) stationary solutions, if the sequence of values
grows faster than
n. This follows from the fact that the sum
discussed in Ref. [
1] fails to be equal to one in such cases. Interesting time-independent distributions are nevertheless associated with the sequences
and
, however they simply do not appear as solutions of the model. This is related to the fact that those distributions
are such that
is nonzero, introducing an unbalanced boundary term at infinity.
Keeping the spirit of the Biró–Néda model, and trying in particular to remain within the setting of unidirectional processes, we have proposed a modified version of the dynamical equation for
(
2), allowing for those distributions to emerge as true stationary solutions. This effort is partly successful, in the sense that the solutions are included in the model. However, probability is only conserved close to stationarity. This consequence looks unavoidable, since the lack of backwards interactions seems to leave no other option but to include the solutions essentially by introducing a nonhomogeneous term in the evolution of
, which is consequently reflected as a boundary term in the equation for the conservation of probability. This is to be contrasted e.g., with birth and death processes, where exactly the same stationary solutions can be obtained, with no boundary issues and with unrestricted probability conservation.
It is perhaps not surprising that technical challenges are arising in the Biró–Néda model for fast growth. In fact, at least for constant
, the large
n behavior is expected to be dominated by the
terms in Equation (
1). This is essentially a pure birth process, and those are known to exhibit exotic behavior for a fast growth rate, e.g.,
explosions (see e.g., [
16,
17]) and probability loss [
18], appearing under essentially the same mathematical conditions found in Proposition 1.
Concerning other technical points, one needs to ensure that is normalizable (which we have also shown is not a priori guaranteed for all sequences and ) and that the infinite sum appearing in the differential equation for makes sense. In fact, the coupling of with an infinite number of variables seems technically challenging, and a fast decaying sequence would be preferable for a more amenable formulation. This however conflicts with the normalizability of . Requiring for all n, for some strictly positive a and , might be sufficient to address both questions, however a more detailed study is probably required.
Finally, in
Section 4, we focused on the time-dependent behavior of the functions
, in the amenable cases of a constant reset rate and constant or linear growth rate. Our analysis considerably expands the discussion of the transient behavior presented in Section 6 of Ref. [
15]. The behavior seen in Ref. [
15] is not generic, and in fact comes from the very particular initial conditions
, for all
, which, taking into account Equation (
1), effectively compel all but one of the stationary points of
to be located at
. In general, we were able to show that
, and therefore
, can possess
n stationary points, the last one occurring at an arbitrarily long time. Thus, monotonic convergence can occur, for general initial conditions, only after an arbitrarily long time.