Mathematical and theoretical biology
Mathematical and theoretical biology is an interdisciplinary scientific research field with a range of applications. The field is sometimes called mathematical biology or biomathematics to stress the mathematical side, or theoretical biology to stress the biological side.^{[1]} Theoretical biology focuses more on the development of theoretical principles for biology while mathematical biology focuses on the use of mathematical tools to study biological systems, even though the two terms are sometimes interchanged.^{[2]}^{[3]} Mathematical biology aims at the mathematical representation, treatment and modeling of biological processes, using techniques and tools of applied mathematics. It has both theoretical and practical applications in biological, biomedical and biotechnology research. Describing systems in a quantitative manner means their behavior can be better simulated, and hence properties can be predicted that might not be evident to the experimenter. This requires precise mathematical models.
Mathematical biology employs many components of mathematics,^{[4]} and has contributed to the development of new techniques.
Contents
 1 History
 2 Areas of research
 3 Model example: the cell cycle
 4 Societies and institutes
 5 See also
 6 Notes
 7 References
 8 Further reading
 9 External links
History
Early history
Mathematics has been applied to biology since the 19th century.
Fritz Müller described the evolutionary benefits of what is now called Müllerian mimicry in 1879, in an account notable for being the first use of a mathematical argument in evolutionary ecology to show how powerful the effect of natural selection would be, unless one includes Malthus's discussion of the effects of population growth that influenced Charles Darwin: Malthus argued that growth would be "geometric" while resources (the environment's carrying capacity) could only grow arithmetically.^{[5]}
One founding text is considered to be On Growth and Form (1917) by D'Arcy Thompson,^{[6]} and other early pioneers include Ronald Fisher, Hans Leo Przibram, Nicolas Rashevsky and Vito Volterra.^{[7]}
Recent growth
This section does not cite any sources. (April 2017) (Learn how and when to remove this template message)

Interest in the field has grown rapidly from the 1960s onwards. Some reasons for this include:
 The rapid growth of datarich information sets, due to the genomics revolution, which are difficult to understand without the use of analytical tools
 Recent development of mathematical tools such as chaos theory to help understand complex, nonlinear mechanisms in biology
 An increase in computing power, which facilitates calculations and simulations not previously possible
 An increasing interest in in silico experimentation due to ethical considerations, risk, unreliability and other complications involved in human and animal research
Areas of research
Several areas of specialized research in mathematical and theoretical biology^{[8]}^{[9]}^{[10]}^{[11]}^{[12]} as well as external links to related projects in various universities are concisely presented in the following subsections, including also a large number of appropriate validating references from a list of several thousands of published authors contributing to this field. Many of the included examples are characterised by highly complex, nonlinear, and supercomplex mechanisms, as it is being increasingly recognised that the result of such interactions may only be understood through a combination of mathematical, logical, physical/chemical, molecular and computational models. Due to the wide diversity of specific knowledge involved, biomathematical research is often done in collaboration between mathematicians, biomathematicians, theoretical biologists, bioinformaticians, biostatisticians, physicists, biophysicists, biochemists, bioengineers, engineers, biologists, physiologists, research physicians, biomedical researchers, oncologists, molecular biologists, geneticists, embryologists, zoologists, chemists, etc.
Evolutionary biology
Ecology and evolutionary biology have traditionally been the dominant fields of mathematical biology.
Evolutionary biology has been the subject of extensive mathematical theorizing. The traditional approach in this area, which includes complications from genetics, is population genetics. Most population geneticists consider the appearance of new alleles by mutation, the appearance of new genotypes by recombination, and changes in the frequencies of existing alleles and genotypes at a small number of gene loci. When infinitesimal effects at a large number of gene loci are considered, together with the assumption of linkage equilibrium or quasilinkage equilibrium, one derives quantitative genetics. Ronald Fisher made fundamental advances in statistics, such as analysis of variance, via his work on quantitative genetics. Another important branch of population genetics that led to the extensive development of coalescent theory is phylogenetics. Phylogenetics is an area that deals with the reconstruction and analysis of phylogenetic (evolutionary) trees and networks based on inherited characteristics^{[13]} Traditional population genetic models deal with alleles and genotypes, and are frequently stochastic.
Many population genetics models assume that population sizes are constant. Variable population sizes, often in the absence of genetic variation, are treated by the field of population dynamics. Work in this area dates back to the 19th century, and even as far as 1798 when Thomas Malthus formulated the first principle of population dynamics, which later became known as the Malthusian growth model. The Lotka–Volterra predatorprey equations are another famous example. Population dynamics overlap with another active area of research in mathematical biology: mathematical epidemiology, the study of infectious disease affecting populations. Various models of the spread of infections have been proposed and analyzed, and provide important results that may be applied to health policy decisions.
In evolutionary game theory, developed first by John Maynard Smith and George R. Price, selection acts directly on inherited phenotypes, without genetic complications. This approach has been mathematically refined to produce the field of adaptive dynamics.
Computer models and automata theory
A monograph on this topic summarizes an extensive amount of published research in this area up to 1986,^{[14]}^{[15]}^{[16]} including subsections in the following areas: computer modeling in biology and medicine, arterial system models, neuron models, biochemical and oscillation networks, quantum automata, quantum computers in molecular biology and genetics,^{[17]} cancer modelling,^{[18]} neural nets, genetic networks, abstract categories in relational biology,^{[19]} metabolicreplication systems, category theory^{[20]} applications in biology and medicine,^{[21]} automata theory, cellular automata,^{[22]} tessellation models^{[23]}^{[24]} and complete selfreproduction, chaotic systems in organisms, relational biology and organismic theories.^{[25]}^{[26]}
Modeling cell and molecular biology
This area has received a boost due to the growing importance of molecular biology.^{[11]}
 Mechanics of biological tissues^{[27]}
 Theoretical enzymology and enzyme kinetics
 Cancer modelling and simulation^{[28]}^{[29]}
 Modelling the movement of interacting cell populations^{[30]}
 Mathematical modelling of scar tissue formation^{[31]}
 Mathematical modelling of intracellular dynamics^{[32]}^{[33]}
 Mathematical modelling of the cell cycle^{[34]}
