arXiv++ Combinatorics

An \emph{evolving Shelah-Spencer process} is one by which a random graph grows, with at each time $τ\in {\bf N}$ a new node incorporated and attached to each previous node with probability $τ^{-α}$, where $α\in (0,1) \setminus {\bf Q}$ is fixed. We analyse the graphs that result from this process, including the infinite limit, in comparison to Shelah-Spencer sparse random graphs discussed in [Spencer, J., 2013. The strange logic of random graphs (Vol. 22). Springer Science & Business Media.] and throughout the model-theoretic literature. The first order axiomatisation for classical Shelah-Spencer graphs comprises a 'Generic Extension' axiom and a 'No Dense Subgraphs' axiom. We show that in our context 'Generic Extension' continues to hold. While 'No Dense Subgraphs' fails, a weaker 'Few Rigid Subgraphs' property holds.

We consider a simple Preferential Attachment graph process, which begins with a finite graph, and in which a new $(t+1)$st vertex is added at each subsequent time step $t$, and connected to each previous vertex $u \leq t$ with probability $\frac{d_u(t)}{t}$ where $d_u(t)$ is the degree of $u$ at time $t$. We analyse the graph obtained as the infinite limit of this process, and show that so long as the initial finite graph is neither edgeless nor complete, with probability 1 the outcome will be a copy of the Rado graph augmented with a finite number of either isolated or universal vertices.

We consider a preferential attachment process in which a multigraph is built one node at a time. The number of edges added at stage $t$, emanating from the new node, is given by some prescribed function $f(t)$, generalising a model considered by Kleinberg and Kleinberg in 2005 where $f$ was presumed constant. We show that if $f(t)$ is asymptotically bounded above and below by linear functions in $t$, then with probability $1$ the infinite limit of the process will be isomorphic to the \emph{Rado multigraph}. This structure is the natural multigraph analogue of the Rado graph, which we introduce here.