REAL

Symmetry Structure in Discrete Models of Biochemical Systems: Natural Subsystems and the Weak Control Hierarchy in a New Model of Computation Driven by Interactions

Nehaniv, Chrystopher L. and Rhodes, John L. and Egri-Nagy, 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).

[img]
Preview
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 non-Abelian 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 Edit Item