1. Introduction
Preferential attachment graphs are an important class of randomly generated graphs which are often used to capture the “rich gets richer” phenomenon. This class of random graphs has been widely studied within the areas of statistical mechanics (Hartmann and Weigt, Reference Hartmann and Weigt2001; Tsallis and Oliveira, Reference Tsallis and Oliveira2022), network science (Csányi and Szendrői, Reference Csányi and Szendrői2004), probability theory (König, Reference König2005; Rácz and Sridhar, Reference Rácz and Sridhar2022), and game theory (Santos and Pacheco, Reference Santos and Pacheco2005). One of the most popular model of a preferential attachment graph is the so-called Barabási-Albert model (Barabási and Albert, Reference Barabási and Albert1999), which has since been modified in a variety of ways (Zhongdong et al., Reference Zhongdong, Guanghui and Wang2012; Lin et al. Reference Lin, Wang and Chen2006; Alves et al., Reference Alves, Alves, Macedo-Filho, Ferreira and Lima2021). Various other models have been devised thereafter to generate preferential attachment graphs, for example in Berger et al. (Reference Berger, Borgs, Chayes and Saberi2005b) the growth of the random graph is competition-based. Given a graph at a certain time step, the new vertex attaches itself to an existing vertex which ends up minimizing a certain cost function. For a vertex, this cost function depends on its centrality and distance from the root ensuring that the vertices with higher degrees have lower cost functions. In Krapivsky et al. (Reference Krapivsky, Redner and Leyvraz2000), a continuous-time equation governing the number of vertices with degree
$k$
is formulated to study citation networks. In Flaxman et al. (Reference Flaxman, Frieze and Vera2006), a randomly growing graph algorithm that combines the features of a geometric random graph and a preferential attachment graph is analyzed. In Capocci et al. (Reference Capocci, Servedio, Colaiori, Buriol, Donato, Leonardi and Caldarelli2006), properties of Wikipedia are studied by representing topics as vertices and hyperlinks between them as edges. Several preferential attachment hypergraphs (i.e., graphs in which an edge can join any number of vertices) generating models have also been devised in the literature (Avin et al., Reference Avin, Lotker, Nahum and Peleg2019; Giroire et al., Reference Giroire, Nisse, Trolliet and Sulkowska2022; Inoue et al., Reference Inoue, Pham and Shimodaira2022).
Our main objective in this paper is to introduce a new preferential attachment graph-generating algorithm using a modified Pólya urn model. In the classical two-color Pólya urn model, at each time instant
$t$
, a ball is drawn from the urn and returned to the urn along with one ball of the color drawn (Pólya, Reference Pólya1930; Mahmoud, Reference Mahmoud2008; Pemantle, Reference Pemantle2007). In this sense, the Pólya urn model is a suitable reinforcement process for modeling preferential phenomena. In particular, in the context of randomly growing graphs, the reinforcements favor a high-degree vertex in getting an even higher degree as the network grows. Indeed, Pólya urn models have been widely used to model reinforcements, for instance, in communication channels (Alajaji and Fuja, Reference Alajaji and Fuja1994), image segmentation (Banerjee et al., Reference Banerjee, Burlina and Alajaji1999), social and epidemic networks (Avin et al., Reference Avin, Daltrophe, Keller, Lotker, Mathieu, Peleg and Pignolet2020; Kim and Jo, Reference Kim and Jo2010; Toivonen et al., Reference Toivonen, Onnela, Saramäki, Hyvönen and Kaski2006; Hayhoe et al., Reference Hayhoe, Alajaji and Gharesifard2018; Singh et al., Reference Singh, Alajaji and Gharesifard2022c, Reference Singh, Alajaji and Gharesifarda, Reference Singh, Alajaji and Gharesifardb; Jadbabaie et al., Reference Jadbabaie, Makur, Mossel and Salhab2023; He et al., Reference He, Lu, Du and Jin2023), citation networks (Jeong et al., Reference Jeong, Néda and Barabási2003; Milojević, Reference Milojević2010; Newman, Reference Newman2001), actor collaborations (Albert and Barabási, Reference Albert and Barabási2000; Jeong et al., Reference Jeong, Néda and Barabási2003), mechanics (Albert and Barabási, Reference Albert and Barabási2002), and polymer formations (Bhutani et al., Reference Bhutani, Kalpathy and Mahmoud2022). Naturally, Pólya urns have been used to model preferential attachment graphs in the literature. For example, in Collevecchio et al. (Reference Collevecchio, Cotar and LiCalzi2013) a generalized Pólya urn process is used to devise a preferential attachment graph-generating algorithm (refer to Chung et al., Reference Chung, Handjani and Jungreis2003; Oliveira, Reference Oliveira2009 for a detailed description of this generalized Pólya urn process.) In Berger et al. (Reference Berger, Borgs, Chayes and Saberi2014), a preferential attachment-type multi-graph (i.e., a graph that can have more than one edge between a pair of vertices) is constructed using different variations of the Pólya urn process which was used to study the spread of viruses on the internet in Berger et al. (Reference Berger, Borgs, Chayes and Saberi2005a). In Marcaccioli and Livan (Reference Marcaccioli and Livan2019), the probability distribution of weights on the edges of a fixed network is established via the draws of the classical two-color Pólya urn. This setup ensures that the more two vertices have interacted in the past, the more likely they are to interact in the future. More elaboration on the similarities between Pólya urns and preferential attachment graphs is given in the survey in Pemantle (Reference Pemantle2007).
The Barabási-Albert model is well known to exhibit a power law distribution as the number of vertices becomes sufficiently large, given by
$p(k) \sim k^{-3}$
, where
$p(k)$
is the probability of randomly selecting a vertex with degree
$k$
in the network. Despite the fact that this power law can be used to study various properties of the Barabási-Albert model such as Hirsch index distribution and the clustering coefficient, see Barabási (Reference Barabási2009), Bollobás and Riordan (Reference Bollobás and Riordan2004), Albert and Barabási (Reference Albert and Barabási2000) for definitions, the likelihood of vertices gaining new edges is solely determined by their degree. This is not realistic, when modeling scenarios where newly added individuals are accompanied with impactful ideas that can lead to rapid or disruptive influence, regardless of their initially low degree.
Motivated by the above-mentioned shortcoming of the Barabási-Albert model, in this paper, we construct randomly growing undirected graphs using the draw variables of a single modified Pólya urn with an expanding number of colors. The Pólya process is modified in the sense that at each time instant, not only is a ball drawn and returned to the urn along with additional reinforcing balls of the same color but another ball of a new color is also added to the urn. This new color corresponds to a new vertex which is added to the graph at this time instant. More specifically, the network is generated by associating each incoming vertex to the new color ball added after each draw and by attaching it to the existing vertex represented by the drawn color. The number of colors in the urn grows without bound with the number of draws, and the generated network has a preferential attachment property as the vertices corresponding to dominant colors (i.e., colors in the urn with a large number of balls) are more likely to attract newly formed vertices as their neighbors. The resulting preferential attachment growing graph is thus constructed via a Pólya urn; this enables us to track and characterize the degree count of individual vertices in the network through the draw variables of their corresponding colors giving each vertex a unique identity which is absent in the Barabási-Albert model. Moreover, using an expanding color Pólya urn with each vertex uniquely corresponding to a ball color sets our model apart from other models in the literature (Collevecchio et al., Reference Collevecchio, Cotar and LiCalzi2013; Marcaccioli and Livan, Reference Marcaccioli and Livan2019; Berger et al., Reference Berger, Borgs, Chayes and Saberi2005a) which use either the classical two-color Pólya urns or a generalized version of Pólya urns (with finitely many colors) for generating preferential attachment graphs. Indeed, the draw variables of the Pólya urn capture the entire structure of the generated graph and hence it is enough to study the behavior of these draw variables to understand the properties of the graph. Moreover, we use an extra time-varying parameter to set the number of balls (not necessarily an integer) added to the Pólya urn to reinforce the color of the drawn ball at each time instant. The time-varying nature of this reinforcement parameter allows us for any given vertex to tweak the likelihood of amplifying or dampening its degree of growth depending on the time at which it was introduced in the network (i.e., its birth time). This feature can be used to regulate the dominance (in terms of gaining edges) of high-degree vertices over low-degree ones in the generated preferential attachment graph. Therefore, unlike the Barabási-Albert algorithm and the aforementioned models, our model can be used to generate random networks with a variety of degree distributions catering to a wide range of real-world growing networks other than power law distributions, including the generation of networks where recently formed vertices can play a disruptive role. Furthermore, we observe that in the special case of using a reinforcement parameter equal to
$1$
, our model is actually equivalent to the Barabási-Albert algorithm (except for the initialization step).
This paper is organized as follows. In Section 2, we describe our model for constructing preferential attachment-type graphs using a modified Pólya urn with expanding colors. We determine the Pólya urn’s composition in terms of its draw random variables and use it to establish the conditional distribution of the urn’s draw vector at a given time instant given all past draw vectors. In Section 3, we define a counting random variable which tracks the degree of vertices in the graph as it evolves and analytically derives its probability distribution. We further verify that the resulting distribution expression of the counting random variable defines a legitimate probability mass function over its support set. In Section 4, we present via simulations a detailed comparison of our model with the Barabási-Albert model by plotting the degree distribution and vertices’ average birth time for various choices of reinforcement parameters. We discuss the advantages of generating preferential attachment networks through our model over the Barabási-Albert model. Finally, conclusions are stated in Section 5.
2. The model
We construct a sequence of undirected graphs
$\mathcal{G}_{t}$
, where
$t\geq 0$
denotes the time index, using a Pólya reinforcement process. We start with
$\mathcal{G}_{0} = (V_{0},\mathcal{E}_{0})$
, where the initial vertex and the edge set are respectively,
$V_{0}=\{c_{1}\}$
and
$\mathcal{E}_{0} =\{(1,1)\}$
, i.e., a self-loop on vertex
$1$
. At each time step
$t\geq 1$
, a new vertex enters the graph and forms an edge with one of the existing vertices. The latter vertex is selected according to the draw variable of a Pólya urn with an expanding number of colors as follows:
-
• At time
$t=0$
, the Pólya urn consists of a single ball of color
$c_{1}$
. -
• At each time instant
$t\geq 1$
, we draw a ball and return it to the urn along with
$\Delta _{t}\gt 0$
additional (reinforcing) balls of the same color. We also add a ball of a new color
$c_{t+1}$
. We then introduce a new vertex to the graph
$\mathcal{G}_{t-1}$
(corresponding to the color
$c_{t+1}$
) and connect it with the vertex whose color ball is drawn at time
$t$
. This results in the newly formed graph
$\mathcal{G}_{t}$
. Note that at time
$t=0$
, the urn consists of only one
$c_{1}$
color ball. Hence, the draw variable at time
$t=1$
is deterministic and corresponds to drawing a
$c_{1}$
color ball.
At any given time instant
$t$
, we define the draw random vector
\begin{equation*}\textbf {Z}_{t}\,:\!=\,(Z_{1,t},Z_{2,t},\cdots,Z_{t,t})\end{equation*}
of length
$t$
, where
\begin{align} Z_{j,t}= \begin{cases} 1 & \textrm{if a $c_{j}$ color ball is drawn at time $t$}\\[3pt] 0 \quad & \textrm{otherwise} \end{cases} \quad \quad \textrm{for } 1\leq j \leq t. \end{align}
The vector
$\textbf{Z}_{t}$
is a standard unit vector for all time instances
$t\geq 1$
, and since at time
$t=1$
there is only
$c_{1}$
color ball present in the urn,
$\textbf{Z}_{1}= Z_{1,1} =1$
. We denote the “composition” of the Pólya urn at any given time instant
$t$
by the random vector
\begin{equation*}\textbf {U}_{t} \,:\!=\, \left(U_{1,t},U_{2,t},\cdots,U_{t+1,t}\right),\end{equation*}
where
\begin{align} U_{j,t} = \frac{\textrm{Number of balls of color}\, c_{j} \, \textrm{in the urn at time}\, t}{\textrm{Total number of balls in the urn at time}\, t}, \end{align}
for
$1 \leq j \leq t+1$
. In the following lemma, we express the vector
$\textbf{U}_{t}$
in terms of the draw variables.
Lemma 1.
Given
$t\geq 0$
,
$\textbf{U}_{t}$
is given by
\begin{align} \textbf{U}_{t} = \frac{1}{1+t+\sum \limits _{k=1}^{t}\Delta _{k}}\left(1+ \sum \limits _{n=1}^{t}\Delta _{n}Z_{1,n}, 1 + \sum \limits _{n=2}^{t}\Delta _{n}Z_{2,n}, \cdots, 1+ \sum \limits _{n=t-1}^{t}\Delta _{n}Z_{t-1,n}, 1 + \Delta _{t}Z_{t,t}, 1\right) \end{align}
almost surely. Footnote 1
Proof. To compute the ratio in (2), recall that at time
$n=0$
, we have one ball in the urn (this ball is of color
$c_{1}$
) and for each time instant
$n \geq 1$
, we add
$\Delta _{n}+1$
balls to the urn (
$\Delta _{n}$
of the color drawn and
$1$
of the new color
$c_{n+1}$
). Hence the total number of balls in the urn at time
$t$
is given by
$1+\sum _{n=1}^{t}(\Delta _{n}+1)$
.
To determine the number of balls of color
$c_{j}$
in the urn after the
$t$
th draw, we note that the first
$c_{j}$
color ball is added to the urn at time
$j-1$
. After that, at every time instant
$n$
(where
$j\leq n \leq t$
) at which a
$c_{j}$
color ball is drawn, we add
$\Delta _{n}$
balls of
$c_{j}$
color to the urn. Hence, the number of balls of color
$c_{j}$
in the urn at time
$t$
is equal to
$1+\sum \limits _{n=j}^{t}\Delta _{n}Z_{j,n}$
. Therefore, the ratio of color
$c_{j}$
balls in the urn at time
$t$
in (2) is given by:
\begin{align} U_{j,t} = \frac{1+\sum _{n=j}^{t}\Delta _{n}Z_{j,n}}{1+t+\sum \limits _{k=1}^{t}\Delta _{k}} \, \textrm{for }1\leq j \leq t+1, \end{align}
which yields (3).
Remark 1.
As expected, the sum of the components of
$\textbf{U}_{t}$
in (3) is one for all
$t\geq 0$
. To see this we first note that, for
$t=0$
,
$\textbf{U}_{0}=U_{1,0} = 1$
. For any time
$t\geq 1$
, we have the following from (3):
\begin{align} \sum \limits _{j=1}^{t+1}U_{j,t} &= \frac{1}{1+t+\sum \limits _{k=1}^{t}\Delta _{k}}\left((t+1) + \sum \limits _{n=1}^{t}\Delta _{n}Z_{1,n} + \sum \limits _{n=2}^{t}\Delta _{n}Z_{2,n} + \cdots + \sum \limits _{n=t-1}^{t}\Delta _{n}Z_{t-1,n}+ \Delta _{t}Z_{t,t}\right)\nonumber \\ & = \frac{1}{1+t+\sum \limits _{k=1}^{t}\Delta _{k}}\left((t+1) +\sum \limits _{i=1}^{t}\sum \limits _{n=i}^{t}\Delta _{n}Z_{i,t}\right)\nonumber \\ & = \frac{1}{1+t+\sum \limits _{k=1}^{t}\Delta _{k}}\left((t+1) +\sum \limits _{n=1}^{t}\Delta _{n}\sum \limits _{i=n}^{t}Z_{i,t}\right) \end{align}
but since
$\textbf{Z}_{t}$
is a standard unit vector for all
$t \geq 1$
, the right-hand side of (5) simplifies as follows:
\begin{align*} \sum \limits _{j=1}^{t+1}U_{j,t} = \frac{1}{1+t+\sum \limits _{k=1}^{t}\Delta _{k}}\left((t+1) + \sum \limits _{n=1}^{t}\Delta _{n}\right) = 1. \end{align*}
An illustration of our model is given in Fig. 1 where we show a sample path of the random vectors
$\textbf{U}_{t}$
and
$\textbf{Z}_{t}$
, for
$ t\leq 3$
and with
$\Delta _{t}=2$
.
Figure 1. We illustrate a sample path for constructing a preferential attachment graph using an expanding color Pólya urn with
$\Delta _{t}=2$
. For
$t=0$
, the urn has only one ball of color
$c_{1}$
. This urn corresponds to
$\mathcal{G}_{0}$
and
$\textbf{U}_{0}=U_{1,0}=1$
. For
$t=1$
, the
$c_{1}$
color ball is drawn from and returned to the urn (i.e.,
$\textbf{Z}_{1}=Z_{1,1}=1$
). Two additional
$c_{1}$
color balls are added to the urn along with a new
$c_{2}$
color ball and so
$\textbf{U}_{1}=(3/4,1/4)$
. For
$t=2$
, a
$c_{2}$
color ball is drawn from and returned to the urn (i.e.,
$\textbf{Z}_{2}=(0,1)$
). Two additional
$c_{2}$
color balls are added to the urn along with a new
$c_{3}$
color ball; hence
$\textbf{U}_{2}=(3/7,3/7,1/7)$
. For
$t=3$
, a
$c_{1}$
color ball is drawn from and returned to the urn (i.e.,
$\textbf{Z}_{3}=(1,0,0)$
). Two additional
$c_{1}$
color balls are added along with a new
$c_{4}$
color ball; thus
$\textbf{U}_{3}=(5/10,3/10,1/10,1/10)$
.
We further write the conditional probabilities of the draw variables given in the past. More specifically, for
$1\leq j\leq t$
, using (4), we have that
\begin{align} P( \textbf{Z}_{t} =\textbf{e}_{j,t}\,|\,\textbf{Z}_{t-1},\textbf{Z}_{t-2},\cdots,\textbf{Z}_{1}) &= P\left(Z_{j,t}= 1\,|\,\textbf{Z}_{t-1},\textbf{Z}_{t-2},\cdots,\textbf{Z}_{1}\right) \nonumber \\[4pt] &= P\left(\textrm{a}\ c_{j}\ \textrm{color ball is drawn at time}\; t\,|\,\textbf{Z}_{t-1},\textbf{Z}_{t-2},\cdots,\textbf{Z}_{1}\right)\nonumber \\[4pt] &= U_{j,t-1} = \frac{1 + \sum _{n=j}^{t-1}\Delta _{n}Z_{j,n}}{1+(t-1)+\sum \limits _{k=1}^{t-1}\Delta _{k}}, \end{align}
where
$\textbf{e}_{j,t}$
represents a standard unit vector of length
$t$
whose
$j$
th component is
$1$
. Considering the case where
$j=t$
in (6) and the convention that
$\sum _{n=t}^{t-1}\Delta _{n}Z_{t,n}=0$
, we obtain
\begin{equation*}U_{t,t-1} = \frac {1 + \sum _{n=t}^{t-1}\Delta _{n}Z_{t,n}}{t+\sum \limits _{k=1}^{t-1}\Delta _{k}}=\frac {1}{t+\sum \limits _{k=1}^{t-1}\Delta _{k}} = P(Z_{t,t}=1)\end{equation*}
and hence
\begin{align} P\left(Z_{t,t}=1\,|\,\textbf{Z}_{t-1},\textbf{Z}_{t-2},\cdots,\textbf{Z}_{1}\right) = P\left(Z_{t,t}=1\right)=\frac{1}{t+\sum _{k=1}^{t-1}\Delta _{k}}, \end{align}
i.e., the conditional probability of drawing a ball of color
$c_{t}$
at time
$t$
equals the marginal probability of drawing a ball of color
$c_{t}$
at time
$t$
. Similarly, we have that
\begin{align} P\left(Z_{t,t}=0\,|\,\textbf{Z}_{t-1},\textbf{Z}_{t-2},\cdots,\textbf{Z}_{1}\right) = P\left(Z_{t,t}=0\right)=\frac{t-1+\sum _{n=1}^{t-1}\Delta _{n}}{t+\sum _{k=1}^{t-1}\Delta _{k}}, \end{align}
implying that
$Z_{t,t}$
is independent of the random vectors
$\{\textbf{Z}_{t-1},\textbf{Z}_{t-2},\cdots,\textbf{Z}_{1}\}$
. More generally, we obtain the marginal probability for the random variable
$Z_{j,t}$
for any
$1\leq j \leq t$
by taking expectation on both sides in (6) with respect to the random vectors
$\textbf{Z}_{t-1},\textbf{Z}_{t-2},\cdots, \textbf{Z}_{1}$
as follows:
\begin{align} P\left(Z_{j,t}=1\right) = E(U_{j,t-1})= \frac{1 + \sum _{n=j}^{t-1}\Delta _{n}P(Z_{j,n}=1)}{t+\sum _{k=1}^{t-1}\Delta _{k}} = 1-P(Z_{j,t}=0) \quad \quad \textrm{for} \quad 1\leq j \leq t. \end{align}
For
$j=t$
, the formula in (9) for
$P(Z_{t,t}=1)$
reduces to (7), but for
$j\lt t$
, the formula for
$P\left(Z_{j,t}=1\right)$
is a recursive function of the marginal probabilities of past draw variables:
$P(Z_{j,1}=1),\cdots,P(Z_{j,t-1}=1)$
.
We further note that, for graph
$\mathcal{G}_{t}$
, the edge between the new vertex to one of the existing vertices in
$\mathcal{G}_{t-1}$
is made using the realization of the draw vector
$\textbf{Z}_{t}$
. Using (6), we observe that the conditional probability
$P\left(\textbf{Z}_{t}=\textbf{e}_{j,t}|\textbf{Z}_{t-1},\cdots,\textbf{Z}_{1}\right)$
can be written in terms of the draw variables
$Z_{j,j},\cdots,Z_{j,t-1}$
. Hence, all the spatial information of the graph
$\mathcal{G}_{t}$
is encoded in the sequence of random draw vectors
$\{\textbf{Z}_{1},\ldots,\textbf{Z}_{t-1},\textbf{Z}_{t}\}$
. We illustrate this property in the following example, where we retrieve the graph
$\mathcal{G}_{4}$
using
$\left\{\textbf{Z}_{1},\textbf{Z}_{2},\textbf{Z}_{3},\textbf{Z}_{4}\right\}$
.
Example 1. Consider the following realizations for the random draw vectors
$\textbf{Z}_{1}$
,
$\textbf{Z}_{2}$
,
$\textbf{Z}_{3}$
and
$\textbf{Z}_{4}$
for all
$t\geq 1$
:
\begin{align*} \textbf{Z}_{1} &= 1, \qquad\qquad \textbf{Z}_{2} = (1,0),\\ \textbf{Z}_{3} &= (0,1,0),\quad \textbf{Z}_{4} = (0,1,0,0). \end{align*}
By construction, the graph
$\mathcal{G}_{0}$
consists of only one vertex
$c_{1}$
with a self-loop. Since we start with only one ball of color
$c_{1}$
in the urn, the random variable
$\textbf{Z}_{1}= 1$
is deterministic and results in an edge drawn between the
$c_{1}$
vertex and the new incoming vertex
$c_{2}$
. For
$t=2$
, since
$\textbf{Z}_{2} = (1,0)$
, the new incoming vertex
$c_{3}$
is connected to
$c_{1}$
. Similarly for
$t=3$
, the new vertex
$c_{4}$
is connected to
$c_{2}$
and finally, for
$t=4$
, using the value of
$\textbf{Z}_{4}$
, we connect
$c_{5}$
to
$c_{2}$
. Hence, the graph
$\mathcal{G}_{4}$
is as shown in Fig.
2
.
Figure 2. An illustration of how the sequence of draw vectors
$\{\textbf{Z}_{4}=(0,1,0,0),\textbf{Z}_{3}=(0,1,0),\textbf{Z}_{2}=(1,0),\textbf{Z}_{1}=1\}$
determines
$\mathcal{G}_{4}$
.
3. Analyzing the degree count of the vertices in
$\boldsymbol{\mathcal{G}_{t}}$
The goal of this section is to establish a formula for the probability distribution of degree count of a fixed vertex in the preferential attachment graph constructed via our modified Pólya process until time
$t$
(including time
$t$
). We obtain this formula by writing the degree of a fixed vertex at time
$t$
in terms of the total number of balls of color corresponding to this vertex drawn until time
$t$
. To this end, let random variable
$N_{j,t}$
count the number of draws of color
$c_{j}$
from the urn until time
$t$
(including time
$t$
). Since by construction, for a fixed color
$c_{j}$
, at any time
$t\geq j-1$
the degree of vertex
$c_{j}$
at time
$t$
, denoted by
$d_{j,t}$
, is one more than the number of times a
$c_{j}$
color ball is drawn from the urn until time
$t$
; the additional one here is due to the fact that at each time instant, the new vertex which is added has degree one. For instance in Fig. 1, the color
$c_{2}$
(green) is drawn once until time
$3$
and hence the degree of vertex corresponding to color
$c_{2}$
in
$\mathcal{G}_{3}$
is two. Therefore,
\begin{equation*}d_{j,t}=1+N_{j,t} \quad \textrm {for all } 1\leq j\leq t+1,\end{equation*}
where
$N_{t+1,t}=0$
. Also, note that the first time a color
$c_{j}$
ball can be drawn is at time
$j$
. In the following theorem, we establish an analytical expression for the (marginal) probability mass function of random variable
$N_{j,t}$
.
Theorem 1. Fix
$t\geq 1$
. For a color
$c_{j}$
,
$1\leq j\leq t$
, we have that
\begin{align} &P(N_{j,t}=k)=\nonumber\\\\&\begin{cases}\sum\limits_{(i_{1},i_{2},\cdots,i_{k})\in \mathcal{A}_{j,k}^{(t)}} \hspace{-0.8cm}\frac{\prod\limits_{a=1}^{k}\big(1+\sum\limits_{b=1}^{a-1}\Delta_{i_{b}}\big)\prod\limits_{p=j,p \notin \{i_{1},\cdots,i_{k}\}}^{t}\big((p\hspace{0.05cm}-\hspace{0.05cm}1)+ \sum\limits_{l=1,l \notin \{i_{1},\cdots,i_{k}\}}^{p-1}\Delta_{l}\big)}{\prod\limits_{n=j-1}^{t-1}\big((n+1)+\sum\limits_{m=1}^{n}\Delta_{m}\big)} &\textit{for } 1\leq k \leq t-j+1\nonumber\\\\\hspace{2.5cm}\frac{\prod\nolimits_{p=j}^{t}\big((p\hspace{0.05cm}-\hspace{0.05cm}1)+\sum\nolimits_{l=1}^{p-1}\Delta_{l}\big)}{\prod\nolimits_{n=j-1}^{t-1}\big((n+1)+\sum\nolimits_{m=1}^{n}\Delta_{m}\big)} &\textit{for } k=0,\end{cases} \end{align}
where
\begin{align} \mathcal{A}_{j,k}^{(t)} = \begin{cases} \left\{\left(i_{1},i_{2},\cdots,i_{k}\right)\,|\, 1 = i_{1}\lt i_{2}\lt \cdots \lt i_{k}\leq t\right\} & \textit{for}\, j=1\\[5pt] \left\{\left(i_{1},i_{2},\cdots,i_{k}\right)\,|\, j \leq i_{1}\lt i_{2}\lt \cdots \lt i_{k}\leq t\right\} & \textit{for}\, 1\lt j\leq t.\\ \end{cases} \end{align}
Proof. Note that the set
$\mathcal{A}_{j,k}^{(t)}$
defined in (11) gives all possible ways in which
$k$
elements can be chosen from a set of
$t-j+1$
consecutive integers. In the context of our model, this set represents all possible
$k$
length tuples of time instants such that a color
$c_{j}$
ball is drawn at each of these time instants. For
$j=1$
, the first draw at
$t=1$
is deterministic and hence
$i_{1}=1$
for
$j=1$
as given in (11). For
$1\leq k \leq t-j+1$
, we have
\begin{align} P\left(N_{j,t}=k\right)&=\sum \limits _{(i_{1},\cdots,i_{k})\in \mathcal{A}_{j,k}^{(t)}}P\left(Z_{j,j}=0,\cdots,Z_{j,i_{1}-1}=0,Z_{j,i_{1}}=1,Z_{j,i_{1}+1}=0,\cdots Z_{j,i_{2}-1}=0,Z_{j,i_{2}}\right.\nonumber \\& =1, Z_{j,i_{2}+1}=0, \,\cdots, Z_{j,i_{3}-1}=0,Z_{j,i_{3}}=1,\cdots,Z_{j,i_{k}-1}=0,Z_{j,i_{k}}=1, Z_{j,i_{k}+1}\nonumber \\& \left. =0,\cdots, Z_{j,t}=0\right)\nonumber \\ &=\sum \limits _{(i_{1},\cdots,i_{k})\in \mathcal{A}_{j,k}^{(t)}}\left[P(Z_{j,t}=0\, |\,Z_{j,j}=0,\cdots,Z_{j,i_{1}-1}=0,Z_{j,i_{1}}=1,Z_{j,i_{1}+1}=0,\cdots, Z_{j,i_{2}-1}\right.\nonumber \\& =0,Z_{j,i_{2}}=1, Z_{j,i_{2}+1}=0,\cdots,Z_{j,i_{3}-1}=0,Z_{j,i_{3}}=1,\cdots,Z_{j,i_{k}-1}=0,Z_{j,i_{k}}=1, Z_{j,i_{k}+1}\nonumber\\& =0,\cdots, Z_{j,t-1}=0) \times P(Z_{j,j}=0,\cdots,Z_{j,i_{1}-1}=0,Z_{j,i_{1}}=1,Z_{j,i_{1}+1}=0,\cdots,Z_{j,i_{2}-1}\nonumber\\& =0,Z_{j,i_{2}}=1, Z_{j,i_{2}+1}=0, \cdots,Z_{j,i_{3}-1}=0,Z_{j,i_{3}}=1,\cdots,Z_{j,i_{k}-1}=0,Z_{j,i_{k}}=1, Z_{j,i_{k}+1}\nonumber\\& \left. =0,\cdots, Z_{j,t-1}=0)\right]. \end{align}
By substituting (6) in the conditional probability expressions in (12), we obtain the following:
\begin{align} P(Z_{j,t}=0|Z_{j,j} &= 0,\cdots,Z_{j,i_{1}-1}=0,Z_{j,i_{1}}=1,Z_{j,i_{1}+1}=0,\cdots,Z_{j,i_{2}-1}=0,Z_{j,i_{2}}=1, Z_{j,i_{2}+1}\nonumber \\[5pt]& = 0,\cdots Z_{j,i_{3}-1}=0,Z_{j,i_{3}}=1,\cdots, Z_{j,i_{k}-1}=0,Z_{j,i_{k}}=1, Z_{j,i_{k}+1}=0,\cdots, Z_{j,t-1}=0) \nonumber \\[5pt] &= 1- \dfrac{1+ \sum _{n=j}^{t-1}\Delta _{n}Z_{j,n}}{t + \sum _{m=1}^{t-1}\Delta _{m}}\nonumber \\[5pt] &= 1- \dfrac{1+\sum _{l=1}^{k}\Delta _{i_{l}}}{t + \sum _{m=1}^{t-1}\Delta _{m}}\nonumber \\[5pt] &= \frac{(t-1) + \sum _{l=1,l\notin \{i_{1},\cdots,i_{k}\}}^{t-1}\Delta _{l}}{t + \sum _{m=1}^{t-1}\Delta _{m}}. \end{align}
Now, substituting the conditional probability expression obtained in (13) in (12) yields
\begin{align} P\left(N_{j,t}=k\right)&=\sum \limits _{(i_{1},\cdots,i_{k})\in \mathcal{A}_{j,k}^{(t)}}\frac{\left((t-1) + \sum _{l=1,l\notin \{i_{1},\cdots,i_{k}\}}^{t-1}\Delta _{l}\right)}{t + \sum _{m=1}^{t-1}\Delta _{m}}P(Z_{j,j}=0,\cdots,Z_{j,i_{1}-1}=0,Z_{j,i_{1}}\nonumber\\& =1, Z_{j,i_{1}+1}=0,\cdots \, \cdots,Z_{j,i_{2}-1}=0,Z_{j,i_{2}}=1, Z_{j,i_{2}+1}=0,\cdots,Z_{j,i_{3}-1}=0, Z_{j,i_{3}}\nonumber\\& =1,\cdots,Z_{j,i_{k}-1}=0, Z_{j,i_{k}}=1, Z_{j,i_{k}+1}=0,\cdots, Z_{j,t-1}=0). \end{align}
Similar to (12) and (14), we continue to recursively write the joint probability as a product of conditional and marginal probabilities and substitute the expressions for the conditional probability using (13) as follows:
\begin{align*} P\left(N_{j,t}=k\right)&=\sum \limits _{(i_{1},\cdots,i_{k})\in \mathcal{A}_{j,k}^{(t)}}\Bigg (\frac{(t-1) + \sum _{l=1,l\notin \{i_{1},\cdots,i_{k}\}}^{t-1}\Delta _{l}}{t + \sum _{m=1}^{t-1}\Delta _{m}}\Bigg )\Bigg (\frac{(t-2) + \sum _{l=1,l\notin \{i_{1},\cdots,i_{k}\}}^{t-2}\Delta _{l}}{t-1 + \sum _{m=1}^{t-2}\Delta _{m}}\Bigg )\\[5pt]&P(Z_{j,j}=0,\cdots Z_{j,i_{1}-1}=0,Z_{j,i_{1}}=1,Z_{j,i_{1}+1}=0,\cdots,Z_{j,i_{2}-1}=0,Z_{j,i_{2}}=1, Z_{j,i_{2}+1}\\[5pt]& =0,\cdots, Z_{j,i_{3}-1}=0,Z_{j,i_{3}}=1,\cdots,Z_{j,i_{k}-1}=0,Z_{j,i_{k}}=1,Z_{j,i_{k}+1}=0,\cdots, Z_{j,t-2}=0)\\[5pt] &\quad \vdots \\[5pt] &=\sum \limits _{(i_{1},\cdots,i_{k})\in \mathcal{A}_{j,k}^{(t)}}\Bigg [\Bigg (\frac{(t-1) + \sum _{l=1,l\notin \{i_{1},\cdots,i_{k}\}}^{t-1}\Delta _{l}}{t + \sum _{m=1}^{t-1}\Delta _{m}}\Bigg )\Bigg (\frac{(t-2) + \sum _{l=1,l\notin \{i_{1},\cdots,i_{k}\}}^{t-2}\Delta _{l}}{t-1 + \sum _{m=1}^{t-2}\Delta _{m}}\Bigg )\cdots \\[5pt] &\quad \Bigg (\frac{i_{k} + \sum _{l=1,l\notin \{i_{1},\cdots,i_{k}\}}^{i_{k}}\Delta _{l}}{i_{k}+1 + \sum _{m=1}^{i_{k}}\Delta _{m}}\Bigg )\Bigg (\frac{1+\sum \nolimits _{l=1 }^{k\,-1}\Delta _{i_{l}}}{i_{k} +\sum _{m=1}^{i_{k}-1}\Delta _{m}}\Bigg )\Bigg (\frac{i_{k}-2+ \sum _{l=1,l\notin \{i_{1},\cdots,i_{k}\}}^{i_{k}-2}\Delta _{l}}{i_{k}-1 + \sum _{m=1}^{i_{k}-2}\Delta _{m}}\Bigg ) \cdots \\[5pt] &\quad \Bigg (\frac{i_{k-1} + \sum _{l=1,l\notin \{i_{1},\cdots,i_{k}\}}^{i_{k-1}}\Delta _{l}}{i_{k-1}+1 + \sum _{m=1}^{i_{k-1}}\Delta _{m}}\Bigg )\Bigg (\frac{1+\sum \nolimits _{l=1}^{k\,-2}\Delta _{i_{l}}}{i_{k-1} +\sum _{m=1}^{i_{k-1}-1}\Delta _{m}}\Bigg )\Bigg (\frac{i_{k-1}-2+ \sum _{l=1,l\notin \{i_{1},\cdots,i_{k}\}}^{i_{k-1}-2}\Delta _{l}}{i_{k-1}-1 + \sum _{m=1}^{i_{k-1}-2}\Delta _{m}}\Bigg ) \\[5pt] &\,\,\cdots \Bigg (\frac{1}{i_{1}+\sum _{m=1}^{i_{1}-1}\Delta _{m}}\Bigg )\Bigg (\frac{i_{1}-2+\sum _{l=1, l \notin \{i_{1},\cdots,i_{k}\}}^{i_{1}-2}\Delta _{l}}{i_{1}-1 + \sum _{m=1}^{i_{1}-2}\Delta _{m}}\Bigg )\cdots \Bigg (\frac{j-1 + \sum _{l=1, l \notin \{i_{1},\cdots,i_{k}\}}^{j-1}\Delta _{l}}{j + \sum _{m=1}^{j-1}\Delta _{m}}\Bigg )\Bigg ]\\[5pt] &=\sum \limits _{(i_{1},\cdots,i_{k})\in \mathcal{A}_{j,k}^{(t)}}\Bigg [\frac{\prod _{a=1}^{k}\left(1+\sum _{b=1}^{a-1}\Delta _{i_{b}}\right)}{\prod _{n=j-1}^{t-1}\left((n+1)+\sum _{m=1}^{n}\Delta _{m}\right)}\left(\prod _{l_{1}=j-1}^{i_{1}-2}\left(l_{1}+\sum \nolimits _{l=1, l \notin \{i_{1},\cdots,i_{k}\}}^{l_{1}}\Delta _{l}\right)\right)\\[5pt] &\quad \left(\prod _{l_{2}=i_{1}}^{i_{2}-2}\left(l_{2}+ \sum \nolimits _{l=1, l \notin \{i_{1},\cdots,i_{k}\}}^{l_{2}}\Delta _{l}\right)\right)\left(\prod _{l_{3}=i_{2}}^{i_{3}-2}\left(l_{3}+\sum \nolimits _{l=1,l \notin \{i_{1},\cdots,i_{k}\}}^{l_{3}}\Delta _{l}\right)\right)\cdots \\[5pt] &\quad \cdots \left(\prod _{l_{k}=i_{k-1}}^{i_{k}-2}\left(l_{k}+\sum \nolimits _{l=1,l\notin \{i_{1},\cdots,i_{k}\}}^{l_{k}}\Delta _{l}\right)\right)\left(\prod _{l_{k+1}=i_{k}}^{t-1}(l_{k+1}+\sum \nolimits _{l=1,l\notin \{i_{1},\cdots,i_{k}\}}^{l_{k+1}}\Delta _{l})\right)\Bigg ]\\[5pt] &=\sum \limits _{(i_{1},i_{2},\cdots,i_{k})\in \mathcal{A}_{j,k}^{(t)}} \frac{\prod \nolimits _{a=1}^{k}\left(1+\sum \nolimits _{b=1}^{a-1}\Delta _{i_{b}}\right)\prod \nolimits _{p=j,p \notin \{i_{1},\cdots,i_{k}\}}^{t}\left((p-1)+ \sum \nolimits _{l=1,l \notin \{i_{1},\cdots,i_{k}\}}^{p-1}\Delta _{l}\right)}{\prod _{n=j-1}^{t-1}\left((n+1)+\sum \nolimits _{m=1}^{n}\Delta _{m}\right)}. \end{align*}
Therefore, (10) holds for
$1\leq k \leq t-j+1$
. We determine
$P(N_{j,t}=0)$
as follows:
\begin{align} P(N_{j,t}=0) &= P(Z_{j,j}=0,Z_{j,j+1}=0,\cdots,Z_{j,t-1}=0,Z_{j,t}=0)\nonumber \\ &=P(Z_{j,j}=0)\prod \limits _{n=j+1}^{t}P(Z_{j,n}=0\,|\,Z_{j,j}=0,Z_{j,j+1}=0,\cdots,Z_{j,n-1}=0). \end{align}
Now, using (6) for the conditional probabilities in (15) we obtain
\begin{align*} P(N_{j,t}=0) & = \left(1-\frac{1}{j + \sum \nolimits _{m=1}^{j-1}\Delta _{m}}\right)\left(1-\frac{1}{j+1 + \sum \nolimits _{m=1}^{j}\Delta _{m}}\right)\cdots \left(1-\frac{1}{t + \sum \nolimits _{m=1}^{t-1}\Delta _{m}}\right)\\[6pt] & = \frac{\prod \nolimits _{p=j}^{t}\left((p-1)+\sum \nolimits _{l=1}^{p-1}\Delta _{l}\right)}{\prod \nolimits _{n=j-1}^{t-1}\left((n+1) + \sum \nolimits _{m=1}^{n}\Delta _{m}\right)}. \end{align*}
Hence, (10) holds for
$k=0$
.
The analytic formula obtained in (10) is quite involved when the reinforcement parameter
$\Delta _{t}$
is time-varying. For the special case of
$\Delta _{t}=\Delta$
for all
$t\geq 1$
, Theorem 1 reduces to the following corollary.
Corollary 1.
Fix
$t\geq 1$
. For a color
$c_{j}$
,
$1\leq j\leq t$
and
$\Delta _{n}=\Delta$
for all
$n\geq 1$
, the marginal probability for
$N_{j,t}$
is given by:
\begin{align} &P\left(N_{j,t}=k\right)=\nonumber \\[5pt] &\begin{cases}\sum \limits _{(i_{1},i_{2},\cdots,i_{k})\in \mathcal{A}_{j,k}^{(t)}} \frac{\prod \limits _{a=1}^{k}\big (1+(a-1)\Delta \big )\prod \limits _{p=j,p \notin \{i_{1},\cdots,i_{k}\}}^{t}\big ((p\,-\,1)(\Delta +1)-\Delta \sum \limits _{l=1}^{k}\unicode{x1D7D9}(i_{l}\leq p\,-\,1)\big )}{\prod \limits _{n=j-1}^{t-1}\big ((\Delta +1)n+1\big )} & \textit{for } 1\leq k\leq t-j+1\\[18pt] \qquad \frac{\prod \limits _{p=j}^{t}(p\,-\,1)(\Delta +1)}{\prod \limits _{n=j-1}^{t-1}\big ((\Delta +1)n+1\big )} & \textit{for } k=0, \end{cases} \end{align}
where the set
$\mathcal{A}_{j,k}^{(t)}$
is defined in (11) and
$\unicode{x1D7D9}(\mathcal{E})$
is the indicator function of the event
$\mathcal{E}$
.
The analytical expression in (16) can be further simplified for the case of
$\Delta _{t}=1$
,
$t\geq 1$
, as follows.
Corollary 2.
Fix
$t\geq 1$
. For a color
$c_{j}$
,
$1\leq j\leq t$
and
$\Delta _{n}=1$
for all
$n\geq 1$
, the marginal probability for
$N_{j,t}$
is given by:
\begin{align} P\left(N_{j,t}=k\right)=\begin{cases}\sum \limits _{\left(i_{1},i_{2},\cdots,i_{k}\right)\in \mathcal{A}_{j,k}^{(t)}}\frac{\Gamma (k+1)\prod \limits _{p=j}^{t}\left(2(p-1)\,-\sum \limits _{l=1}^{k}\unicode{x1D7D9}(i_{l}\leq p\,-\,1)\right)}{\prod \limits _{n=j-1}^{t-1}(2n+1)} & \textit{for } 1\leq k\leq t-j+1\\[30pt] \qquad \frac{2\Gamma (t+1)}{\Gamma (j-1)\prod \limits _{n=j-1}^{t-1}(2n+1)} & \textit{for } k=0, \end{cases} \end{align}
where
$\Gamma (\cdot )$
is the gamma function.
As we will see in Section 4, our model with
$\Delta _{t}=1$
for all
$t\geq 0$
has exactly the same mechanism as the Barabási-Albert model (except for the initialization). Therefore, (17) can be used to predict the degree count of vertices in the Barabási-Albert model for sufficiently large
$t$
. To illustrate (17), we present a simulation in Fig. 3 for the probability mass function of the counting random variable
$N_{2,12}$
for the case of
$\Delta _{t}=1$
,
$1\leq t\leq 12$
.
Figure 3. A simulation of the probability distribution given by (17) in Corollary 2 for the case of
$\Delta _{t}=1$
with
$1\leq t\leq 12$
. A normalized histogram of the counting random variable
$N_{2,12}$
from our model is plotted (by averaging over
$1000$
simulations) and is shown to concord with the curve of (17) (in blue).
Since the first time instant at which a
$c_{j}$
color ball can be drawn from the Pólya urn is at time
$j$
, the total number of draws of a
$c_{j}$
color ball till time
$t$
can be at most
$t-j+1$
. Therefore,
\begin{equation*}\sum \limits _{k=0}^{t-j+1}P(d_{j,t}=k+1)= \sum \limits _{k=0}^{t-j+1}P\left(N_{j,t}=k\right) =1,\end{equation*}
which implies that
$P\left(N_{j,t}=k\right)$
is a probability mass function on the support set
$\{0,1,\cdots,$
$t-j+1\}$
. We next only verify that
$P\left(N_{j,t}=k\right)$
obtained in (16) does indeed sum up to one (over
$k$
ranging from zero to
$t-j+1$
) and is hence a legitimate probability mass function. For simplicity, we focus on the case with
$\Delta _{t}=\Delta$
; the proof for the general case follows along similar lines. To this end, we write the set
$\mathcal{A}_{j,k}^{(t)}$
as the following disjoint union:
\begin{align} \mathcal{A}_{j,k}^{(t)} &= \{(i_{1},i_{2},\cdots, i_{k})\,|\, j \leq i_{1}\lt i_{2}\lt \cdots \lt i_{k}\leq t\}\nonumber \\ &= \{(i_{1},i_{2},\cdots, i_{k})\,|\, j \leq i_{1}\lt i_{2}\lt \cdots \lt i_{k}\leq t-1\} \sqcup \mathcal{B}_{j,k}^{(t)}= \mathcal{A}_{j,k}^{(t-1)} \sqcup \mathcal{B}_{j,k}^{(t)}, \end{align}
where
$\mathcal{B}_{j,k}^{(t)}: = \{(i_{1},\cdots,i_{k-1},t\,)\,|\, j \leq i_{1}\lt \cdots \lt i_{k-1}\leq t-1\}$
. Note that
\begin{align} \mathcal{B}_{j,k}^{(t)} = \left\{(i_{1},\cdots,i_{k-1},t\,)\,|\, (i_{1},\cdots,i_{k-1})\in \mathcal{A}_{j,k-1}^{(t-1)}\right\}. \end{align}
Theorem 2.
Fix
$t\geq 1$
. For a
$c_{j}$
,
$1\leq j \leq t$
and
$\Delta _{t}=\Delta$
for all
$t\geq 1$
, we have that:
\begin{align} \sum \limits _{k=0}^{t-j+1}P\left(N_{j,t}=k\right) =1. \end{align}
Proof. We write the left-hand side of (20) using (16):
\begin{align} &\frac{\prod \nolimits _{p=j}^{t}(p-1)(\Delta +1)}{\prod _{n=j-1}^{t-1}((\Delta +1)n+1)} \nonumber \\ &+\sum \limits _{k=1}^{t-j+1}\sum \limits _{(i_{1},\cdots,i_{k})\in \mathcal{A}_{j,k}^{(t)}}\frac{ \prod \limits _{a=1}^{k}(1+(a-1)\Delta )\prod \limits _{p=j,p \notin \{i_{1},\cdots,i_{k}\}}^{t}((p-1)(\Delta +1)-\Delta \sum \nolimits _{l=1}^{k}\unicode{x1D7D9}(i_{l}\leq p-1))}{\prod _{n=j-1}^{t-1}((\Delta +1)n+1)}. \end{align}
Therefore, showing that (20) holds is equivalent to showing that:
\begin{align} &\prod \limits _{p=j}^{t}(p-1)(\Delta +1)\nonumber\\& + \sum \limits _{k=1}^{t-j+1}\sum \limits _{(i_{1},\cdots,i_{k})\in \mathcal{A}_{j,k}^{(t)}}\!\!\left(\prod \nolimits _{a=1}^{k}\big (1+(a-1)\Delta \big )\!\prod \limits _{p=j,p \notin \{i_{1},\cdots,i_{k}\}}^{t}\!\!\left(\!(p-1)(\Delta +1)-\Delta \sum \limits _{l=1}^{k}\unicode{x1D7D9}(i_{l}\leq p-1)\right)\right)\nonumber \\ &\,= \prod _{n=j-1}^{t-1}((\Delta +1)n+1). \end{align}
We prove (22) by induction on
$t-j+1\ge 1$
.
Base Case:
$t-j+1 = 1$
or
$t=j$
. For this case, the left-hand side of (22) is the following:
\begin{align*} & \prod \limits _{p=j}^{j}(p-1)(\Delta +1)\\[4pt]& \quad + \sum \limits _{\mathcal{A}_{j,1}^{(j)}}\left(\prod \nolimits _{a=1}^{1}\big (1+(a-1)\Delta \big )\prod \limits _{p=j,p \,\neq \,j}^{j}\left((p-1)(\Delta +1)-\Delta \sum \limits _{l=1}^{1}\unicode{x1D7D9}(i_{l}\leq p-1)\right)\right)\\[4pt] &\,= \,(j-1)(\Delta +1) + 1 \end{align*}
which, upon simplification and noting that the set
$\mathcal{A}_{j,1}^{(j)}=\{j\}$
, equals the right-hand side of (22) for
$t-j+1=1$
.
Induction Step: We now show the induction step: assuming that (22) is true for
$t-j+1 = s$
, we show that it holds for
$t-j+1=s+1$
. We thus assume that the following holds:
\begin{align} &\prod \limits _{p=j}^{j+s-1}((p-1)(\Delta +1)) + \sum \limits _{k=1}^{s}\sum \limits _{\mathcal{A}_{j,k}^{(j+s-1)}}\left(\prod \limits _{a=1}^{k}\big (1+(a-1)\Delta \big )\prod \limits _{p=j,p \notin \{i_{1},\cdots,i_{k}\}}^{j+s-1}\big((p-1)(\Delta +1)\right. \nonumber \\& \qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\left.-\Delta \sum \limits _{l=1}^{k}\unicode{x1D7D9}(i_{l}\leq p-1)\big)\right)\nonumber \\ &\,= \prod _{n=j-1}^{j+s-2}((\Delta +1)n+1). \end{align}
We next show the induction step using (23), by starting from the right-hand side:
\begin{align*} &\prod \limits _{n=j-1}^{j+s-1}((\Delta +1)n+1) = ((\Delta +1)(s+j-1)+1)\prod \limits _{n=j-1}^{j+s-2}((\Delta +1)n+1)\qquad\qquad\qquad\qquad\qquad\\ &\overset{(a)}{=} ((\Delta +1)(s+j-1)+1)\prod \limits _{p=j}^{j+s-1}(p-1)(\Delta +1)\qquad\qquad\qquad\qquad\qquad \end{align*}
\begin{align*} & +\sum \limits _{k=1}^{s}((\Delta +1)(s+j-1)+1)\sum \limits _{\mathcal{A}_{j,k}^{(j+s-1)}}\left(\prod \limits _{a=1}^{k}\big (1+(a-1)\Delta \big )\prod \limits _{p=j,p \notin \{i_{1},\cdots,i_{k}\}}^{j+s-1}\big((p-1)(\Delta +1)\right.\\ & \qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\left.-\Delta \sum \limits _{l=1}^{k}\unicode{x1D7D9}(i_{l}\leq p-1)\big)\right)\\ & \overset{(b)}{=} \prod _{p=j}^{j+s}(p-1)(\Delta +1) \quad + \quad \prod _{p=j}^{j+s-1}(p-1)(\Delta +1) +\sum \limits _{k=1}^{s}((\Delta +1)(s+j-1)\\ & -\Delta k + \Delta k+1)\!\sum \limits _{\mathcal{A}_{j,k}^{(j+s-1)}}\!\!\left(\prod \limits _{a=1}^{k}\big (1+(a-1)\Delta \big )\!\prod \limits _{p=j,p \notin \{i_{1},\cdots,i_{k}\}}^{j+s-1}\!\!\left(\!(p-1)(\Delta +1)-\Delta \sum \limits _{l=1}^{k}\unicode{x1D7D9}(i_{l}\leq p-1)\!\right)\!\right)\\ & \overset{(c)}{=} \prod _{p=j}^{j+s}(p-1)(\Delta +1) \quad + \quad \prod _{p=j}^{j+s-1}(p-1)(\Delta +1)\\ &+\sum \limits _{k=1}^{s}((\Delta +1)(s+j-1)-\Delta k)\sum \limits _{\mathcal{A}_{j,k}^{(j+s-1)}}\left(\prod \limits _{a=1}^{k}\big (1+(a-1)\Delta \big )\prod \limits _{p=j,p \notin \{i_{1},\cdots,i_{k}\}}^{j+s-1}\big((p-1)(\Delta +1)\right.\\ & \qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\left. -\Delta \sum \limits _{l=1}^{k}\unicode{x1D7D9}(i_{l}\leq p-1)\big)\right) \\ &+\sum \limits _{k=1}^{s}(\Delta k+1)\sum \limits _{\mathcal{A}_{j,k}^{(j+s-1)}}\!\left(\prod \limits _{a=1}^{k}\big (1+(a-1)\Delta \big )\prod \limits _{p=j,p \notin \{i_{1},\cdots,i_{k}\}}^{j+s-1}\!\!\left(\!(p-1)(\Delta +1)-\Delta \sum \limits _{l=1}^{k}\unicode{x1D7D9}(i_{l}\leq p-1)\!\right)\!\right)\\ &\overset{(d)}{=}\prod _{p=j}^{j+s}(p-1)(\Delta +1) \quad + \quad \prod _{p=j}^{j+s-1}(p-1)(\Delta +1) \\ &+\sum \limits _{k=1}^{s}\sum \limits _{\mathcal{A}_{j,k}^{(j+s-1)}}\left(\prod \limits _{a=1}^{k}\big (1+(a-1)\Delta \big )\prod \limits _{p=j,p \notin \{i_{1},\cdots,i_{k}\}}^{j+s}\left((p-1)(\Delta +1)-\Delta \sum \limits _{l=1}^{k}\unicode{x1D7D9}(i_{l}\leq p-1)\right)\right)\\ &+\sum \limits _{k=1}^{s}\sum \limits _{\mathcal{A}_{j,k}^{(j+s-1)}}\left(\prod \limits _{a=1}^{k+1}\big (1+(a-1)\Delta \big )\prod \limits _{p=j,p \notin \{i_{1},\cdots,i_{k}\}}^{j+s-1}\left((p-1)(\Delta +1)-\Delta \sum \limits _{l=1}^{k}\unicode{x1D7D9}(i_{l}\leq p-1)\right)\right)\\ & \overset{(e)}{=}\prod _{p=j}^{j+s}(p-1)(\Delta +1) \quad + \quad \prod _{p=j}^{j+s-1}(p-1)(\Delta +1) \\ &+\sum \limits _{k=1}^{s}\sum \limits _{\mathcal{A}_{j,k}^{(j+s-1)}}\left(\prod \limits _{a=1}^{k}\big (1+(a-1)\Delta \big )\prod \limits _{p=j,p \notin \{i_{1},\cdots,i_{k}\}}^{j+s}\left((p-1)(\Delta +1)-\Delta \sum \limits _{l=1}^{k}\unicode{x1D7D9}(i_{l}\leq p-1)\right)\right)\\ &+\sum \limits _{k=2}^{s+1}\sum \limits _{\mathcal{A}_{j,k-1}^{(j+s-1)}}\left(\prod \limits _{a=1}^{k}\big (1+(a-1)\Delta \big )\prod \limits _{p=j,p \notin \{i_{1},\cdots,i_{k-1}\}}^{j+s-1}\left((p-1)(\Delta +1)-\Delta \sum \limits _{l=1}^{k-1}\unicode{x1D7D9}(i_{l}\leq p-1)\right)\right) \end{align*}
\begin{align*} & \overset{(f)}{=}\prod _{p=j}^{j+s}(p-1)(\Delta +1) \quad + \quad \prod _{p=j}^{j+s-1}(p-1)(\Delta +1)\\ &+\sum \limits _{k=1}^{s}\sum \limits _{\mathcal{A}_{j,k}^{(j+s-1)}}\left(\prod \limits _{a=1}^{k}\big (1+(a-1)\Delta \big )\prod \limits _{p=j,p \notin \{i_{1},\cdots,i_{k}\}}^{j+s}\left((p-1)(\Delta +1)-\Delta \sum \limits _{l=1}^{k}\unicode{x1D7D9}(i_{l}\leq p-1)\right)\right)\\ &+\sum \limits _{k=2}^{s+1}\sum \limits _{\mathcal{B}_{j,k}^{(j+s)}}\left(\prod \limits _{a=1}^{k}\big (1+(a-1)\Delta \big )\prod \limits _{p=j,p \notin \{i_{1},\cdots,i_{k-1},j+s\}}^{j+s}\left((p-1)(\Delta +1)-\Delta \sum \limits _{l=1}^{k-1}\unicode{x1D7D9}(i_{l}\leq p-1)\right)\right)\\ &\overset{(g)}{=}\prod _{p=j}^{j+s}(p-1)(\Delta +1) \quad + \quad \prod _{p=j}^{j+s-1}(p-1)(\Delta +1)\\ &+\sum \limits _{\mathcal{A}_{j,1}^{(j+s-1)}}\left(\prod \limits _{a=1}^{1}\big (1+(a-1)\Delta \big )\prod \limits _{p=j,p \notin \{i_{1}\}}^{j+s}\left((p-1)(\Delta +1)-\Delta \sum \limits _{l=1}^{1}\unicode{x1D7D9}(i_{l}\leq p-1)\right)\right)\\ &+\sum \limits _{k=2}^{s}\sum \limits _{\mathcal{A}_{j,k}^{(j+s)}}\left(\prod \limits _{a=1}^{k}\big (1+(a-1)\Delta \big )\prod \limits _{p=j,p \notin \{i_{1},\cdots,i_{k}\}}^{j+s}\left((p-1)(\Delta +1)-\Delta \sum \limits _{l=1}^{k}\unicode{x1D7D9}(i_{l}\leq p-1)\right)\right)\\ & \qquad \qquad + \quad \prod \limits _{a=1}^{s+1}(1+(a-1)\Delta )\\ & \overset{(h)}{=}\prod _{p=j}^{j+s}(p-1)(\Delta +1)\\ & \qquad + \sum \limits _{k=1}^{s+1}\sum \limits _{\mathcal{A}_{j,k}^{(j+s)}}\left(\prod \limits _{a=1}^{k}\big (1+(a-1)\Delta \big )\prod \limits _{p=j,p \notin \{i_{1},\cdots,i_{k}\}}^{j+s}\left((p-1)(\Delta +1)-\Delta \sum \limits _{l=1}^{k}\unicode{x1D7D9}(i_{l}\leq p-1)\right)\right). \end{align*}
In the above set of equations, we obtain
$(a)$
by substituting (23) in the left-hand side of
$(a)$
. In
$(b)$
, we add and subtract
$\Delta k$
to the term
$((\Delta +1)(s+j-1)+1)$
and split the summation across the terms
$((\Delta +1)(s+j-1)-\Delta k)$
and
$(\Delta k + 1)$
in
$(c)$
. In
$(d)$
, we absorb the terms
$((\Delta k+1)(s+j-1)-\Delta k)$
and
$(\Delta k+1)$
into the product. We replace
$k$
by
$k-1$
in the fourth term on the left-hand side of
$(e)$
. We obtain the fourth term on the right-hand side of
$(f)$
using (19). On the right-hand side of
$(g)$
, the second term can be written as follows:
\begin{align*}& \prod \limits _{p=j}^{j+s-1}(p-1)(\Delta +1)\\& \quad = \sum \limits _{\mathcal {B}_{j,1}^{(j+s)}}\left(\prod \limits _{a=1}^{1}\big (1+(a-1)\Delta \big )\prod \limits _{p=j,p \notin \{j+s\}}^{j+s}\left((p-1)(\Delta +1)-\Delta \sum \limits _{l=1}^{0}\unicode {x1D7D9}(i_{l}\leq p-1)\right)\right)\end{align*}
which is merged with the third term on the right-hand side of
$(g)$
to obtain the
$k=1$
term on the right-hand side of (h). Similarly, for the terms for
$k=2$
to
$k=s$
, we merge both of the terms on the right-hand side of
$(f)$
using (18) to obtain the fourth term on the right-hand side of
$(g)$
. The last term on the right-hand side of
$(g)$
is the evaluation of the fourth term on the right-hand side of
$(f)$
at
$k=s+1$
. Finally
$(h)$
is obtained by writing all the terms under one summation. Hence the proof follows from induction on
$t-j+1$
.
4. Simulation results
In this section, we present a comparative studyFootnote 2 between our model and the Barabási-Albert model in terms of following three features:
-
Structural differences in small-sized graphs;
-
Degree distributions of the graphs obtained;
-
Expected birth time of vertices with a fixed degree.
We first illustrate the structural differences (in terms of vertex color allocation and degree) between the graphs generated by our model and the Barabási-Albert model. In the next set of simulations, we compare the degree distribution of both models by plotting the probability of randomly choosing a
$k$
degree vertex versus
$k$
(on a
$\log -\log$
scale) for a graph generated until a fixed time instant. We give the degree distribution of graphs generated for
$5000$
time steps (averaged over
$250$
simulations) via the standard Barabási-Albert model and our model with different choices of the reinforcement parameter
$\Delta _{t}$
and discuss the similarities and differences obtained in the degree distributions. In the third set of simulations, we compare both models in terms of vertices expected birth time versus degree which we define as follows.
Definition 1.
Given a random network/graph generated until time
$t$
, we define the vertices expected birth time for a fixed degree
$k$
, where
$1\leq k \leq t$
, as the expected value of all the times when the vertices which have degree
$k$
at termination time
$t$
were introduced. It is denoted by
$\overline{b}_{t}(k)$
and is given by the following expression:
\begin{align} \overline{b}_{t}(k)= \sum \limits _{j=1}^{t} (j-1)p_{k}^{(j)}(t) \end{align}
where
$p_{k}^{(j)}(t)$
is the probability that vertex
$j$
has degree
$k$
at termination time
$t$
.
Note that we write
$(j-1)$
in (24) because vertex
$j$
is introduced in the network/graph at time
$(j-1)$
. In the experiments, we determine the empirical version of (24), which we call the average birth time and denote it by
$\textrm{b}_{t}(k)$
for a degree
$k$
and termination time
$t$
. It is given by
\begin{align} b_{t}(k) = \sum \limits _{j=1}^{t}(j-1) \, \frac{\unicode{x1D7D9}\left(\sum \nolimits _{n=j}^{t}Z_{j,n} =k-1\right)}{\sum \limits _{j'=1}^{t}\unicode{x1D7D9}\left(\sum \nolimits _{n=j'}^{t}Z_{j',n}=k-1\right)}. \end{align}
Analyzing the expected birth time for a random graph provides insights on the average “age” of vertices gaining a certain degree in the generated network. A high expected birth time for a high-degree
$k$
indicates that newer incoming vertices have (on average) accumulated more connections than older vertices. In the context of social networks, this scenario corresponds to tardy influential vertices that quickly gained more popularity over already existing ones despite being introduced later in the network. We will compute the empirical expected birth time (average birth time) for different choices of
$\Delta _{t}$
and compare them with the Barabási-Albert model later in this section.
In Fig. 4, two
$15$
-vertex networks are depicted, one generated by our model (on the left-hand side) and the other by the Barabási-Albert model (on the right-hand side). We make two observations: First, in contrast with the Barabási-Albert model, in our model all vertices are labeled by distinct colors. This one-to-one correspondence between vertices and colors encodes all the information of the generated graph in the draw vectors of the underlying Pólya urn. Second, the maximum degree achieved is higher in the left-hand side network generated via our model (which achieves a maximum degree of
$11$
compared to
$6$
in the right-hand side Barabási-Albert network). This happens along one sample path due to the choice of reinforcement parameter (here
$\Delta _{t}=5$
for all
$t\geq 1$
) in our model which allows for an already selected vertex to be chosen with a higher probability than in the case of the Barabási-Albert model where the vertices are chosen proportional to their degree. In fact, this property is observed to persist in our simulations.
Figure 4. On the left-hand side is a
$15$
-vertex network generated via the draws from a Pólya urn with expanding colors and
$\Delta _{t}=5$
for all
$t \geq 1$
and on the right-hand side is a network with
$15$
vertices generated via Barabási-Albert model. For our model, unlike the Barabási-Albert model, each vertex is represented by a distinct color which corresponds to a color type of balls in the Pólya urn at that time instant. Furthermore, the extra reinforcement parameter
$\Delta _{t}$
in our model provides versatility in the level of preferential attachment. The parameter
$\Delta _{t}=5$
in our model enables the central vertex of the graph on the left-hand side to obtain a higher degree (
$11$
in this case) as compared to the right-hand side Barabási-Albert network in which the highest degree achieved is
$6$
.
Figure 5. Degree distributions of networks generated until time
$5000$
(averaged over
$250$
simulations) for the Barabási-Albert model and our model with
$\Delta _{t}=1$
and
$\Delta _{t}=\ln (t)$
. In (a), the degree distributions of both models are nearly identical. While in (b) the degree distributions are quite different.
In Figs. 5 and 6, we plot the degree distribution of networks generated for four different choices of
$\Delta _{t}$
:
$1, \ln (t),f(t), g(t)$
, where the functions
$f(t)$
and
$g(t)$
are defined in (26). We observe the deviation of the degree distribution of the graphs generated via our model for the above-mentioned choices of
$\Delta _{t}$
from the degree distribution of the Barabási-Albert network which follows the relation
$p(k)\sim k^{-3}$
, where
$p(k)$
is the probability of randomly choosing a vertex of degree
$k$
in the network. The similarity between the Barabási-Albert algorithm and our model with
$\Delta _{t}=1$
(as observed in Fig. 5(a)) can be represented in the following way:
\begin{align*} &P(\textrm{incoming vertex at time}\, t \textrm{connects to vertex corresponding to color}\, c_{j} ) \\[3pt] & \quad = \textrm{ratio of}\, c_{j}\; \textrm{color balls in the expanding color P}\acute{o}\textrm{lya urn at time}\, t-1\\[3pt] & \quad = \frac{\textrm{degree of vertex corresponding to color}\, c_{j}\, \textrm{in graph}\; \mathcal{G}_{t-1}}{\textrm{sum of degrees in graph}\; \mathcal{G}_{t-1}}\\[3pt] & \quad = P(\textrm{incoming vertex connects to the vertex added at time}\; j-1\\[3pt] & \qquad \textrm{in a standard Barab}\acute{a}\textrm{si-Albert network}). \end{align*}
Hence in the case where
$ \Delta _t=1$
, the mechanisms of both models for iteratively constructing new vertices and edges are equivalent. However, the initialization of our model is different from the Barabási-Albert model. In our model, the initial graph has only one vertex with a self-loop, whereas in the Barabási-Albert model, the initial graph can potentially have more than one vertex equipped with an edge set and no self-loops. Even though the initialization of both models is different, the equivalent procedures for adding new vertices and edges between our model with
$\Delta _{t}=1$
and the standard Barabási-Albert model ensure that the generated graphs via both models will show similar properties for sufficiently large
$t$
. While it is an intricate task to analytically solve for the asymptotic degree distribution and other properties of our model due to the fact that its reinforcement dynamics is much more involved than that of the Barabási-Albert model, such an investigation is a worthwhile future direction.
In Fig. 5(b), we observe that the degree distribution of our model with
$\Delta _{t}=\ln (t)$
significantly differs from the degree distribution of Barabási-Albert model. The former has a lower probability of obtaining lower degree vertices (degree range
$10^{0}-10^{1}$
) as compared to the latter but has a slightly higher probability of gaining moderate degree vertices (degree range
$50-150$
). Additionally, the maximum degree attained in the case of
$\Delta _{t}=\ln (t)$
for our model in Fig. 5 is much higher (
$\sim 10^{3}$
as compared to only
$200$
in Barabási-Albert network).
Figure 6. Degree distribution of the Barabási-Albert model and our model generated for two different choices of
$\Delta _{t}$
, (a)
$\Delta _{t} = f(t)$
and (b)
$\Delta _{t}=g(t)$
, where
$f(t)$
and
$g(t)$
are defined in (26). Both plots are averaged over
$250$
simulations, where each simulation is a generation of a
$5000$
-vertex graph.
In Fig. 6, we present two more cases in which the degree distributions differ substantially between our model and the Barabási-Albert model. More specifically, we generate our network for
$\Delta _{t}$
being an increasing step function
$f(t)$
and a decreasing continuous function
$g(t)$
given by:
\begin{align} f(t) = \begin{cases} 1 &\textrm{for} \quad 0\leq t\lt 1000\\[5pt] 10 &\textrm{for} \quad 1000\leq t\lt 2500\\[5pt] 100 &\textrm{for} \quad 2500\leq t \leq 5000, \end{cases} \, g(t) = \begin{cases} 10 &\textrm{for} \quad 0\leq t\leq 1000\\[5pt] \dfrac{10^{4}}{t} &\textrm{for} \quad 1000\leq t \leq 2000\\[10pt] 5 &\textrm{for} \quad 2000\leq t \leq 3000\\[5pt] \dfrac{15\times 10^{3}}{t} &\textrm{for} \quad 3000\leq t \leq 4000\\[10pt] 3.75 &\textrm{for} \quad 4000\leq t \leq 5000. \end{cases} \end{align}
We remark from Fig. 6 that the maximum degree attained in both figures (generated via
$\Delta _{t}=f(t)$
and
$\Delta _{t}=g(t)$
) is higher than in the Barabási-Albert model. Under the function
$g(t)$
, the constant value of
$\Delta _{t}=10$
up until time
$1000$
allows for the ball colors corresponding to older vertices (birth time
$\leq 1000$
) to get accumulated in large numbers. Thereafter, the value of
$\Delta _{t}$
continuously decreases, and therefore, the ball colors corresponding to younger vertices (birth time
$\geq 1000$
) do not grow in large numbers. This gap between number of balls corresponding to younger and older vertices is significant enough for most of the older vertices to achieve high degrees with the younger vertices not acquiring much connections. Hence, most of the vertices either get a very high degree or a very low degree resulting in less vertices with moderate degrees (
$10^{1}-10^{2}$
) compared to the Barabási-Albert network. On the contrary, the increasing step function
$f$
allows for a wider range of ball colors (corresponding to vertices born between time
$1000$
to
$2500$
) to grow their proportion, thus producing more vertices in the moderate degree range
$(10^{1}-10^{2})$
compared to the Barabási-Albert network.
In the next set of simulations, we compare (25) for our network generated with
$\Delta _{t}=1,\ln (t),f(t)$
and
$g(t)$
and the Barabási-Albert network. Fig. 7(a) demonstrates that in both the Barabási-Albert model and our model for
$\Delta _{t}=1$
vertices of the same degree are born at similar times. The stark similarities between the Barabási-Albert model and our model for
$\Delta _{t}=1$
in Figs. 5 and 7 strongly suggest that both networks have very similar structures; however, a rigorous analytic study is required to confirm if our model with
$\Delta _{t}=1$
is stochastically equivalent to the standard Barabási-Albert model. In Fig. 7(b), we observe that for our model with
$\Delta _{t}=\ln (t)$
, the network shows slightly more connectivity in the vertices which are born at similar times as compared to the Barabási-Albert network. This effect of same-age vertices showing more connectivity when compared to Barabási-Albert networks is much more amplified when our model uses
$\Delta (t)=f(t)$
as shown in Fig. 7(c). Both cases provide a much richer algorithm for generating real-life networks in which the “rich gets richer” phenomenon needs to be dampened as it allows the more recently born vertices to get more connectivity. In contrast, Fig. 7(d) shows an amplification of the “rich gets richer” phenomenon when compared to the Barabási-Albert network as the first two richest vertices achieve a significantly higher degree (around
$3500$
) compared to all other vertices. The rest of the vertices have very similar connectivity as that of the Barabási-Albert network. The choice
$\Delta _{t}=g(t)$
of the reinforcement parameter in our model provides an algorithm to generate graphs which are spatially similar to the Barabási-Albert network but demonstrate a higher effect of preferential attachment.
Figure 7. Vertices average birth time versus degree for our model using (a)
$\Delta _{t}=1$
; (b)
$\Delta _{t}=\ln (t)$
; (c)
$\Delta _{t}=f(t)$
and (d)
$\Delta _{t}=g(t)$
(where the functions
$f(t)$
and
$g(t)$
are given in (26)) and for the Barabási-Albert network. All networks are generated for
$5000$
time steps and the average of 250 such networks is plotted.
5. Conclusion
We constructed a preferential attachment-type graph using the draw vectors of a Pólya urn with growing colors and a tunable time-varying reinforcement parameter
$\Delta _{t}$
. The network obtained is essentially equivalent to the Barabási-Albert network for the case
$\Delta _{t}=1$
and gains a significant amount of versatility when
$\Delta _{t}$
is a time-varying function. We analyzed the draw vectors of the underlying stochastic process and derived the probability distribution of a random variable counting the draws of a particular color of this Pólya process. This random variable can be written in terms of the degree of the vertex in the constructed preferential attachment network corresponding to this color. We provided simulation evidences for the structural similarities between our model and the Barabási-Albert model for
$\Delta _{t}=1$
and also justified the richness and versatility of our model for general
$\Delta _{t}$
. Future directions include devising a preferential attachment graph-generating algorithm using a Pólya urn with finitely many colors, formulating strategies for choosing the best possible
$\Delta _{t}$
for a randomly growing graph, incorporating removal of edges in the graph through removal of balls from the Pólya urn and setting an upper limit on the maximum degree a vertex can achieve.
Acknowledgements
This work was funded in part by the Natural Sciences and Engineering Research Council of Canada.
Competing interests
None.
Open access