Modelling physiological systems
 Modelling of arterial disease^{[35]}
 Multiscale modelling of the heart^{[36]}
 Modelling electrical properties of muscle interactions, as in bidomain and monodomain models
Molecular set theory
Molecular set theory (MST) is a mathematical formulation of the widesense chemical kinetics of biomolecular reactions in terms of sets of molecules and their chemical transformations represented by settheoretical mappings between molecular sets. It was introduced by Anthony Bartholomay, and its applications were developed in mathematical biology and especially in mathematical medicine.^{[37]} In a more general sense, MST is the theory of molecular categories defined as categories of molecular sets and their chemical transformations represented as settheoretical mappings of molecular sets. The theory has also contributed to biostatistics and the formulation of clinical biochemistry problems in mathematical formulations of pathological, biochemical changes of interest to Physiology, Clinical Biochemistry and Medicine.^{[37]}^{[38]}
Mathematical methods
A model of a biological system is converted into a system of equations, although the word 'model' is often used synonymously with the system of corresponding equations. The solution of the equations, by either analytical or numerical means, describes how the biological system behaves either over time or at equilibrium. There are many different types of equations and the type of behavior that can occur is dependent on both the model and the equations used. The model often makes assumptions about the system. The equations may also make assumptions about the nature of what may occur.
Simulation of mathematical biology
Computer with significant recent evolution in performance acceraretes the model simulation based on various formulas. The websites BioMath Modeler can run simulations and display charts interactively on browser.
Mathematical biophysics
The earlier stages of mathematical biology were dominated by mathematical biophysics, described as the application of mathematics in biophysics, often involving specific physical/mathematical models of biosystems and their components or compartments.
The following is a list of mathematical descriptions and their assumptions.
Deterministic processes (dynamical systems)
A fixed mapping between an initial state and a final state. Starting from an initial condition and moving forward in time, a deterministic process always generates the same trajectory, and no two trajectories cross in state space.
 Difference equations/Maps – discrete time, continuous state space.
 Ordinary differential equations – continuous time, continuous state space, no spatial derivatives. See also: Numerical ordinary differential equations.
 Partial differential equations – continuous time, continuous state space, spatial derivatives. See also: Numerical partial differential equations.
 Logical deterministic cellular automata – discrete time, discrete state space. See also: Cellular automaton.
