Chapter 49
Replication as a Fixed Point
49.1 The Concurrent Y Combinator
The Rho calculus admits a concurrent Y combinator: a process \(\mathbf{Y}\) satisfying the fixed-point equation \[\mathbf{Y}(F) \;\bisim\; F\bigl(\mathbf{Y}(F)\bigr) \;\mid\; \mathbf{Y}(F).\] This is the abstract core of the \(\pi\)-calculus replication operator \(!P \equiv P \mid !P\), expressed entirely within the Rho calculus using only the comm rule and quoting, without adding replication as a new primitive.
The concurrent Y combinator is not just a fixed point of the interaction dynamics; it is the canonical fixed point of the replication map \(F \mapsto F \mid F\). In this sense replication is not an accidental feature of the Rho calculus but a structural inevitability: any sufficiently expressive interactive GSLT must contain a fixed point of its own duplication map, and that fixed point is replication.
49.2 The Comm Rule as a Crossover Operator
The single base rewrite rule of the Rho calculus is: \[\mathtt{for}(y \leftarrow x)\,P \;\mid\; x!(Q) \;\rewrite\; P\{@Q / y\}\] This rule substitutes the quoted code \(@Q\) — a name encoding the entire program \(Q\) — into the body \(P\) of the receiver. The result is a new process that has incorporated material from both \(P\) (the receiver’s structure) and \(Q\) (the sender’s content).
A crossover operator in the sense of genetic algorithms recombines fragments of two parent programs to produce an offspring. The comm rule is one definitional step from this: instead of substituting \(Q\) wholesale into \(P\), a crossover variant would substitute a fragment of \(Q\) — a sub-process selected by some recombination policy.
This places replication, recombination, and variation — the three pillars of Darwinian evolution — all within reach of a single rule. Replication is the Y combinator fixed point. Recombination is the comm rule with fragment substitution. Variation is the accumulation of errors in the substitution process, weighted by the amplitude structure of the path integral. Darwinian evolution is not added to the framework; it is derivable from it.