In the final post of this series (see here for the previous posts) we consider yet another point of view for understanding networks. In the previous posts we studied random graph models with community structure and also models with an underlying geometry. While these models are important and lead to fascinating problems, they are also static in time. Many real-world networks are constantly evolving, and their understanding requires models that reflect this. This point of view brings about a host of new interesting and challenging statistical inference questions that concern the temporal dynamics of these networks. In this post we study such questions for two canonical models of randomly growing trees: uniform attachment and preferential attachment.

**Models of growing graphs**

A natural general model of randomly growing graphs can be defined as follows. For and a graph on vertices, define the random graph by induction. First, set ; we call the *seed* of the graph evolution process. Then, given , is formed from by adding a new vertex and some new edges according to some adaptive rule. If is a single vertex, we write simply instead of .

There are several rules one can consider; here we study perhaps the two most natural ones: uniform attachment and preferential attachment (denoted and in the following). Moreover, for simplicity we focus on the case of growing t*rees,* where at every time step a single edge is added. Uniform attachment trees are defined recursively as follows: given , is formed from by adding a new vertex and adding a new edge where the vertex is chosen uniformly at random among vertices of , independently of all past choices. Preferential attachment trees are defined similarly, except that is chosen with probability proportional to its degree:

where for a tree we denote by the degree of vertex in .

**Questions: detection and estimation**

The most basic questions to consider are those of *detection* and *estimation*. Can one detect the influence of the initial seed graph? If so, is it possible to estimate the seed? Can one find the root if the process was started from a single node? We introduce these questions in the general model of randomly growing graphs described above, even though we study them in the special cases of uniform and preferential attachment trees later.

The detection question can be rephrased in the terminology of hypothesis testing. Given two potential seed graphs and , and an observation which is a graph on vertices, one wishes to test whether or . The question then boils down to whether one can design a test with asymptotically (in ) nonnegligible power. This is equivalent to studying the total variation distance between and , so we naturally define

where and are random elements in the finite space of unlabeled graphs with vertices. This limit is well-defined because is nonincreasing in (since if , then the evolution of the random graphs can be coupled such that for all ) and always nonnegative.

If the seed has an influence, it is natural to ask whether one can estimate from for large . If so, can the subgraph corresponding to the seed be located in ? We study this latter question in the simple case when the process starts from a single vertex called the *root*. (In the case of preferential attachment, starting from a single vertex is not well-defined; in this case we start the process from a single edge and the goal is to find one of its endpoints.) A *root-finding algorithm* is defined as follows. Given and a target accuracy , a root-finding algorithm outputs a set of vertices such that the root is in with probability at least (with respect to the random generation of ).

An important aspect of this definition is that the size of the output set is allowed to depend on , but not on the size of the input graph. Therefore it is not clear that root-finding algorithms exist at all. Indeed, there are examples when they do not exist: consider a path that grows by picking one of its two ends at random and extending it by a single edge. However, it turns out that in many interesting cases root-finding algorithms do exist. In such cases it is natural to ask for the best possible value of .

**The influence of the seed**

Consider distinguishing between a PA tree started from a star with vertices, , and a PA tree started from a path with vertices, . Since the preferential attachment mechanism incorporates the rich-get-richer phenomenon, one expects the degree of the center of the star in to be significantly larger than the degree of any of the initial vertices in the path in . This intuition guided Bubeck, Mossel, and Racz when they initiated the theoretical study of the influence of the seed in PA trees. They showed that this intuition is correct: the limiting distribution of the maximum degree of the PA tree indeed depends on the seed. Using this they were able to show that for any two seeds and with at least vertices and different degree profiles we have

However, statistics based solely on degrees cannot distinguish all pairs of nonisomorphic seeds. This is because if and have the same degree profiles, then it is possible to couple and such that they have the same degree profiles for every . In order to distinguish between such seeds, it is necessary to incorporate information about the graph structure into the statistics that are studied. This was done successfully by Curien, Duquesne, Kortchemski, and Manolescu, who analyzed statistics that measure the *geometry* of large degree nodes. These results can be summarized in the following theorem.

Theorem:The seed has an influence in PA trees in the following sense. For any trees and that are nonisomorphic and have at least vertices, we have

In the case of uniform attachment, degrees do not play a special role, so initially one might even think that the seed has no influence in the limit. However, it turns out that the right perspective is not to look at degrees but rather the sizes of appropriate subtrees (we shall discuss such statistics later). By extending the approach of Curien et al. to deal with such statistics, Bubeck, Eldan, Mossel, and Racz showed that the seed has an influence in uniform attachment trees as well.

Theorem:The seed has an influence in UA trees in the following sense. For any trees and that are nonisomorphic and have at least vertices, we have

These results, together with a lack of examples showing opposite behavior, suggest that for most models of randomly growing graphs the seed has influence.

Question:How common is the phenomenon observed in Theorems 1 and 2? Is there a natural large class of randomly growing graphs for which the seed has an influence? That is, models where for any two seeds and (perhaps satisfying an extra condition), we have . Is there a natural model where the seed has no influence?