Stochastic processes (random dynamical systems)
A random mapping between an initial state and a final state, making the state of the system a random variable with a corresponding probability distribution.
 NonMarkovian processes – generalized master equation – continuous time with memory of past events, discrete state space, waiting times of events (or transitions between states) discretely occur.
 Jump Markov process – master equation – continuous time with no memory of past events, discrete state space, waiting times between events discretely occur and are exponentially distributed. See also: Monte Carlo method for numerical simulation methods, specifically dynamic Monte Carlo method and Gillespie algorithm.
 Continuous Markov process – stochastic differential equations or a FokkerPlanck equation – continuous time, continuous state space, events occur continuously according to a random Wiener process.
Spatial modelling
One classic work in this area is Alan Turing's paper on morphogenesis entitled The Chemical Basis of Morphogenesis, published in 1952 in the Philosophical Transactions of the Royal Society.
 Travelling waves in a woundhealing assay^{[39]}
 Swarming behaviour^{[40]}
 A mechanochemical theory of morphogenesis^{[41]}
 Biological pattern formation^{[42]}
 Spatial distribution modeling using plot samples^{[43]}
Organizational biology
Theoretical approaches to biological organization aim to understand the interdependence between the parts of organisms. They emphasize the circularities that these interdependences lead to. Theoretical biologists developed several concepts to formalize this idea.
For example, abstract relational biology (ARB)^{[44]} is concerned with the study of general, relational models of complex biological systems, usually abstracting out specific morphological, or anatomical, structures. Some of the simplest models in ARB are the MetabolicReplication, or (M,R)systems introduced by Robert Rosen in 19571958 as abstract, relational models of cellular and organismal organization.^{[45]}
Other approaches include the notion of autopoiesis developed by Maturana and Varela, Kauffman's WorkConstraints cycles, and more recently the notion of closure of constraints.^{[46]}
Algebraic biology
Algebraic biology (also known as symbolic systems biology) applies the algebraic methods of symbolic computation to the study of biological problems, especially in genomics, proteomics, analysis of molecular structures and study of genes.^{[25]}^{[47]}^{[48]}
Model example: the cell cycle
The eukaryotic cell cycle is very complex and is one of the most studied topics, since its misregulation leads to cancers. It is possibly a good example of a mathematical model as it deals with simple calculus but gives valid results. Two research groups ^{[49]}^{[50]} have produced several models of the cell cycle simulating several organisms. They have recently produced a generic eukaryotic cell cycle model that can represent a particular eukaryote depending on the values of the parameters, demonstrating that the idiosyncrasies of the individual cell cycles are due to different protein concentrations and affinities, while the underlying mechanisms are conserved (CsikaszNagy et al., 2006).
By means of a system of ordinary differential equations these models show the change in time (dynamical system) of the protein inside a single typical cell; this type of model is called a deterministic process (whereas a model describing a statistical distribution of protein concentrations in a population of cells is called a stochastic process).
To obtain these equations an iterative series of steps must be done: first the several models and observations are combined to form a consensus diagram and the appropriate kinetic laws are chosen to write the differential equations, such as rate kinetics for stoichiometric reactions, MichaelisMenten kinetics for enzyme substrate reactions and Goldbeter–Koshland kinetics for ultrasensitive transcription factors, afterwards the parameters of the equations (rate constants, enzyme efficiency coefficients and Michaelis constants) must be fitted to match observations; when they cannot be fitted the kinetic equation is revised and when that is not possible the wiring diagram is modified. The parameters are fitted and validated using observations of both wild type and mutants, such as protein halflife and cell size.
To fit the parameters, the differential equations must be studied. This can be done either by simulation or by analysis. In a simulation, given a starting vector (list of the values of the variables), the progression of the system is calculated by solving the equations at each timeframe in small increments.
In analysis, the properties of the equations are used to investigate the behavior of the system depending of the values of the parameters and variables. A system of differential equations can be represented as a vector field, where each vector described the change (in concentration of two or more protein) determining where and how fast the trajectory (simulation) is heading. Vector fields can have several special points: a stable point, called a sink, that attracts in all directions (forcing the concentrations to be at a certain value), an unstable point, either a source or a saddle point, which repels (forcing the concentrations to change away from a certain value), and a limit cycle, a closed trajectory towards which several trajectories spiral towards (making the concentrations oscillate).
A better representation, which handles the large number of variables and parameters, is a bifurcation diagram using bifurcation theory. The presence of these special steadystate points at certain values of a parameter (e.g. mass) is represented by a point and once the parameter passes a certain value, a qualitative change occurs, called a bifurcation, in which the nature of the space changes, with profound consequences for the protein concentrations: the cell cycle has phases (partially corresponding to G1 and G2) in which mass, via a stable point, controls cyclin levels, and phases (S and M phases) in which the concentrations change independently, but once the phase has changed at a bifurcation event (Cell cycle checkpoint), the system cannot go back to the previous levels since at the current mass the vector field is profoundly different and the mass cannot be reversed back through the bifurcation event, making a checkpoint irreversible. In particular the S and M checkpoints are regulated by means of special bifurcations called a Hopf bifurcation and an infinite period bifurcation.^{[citation needed]}
Societies and institutes
 National Institute for Mathematical and Biological Synthesis
 Society for Mathematical Biology
 ESMTB: European Society for Mathematical and Theoretical Biology
 The Israeli Society for Theoretical and Mathematical Biology
 Société Francophone de Biologie Théorique
 International Society for Biosemiotic Studies
