Showing changes from revision #3 to #4:
Added | Removed | Changed
This page is a blog article in progress, written by John Baez. To see discussions of this article while it is being written, go to the Azimuth Forum.
The storm is brewing for the final climax, so let’s remember where we are. We start with a stochastic reaction network:
This consists of:
• finite sets of transitions $T$, complexes $K$ and species $S$,
• a map $r: T \to (0,\infty)$ giving a rate constant for each transition,
• source and target maps $s,t : T \to K$ saying where each transition starts and ends,
• a map $Y : K \to \mathbb{N}^S$ saying how each complex is made of species.
Then we extend $s, t$ and $Y$ to linear maps:
Then we put inner products on these vector spaces as described last time, which lets us ‘turn around’ the maps $s$ and $t$ by taking their adjoints:
More surprisingly, we can ‘turn around’ $Y$ and get a nonlinear map using ‘matrix exponentiation’:
This is most easily understood by thinking of $x$ as a row vector and $Y$ as a matrix:
Remember, complexes are made out of species. The matrix entry $Y_{i j}$ says how many things of the $j$th species there are in a complex of the $i$th kind. If $\psi \in \mathbb{R}^K$ says how many complexes there are of each kind, $Y \psi \in \mathbb{R}^S$ says how many things there are of each species. Conversely, if $x \in mathbb{R}^S$ says how many things there are of each species, $Y^x \in \mathbb{R}^K$ says how many ways we can build each kind of complex from them.
So, we get these maps:
Next, the boundary operator
describes how each transition causes a change in complexes:
As we saw last time, there is a Hamiltonian
describing a Markov processes on the set of complexes, given by
But the star of the show is the rate equation. This describes how the number of things of each species changes with time. We write these numbers in a list and get a vector $x \in \mathbb{R}^S$ with nonnegative components. The rate equation says:
We can read this as follows:
• $x$ says how many things of each species we have now.
• $x^Y$ says how many complexes of each kind we can build from these species.
• $s^\dagger x^Y$ says how many transitions of each kind can originate starting from these complexes, with each transition weighted by its rate.
• $H x^Y = \partial s^\dagger x^Y$ is the rate of change of the number of complexes of each kind, due to these transitions.
• $Y H x^Y$ is the rate of change of the number of things of each species.
We are looking for equilibrium solutions of the rate equation, where the number of things of each species doesn’t change at all:
In fact we will find complex balanced equilibrium solutions, where even the number of complexes of each kind don’t change:
More precisely, we have:
Deficiency Zero Theorem (Child’s Version). Suppose we have a reaction network obeying these two conditions:
It is weakly reversible, meaning that whenever there’s a transition from one complex $\kappa$ to another $\kappa'$, there’s a directed path of transitions going back from $\kappa'$ to $\kappa$.
It has deficiency zero, meaning $\mathrm{im} \partial \cap \mathrm{ker} Y = \{ 0 \}$.
Then for any choice of rate constants there exists a complex balanced equilibrium solution of the rate equation where all species are present in nonzero amounts. In other words, there exists $x\in ({\mathbb{R}}^{S}0,\mathrm{\infty}{)}^{S}$ x \in (0,\infty)^S \mathbb{R}^S with all components positive and such that:
Proof. Because our reaction network is weakly reversible, the theorems in Part 23 show there exists $\psi \in (0,\infty)^K$ with
This $\psi$ may not be of the form $x^Y$, but we shall adjust $\psi$ so that it becomes of this form, while still remaining a solution of $H \psi = 0$ . To do this, we need a couple of lemmas:
We need to use a few facts from linear algebra. If Lemma 1.$V$ is a finite-dimensional vector space with inner product, the $\ker \partial^\dagger + \im Y^\dagger = \mathbb{R}^K$orthogonal complement. $L^\perp$ of a subspace $L \subseteq V$ consists of vectors that are orthogonal to everything in $L$:
Proof. We need to use a few facts from linear algebra. If $V$ is a finite-dimensional vector space with inner product, the orthogonal complement $L^\perp$ of a subspace $L \subseteq V$ consists of vectors that are orthogonal to everything in $L$:
We have
where $L$ and $M$ are subspaces of $V$ and $+$ denotes the sum of subspaces. Also, if $T: V \to W$ is a linear map between finite-dimensional vector spaces with inner product, we have
and
Now, because our reaction network has deficiency zero, we know that
Taking the orthogonal complement of this subspace of ${\mathbb{R}}^{\mathrm{SK}}$ \mathbb{R}^S \mathbb{R}^K, we get
but and using the rules we mentioned, we obtain
as desired. █
Now, given a vector $\phi$ in $\mathbb{R}^K$ or $\mathbb{R}^S$ with all positive components, we can define the logarithm of such a vector, componentwise:
Similarly, for any vector $\phi$ in either of these spaces, we can define its exponential in a componentwise way:
These operations are inverse to each other. Moreover:
Lemma 2. The nonlinear operator
is related to the linear operator
by the formula
which holds for all $x \in (0,\infty)^S$.
Proof. A straightforward calculation. By the way, this formula would look a bit nicer if we treated $\ln x$ as a row vector and multiplied it on the right by $Y$: then we would have
The problem is that we are following the usual convention of multiplying vectors by matrices on the left, yet writing the matrix on the right in $x^Y$; in a sense the transpose $Y^\dagger$ of the matrix $Y$ serves to compensate for this. █
Now, given our vector $\psi \in (0,\infty)^K$ with $H \psi = 0$, we obtain $\ln \psi \in \mathbb{R}^K$. Lemma 1 says that
so we can write
for some $\alpha \in \ker \partial^\dagger$ and some $\beta \in \mathbb{R}^S$. Moreover, we can write
for some $x \in (0,\infty)^S$, so that
Exponentiating both sides componentwise, we get
where at right we are taking the componentwise product of vectors. Thanks to Lemma 2, we conclude that
So, we have taken $\psi$ and almost written it in the form $x^Y$—but not quite! We can adjust $\psi$ to make it be of this form:
Clearly all the components of $\exp(-\alpha) \psi$ are positive, since the same is true for both $\psi$ and $\exp(-\alpha)$. So, the only remaining task is to check that $\exp(-\alpha) \psi$ is still a complex balanced equilibrium solution of the rate equation:
Lemma 3. If $H \psi = 0$ and $\alpha \in \ker \partial^\dagger$, then $H(\exp(-\alpha) \psi) = 0$.
Proof. It is enough to check that multiplication by $\exp(-\alpha)$ commutes with the Hamiltonian $H$, since then
Recall from Part 23 that $H$ is the Hamiltonian of a Markov process associated to this ‘graph with rates’:
As noted here:
• John Baez and Brendan Fong, A Noether theorem for Markov processes.
multiplication by a function on $K$ commutes with $H$ if and only if that function is constant on each connected component of this graph. So, it suffices to show that $\exp(-\alpha)$ is constant on each connected component. For this, it is enough to show that $\alpha$ itself is constant on each connected component. But this follows from the next lemma, since $\alpha \in \ker \partial^\dagger$. █
Lemma 4. A function $\alpha \in \mathbb{R}^K$ is constant on each connected component of the graph $s, t: T \to K$ iff $\partial^\dagger \alpha = 0$
Proof. Suppose $\partial^\dagger \alpha = 0$, or in other words, $\alpha \in \mathrm{ker} \partial^\dagger$, or in still other words, $\alpha \in (\mathrm{im} \partial)^\perp$. To show that $\alpha$ is constant on each connected component, it suffices to show that whenever we have two complexes connected by a transition, like this:
then $\alpha$ takes the same value at both these complexes:
To see this, note
and since $\alpha \in (\mathrm{im} \partial)^\perp$, we conclude
But calculating this inner product, we see
as desired.
For the converse, we simply turn the argument around: if $\alpha$ is constant on each connected component, we see $\langle \alpha, \kappa' - \kappa \rangle = 0$ whenever there is a transition $\tau : \kappa \to \kappa'$. It follows that $\langle \alpha, \partial \tau \rangle = 0$ for every transition $\tau$, so $\alpha \in (\im \partial)^\perp$.
And thus concludes the proof of the lemma! █
And thus concludes the proof of the theorem! █
And thus concludes this post!