Section: New Results
Reducing CRNs by Tropicalization
Participants : Eléonore Bellot, François Fages, Aymeric Quesne, Sylvain Soliman, Eliott Suits.
We have shown in the past that model reduction relationships between CRNs can be detected on a large scale by the graph matching notion of subgraph epimorphism (Steven Gay, François Fages, Thierry Martinez, Sylvain Soliman, Christine Solnon. On the subgraph Epimorphism Problem. Discrete Applied Mathematics, 162:214–228, 2014.), furthermore quite efficiently with constraint programming or SAT solving techniques. However this approach does not allow us to actually reduce models. In the framework of the ANR-DFG SYMBIONT project  we are investigating model reduction methods based on tropicalization and constraint programming techniques (Sylvain Soliman, François Fages, Ovidiu Radulescu. A constraint solving approach to model reduction by tropical equilibration. Algorithms for Molecular Biology, 9(24), 2014.) together with correctness conditions based on Tikhonov theorem.