See also
 Artificial life
 Bioinspired computing
 Biological applications of bifurcation theory
 Biosemiotics
 Biostatistics
 Cellular automaton
 Computational biology
 Computational gene
 DNA computing
 Entropy and life
 Ewens's sampling formula
 Journal of Theoretical Biology
 Mathematical modelling of infectious disease
 Metabolic network modelling
 Molecular modelling
 Morphometrics
 Population genetics
 Protein folding
 Simulated reality
 Statistical genetics
 Systems biology
 Theoretical ecology
 Quantum Biology
Notes
 ^ "There is a subtle difference between mathematical biologists and theoretical biologists. Mathematical biologists tend to be employed in mathematical departments and to be a bit more interested in math inspired by biology than in the biological problems themselves, and vice versa." Careers in theoretical biology
 ^ Longo, Giuseppe; Soto, Ana M. (20161001). "Why do we need theories?" (PDF). Progress in Biophysics and Molecular Biology. From the Century of the Genome to the Century of the Organism: New Theoretical Approaches. 122 (1): 4–10. doi:10.1016/j.pbiomolbio.2016.06.005.
 ^ Montévil, Maël; Speroni, Lucia; Sonnenschein, Carlos; Soto, Ana M. (20161001). "Modeling mammary organogenesis from biological first principles: Cells and their physical constraints". Progress in Biophysics and Molecular Biology. From the Century of the Genome to the Century of the Organism: New Theoretical Approaches. 122 (1): 58–69. doi:10.1016/j.pbiomolbio.2016.08.004.
 ^ Robeva, Raina; et al. (Fall 2010). "Mathematical Biology Modules Based on Modern Molecular Biology and Modern Discrete Mathematics". CBE Life Sciences Education. The American Society for Cell Biology. 9 (3): 227–240. doi:10.1187/cbe.10030019. PMC 2931670 . PMID 20810955.
 ^ Mallet, James (July 2001). "Mimicry: An interface between psychology and evolution". PNAS. 98 (16): 8928–8930. doi:10.1073/pnas.171326298. PMC 55348 . PMID 11481461.
 ^ Ian Stewart (1998), Life's Other Secret: The New Mathematics of the Living World, New York: John Wiley, ISBN 9780471158455
 ^ Evelyn Fox Keller (2002) Making Sense of Life: Explaining Biological Development with Models, Metaphors and Machines, Harvard University Press, ISBN 9780674012509
 ^ Baianu, I. C.; Brown, R.; Georgescu, G.; Glazebrook, J. F. (2006). "Complex Nonlinear Biodynamics in Categories, Higher Dimensional Algebra and Łukasiewicz–Moisil Topos: Transformations of Neuronal, Genetic and Neoplastic Networks". Axiomathes. 16: 65–122. doi:10.1007/s1051600539738.
 ^ ŁukasiewiczTopos Models of Neural Networks, Cell Genome and Interactome Nonlinear Dynamic Models (2004) "Archived copy" (PDF). Archived from the original on 20070713. Retrieved 20110807.
 ^ Complex Systems Analysis of Arrested Neural Cell Differentiation during Development and Analogous Cell Cycling Models in Carcinogenesis (2004) http://cogprints.org/3687/
 ^ ^{a} ^{b} "Research in Mathematical Biology". Maths.gla.ac.uk. Retrieved 20080910.
 ^ J. R. Junck. Ten Equations that Changed Biology: Mathematics in ProblemSolving Biology Curricula, Bioscene, (1997), 23(1):1136 New Link (Aug 2010)
 ^ Charles Semple (2003), Phylogenetics, Oxford University Press, ISBN 9780198509424
 ^ Witten, M., ed. (1986). "Computer Models and Automata Theory in Biology and Medicine" (PDF). Mathematical Modeling : Mathematical Models in Medicine. 7. New York: Pergamon Press. pp. 1513–1577.
 ^ Lin, H. C. (2004). "Computer Simulations and the Question of Computability of Biological Systems" (PDF).
 ^ Computer Models and Automata Theory in Biology and Medicine. 1986.
 ^ "Natural Transformations Models in Molecular Biology". SIAM and Society of Mathematical Biology, National Meeting. Bethesda, MD. 1983.
 ^ Baianu, I. C. (2004). "Quantum Interactomics and Cancer Mechanisms" (PDF). Research Report communicated to the Institute of Genomic Biology, University of Illinois at Urbana.
 ^ Kainen, P. C. (2005). "Category Theory and Living Systems" (PDF). In Ehresmann, A. Charles Ehresmann's Centennial Conference Proceedings. University of Amiens, France, October 79th, 2005. pp. 1–5.
 ^ "bibliography for category theory/algebraic topology applications in physics". PlanetPhysics. Archived from the original on 20160107. Retrieved 20100317.
 ^ "bibliography for mathematical biophysics and mathematical medicine". PlanetPhysics. 20090124. Archived from the original on 20160107. Retrieved 20100317.
 ^ "Cellular Automata". Los Alamos Science. Fall 1983.
 ^ Preston, Kendall; Duff, M. J. B. Modern Cellular Automata.
 ^ "Dual Tessellation – from Wolfram MathWorld". Mathworld.wolfram.com. 20100303. Retrieved 20100317.
 ^ ^{a} ^{b} Baianu, I. C. 1987, Computer Models and Automata Theory in Biology and Medicine., in M. Witten (ed.),Mathematical Models in Medicine, vol. 7., Ch.11 Pergamon Press, New York, 15131577. http://cogprints.org/3687/
 ^ "Computer models and automata theory in biology and medicine  KLI Theory Lab". Theorylab.org. 20090526. Archived from the original on 20110728. Retrieved 20100317.
 ^ Ray Ogden (20040702). "rwo_research_details". Maths.gla.ac.uk. Archived from the original on 20090202. Retrieved 20100317.
 ^ Oprisan, Sorinel A.; Oprisan, Ana (2006). "A Computational Model of Oncogenesis using the Systemic Approach". Axiomathes. 16: 155–163. doi:10.1007/s105160054943x.
 ^ "MCRTN – About tumour modelling project". Calvino.polito.it. Retrieved 20100317.
 ^ "Jonathan Sherratt's Research Interests". Ma.hw.ac.uk. Retrieved 20100317.
 ^ "Jonathan Sherratt's Research: Scar Formation". Ma.hw.ac.uk. Retrieved 20100317.
 ^ Kuznetsov, A.V.; Avramenko, A.A. (2009). "A macroscopic model of traffic jams in axons". Mathematical Biosciences. 218 (2): 142–152. doi:10.1016/j.mbs.2009.01.005.
 ^ Wolkenhauer, Olaf; Ullah, Mukhtar; Kolch, Walter; Cho, KwangHyun (2004). "Modelling and Simulation of IntraCellular Dynamics: Choosing an Appropriate Framework". IEEE Transactions on NanoBioscience. 3 (3): 200–207. doi:10.1109/TNB.2004.833694.
 ^ "Tyson Lab". Archived from the original on July 28, 2007.
 ^ Noè, U.; Chen, W. W.; Filippone, M.; Hill, N.; Husmeier, D. (2017). "Inference in a Partial Differential Equations Model of Pulmonary Arterial and Venous Blood Circulation using Statistical Emulation". 13th International Conference on Computational Intelligence Methods for Bioinformatics and Biostatistics, Stirling, UK, 1–3 Sep 2016. pp. 184–198. doi:10.1007/9783319678344_15. ISBN 9783319678337.
 ^ "Integrative Biology – Heart Modelling". Integrativebiology.ox.ac.uk. Archived from the original on 20090113. Retrieved 20100317.
 ^ ^{a} ^{b} "molecular set category". PlanetPhysics. Archived from the original on 20160107. Retrieved 20100317.
 ^ Representation of Unimolecular and Multimolecular Biochemical Reactions in terms of Molecular Set Transformations http://planetmath.org/?op=getobj&from=objects&id=10770^{[unreliable medical source?]}
 ^ "Travelling waves in a wound". Maths.ox.ac.uk. Retrieved 20100317.
 ^ [1]^{[dead link]}
 ^ "The mechanochemical theory of morphogenesis". Maths.ox.ac.uk. Retrieved 20100317.
 ^ "Biological pattern formation". Maths.ox.ac.uk. Retrieved 20100317.
 ^ Hurlbert, Stuart H. (1990). "Spatial Distribution of the Montane Unicorn". Oikos. 58 (3): 257–271. doi:10.2307/3545216. JSTOR 3545216.
 ^ Abstract Relational Biology (ARB) Archived 20160107 at the Wayback Machine.
 ^ Rosen, Robert (20050713). Life Itself: A Comprehensive Inquiry Into the Nature, Origin, and Fabrication of Life. Columbia University Press. ISBN 9780231075657.
 ^ Montévil, Maël; Mossio, Matteo (20150507). "Biological organisation as closure of constraints". Journal of Theoretical Biology. 372: 179–191. doi:10.1016/j.jtbi.2015.02.029.
 ^ Michael P Barnett, "Symbolic calculation in the life sciences: trends and prospects, Algebraic Biology 2005" – Computer Algebra in Biology, edited by H. Anai, K. Horimoto, Universal Academy Press, Tokyo, 2006. (on line .pdf format)
 ^ http://library.bjcancer.org/ebook/109.pdf^{[permanent dead link]} L. Preziosi, Cancer Modelling and Simulation. Chapman Hall/CRC Press, 2003. ISBN 1584883618.
 ^ "The JJ Tyson Lab". Virginia Tech. Archived from the original on 20070728. Retrieved 20080910.
 ^ "The Molecular Network Dynamics Research Group". Budapest University of Technology and Economics. Archived from the original on 20120210.
