Algorithmic and Complexity Results for Decompositions of Biological Networks into Monotone Subsystems

  • Bhaskar DasGupta
  • German A. Enciso
  • Eduardo Sontag
  • Yi Zhang
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4007)

Abstract

A useful approach to the mathematical analysis of large-scale biological networks is based upon their decompositions into monotone dynamical systems. This paper deals with two computational problems associated to finding decompositions which are optimal in an appropriate sense. In graph-theoretic language, the problems can be recast in terms of maximal sign-consistent subgraphs. The theoretical results include polynomial-time approximation algorithms as well as constant-ratio inapproximability results. One of the algorithms, which has a worst-case guarantee of 87.9% from optimality, is based on the semidefinite programming relaxation approach of Goemans-Williamson [14]. The algorithm was implemented and tested on a Drosophila segmentation network [7] and an Epidermal Growth Factor Receptor pathway model [25], and it was found to perform close to optimally.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Angeli, D., Ferrell Jr., J.E., Sontag, E.D.: Detection of multi-stability, bifurcations, and hysteresis in a large class of biological positive-feedback systems. Proc. Nat. Acad. Sci. USA 101, 1822–1827 (2004)CrossRefGoogle Scholar
  2. 2.
    Angeli, D., De Leenheer, P., Sontag, E.D.: A small-gain theorem for almost global convergence of monotone systems. Systems and Control Letters 51, 185–202 (2004)CrossRefMathSciNetMATHGoogle Scholar
  3. 3.
    Angeli, D., Sontag, E.D.: Monotone control systems. IEEE Trans. Autom. Control 48, 1684–1698 (2003)CrossRefMathSciNetGoogle Scholar
  4. 4.
    Angeli, D., Sontag, E.D.: Multistability in monotone I/O systems. Systems and Control Letters 51, 185–202 (2004)CrossRefMathSciNetMATHGoogle Scholar
  5. 5.
    Angeli, D., Sontag, E.D.: An analysis of a circadian model using the small-gain approach to monotone systems. In: proceedings of the IEEE Conf. Decision and Control, Paradise Island, Bahamas, December 2004, pp. 575–578. IEEE Publications, Los Alamitos (2004)Google Scholar
  6. 6.
    Cinquin, O., Demongeot, J.: Positive and negative feedback: striking a balance between necessary antagonists. J. Theor. Biol. 216, 229–241 (2002)CrossRefMathSciNetGoogle Scholar
  7. 7.
    von Dassaw, G., Meir, E., Munro, E.M., Odell, G.M.: The segment polarity network is a robust developmental module. Nature 406, 188–192 (2000)CrossRefGoogle Scholar
  8. 8.
    DeAngelis, D.L., Post, W.M., Travis, C.C.: Positive Feedback in Natural Systems. Springer, New York (1986)MATHGoogle Scholar
  9. 9.
    Enciso, G.A., Smith, H.L., Sontag, E.D.: Non-monotone systems decomposable into monotone systems with negative feedback. J. of Differential Equations (to appear, 2005)Google Scholar
  10. 10.
    Enciso, G., Sontag, E.: On the stability of a model of testosterone dynamics. Journal of Mathematical Biology 49, 627–634 (2004)CrossRefMathSciNetMATHGoogle Scholar
  11. 11.
    Enciso, G., Sontag, E.D.: Monotone systems under positive feedback: multistability and a reduction theorem. Systems and Control Letters 54, 159–168 (2005)CrossRefMathSciNetMATHGoogle Scholar
  12. 12.
    Enciso, G., Sontag, E.: Global attractivity, I/O monotone small-gain theorems, and biological delay systems, Discrete and Continuous Dynamical Systems (to appear)Google Scholar
  13. 13.
    Gedeon, T., Sontag, E.D.: Oscillation in multi-stable monotone system with slowly varying positive feedback. In: Gedeon, T., Sontag, E.D. (eds.) Sixth SIAM Conf. on Control and its Applications, New Orleans (July 2005) (submitted for publication abstract )Google Scholar
  14. 14.
    Goemans, M., Williamson, D.: Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming. Journal of the ACM 42(6), 1115–1145 (1995)CrossRefMathSciNetMATHGoogle Scholar
  15. 15.
    Hirsch, M.: Systems of differential equations that are competitive or cooperative II: Convergence almost everywhere. SIAM J. Mathematical Analysis 16, 423–439 (1985)CrossRefMathSciNetMATHGoogle Scholar
  16. 16.
    Hirsch, M.: Differential equations and convergence almost everywhere in strongly monotone flows. Contemporary Mathematics 17, 267–285 (1983)MathSciNetMATHGoogle Scholar
  17. 17.
    Ingolia, N.: Topology and robustness in the drosophila segment polarity network. Public Library of Science 2(6), 805–815 (2004)Google Scholar
  18. 18.
    De Leenheer, P., Angeli, D., Sontag, E.D.: On predator-prey systems and small-gain theorems. J. Mathematical Biosciences and Engineering 2, 25–42 (2005)MATHGoogle Scholar
  19. 19.
    De Leenheer, P., Malisoff, M.: Remarks on monotone control systems with multi-valued input-state characteristics. In: proceedings of the 44th IEEE Conference on Decision and Control and European Control Conference ECC 2005, Seville, Spain (to appear, 2005)Google Scholar
  20. 20.
    Lewis, J., Slack, J.M., Wolpert, L.: Thresholds in development. J. Theor. Biol. 65, 579–590 (1977)CrossRefGoogle Scholar
  21. 21.
    Maayan, A., Iyengar, R., Sontag, E.D.: A study of almost-sign consistency on biological networks (in preparation)Google Scholar
  22. 22.
    Meinhardt, H.: Space-dependent cell determination under the control of morphogen gradient. J. Theor. Biol. 74, 307–321 (1978)CrossRefGoogle Scholar
  23. 23.
    Monod, J., Jacob, F.: General conclusions: telenomic mechanisms in cellular metabolism, growth, and differentiation. Cold Spring Harbor Symp. Quant. Biol. 26, 389–401 (1961)Google Scholar
  24. 24.
    Murray, J.D.: Mathematical Biology, I: An introduction. Springer, New York (2002)Google Scholar
  25. 25.
    Oda, K., Matsuoka, Y., Funahashi, A., Kitano, H.: A comprehensive pathway map of epidermal growth factor receptor signaling. Molecular Systems Biology (2005), doi:10.1038/msb4100014Google Scholar
  26. 26.
    Plathe, E., Mestl, T., Omholt, S.W.: Feedback loops, stability and multistationarity in dynamical systems. J. Biol. Syst. 3, 409–413 (1995)CrossRefGoogle Scholar
  27. 27.
    Remy, E., Mosse, B., Chaouiya, C., Thieffry, D.: A description of dynamical graphs associated to elementary regulatory circuits. Bioinformatics 19 (suppl. 2), ii172–ii178 (2003)Google Scholar
  28. 28.
    Shmulevich, I., Sontag, E.D.: Order and Distance to Monotonicity in Boolean Networks (in preparation)Google Scholar
  29. 29.
    Smith, H.L.: Monotone Dynamical Systems, Providence, R.I., AMS (1995)Google Scholar
  30. 30.
    Smith, H.L.: Systems of ordinary differential equations wich generate an order-preserving flow: A survey of results. SIAM Revews 30, 87–111 (1988)CrossRefMATHGoogle Scholar
  31. 31.
    Snoussi, E.H.: Necessary conditions for multistationarity and stable periodicity. J. Biol. Syst. 6, 39 (1998)CrossRefGoogle Scholar
  32. 32.
    Sontag, E.D.: Some new directions in control theory inspired by systems biology. Systems Biology 1, 9–18 (2004)CrossRefGoogle Scholar
  33. 33.
    Sontag, E.D.: Mathematical Control Theory: Deterministic Finite Dimensional Systems, (2nd edn. 1998) Springer, New York (1990)MATHGoogle Scholar
  34. 34.
    Thomas, R.: Logical analysis of systems comprising feedback loops. J. Theor. Biol. 73, 631656 (1978)CrossRefGoogle Scholar
  35. 35.
    Volpert, A.I., Volpert, V.A., Volpert, V.A.: Traveling Wave Solutions of Parabolic Systems, Translations of Mathematical Monographs, AMS, vol. 140 (2000)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Bhaskar DasGupta
    • 1
  • German A. Enciso
    • 2
  • Eduardo Sontag
    • 3
  • Yi Zhang
    • 1
  1. 1.Department of Computer ScienceUniversity of IL at ChicagoChicagoUSA
  2. 2.Mathematical Biosciences InstituteColumbusUSA
  3. 3.Department of MathematicsRutgers UniversityNew BrunswickUSA

Personalised recommendations