Department of Systems Biology, Harvard Medical School, Boston, Massachusetts, United States of America.
Laboratory of Systems Pharmacology, Harvard Medical School, Boston, Massachusetts, United States of America.
PLoS Comput Biol. 2020 May 4;16(5):e1007573. doi: 10.1371/journal.pcbi.1007573. eCollection 2020 May.
Biological systems are acknowledged to be robust to perturbations but a rigorous understanding of this has been elusive. In a mathematical model, perturbations often exert their effect through parameters, so sizes and shapes of parametric regions offer an integrated global estimate of robustness. Here, we explore this "parameter geography" for bistability in post-translational modification (PTM) systems. We use the previously developed "linear framework" for timescale separation to describe the steady-states of a two-site PTM system as the solutions of two polynomial equations in two variables, with eight non-dimensional parameters. Importantly, this approach allows us to accommodate enzyme mechanisms of arbitrary complexity beyond the conventional Michaelis-Menten scheme, which unrealistically forbids product rebinding. We further use the numerical algebraic geometry tools Bertini, Paramotopy, and alphaCertified to statistically assess the solutions to these equations at ∼109 parameter points in total. Subject to sampling limitations, we find no bistability when substrate amount is below a threshold relative to enzyme amounts. As substrate increases, the bistable region acquires 8-dimensional volume which increases in an apparently monotonic and sigmoidal manner towards saturation. The region remains connected but not convex, albeit with a high visibility ratio. Surprisingly, the saturating bistable region occupies a much smaller proportion of the sampling domain under mechanistic assumptions more realistic than the Michaelis-Menten scheme. We find that bistability is compromised by product rebinding and that unrealistic assumptions on enzyme mechanisms have obscured its parametric rarity. The apparent monotonic increase in volume of the bistable region remains perplexing because the region itself does not grow monotonically: parameter points can move back and forth between monostability and bistability. We suggest mathematical conjectures and questions arising from these findings. Advances in theory and software now permit insights into parameter geography to be uncovered by high-dimensional, data-centric analysis.
生物系统被认为对扰动具有鲁棒性,但对此的严格理解一直难以捉摸。在数学模型中,扰动通常通过参数发挥作用,因此参数区域的大小和形状提供了对鲁棒性的综合全局估计。在这里,我们探索翻译后修饰(PTM)系统中双稳态的这种“参数地理学”。我们使用先前开发的用于时间尺度分离的“线性框架”,将双位点PTM系统的稳态描述为两个变量的两个多项式方程的解,具有八个无量纲参数。重要的是,这种方法使我们能够纳入超越传统米氏方案的任意复杂程度的酶机制,传统米氏方案不切实际地禁止产物再结合。我们进一步使用数值代数几何工具Bertini、Paramotopy和alphaCertified,在总共约109个参数点上对这些方程的解进行统计评估。受采样限制,当底物量低于相对于酶量的阈值时,我们未发现双稳态。随着底物增加,双稳态区域获得8维体积,该体积以明显单调且呈S形的方式增加直至饱和。该区域保持连通但不凸,尽管可见度比率较高。令人惊讶的是,在比米氏方案更现实的机制假设下,饱和双稳态区域在采样域中所占比例要小得多。我们发现双稳态会因产物再结合而受到损害,并且对酶机制的不切实际假设掩盖了其参数稀有性。双稳态区域体积的明显单调增加仍然令人困惑,因为该区域本身并非单调增长:参数点可以在单稳态和双稳态之间来回移动。我们提出了由这些发现引发的数学猜想和问题。理论和软件的进步现在允许通过高维、以数据为中心的分析揭示对参数地理学的见解。