Skip to Main content Skip to Navigation
Conference papers

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

Abstract : 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.
Complete list of metadata

https://hal.inria.fr/hal-03220725
Contributor : François Fages Connect in order to contact the contributor
Submitted on : Tuesday, June 29, 2021 - 6:41:13 PM
Last modification on : Wednesday, April 20, 2022 - 3:45:36 PM

Files

HFS21cmsb.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-03220725, version 3
  • ARXIV : 2106.15884

Citation

Mathieu Hemery, François Fages, Sylvain Soliman. Compiling Elementary Mathematical Functions into Finite Chemical Reaction Networks via a Polynomialization Algorithm for ODEs. CMSB 2021 - 19th International Conference on Computational Methods in Systems Biology, Sep 2021, Bordeaux, France. ⟨hal-03220725v3⟩

Share

Metrics

Record views

191

Files downloads

212