References
 EdelsteinKeshet, L. (2004). Mathematical Models in Biology. SIAM. ISBN 0075549506.
 Hoppensteadt, F. (1993) [1975]. Mathematical Theories of Populations: Demographics, Genetics and Epidemics (Reprinted ed.). Philadelphia: SIAM. ISBN 0898710170.
 Renshaw, E. (1991). Modelling Biological Populations in Space and Time. C.U.P. ISBN 0521448557.
 Rubinow, S. I. (1975). Introduction to Mathematical Biology. John Wiley. ISBN 0471744468.
 Strogatz, S. H. (2001). Nonlinear Dynamics and Chaos: Applications to Physics, Biology, Chemistry, and Engineering. Perseus. ISBN 0738204536.
 Theoretical biology
 Bonner, J. T. (1988). The Evolution of Complexity by Means of Natural Selection. Princeton: Princeton University Press. ISBN 0691084939.
 Mangel, M. (2006). The Theoretical Biologist's Toolbox. Quantitative Methods for Ecology and Evolutionary Biology. Cambridge University Press. ISBN 0521537487.
Further reading
 Hoppensteadt, F. (September 1995). "Getting Started in Mathematical Biology" (PDF). Notices of the American Mathematical Society.
 May, R. M. (2004). "Uses and Abuses of Mathematics in Biology". Science. 303 (5659): 790–793. doi:10.1126/science.1094442. PMID 14764866.
 Murray, J. D. (1988). "How the leopard gets its spots?". Scientific American. 258 (3): 80–87. doi:10.1038/scientificamerican038880.
 Reed, M. C. (March 2004). "Why Is Mathematical Biology So Hard?" (PDF). Notices of the American Mathematical Society.
External links
 The Society for Mathematical Biology
 The Collection of Biostatistics Research Archive