Network Theory
John Baez
October 23, 2016
Scientists and engineers use diagrams of networks in many different ways.
The Azimuth
Project is investigating these, using the tools of modern
mathematics. You can read articles about our research here:
You can navigate forwards and back through these using the blue
arrows. By clicking the links that say "on Azimuth", you can see blog
entries containing these articles. Those let you read comments about
my articles—and also make comments or ask questions of your own!
You can watch 4 lectures, an overview of network theory, here:
Chemical reaction networks and Petri nets
Parts 1 to 26 are about chemical reaction networks and Petri nets.
These parts have been made into a book:
I also expanded some parts into selfstanding papers:

John Baez and Brendan Fong,
A Noether theorem for stochastic mechanics, J. Math. Phys.
54 (2013), 013301. (Blog article here.)

John Baez, Quantum
techniques for reaction networks, to appear in Natural Computing.
(Blog article
here.)

John Baez and Brendan Fong,
Quantum techniques for studying equilibrium in reaction networks,
Journal of Complex Networks 3 (2014), 22–34.
(Blog article
here.)

John Baez and Blake Pollard, A
compositional framework for reaction networks,
Reviews in Mathematical Physics 29 (2017), 1750028.
(Blog article here.)
Here are the blog articles for parts 126:

Part 1  toward a general theory of networks.
Also available on Azimuth.

Part 2  stochastic Petri nets; the master equation versus the rate equation. Also available on Azimuth.

Part 3  the rate equation of a stochastic Petri net, and applications to chemistry and infectious disease. Also available on Azimuth.

Part 4  the master equation of a stochastic Petri net, and analogies to quantum field theory. Also available on Azimuth.

Part 5  the stochastic Petri net for a Poisson process; analogies between quantum theory and probability theory. Also available on Azimuth.

Part 6  the master equation in terms of annihilation and creation operators. Also available on Azimuth.

Part 7  a stochastic Petri net from population biology whose rate equation is the logistic equation; an equilibrium solution of the corresponding master equation. Guest post by Jacob Biamonte. Also available on Azimuth.

Part 8  the rate equation and master equation of a stochastic Petri net; the role of Feynman diagrams. Also available on Azimuth.

Part 9  the Anderson–Craciun–Kurtz theorem, which gives equilibrium solutions of the master equation from complex balanced equilibrium solutions of the rate equation; coherent states. Joint post with Brendan Fong. Also available on Azimuth.

Part 10  an example of the AndersonCraciunKurtz theorem. Also available on Azimuth.

Part 11  a stochastic version of Noether's theorem. Joint post with Brendan Fong. Also available on Azimuth.

Part 12  comparing quantum mechanics and stochastic mechanics. Also available on Azimuth.

Part 13  comparing the quantum and stochastic versions of Noether's theorem. Also available on Azimuth.

Part 14  an example: chemistry and the Desargues graph. Also available on Azimuth, together with a special post on answers to the puzzle.

Part 15  Markov processes and quantum processes coming from graph Laplacians, illustrated using the Desargues graph. Also available on Azimuth.

Part 16  Dirichlet operators and electrical circuits made of resistors. Also available on Azimuth.

Part 17  reaction networks versus Petri nets; the deficiency zero theorem. Joint post with Jacob Biamonte. Also available on Azimuth.

Part 18  an example of the deficiency zero theorem: a diatomic gas. Joint post with Jacob Biamonte. Also available on Azimuth

Part 19  an example of Noether's theorem and the Anderson–Craciun–Kurtz theorem: a diatomic gas. Joint post with Jacob Biamonte. Also available on Azimuth.

Part 20  Dirichlet operators and the Perron–Frobenius theorem. Guest post by Jacob Biamonte. Also available on Azimuth.

Part 21  warmup for the proof of the deficiency zero theorem: the concept of deficiency. Also available on Azimuth.

Part 22  warmup for the proof of the deficiency zero theorem: reformulating the rate equation. Also available on Azimuth.

