2 research outputs found
On the conversion of multivalued to Boolean dynamics
Results and tools on discrete interaction networks are often concerned with
Boolean variables, whereas considering more than two levels is sometimes
useful. Multivalued networks can be converted to partial Boolean maps, in a way
that preserves the asynchronous dynamics. We investigate the problem of
extending these maps to non-admissible states, i.e. states that do not have a
multivalued counterpart. We observe that attractors are preserved if a stepwise
version of the original function is considered for conversion. Different
extensions of the Boolean conversion affect the structure of the interaction
graphs in different ways. A particular technique for extending the partial
Boolean conversion is identified, that ensures that feedback cycles are
preserved. This property, combined with the conservation of the asymptotic
behaviour, can prove useful for the application of results and analyses defined
in the Boolean setting to multivalued networks, and vice versa. As a first
application, by considering the conversion of a known example for the discrete
multivalued case, we create a Boolean map showing that the existence of a
cyclic attractor and the absence of fixed points are compatible with the
absence of local negative cycles. We then state a multivalued version of a
result connecting mirror states and local feedback cycles.Comment: 17 page
Bisimilar Conversion of Multi-valued Networks to Boolean Networks
Discrete modelling frameworks of Biological networks can be divided in two
distinct categories: Boolean and Multi-valued. Although Multi-valued networks
are more expressive for qualifying the regulatory behaviours modelled by more
than two values, the ability to automatically convert them to Boolean network
with an equivalent behaviour breaks down the fundamental borders between the
two approaches. Theoretically investigating the conversion process provides
relevant insights into bridging the gap between them. Basically, the conversion
aims at finding a Boolean network bisimulating a Multi-valued one. In this
article, we investigate the bisimilar conversion where the Boolean integer
coding is a parameter that can be freely modified. Based on this analysis, we
define a computational method automatically inferring a bisimilar Boolean
network from a given Multi-valued one