Heike Siebert, Christian Haase
Robert Schwieger (FU) (until 05/2020)
01.01.2019 – 31.12.2021
The project aims at establishing a new application field for algebraic methods in systems biology, connecting to Boolean modeling which has been shown to be a fruitful framework for investigating molecular interaction networks. A model is given as a Boolean function, where the coordinate functions specify processing rules of the components. The dynamics of this function can be represented by a non-deterministic state transition system that can be efficiently analyzed using logic-based verification methods such as model checking, Answer Set Programming (ASP) or SAT approaches. However, results often are of the type of yes/no answers to property queries and do not offer insight into the structural properties of the model that give rise to the behavior.
Exploiting more of the problem structure becomes possible in an algebraic setting. Boolean functions can be identified with polynomials over the field with two elements. In this setting we want to tap into the potential of Gröbner bases and related algebraic approaches, which have already been used for, e.g., reverse engineering problems. Here, we apply them to a new set of questions and integrate them with the formal verification methods developed for related tasks. The motivating biological question is the analysis of cell fate decision processes, such as cell differentiation in embryogenesis or cell alterations in diseases such as cancer. Cell fates can be identified with classes of model attractors, called phenotypes, of systems processing complex input signals. They are defined via projection on marker components. In application, the interest now lies in finding all minimal sets of such marker components and to identify and understand the mechanisms that govern the branching into different phenotypes
This problem is related to computing classifiers for the different phenotypes whose characteristics, e.g., which components need to be considered for classification, can then be linked back to the model. We developed logic-based approaches to this and related problems, but they do not exploit any of the algebraic structure inherent in the setting. Here, we address this by developing a complementary approach utilizing Gröbner bases. Aside from the theoretical work we are also aiming at efficient implementations. Using data structures tailored to Boolean systems, Gröbner bases for Boolean models can be computed for networks with several hundred variables, opening up an efficient and comprehensive analysis approach capable of dealing with the complex molecular network models considered in application.
Please insert any kind of pictures (photos, diagramms, simulations, graphics) related to the project in the above right field (Image with Text), by choosing the green plus image on top of the text editor. (You will be directed to the media library where you can add new files.)
(We need pictures for a lot of purposes in different contexts, like posters, scientific reports, flyers, website,…
Please upload pictures that might be just nice to look at, illustrate, explain or summarize your work.)
As Title in the above form please add a copyright.
And please give a short description of the picture and the context in the above textbox.
Don’t forget to press the “Save changes” button at the bottom of the box.
If you want to add more pictures, please use the “clone”-button at the right top of the above grey box.