Part 23  warmup for the proof of the deficiency zero theorem: finding the equilibria of a Markov process, and describing its Hamiltonian in a slick way. Also available on Azimuth.

Part 24  proof of the deficiency zero theorem. Also available on Azimuth.

Part 25  Petri nets, logic, and computation: the reachability problem for Petri nets. Also available on Azimuth.

Part 26  Using chemical reactions for computation—an introduction by Luca Cardelli. Also available on Azimuth.
This was the official end of the series of posts on stochastic Petri nets and chemical reaction networks... but there is more to read:

The LargeNumber Limit for Reaction Networks (Part 1) 
How the largenumber limit for reaction networks resembles the
classical limit of quantum mechanics. This post is based on joint
work with Arjun Jain. Available on Azimuth.

The LargeNumber Limit for Reaction Networks (Part 2) 
Coherent states and the largenumber limit. This post is based on
joint work with Arjun Jain. Available on
Azimuth.

The LargeNumber Limit for Reaction Networks (Part 3)  Deriving the
rate equation from the master equation by taking the largenumber limit.
Joint with Arjun Jain. Available
on Azimuth.
Electrical circuits, control theory and Markov processes
Starting in part 27, the network theory series changed topics to
electrical circuits and related engineering problems. The series of blog
posts sort of fizzled out, since my students and I got busy writing papers.
I did, however, write blog articles about these papers:
Overview:
Electrical circuits:
Control theory:
Markov processes and reaction networks:

John Baez, Brendan Fong and Blake Pollard,
A compositional framework for
Markov processes, Journal of Mathematical Physics
57 (2016), 033301. (Blog article here.)

Blake Pollard, A
Second Law for open Markov processes, Open
Systems and Information Dynamics 23 (2016), 1650006.
(Blog article here.)

Blake Pollard, Open Markov
processes: A compositional perspective on nonequilibrium steady
states in biology, Entropy 18 (2016), 140.
(Blog article here.)

John Baez and Blake Pollard, A
compositional framework for reaction networks,
Reviews in Mathematical Physics 29 (2017), 1750028.
(Blog article here.)

Blake Pollard, Open Markov
Processes and Reaction Networks, Ph.D. thesis, U. C. Riverside,
2017. (No blog article yet, but soon.)

John Baez and Kenny Courser,
Coarsegraining open
Markov processes. (No blog article yet, but soon.)
The mathematics of networks  decorated cospans:

Brendan Fong, Decorated
cospans, Theory and Applications of Categories 30 (2015),
1096–1120. (Blog article here.)

Brendan Fong, Decorated
corelations. (No blog article yet, but soon.)

Kenny Courser, A bicategory
of decorated cospans, Theory and Applications of Categories 32
(2017), 985–1027. (Blog article here.)

Daniel Cicala, Spans of
cospans. (No blog article yet, but soon.)

Daniel Cicala and Kenny Courser, Bicategories of spans and cospans. (No blog article yet, but soon.)
The mathematics of networks  props:
Here is the series of blog posts:

Part 27  Getting differential equations from circuit diagrams. Available on Azimuth.

Part 28  The analogy between electronics and mechanics. Available
on Azimuth.

Part 29  Analogies between the mechanics of translation, the mechanics
of rotation, electronics, hydraulics, thermal physics, chemistry,
heat flow and economics. Flow versus effort. Available
on Azimuth.

Part 30  Toward a category with circuits as morphisms. Available
on Azimuth, along with a videotaped lecture on YouTube.

Part 31  Circuits as cospans, and how to compose cospans. Available
on Azimuth and on YouTube.
These ended rather prematurely when I decided to focus on writing
papers instead. So, read some of the papers listed above — or
at least Brendan Fong's thesis,
which is a good overview!
To understand ecosystems, ultimately will be to understand networks. 
B. C. Patten and M. Witkamp
Text © 2015 John Baez
Diagram on top by Nicolas Le Novere, illustrating
SBGN: Entity
Relationship Language
baez@math.removethis.ucr.andthis.edu