Positive and Negative Circuits in Dynamical Systems

We state precisely and demonstrate two conjectures of R. Thomas following which (a) the existence of a positive circuit in the oriented interaction graph of a differential system is a necessary condition for the existence of several steady states, and (b) the existence of a negative non-oriented circuit of length at least two is a necessary condition for the existence of a stable periodic orbit.