arXiv++ Combinatorics

The ability of a chemical reaction network to generate itself by catalyzed reactions from constantly present environmental food sources is considered a fundamental property in origin-of-life research. Based on Kaufmann's autocatalytic sets, Hordijk and Steel have constructed the versatile formalism of catalytic reaction systems (CRS) to model and to analyze such self-generating networks, which they named reflexively autocatalytic and food generated (RAF). Previously, it was established that the subsequent and simultaenous catalytic functions of the chemicals of a CRS give rise to an algebraic structure, termed a semigroup model. The semigroup model allows to naturally consider the function of any subset of chemicals on the whole CRS. This gives rise to a generative dynamics by iteratively applying the function of a subset to the externally supplied food set. The fixed point of this dynamics yields the maximal self-generating set of chemicals. Moreover, the lattice of all functionally closed self-generating sets of chemicals is discussed and a structure theorem for this lattice is proven. It is also shown that a CRS which contains self-generating sets of chemicals cannot be nilpotent and thus a useful link to the combinatorial theory of finite semigroups is established. The main technical tool introduced and utilized in this work is the representation of the semigroup elements as decorated rooted trees, allowing to translate the generation of chemicals from a given set of resources into the semigroup language.

The catalytic reaction system (CRS) formalism by Hordijk and Steel is a versatile method to model autocatalytic biochemical reaction networks. It is particularly suited, and has been widely used, to study self-sustainment and self-generation properties. Its distinguishing feature is the explicit assignment of a catalytic function to chemicals that are part of the system. In this work, it is shown that the subsequent and simultaneous catalytic functions gives rise to an algebraic structure of a semigroup with the additional compatible operation of idempotent addition and a partial order. The aim of this article is to demonstrate that such semigroup models are a natural setup to describe and analyze self-sustaining CRS. The basic algebraic properties of the models are established and the notion of the function of any set of chemicals on the whole CRS is made precise. This leads to a natural discrete dynamics on the network, which results from iteratively considering the self-action on a set of chemicals by its own function. The fixed points of this dynamics are proven to correspond to self-sustaining sets of chemicals, which are functionally closed. Finally, as the main application, a theorem on the maximal self-sustaining set and a structure theorem on the lattice of functionally closed self-sustaining sets of chemicals are proven.