Joint realizability of monotone Boolean functions

Joint realizability of monotone Boolean functions
复制标题

DOI:
10.1016/j.tcs.2022.04.045
复制
发表时间:
2022-06-08
影响因子:
1.1
通讯作者:
Gedeon, Tomas
Gedeon, Tomas
中科院分区:
计算机科学4区
文献类型:
--
作者:
Crawford-Kahrl, Peter;Cummins, Bree;Gedeon, Tomas

文献摘要

被引文献

相似文献

单调布尔函数(MBFs)的研究历史悠久。我们探讨了MBF与基因调控的常微分方程(ODE)模型之间的联系,特别是MBF作为描述ODE状态转移图的函数的实现问题。通过建立一类ode的参数化动力学与mbf集合之间的联系,给出了有限mbf集合的联合可实现性问题。我们提出了一个问题,即哪些mbf集合可以通过属于嵌套类的ode来实现,嵌套类是通过增加其右侧的代数复杂性来定义的。当我们逐步限制ODE的代数形式时,我们通过理论和显式实例的结合证明了联合可实现函数的类别严格减少。我们的研究结果影响了调控网络动力学的研究,以及mbf的经典领域。最后,我们提出了一系列可能的延伸和猜想。(C) 2022 Elsevier B.V.版权所有
The study of monotone Boolean functions (MBFs) has a long history. We explore a connection between MBFs and ordinary differential equation (ODE) models of gene regulation, and, in particular, a problem of the realization of an MBF as a function describing the state transition graph of an ODE. We formulate a problem of joint realizability of finite collections of MBFs by establishing a connection between the parameterized dynamics of a class of ODEs and a collection of MBFs. We pose a question of what collections of MBFs can be realized by ODEs that belong to nested classes defined by increased algebraic complexity of their right-hand sides. As we progressively restrict the algebraic form of the ODE, we show by a combination of theory and explicit examples that the class of jointly realizable functions strictly decreases. Our results impact the study of regulatory network dynamics, as well as the classical area of MBFs. We conclude with a series of potential extensions and conjectures. (C) 2022 Elsevier B.V. All rights reserved.