It looks like you're new here. If you want to get involved, click one of these buttons!

- All Categories 2.2K
- Applied Category Theory Course 354
- Applied Category Theory Seminar 4
- Exercises 149
- Discussion Groups 49
- How to Use MathJax 15
- Chat 480
- Azimuth Code Project 108
- News and Information 145
- Azimuth Blog 149
- Azimuth Forum 29
- Azimuth Project 189
- - Strategy 108
- - Conventions and Policies 21
- - Questions 43
- Azimuth Wiki 711
- - Latest Changes 701
- - - Action 14
- - - Biodiversity 8
- - - Books 2
- - - Carbon 9
- - - Computational methods 38
- - - Climate 53
- - - Earth science 23
- - - Ecology 43
- - - Energy 29
- - - Experiments 30
- - - Geoengineering 0
- - - Mathematical methods 69
- - - Meta 9
- - - Methodology 16
- - - Natural resources 7
- - - Oceans 4
- - - Organizations 34
- - - People 6
- - - Publishing 4
- - - Reports 3
- - - Software 21
- - - Statistical methods 2
- - - Sustainability 4
- - - Things to do 2
- - - Visualisation 1
- General 39

Options

In

I hope to actually finish the proof of the deficiency zero theorem. In the *book* version it shouldn't take as long as it has here, because I'll do some stuff in earlier sections. There's a beautiful picture here, which also involves electrical circuit theory, but I'm sort of making it up as I go, so it's not perfected, and it's coming out in dribs and drabs now.

This section starts with a long review, which I've written... but I haven't written the meat yet!

## Comments

a

`a`

I've finished the meat of

and indeed finished the proof of the deficiency zero theorem. I'm happy to be done with it, but I see very clearly that lots of the lemmas here are really about Markov processes, not stochastic reaction networks... having them all mixed in makes it harder to see what's going on. And my approach to Markov processes is based heavily on graph theory and the 'discrete differential geometry of graphs' that Eric Forgy likes so much... but which I haven't actually explained much in this series!

So, while I think I've found the really good way to prove the deficiency zero theorem, it's not organized well yet. It needs a little book, which starts out talking about Markov processes and the differential geometry of graphs, and

thenapplies those ideas to stochastic reaction networks.I will try to do this reorganization at some point while polishing up the little book that I'm indeed trying to write.

`I've finished the meat of * [[Blog - network theory (part 24)]] and indeed finished the proof of the deficiency zero theorem. I'm happy to be done with it, but I see very clearly that lots of the lemmas here are really about Markov processes, not stochastic reaction networks... having them all mixed in makes it harder to see what's going on. And my approach to Markov processes is based heavily on graph theory and the 'discrete differential geometry of graphs' that Eric Forgy likes so much... but which I haven't actually explained much in this series! So, while I think I've found the really good way to prove the deficiency zero theorem, it's not organized well yet. It needs a little book, which starts out talking about Markov processes and the differential geometry of graphs, and _then_ applies those ideas to stochastic reaction networks. I will try to do this reorganization at some point while polishing up the little book that I'm indeed trying to write.`

I added a bunch of extra chat to

and posted it on the blog.

`I added a bunch of extra chat to * [[Blog - network theory (part 24)]] and posted it [on the blog](http://johncarlosbaez.wordpress.com/2012/08/23/network-theory-part-24/).`