**Finding Adam**

These theorems about the influence of the seed open up the problem of *finding* the seed. Here we present the results of Bubeck, Devroye, and Lugosi who first studied root-finding algorithms in the case of UA and PA trees.

They showed that root-finding algorithms indeed exist for PA trees and that the size of the best confidence set is polynomial in .

Theorem:There exists a polynomial time root-finding algorithm for PA trees with

for some finite constant . Furthermore, there exists a positive constant such that any root-finding algorithm for PA trees must satisfy

They also showed the existence of root-finding algorithms for UA trees. In this model, however, there are confidence sets whose size is *subpolynomial* in . Moreover, the size of any confidence set has to be at least *superpolylogarithmic* in .

Theorem:There exists a polynomial time root-finding algorithm for UA trees with

for some finite constant . Furthermore, there exists a positive constant such that any root-finding algorithm for UA trees must satisfy

These theorems show an interesting quantitative difference between the two models: finding the root is exponentially more difficult in PA than in UA. While this might seem counter-intuitive at first, the reason behind this can be traced back to the rich-get-richer phenomenon: the effect of a rare event where not many vertices attach to the root gets amplified by preferential attachment, making it harder to find the root.

**Proofs using Polya urns**

We now explain the basic ideas that go into proving Theorems 3 and 4 and prove some simpler cases. While UA and PA are arguably the most basic models of randomly growing graphs, the evolution of various simple statistics, such as degrees or subtree sizes, can be described using even simpler building blocks: Polya urns. In this post we assume familiarity with Polya urns; we refer to the lecture notes for a primer on Polya urns for the interested reader.

**A root-finding algorithm based on the centroid**

We start by presenting a simple root-finding algorithm for UA trees. This algorithm is not optimal, but its analysis is simple and highlights the basic ideas.

For a tree , if we remove a vertex , then the tree becomes a forest consisting of disjoint subtrees of the original tree. Let denote the size (i.e., the number of vertices) of the largest component of this forest. A vertex that minimizes is known as a *centroid* of ; one can show that there can be at most two centroids. We define the confidence set by taking the set of vertices with smallest values.

Theorem:The centroid-based defined above is a root-finding algorithm for the UA tree. More precisely, if

then

where denotes the root, and denotes the unlabeled version of .

*Proof:* We label the vertices of the UA tree in chronological order. We start by introducing some notation that is useful throughout the proof. For , denote by the tree containing vertex in the forest obtained by removing in all edges between vertices . See the figure for an illustration.

Let denote the size of a tree , i.e., the number of vertices it contains. Note that the vector

evolves according to the classical P\’olya urn with colors, with initial state . Therefore the normalized vector

converges in distribution to a Dirichlet distribution with parameters .

Now observe that

We bound the two terms appearing above separately, starting with the first one. Note that

and both and converge in distribution to a uniform random variable in . Hence a union bound gives us that

For the other term, first observe that for any we have

Now using results on P\’olya urns we have that for every such that , the random variable

converges in distribution to the distribution. Hence by a union bound we have that

Putting together the two bounds gives that

which concludes the proof due to the assumption on .

The same estimator works for the preferential attachment tree as well, if one takes

for some positive constant . The proof mirrors the one above, but involves a few additional steps; we refer to Bubeck et al. for details.

For uniform attachment the bound on given by Theorem 5 is not optimal. It turns out that it is possible to write down the maximum likelihood estimator (MLE) for the root in the UA model; we do not do so here, see Bubeck et al. One can view the estimator based on the centroid as a certain “relaxation” of the MLE. By constructing a certain “tighter” relaxation of the MLE, one can obtain a confidence set with size subpolynomial in as described in Theorem 4. The analysis of this is the most technical part of Bubeck et al. and we refer to this paper for more details.

**Lower bounds**

As mentioned above, the MLE for the root can be written down explicitly. This aids in showing a lower bound on the size of a confidence set. In particular, Bubeck et al. define a set of trees whose probability of occurrence under the UA model is not too small, yet the MLE provably fails, giving the lower bound described in Theorem 4. We refer to Bubeck et al. for details.

On the other hand, for the PA model it is not necessary to use the structure of the MLE to obtain a lower bound. A simple symmetry argument suffices to show the lower bound in Theorem 3, which we now sketch.

First observe that the probability of error for the optimal procedure is non-decreasing with , since otherwise one could simulate the process to obtain a better estimate. Thus it suffices to show that the optimal procedure must have a probability of error of at least for some finite . We show that there is some finite such that with probability at least , the root is isomorphic to at least vertices in . Thus if a procedure outputs at most vertices, then it must make an error at least half the time (so with probability at least ).

Observe that the probability that the root is a leaf in is

By choosing , this happens with probability . Furthermore, conditioned on the root being a leaf, with constant probability vertex is connected to leaves, which are then isomorphic to the root.

**Open problems**

There are many open problems and further directions that one can pursue; the four papers we have discussed contain 20 open problems and conjectures alone, and we urge the reader to have a look and try to solve them!