Last time, discussed the Smoluchowski equations which define an infinite volume mean-field model for coalescence. Now we consider a stochastic coalescent model, the *Marcus-Lushnikov process*. Here, we start with a finite collection of finite mass particles, with total mass *N*. Then we define a process by demanding that given particles with masses *x *and *y *coalesce into a single particle with mass *x + y *at rate *K(x,y)/N*.

This can be formalised as a continuous-time Markov chain in different ways. The underlying state space consists of the set of unordered multisets of positive integers which sum to *N*. But rather than considering the configurations of masses themselves, it is sometimes more convenient to take the state space to be:

.

Here records the number of particles with mass *x*, and the constraint controls conservation of mass. Writing out a transition of this Markov chain is notationally annoying, but they have simple transition rates. The rate of transition from to the state where masses *x* and *y *have coalesced is given by

.

Therefore, the Marcus-Lushnikov process is the process of component sizes in the finite particle setting of coalescence. The existence and mode of convergence of these processes to the deterministic solutions to Smoluchowski’s equation are of particular interest in many models.

As discussed in the previous post, there is an obvious heuristic link between the multiplicative coalescent and random graph processes. An easy but interesting explicit equivalence can be drawn between the Marcus-Lushnikov process with kernel *K(x,y) = xy *and monodisperse (that is, starting with *N *unit mass particles) initial conditions and a specific random graph structure.

**Proposition: **The process with the conditions above is equivalent to the process of component sizes in .

*Proof: *First, observe that we can couple the latter process in the obvious way by associating a U[0,1] random variable with each of the edges. The edge *e* is included at time *t *iff . In this process, the appearances of different edges are independent and

.

Therefore the waiting times for a given edge to appear are independent RVs. In particular, the edge process is memoryless, hence the component size process is Markov. Then it is genuinely obvious that the rate at which an edge joining given distinct components of sizes *x *and *y *appears is . So the evolution is exactly the same as the Marcus-Lushnikov process, and the initial configuration is monodisperse.