Chemical Reaction Network Theory
Martin Feinberg Group for Chemical Reaction Network Theory
Mathematics of Complex Chemical Systems
→ → → → → → → → → →
ABOUT
Reaction systems with complex chemistry give rise to complicated systems of nonlinear equations that don’t lend themselves to analytic solution. What’s more, increased complexity in the governing equations can give rise to complicated new phenomena that simple textbook reactors don’t admit. Even in the constant temperature case common in biology there can, for example, be unstable steady states, multiple steady states, sustained composition oscillations, and wild, chaotic dynamics.
Since each new network of chemical reactions gives rise to its own complicated system of differential equations, it becomes apparent that, in the absence of an overarching theory, we would be forced to study reaction systems on a case-by-case basis, and each new case would be fraught with terrible analytical difficulties. What’s needed is a way of looking at things from a broader and more general perspective.
That’s what Chemical Reaction Network Theory tries to do. The aim of the theory is to tie aspects of reaction network structure in a precise way to the kinds of dynamics the network might admit. A lot of progress has been made along these lines, but there is also much that remains unknown.
This website has resources both for those interested in the mathematics behind Chemical Reaction Network Theory and for those simply interested in seeing results that the theory delivers. For those that want to learn more about the underlying mathematics, Lectures on Chemical Reaction Networks provide a somewhat dated but nevertheless useful introduction. For those interested in seeing user-friendly computer implementation of the theory, The Chemical Reaction Network Toolbox provides means to make otherwise difficult deductions about reaction network behavior. More generally, there is an annotated bibliography of work with students and collaborators over the years. The bibliography is intended as a guide not only to work on reaction network theory but also to loosely related work on foundations of classical thermodynamics and the theory of reactor design.
The book "Foundations of Chemical Reaction Network Theory" was published by Springer in early 2019.
Related News
Bio
B.Ch.E., Cooper Union (1962)
M.S., Purdue University (1963)
Ph.D., Princeton University (1968)
Richard M. Morrow Professor Emeritus Feinberg has been a pioneer in the rapidly emerging field of chemical reaction network theory, which aims to tie aspects of reaction network structure in a precise way to the variety of qualitative behaviors that might be engendered.
Prized by his students for his clear elucidation of complex concepts, he won Ohio State's highest teaching award, the Alumni Award for Distinguished Teaching, in 2014.
He is the author of Foundations of Chemical Reaction Network Theory (Springer, 2019). The book will be of value to mathematicians and mathematically-inclined biologists, chemists, physicists, and engineers who want to contribute to chemical reaction network theory or make use of its powerful results. Peer reviewers have described the book as "awe-inspiring" and highly original: "There is nothing even remotely comparable in the literature." Since its publication, there have been over 50,000 chapter downloads.
He is no longer accepting students.
Awards and Honors
- Ohio State University Alumni Award for Distinguished Teaching (highest teaching honor at Ohio State; sole recipient), 2014
- Wilhelm Lectures, Princeton University, 2011
- Amundson Lectures, University of Houston, 2006
- John Von Neumann Lecture in Theoretical Biology, Institute for Advanced Study, 1997
- Wilhelm Award, American Institute of Chemical Engineers, 1996
- MacQuigg Award for Undergraduate Teaching, Ohio State University, 1999
- Edward Peck Curtis Award for Excellence in Undergraduate Teaching, University of Rochester, 1994
- Camille & Henry Dreyfus Teacher- Scholar, 1974
Publications Summary
Visit the Book, Lectures, and Bibliography sections below or Google Scholar for information about publications.
RESEARCH
Chemical Reaction Network Theory
My students and I are interested in complex chemical systems in which several reactions occur simultaneously. Real systems are almost always of this kind, so it becomes important to understand reactors with complicated chemistry in a systematic way.
Complex chemistry gives rise to intricate systems of nonlinear equations that don’t lend themselves to analytic solution. What’s more, increased complexity in the governing equations can give rise to complicated new phenomena that simple systems don’t admit. Even in the isothermal setting normally studied in biology there can, for example, be unstable steady states, multiple steady states, sustained composition oscillations, and wild, chaotic dynamics—possibilities we need to take into account.
Since each new network of chemical reactions gives rise to its own complicated system of differential equations, it becomes apparent that, in the absence of an overarching theory, we would be forced to study complex chemical systems on a case-by-case basis, and each new case would be fraught with terrible analytical difficulties. What’s needed is a way of looking at things from a broader and more general perspective.
That’s what Chemical Reaction Network Theory tries to do. The aim of the theory is to tie aspects of reaction network structure in a precise way to the variety of qualitative behaviors that might be engendered. A lot of progress has been made along these lines, but there is also much that remains unknown. For more on chemical reaction network theory, see the annotated bibliography.
Other Areas of Study
Although my attention now is largely focused on chemical reaction network theory, with particular reference to biology, I maintain an interest in two other areas with which I was intensely occupied in the past. One of these is mathematical foundations of classical thermodynamics. Another is a general theory of reactor-separator design, which has some ties, at least in spirit, with classical thermodynamics and with reaction network theory. In particular, I am interested in understanding theoretical limits to what can be achieved, consistent with certain design constraints, over all possible steady-state designs (even unimagined ones) that are consistent with those constraints. Articles about both topics can be found in the annotated bibliography.
BOOK
![feinberg book cover](/sites/default/files/styles/coe_small/public/2021-06/feinberg-bookcoverspringer_0.jpg?itok=wwJNQOgy)
Foundations of Chemical Reaction Network Theory was published by Springer in 2019.
Availability
- The book is available at SpringerLink if your institution subscribes to it.
- Otherwise, the book is available from Springer.
- The book is also available on Amazon.
Corrections
Visit Zenodo to view a list of corrections to the book.
TOOLBOX
Welcome to the Chemical Reaction Network Toolbox download page. The Toolbox is available as its latest release, Version 2.35 (which was written for Windows), or as its DOS version. The Windows version can run on Mac or Linux operating systems with the aid of the freeware Winebottler or a similar program. The DOS version, which has a powerful simulation module absent in the Windows version, can also run on any system under the auspices of the freely available DOSBox program. For a more detailed explanation of the two Toolbox versions' capabilities and differences, please see the text below, Toolbox History and Explanation.
Visit Zenodo to download the current version of The Chemical Reaction Network Toolbox Ver. 2.35 along with the Guide.
Programming for Versions 2.X was the result of dedicated work by Phillipp Ellison, Haixia Ji, and Daniel Knight.
You might also want to explore the older DOS version (The Chemical Reaction Network Toolbox, Version 1.1).
New in Version 2.35
Version 2.35 is the same as Version 2.3 with the addition of one module, accessible from the Reports menu (after running the Basic Report). When I was writing Foundations of Chemical Reaction Network Theory (Springer), it occurred to me that it would be great if I could enter a network in the Toolbox and then get LaTeX code for a network display along with code for the corresponding system of differential equations. These could then be copied and pasted into LaTeX manuscripts for articles and books. After I finished Foundations, I decided to write such a module and add it to the Toolbox for the benefit of others. This should save you lots of work!
Best wishes,
Marty
Toolbox History and Explanation
The Toolbox is a work in progress. We are making available a copy of The Chemical Reaction Network Toolbox, Version 2.35. Versions 2.X were intended to implement in Windows various parts of Chemical Reaction Network Theory that appeared over time in the literature. Naturally, literature articles are the primary source for detailed information about what the Toolbox is intended to do, but the Guide that comes packaged with the program does provide some information for newcomers.
Versions 2.X are descendants of Versions 1.X, which were written many years ago for the Microsoft DOS operating system. (Yes, DOS!) In some limited respects, the DOS versions remain more powerful. In particular, the DOS versions contained a ChemLab component, which provided numerical solutions (and their graphical display) for the network differential equations that derive from mass action systems. People who want those capabilities can still download the final DOS version. It can be run very nicely in Windows, on a Mac, or on a Unix machine -- all under the freely available DOSBox emulator
One advantage of Versions 2.X is, of course, that they are written for Windows, not DOS. But they also extend considerably the power of the old Network Analyst component of Version 1.X, which was centered around deficiency-oriented parts of Chemical Reaction Network Theory. (The deficiency is a non-negative integer index with which reaction networks can be classified.)
The very first DOS version of the Toolbox -- Version 1.0 -- was aimed at implementing theory for networks of deficiencies zero and one. For those networks it could determine whether there could be any set of rate constants for which the corresponding differential equations admit two distinct positive steady states that are stoichiometrically compatible. Version 1.1 was intended to also implement work in Phillipp Ellison's Ph.D. thesis, which extended deficiency one theory to large classes of higher deficiency networks.
The Windows versions (Versions 2.X) contain successive improvements resulting from advances in Chemical Reaction Network Theory. The earliest versions implemented theory in the Ph.D. thesis of Haixia Ji, which extends Phillipp Ellison's work.
Somewhat later ones implemented a different strand of theory that had its origins in work of Ph.D. student Paul Schlosser and that took another direction in the Ph.D. work of Gheorghe Craciun. With Gheorghe's work a central question became whether a network has "the mass action injectivity property." If the network does have the mass action injectivity property, then multiple positive stoichiometrically compatible steady states are impossible, no matter what the rate constants are. In those later versions, the Toolbox could tell you whether a network does (or does not) have the mass action injectivity property.
Still later, another strand of reaction network theory was implemented in the Toolbox, this one the result of work with Guy Shinar. Unlike the others, this strand is not tied to the presumption of mass action kinetics. If a network is endowed with a subtle structural property called concordance, then -- so long as the kinetics falls within a large and natural class (which embraces the mass action class as a special case) -- the resulting dynamical equations must have certain attributes. In particular, there is no possibility of switch-like transitions between two distinct stoichiometrically compatible positive steady states. As of Version 2.1, there were modules that determine whether or not a network has the concordance property (or the more powerful strong concordance property). In Version 2.2 there were improvements to the user interface and also an additional module that implements still more general aspects of concordance theory (related to concordance with respect a species influence specification -- that is, a user-provided specification of which species are to be regarded as inducers or inhibitors of the various reactions). Version 2.35 has further enhancements and provides more incisive reports.
Network entry in Versions 2.X is fairly intuitive. Networks can be saved in *.net files. After entering the network, you should go to the Reports menu and run the Basic Report. That report will guide you to other reports that might be relevant for the network at hand. (The Mass Action Injectivity Report and the various Concordance Reports are always options after the Basic Report has been run.)
LECTURES
You'll find below links to scanned copies of typewritten versions of 4½ out of 9 lectures that I gave at the Mathematics Research Center of the University of Wisconsin-Madison in the autumn of 1979. (Typing was by the wonderful Donna Porcelli.) The occasion was a semester-long in-gathering of people interested in the behavior of complex chemical systems. At the end of that period there was a large meeting, the proceedings of which were published by Academic Press in a book, "Dynamics and Modeling of Reactive Systems," edited by W. Stewart, W. H. Ray and C. Conley. My chapter amounted to a summary of some of the things I talk about during the course of the nine lectures.
It was an exciting time, which began when Charles Conley called me at the University of Rochester. He explained the MRC plans for 1979 and asked if I could spend a semester in Wisconsin. He said that they would pay my salary, provided that my salary wasn't too high. I told him my salary. Conley asked if I could come for a year.
The mix of long-term visitors and permanent Wisconsin people made for a very stimulating mini-sabbatical. Rutherford Aris, Harmon Ray, Warren Stewart, Manfred Morari, and Klavs Jensen were among the active chemical engineers. Among the mathematicians were Charles Conley, Chris Jones, Neil Fenichel, and Mike Crandall. At the time, John Nohel was the gracious director of the MRC. I couldn't have asked for a better group of people to whom I might expose recent thinking about reaction networks.
The lectures have origins in work initiated by Fritz Horn and Roy Jackson. Much has happened since then, only a small part of it reflected in the lectures, but the early work of Fritz and Roy planted seeds without which little fruit would have come into being. For me, Fritz, Roy, and Rutherford Aris have been towering examples of chemical engineering scholars and, more importantly, friends. Fritz died before these lectures were given. He was brilliant. Even now, when I do something I think is nice, I wish Fritz were here to see it.
People who knew Charles Conley -- and those who know the work he left behind -- agree that he was a dazzling, remarkably innovative mathematician. His great interest in my lectures was an extremely important source of encouragement. (I didn't know at the time that Charlie was interested in just about everything!)
Here, then, is a link to the lectures.
Martin Feinberg
Chemical and Biomolecular Engineering & Mathematics
The Ohio State University
feinberg.14@osu.edu
ANNOTATED BIBLIOGRAPHY
I thought it would be useful to divide this partial reaction network theory bibliography into three parts:
- Early Reviews, below, contains some expository articles on early results in chemical reaction network theory, mostly written for a mixed audience of chemical engineers, chemists, and mathematicians.
- Less Mathematical Articles, below, contains more recent papers which, although they have mathematical content, are are also aimed at a wide audience. Some of these are explicitly biological in flavor.
- More Mathematical Articles, below, contains articles that have proofs. However, in these articles it is often the case that results are stated in friendly terms at the beginning, and only later do the more mathematical parts begin. Papers [1.C6] and [1.C10] are examples.
If you have trouble obtaining any of these, especially those without links, please contact me at feinberg.14@osu.edu.
1.A. Chemical Reaction Network Theory: Early Review Articles
Although they are now a little outdated, the following reviews for a general audience give a fairly good summary of some early results in chemical reaction network theory. These early results tie the qualitative behavior of mass action systems to a property of the underlying network called the network’s deficiency. (The deficiency is a non-negative integer index with which reaction networks can be classified.)
- A very early deficiency-oriented article: M. Feinberg and F. J. M. Horn. Dynamics of open chemical systems and the algebraic structure of the underlying reaction network. Chemical Engineering Science, 29:775–787, 1974.
- I think the following review is a good place to begin. It was written in connection with a symposium attended by a nice mix of chemists, engineers, and mathematicians: Martin Feinberg. Chemical oscillations, multiple equilibria, and reaction network structure. In Warren E. Stewart, W. Harmon Ray, and Charles C. Conley, editors, Dynamics and Modeling of Reactive Systems, pages 59-130. Academic Press, New York, 1980
- This two-part review, written a little later than the 1980 review, takes things somewhat further and provides much more detail. Part One: M. Feinberg. Chemical reaction network structure and the stability of complex isothermal reactors I. The deficiency zero and deficiency one theorems. Chemical Engineering Science, 42:2229–2268, 1987. Part Two: M. Feinberg. Chemical reaction network structure and the stability of complex isothermal reactors II. Multiple steady states for networks of deficiency one. Chemical Engineering Science, 43:1–25, 1988.
- The review, Mathematical Aspects of Mass Action Kinetics, was written even earlier than any of the previous ones. Among other things, it attempts to explain for a chemical engineering audience a little bit about the proof of the Deficiency Zero Theorem. It highlights the crucial work of Horn and Jackson, but it also uses a line of argument that’s a little different from theirs. Citation: M. Feinberg. Mathematical aspects of mass action kinetics. In N. Amundson and L. Lapidus, editors, Chemical Reactor Theory: A Review, pages 1–78. Prentice-Hall, Englewood Cliffs, NJ, 1977.
- If, however, you are a mathematician seeking proofs, then I’d strongly recommend Lectures on Chemical Reaction Networks, which are a written version of about half the lectures I gave in 1979 at the Mathematics Research Center of the University of Wisconsin. (I got distracted by foundations of classical thermodynamics before I wrote the remaining half. You’ll see some of that work, appearing at about the same time, elsewhere in this bibliography.) Lectures will take you up through a proof of the Deficiency Zero Theorem.
- Although it was written substantially later, I am including with this set of articles the following one because it travels further down the same road. The article describes progress, based on the PhD work of Phillipp Ellison, toward extending previous results about deficiency one networks to networks of higher deficiency. In particular, Phillipp’s work, like deficiency one theory, aims to translate questions about a network's capacity for multiple steady states (and therefore questions about systems of nonlinear equations) into questions about systems of linear inequalities, which are far more tractable. Phillipp’s work in both theory and software development provided the basis for a major improvement in The Chemical Reaction Network Toolbox. See P. Ellison and M. Feinberg. How catalytic mechanisms reveal themselves in multiple steady-state data: I. Basic principles. Journal of Molecular Catalysis. A: Chemical, 154(1-2):155–167, 2000.
1.B. Chemical Reaction Network Theory: Less Mathematical Articles
Although the following articles have mathematical content, they were not written with an audience of mathematicians in mind. Some are biological in flavor, while others (the ones with “CFSTR” in the title) were meant more for chemical engineers. In each case, though, the writing is directed only a little toward the nominal target audience.
It will help non-chemical engineers to know that “CFSTR” means continuous flow stirred tank reactor. In effect, this is just a stirred cell with a feed stream of fixed composition continuously entering it and a exit stream continuously leaving it. In the exit stream every species is withdrawn at a rate proportional to its concentration within the cell. The mathematics is roughly the same as that for a biochemical system in which every species is synthesized at a fixed rate (perhaps zero) and every species degrades at a rate proportional to its current concentration.
- I’ll begin with a “CFSTR” article, based on remarkable PhD work by Paul Schlosser, that moved chemical reaction network theory results in a direction substantially different from the deficiency-oriented ones. The newer results, organized around the Species-Complex-Linkage Graph, were a precursor of later results centered on the Species-Reaction Graph, which in turn came from Gheorghe Craciun’s (also remarkable) PhD thesis.P. M. Schlosser and M. Feinberg. A theory of multiple steady states in isothermal homogeneous CFSTRs with many reactions. Chemical Engineering Science, 49(11):1749–1767, 1994.
- The following article gives a description of results in Gheorghe’s thesis, centered around the Species-Reaction Graph, this time with an explicitly biological flavor: Gheorghe Craciun, Yangzhong Tang, and Martin Feinberg. Understanding bistability in complex enzyme-driven reaction networks. Proceedings of the National Academy of Sciences, 103:8697–8702, 2006.
- The next review article is much more recent than the preceding ones and chronologically out of sequence. It is in the same vein as [1.B1] and [1.B2], but there is no reliance on the presumption of mass action kinetics. Although the underlying mathematical machinery is not made explicit, the results derive from the theory of concordant chemical reaction networks described elsewhere in this bibliography and developed in collaboration with Guy Shinar. Much like prior work by Banaji and Craciun, the theory of concordant reaction networks extends earlier Species-Reaction Graph results to broad categories of kinetics. Guy Shinar, Daniel Knight, Haixia Ji, and Martin Feinberg. Stability and instability in isothermal CFSTRs with complex chemistry: Some recent results. AIChE Journal, 59(9):3403-3411, September, 2013.
- The next articles are different from the preceding ones because they deal with a very different issue: concentration robustness. It seems that certain reaction networks have the capacity to maintain the steady-state concentration of a certain critical species within very narrow bounds even against very large changes in the total supplies of the various network constituents. The first article [1.B4] connects that capacity to reaction network structure (and draws on deficiency one theory). Guy Shinar and Martin Feinberg. Structural sources of robustness in biochemical reaction networks. Science, 327(5971):1389–1391, March 2010.
- The second article [1.B5] sets the first article within a broader context. Guy Shinar and Martin Feinberg. Design principles for robust biochemical reaction networks: What works, what cannot work, and what might almost work. Mathematical Biosciences, 231(1):39–48, May 2011.
Martin Feinberg Group for
Chemical Reaction Network Theory
1.C. Chemical Reaction Network Theory: More Mathematical Articles
- It’s worth repeating here that, for mathematicians who want to go deeply into chemical reaction network theory, I think the best entry point is Feinberg, M., Lectures on Chemical Reaction Networks, written versions of lectures given at the Mathematics Research Center of the University of Wisconsin, 1979.
- The following article was my first venture into the mathematics of complex chemical systems. Its aim was to determined what can be said about rate constants and the reaction network itself when one has information about composition dynamics near an equilibrium point. (It’s assumed that the kinetics is mass action and exhibits detailed balance.) Martin Feinberg. On chemical kinetics of a certain class. Archive for Rational Mechanics and Analysis, 46(1):1–41, 1972.
- The following article is a “pure math” article that was a consequence of things in the previous article listed in #2:: Martin Feinberg. On a generalization of linear independence in finite-dimensional vector spaces. Journal of Combinatorial Theory, Series B, 30(1):61– 69, 1981.
- The papers [1.C3]–[1.C5] below provide the basis for what is now known as the Deficiency Zero Theorem. (Although they do not derive from work by me or my students, the articles by Fritz Horn and Roy Jackson are listed here because they provide the foundation for the Deficiency Zero Theorem story.) [1.C3] F. Horn and R. Jackson. General mass action kinetics. Archive for Rational Mechanics and Analysis, 47:81–116, 1972 and [1.C5] Martin Feinberg. Complex balancing in general kinetic systems. Archive for Rational Mechanics and Analysis, 49:187–194, 1972.
- In a seminal and beautiful paper [1.C3, above], Horn and Jackson invented the idea of complex balancing at an equilibrium as a generalization of what chemists call detailed balancing. They showed in [1.C3] that if a mass action system admits a complex balanced equilibrium at which all species concentrations are positive, then the corresponding differential equations admit only behavior of a special dull kind. In [1.C4] Horn went further; in particular, he examined conditions on rate constants in a mass action system (analogous to the Wegscheider conditions for detailed balancing) that ensure the existence of a positive complex balanced equilibrium. 1.C4] F. Horn. Necessary and sufficient conditions for complex balancing in chemical kinetics. Archive for Rational Mechanics and Analysis, 49:172–186, 1972.
- In [1.C5] above I showed that, when what has come to be called the deficiency of the underlying reaction network is zero, then complex balancing must obtain at every equilibrium, independent of what the kinetics might be.
- The following paper is out of chronological sequence, but it is close in spirit to the immediately preceding ones. The paper was in response to a question put to me by Roy Jackson. He wanted to know of a systematic way to state conditions on mass action rate constants that are necessary and sufficient for the existence of a positive equilibrium at which detailed balance obtains. It turns out that there is a nice connection of this with the underlying network’s deficiency and its cycle structure. [1.C6] M. Feinberg. Necessary and sufficient conditions for detailed balancing in mass action systems of arbitrary complexity. Chemical Engineering Science, 44:1819–1827, 1989.
- The next paper is largely a technical one, but it is a workhorse in many of the reaction network theory papers that followed it. Especially important is the Appendix. Readers familiar with the mathematics of reaction network theory will perhaps know that, when the kinetics is mass action, the species formation rate function is often written in the decomposed form YAkΨ(c) — see for example §4.A in Lectures on Chemical Reaction Networks. The Appendix of [1.C7] deals with the connection between reaction network structure and qualitative properties of the kernel (nullspace) of Ak. [1.C7] Martin Feinberg and F. J. M. Horn. Chemical mechanism structure and the coincidence of the stoichiometric and kinetic subspaces. Archive for Rational Mechanics and Analysis, 66:83–97, 1977.
- Papers [1.C8] and [1.C9] provide the foundations for deficiency one theory. In particular, [1.C8] has a proof of the Deficiency One Theorem, and [1.C9] gives the mathematics behind the Deficiency One Algorithm, which was implemented in even the earliest versions of The Chemical Reaction Network Toolbox. The algorithm converts questions about the capacity of deficiency one mass action systems to admit multiple steady states (essentially questions about systems of nonlinear polynomial equations) into questions about systems of linear inequalities, for which there is a well-developed theory. [1.C8] Martin Feinberg. The existence and uniqueness of steady states for a class of chemical reaction networks. Archive for Rational Mechanics and Analysis, 132(4):311–370, December 1995. and [1.C9] Martin Feinberg. Multiple steady states for chemical reaction networks of deficiency one. Archive for Rational Mechanics and Analysis, 132:371–406, 1995.
- Correction
- The next article [1.C10] is out of chronological order, but it has resonances with papers dealing with detailed balancing, complex balancing, the Deficiency Zero Theorem, and the Deficiency One Theorem. The central question in [1.C10] is about the robustness of steady states: How does reaction network structure alone influence the sensitivity of the steady state concentration of a particular species to a perturbation in the supply of another species? [1.C10] Guy Shinar, Uri Alon, and Martin Feinberg. Sensitivity and robustness in chemical reaction networks. SIAM Journal on Applied Mathematics, 69(4):977–998, January 2009. It turns out that such sensitivities often have bounds that depend in a striking way on the extent to which the various molecular species are constructed from a large number of distinct building blocks (as are proteins) and, also, the extent to which those building blocks combine gregariously. I have great affection for this paper because it was the beginning of my collaboration with Guy Shinar. The paper is an elaboration on work done by Guy when he was a student in Uri Alon’s lab at Weizmann Institute. (The relationship between [1.B4] and [1.C10] is discussed in [1.B5].)
- Another robustness/sensitivity article can be found here: [1.C11] Guy Shinar, Avi Mayo, Haixia Ji, and Martin Feinberg. Constraints on reciprocal flux sensitivities in biochemical reaction networks. Biophysical Journal, 100(6):1383–1391, 2011.
- In one way or another the articles [1.C12]-[1.C17] provide mathematical foundations for [1.B.2], the more friendly expository PNAS paper that draws connections between the capacity of a (mass action) network to give multiple steady states and the nature of the network’s Species-Reaction Graph. I now think that the self-contained articles [1.C16] and [1.C17] substantially transcend [1.C12]-[1.C15] in terms of results, while at the same time proceeding in a different, more economical way. Some readers might want to start there. However, [1.C12]-[1.C15] give an alternative route, based largely on Gheorghe Craciun’s remarkable PhD work — a route that remains highly compelling.
- Both [1.C12] and [1.C13] presume mass action kinetics. In this context, [1.C12] provides a determinant condition which, for a given reaction network, serves to ensure injectivity. Injectivity is a network property that, among other things, precludes the possibility of multiple positive steady states, regardless of rate constant values. In turn, [1.C13] provides conditions on a network’s Species-Reaction Graph that suffice to ensure that the determinant condition of [1.C12] is satisfied. From this, injectivity and multiple-steady-state-preclusion follow. [1.C12] G. Craciun and M. Feinberg. Multiple equilibria in complex chemical reaction networks. I. The injectivity property. SIAM Journal on Applied Mathematics, 65:1526–1546, 2005 and [1.C13] G. Craciun and M. Feinberg. Multiple equilibria in complex chemical reaction networks. II. The species-reaction graph. SIAM Journal on Applied Mathematics, 66:1321–1338, 2006.
- In very surprising subsequent work, Gheorghe Craciun and Murad Banaji subsequently proceeded in a different way to show that Species-Reaction Graph conditions that suffice for injectivity (and, therefore, the preclusion of multiple steady states) in the context of mass action kinetics also suffice for injectivity for the far wider class they called non-autocatalytic (NAC) kinetics. However, [1.C12], [1.C13] — and the Craciun-Banaji work — have limitations: Crucial to the mathematics is the presumption that the reaction network under consideration is fully open. This amounts to saying that every species is “removed” (perhaps through an unspecified degradation reaction) at a rate proportional to its current concentration. Although this presumption is natural for continuous flow stirred tank reactors (CFSTRs) in a chemical engineering setting, it is less compelling for models of cellular reaction systems, in which only certain species (or none at all) might suffer degradation. Removal of the fully open presumption makes the mathematics substantially more delicate.
- The papers [1.C14] and [1.C15] are aimed at establishing conditions under which results in [1.C12] and [1.C13] can, in fact, be invoked in the absence of the “fully open” presumption. The analysis in [1.C.14] shows that results of the kind given in [1.C12] and [1.C13] can be invoked in quite general settings, provided that one restricts attention to steady states that are, in a certain sense, non-degenerate. The argument in [1.C14] for extending “fully open” results to more general settings does not rely on mass action kinetics. The paper [1.C15] does invoke mass action kinetics, but it gives far sharper results, without limiting considerations to non-degenerate steady states. Among other things, it shows that the results in [1.C12] and [1.C13] do apply even in consideration of systems that are not fully open, provided that the reaction network in question falls within the large class of normal networks — in particular, if it is reversible or even weakly reversible. (A weakly reversible network is one in which every reaction arrow is in at least one directed arrow cycle. [1.C14] G. Craciun and M. Feinberg. Multiple equilibria in complex chemical reaction networks: extensions to entrapped species models. IEE Proc. Syst. Biol, 153:179–186, 2006 and [1.C15] Gheorghe Craciun and Martin Feinberg. Multiple equilibria in complex chemical reaction networks: Semiopen mass action systems. SIAM Journal on Applied Mathematics, 70(6):1859–1877, 2010.
- In many ways, the following papers with Guy Shinar and Daniel Knight subsume results of [1.C12]-[1.C15] and go further. As with the work of Craciun and Banaji, these papers embrace very wide and natural classes of kinetics. But here, from the very beginning, systems that are not “fully open” are admitted for study alongside those that are. In [1.C16] we describe and examine properties of a large class of reaction networks that possess a structural property called concordance. (Whether or not a particular network of interest is concordant can be determined by The Chemical Reaction Network Toolbox.)
- Among other things, we show in [1.C16] [1.C16] Guy Shinar and Martin Feinberg. Concordant chemical reaction networks. Mathematical Biosciences, 240:92–113, 2012 that, in at least some respects, concordance is the structural property that confers upon a network the assurance of certain dull behaviors against every assignment of kinetics within a very large class called weakly monotonic. In particular, a reaction network exhibits injectivity when taken with every weakly monotonic kinetics if and only if it is concordant. On the other hand, reaction network “discordance” provides a source for unstable behavior in the following sense: For any weakly reversible network that is not concordant, there exists a weakly monotonic kinetics such that the resulting kinetics system exhibits a positive unstable equilibrium. (In [1.C16] we also consider variants of the concordance property in connection with still wider classes of kinetics, in which certain species might inhibit the occurrence of a particular reaction while others might promote it.)
- In [1.C17] and [1.C18] we connect the concordance of a reaction network to properties of its Species-Reaction Graph. In particular, we show that Species-Reaction Graph properties which, in [1.C13], sufficed for injectivity in the fully-open mass action context also suffice for network concordance — and therefore for injectivity against all weakly monotonic (and still broader) kinetics. This is true not only in the fully open context but also whenever the network under study is “nondegenerate,” in particular whenever it is weakly reversible. [1.C17] Guy Shinar and Martin Feinberg. Concordant chemical reaction networks and the species-reaction graph. Mathematical Biosciences, 241:1–23, 2013. (Corrigendum) and [1.C18] Daniel Knight, Guy Shinar, and Martin Feinberg, Sharper graph-theoretical conditions for the stabilization of complex reaction networks. Mathematical BioSciences, 262:10-27, 2015.
Martin Feinberg Group for
Chemical Reaction Network Theory
© 2021 The Ohio State University
- The following little article shows how classical equations describing ideal gas mixtures and ideal solutions emerge in incredible detail from simple verbal postulates that seems to say very little at all. Unlike the other thermodynamics articles listed below, this one requires very little in the way of mathematics preparation. This article is recommended for people who like magic. [2.1] Martin Feinberg. Constitutive equations for ideal gas mixtures and ideal solutions as consequences of simple postulates. Chemical Engineering Science, 32(1):75–78, 1977.
- When I taught thermodynamics in the past, I was dissatisfied with arguments in support of Gibbs’s phase rule. (Gibbs seemed to have some reservations about his own arguments.) Then I came across an explicitly mathematical paper by Walter Noll that, for me, was beautiful and satisfying. The paper below is a variant of Noll’s, using weaker assumptions and, I think, a simpler argument. [2.2] Martin Feinberg. On Gibbs’ phase rule. Archive for Rational Mechanics and Analysis, 70(3):219–234, 1979
- One of the central problems in the foundations of classical thermodynamics is, loosely speaking, proof of the existence of entropy and thermodynamic temperature scales from more fundamental assertions about, for example, heat. And then one wants to examine properties of the derived notions of entropy and thermodynamic temperature. The classical 19th century arguments are brilliant, but they are also somewhat mysterious, typically relying on putative properties of engines, and they also raise questions about the full range of their applicability. I am very proud of work with my friend Rick Lavine, in which we addressed these issues, using mathematical tools (e.g. the Hahn-Banach Theorem) that were not available to the pioneers. Unfortunately, the intersection of the class of people who are are familiar with these tools and the class of people who are interested in the thermodynamic questions is practically empty. At least in part, I think it is for this reason that the work didn’t receive much attention. It was gratifying to notice, however, that L. Craig Evans at the University of California, Berkeley, recently resurrected ideas from the papers below in his online notes, Entropy and Partial Differential Equations.
- [2.3] Martin Feinberg and Richard B. Lavine. Foundations of the Clausius-Duhem Inequality. In James B. Serrin, editor, New Perspectives in Thermodynamics. Springer-Verlag, Berlin-Heidelberg-New York, 1986
- [2.4] Martin Feinberg and Richard Lavine. Thermodynamics based on the Hahn-Banach Theorem: The Clausius inequality. Archive for Rational Mechanics and Analysis, 82(3):203–293, 1983
- The paper just above had its genesis in some handwritten notes prepared in 1978 for James Serrin. Those notes were less ambitious in their goals and are far more succinct. (They also relied on the Hahn-Banach Theorem). Some readers might find them helpful. A scanned copy is available at [2.5] Martin Feinberg and Richard B. Lavine. Preliminary Notes on the Second Law of Thermodynamics, July 2, 1978.
- In [2.3] Rick Lavine and I promised a substantial expansion of the material presented there. This was a long time in coming, but now in 2023 that expansion is available in a two-part series:
- [2.6} Martin Feinberg and Richard B. Lavine. Entropy and Thermodynamic Temperature in Nonequilibrium Classical Thermodynamics as Immediate Consequences of the Hahn-Banach Theorem: I. Existence
- [2.7} Martin Feinberg and Richard B. Lavine. Entropy and Thermodynamic Temperature in Nonequilibrium Classical Thermodynamics as Immediate Consequences of the Hahn-Banach Theorem: II. Properties
- In the 1990s I got interested in optimal reactor design, mainly because there was a resurgence of interest in old attainable region ideas of Fritz Horn, my late collaborator in chemical reaction network theory. I am very proud of the attainable region work I did — more on that later. However, I now think that the most important work to emerge from my temporary foray into design came from a different line of thought entirely, a line that (strangely) traces back to my seemingly unrelated paper [2.2] on Gibbs’s phase rule!
- This work in design theory is summarized in [3.1] below, and its mathematical foundations are described in [3.2]. In rough terms, the central idea is this: Given a network of chemical reactions (with kinetics) and given a specified commitment of resources, there is an absolute and computable limit to what can be achieved in ANY steady-state reactor-separator design — a limit that is different from that afforded by stoichiometry or thermodynamics. Knowledge of such a limit is of practical importance, for it gives a benchmark against which actual designs can be judged. (Connections to the mathematics underlying the Gibbs phase rule are discussed in Remark A.1 of the paper [3.1] Yangzhong Tang and Martin Feinberg. Carnot-like limits to steady-state productivity. Industrial & Engineering Chemistry Research, 46(17):5624– 5630, 2007 and [3.2] Martin Feinberg and Phillipp Ellison. General kinetic bounds on productivity and selectivity in reactor-separator systems of arbitrary design: Principles. Industrial & Engineering Chemistry Research, 40(14):3181–3194, 2001.
- As I said earlier, I am very proud of my attainable region work. There are some surprising and beautiful conclusions, and very different parts of mathematics come together in interesting ways. (For me it remains stunning that, associated with a given reaction network with kinetics and a given feed composition, there are certain exceptional numbers — something like eigenvalues — having special significance for reactor synthesis: A classical steady-state CFSTR design can have an optimal conversion relative to all other steady-state designs only if the CFSTR residence time assumes one of those exceptional values.) The review [3.3] Martin Feinberg. Toward a theory of process synthesis. Industrial & Engineering Chemistry Research, 41(16):3751–3761, 2002. was written after I had moved away from attainable region work, and it gives an indication of why I came to prefer ideas in [3.1] and [3.2].
- The conference paper [3.4] Martin Feinberg. Geometric control theory and classical problems in chemical reactor design. In Proceedings of 15th IFAC World Congress, Barcelona, 2002 is also friendly review, this time written for control theorists — I’m not one of those — to indicate why ideas in modern geometric control theory have somewhat surprising connections with Horn’s attainable region approach to optimal reactor design. Despite its intended control-theorist target, I think this article is suited to a much wider chemical engineering audience.
- Mathematical underpinnings of [3.3] and [3.4] are given in the three-article series [3.5]-[3.7] below. The paper [3.8], based on Thomas Abraham’s PhD thesis, is an extension of these, viewed from a different perspective.
- [3.5] M. Feinberg and D. Hildebrandt. Optimal reactor design from a geometric viewpoint: I. Universal properties of the attainable region. Chemical Engineering Science, 52(10):1637-1665, 1997.
- [3.6] M. Feinberg. Optimal reactor design from a geometric viewpoint: II. Critical sidestream reactors. Chemical Engineering Science, 55(13):2455–2479, 2000.
- [3.7] M. Feinberg. Optimal reactor design from a geometric viewpoint: III. Critical CFSTRs. Chemical Engineering Science, 55(17):3553–3565, 2000.
- [3.8] T. K. Abraham and M. Feinberg. Kinetic bounds on attainability in the reactor synthesis problem. Industrial & Engineering Chemistry Research, 43(2):449–457, 2004.
PEOPLE
Thomas Abraham
![abraham](/sites/default/files/styles/coe_smallest/public/2021-08/feinberg.14_thomasabraham.jpg?itok=TysAB-LA)
Graduated with a PhD at The Ohio State University in Chemical Engineering, 2005
Senior Research Engineer and Industry Technical Consultant, Nalco, 2005-present
Gheorghe Craciun
![Gheorghe Craciun](/sites/default/files/styles/coe_smallest/public/2021-08/feinberg.14_gheorghe_adjusted_0.jpg?itok=PxCvJbpL)
Graduated with a PhD at The Ohio State University in Mathematics, 2002
Post-doctoral Research Fellow, Mathematical Biosciences Institute at The Ohio State University, 2002-2005
Professor, Departments of Mathematics and Biomolecular Chemistry, University of Wisconsin-Madison, 2005-present
Yongjia Fan
![Yongjia Fan](/sites/default/files/styles/coe_smallest/public/2021-08/feinberg.14_yongjia_fan.jpg?itok=Gcm0SMPR)
Graduated with a master's degree from The Ohio State University in Chemical Engineering, 2010
PhD Tufts University, Chemical and Biological Engineering, 2015.
Haixia Ji
![Haixia Ji](/sites/default/files/styles/coe_smallest/public/2021-08/feinberg.14_haixia_adjusted-2.jpg?itok=Uigb955v)
Graduated with a PhD at The Ohio State University in Mathematics, 2011
Hedging Specialist, Nationwide Financial, 2011-present
Daniel Knight
![Daniel Knight](/sites/default/files/styles/coe_smallest/public/2021-08/feinberg.14_knight_daniel2.jpg?itok=j5jYtsrm)
Graduated with a PhD at The Ohio State University in Chemical and Biomolecular Engineering, 2015.
Assistant Professor of Teaching, Chemical and Biomolecular Engineering, University of California at Irvine.
Yangzhong Tang
![Yangzhong Tang Yangzhong Tang smiling](/sites/default/files/styles/coe_smallest/public/2021-08/feinberg.14_yangzhongtang.jpg?itok=5Rt3e_fJ)
Graduated at The Ohio State University with a PhD in Chemical Engineering, 2005
Research Fellow at Harvard Medical School, 2007-2011
Research Investigator, Sanofi, 2011-present