Home › Azimuth Project › › Azimuth Blog

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

- All Categories 2.4K
- Chat 503
- Study Groups 21
- Petri Nets 9
- Epidemiology 4
- Leaf Modeling 2
- Review Sections 9
- MIT 2020: Programming with Categories 51
- MIT 2020: Lectures 20
- MIT 2020: Exercises 25
- Baez ACT 2019: Online Course 339
- Baez ACT 2019: Lectures 79
- Baez ACT 2019: Exercises 149
- Baez ACT 2019: Chat 50
- UCR ACT Seminar 4
- General 75
- Azimuth Code Project 110
- Statistical methods 4
- Drafts 10
- Math Syntax Demos 15
- Wiki - Latest Changes 3
- Strategy 113
- Azimuth Project 1.1K
- - Spam 1
- News and Information 148
- Azimuth Blog 149
- - Conventions and Policies 21
- - Questions 43
- Azimuth Wiki 718

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/).`