Nehaniv, Chrystopher L. and Rhodes, John L. and EgriNagy, Attila and Dini, Paolo and Rothstein Morris, Eric and Horváth, Gábor and Karimi, Fariba and Schreckling, Daniel and Schilstra, Maria J. (2015) Symmetry Structure in Discrete Models of Biochemical Systems: Natural Subsystems and the Weak Control Hierarchy in a New Model of Computation Driven by Interactions. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 373 (2046).

Text
2046/20140223.full.pdf  Published Version Download (1MB)  Preview 
Abstract
Interaction computing is inspired by the observation that cell metabolic/regulatory systems construct order dynamically, through constrained interactions between their components and based on a wide range of possible inputs and environmental conditions. The goals of this work are to (i) identify and understand mathematically the natural subsystems and hierarchical relations in natural systems enabling this and (ii) use the resulting insights to define a new model of computation based on interactions that is useful for both biology and computation. The dynamical characteristics of the cellular pathways studied in systems biology relate, mathematically, to the computational characteristics of automata derived from them, and their internal symmetry structures to computational power. Finite discrete automata models of biological systems such as the lac operon, the Krebs cycle and p53–mdm2 genetic regulation constructed from systems biology models have canonically associated algebraic structures (their transformation semigroups). These contain permutation groups (local substructures exhibiting symmetry) that correspond to ‘pools of reversibility’. These natural subsystems are related to one another in a hierarchical manner by the notion of ‘weak control’. We present natural subsystems arising from several biological examples and their weak control hierarchies in detail. Finite simple nonAbelian groups are found in biological examples and can be harnessed to realize finitary universal computation. This allows ensembles of cells to achieve any desired finitary computational transformation, depending on external inputs, via suitably constrained interactions. Based on this, interaction machines that grow and change their structure recursively are introduced and applied, providing a natural model of computation driven by interactions.
Item Type:  Article 

Subjects:  Q Science / természettudomány > QA Mathematics / matematika > QA72 Algebra / algebra Q Science / természettudomány > QA Mathematics / matematika > QA75 Electronic computers. Computer science / számítástechnika, számítógéptudomány 
Depositing User:  Dr Gábor Horváth 
Date Deposited:  25 Sep 2015 13:38 
Last Modified:  08 Sep 2020 15:15 
URI:  http://real.mtak.hu/id/eprint/28038 
Actions (login required)
Edit Item 