Compiling Elementary Mathematical Functions into Finite Chemical Reaction Networks via a Polynomialization Algorithm for ODEs - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

Compiling Elementary Mathematical Functions into Finite Chemical Reaction Networks via a Polynomialization Algorithm for ODEs

Résumé

The Turing completeness result for continuous chemical reaction networks (CRN) shows that any computable function over the real numbers can be computed by a CRN over a finite set of formal molecular species using at most bimolecular reactions with mass action law kinetics. The proof uses a previous result of Turing completeness for functions defined by polynomial ordinary differential equations (PODE), the dualrail encoding of real variables by the difference of concentration between two molecular species, and a back-end quadratization transformation to restrict to elementary reactions with at most two reactants. In this paper, we present a polynomialization algorithm of quadratic time complexity to transform a system of elementary differential equations in PODE. This algorithm is used as a front-end transformation to compile any elementary mathematical function, either of time or of some input species, into a finite CRN. We illustrate the performance of our compiler on a benchmark of elementary functions relevant to CRN design problems in synthetic biology specified by mathematical functions. In particular, the abstract CRN obtained by compilation of the Hill function of order 5 is compared to the natural CRN structure of MAPK signalling networks.
Fichier principal
Vignette du fichier
HFS21cmsb.pdf (911.7 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03220725 , version 1 (07-05-2021)
hal-03220725 , version 2 (27-06-2021)
hal-03220725 , version 3 (29-06-2021)

Identifiants

  • HAL Id : hal-03220725 , version 2

Citer

Mathieu Hemery, François Fages, Sylvain Soliman. Compiling Elementary Mathematical Functions into Finite Chemical Reaction Networks via a Polynomialization Algorithm for ODEs. Proceedings of the nineteenth international conference on Computational Methods in Systems Biology,, Sep 2021, Bordeaux, France. ⟨hal-03220725v2⟩
302 Consultations
312 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More