{"title":"Chemical mass-action systems as analog computers: implementing arithmetic computations at specified speed","authors":"David F. Anderson, Badal Joshi","doi":"arxiv-2404.04396","DOIUrl":null,"url":null,"abstract":"Recent technological advances allow us to view chemical mass-action systems\nas analog computers. In this context, the inputs to a computation are encoded\nas initial values of certain chemical species while the outputs are the\nlimiting values of other chemical species. In this paper, we design chemical\nsystems that carry out the elementary arithmetic computations of:\nidentification, inversion, $m$th roots (for $m \\ge 2$), addition,\nmultiplication, absolute difference, rectified subtraction over non-negative\nreal numbers, and partial real inversion over real numbers. We prove that these\n``elementary modules'' have a speed of computation that is independent of the\ninputs to the computation. Moreover, we prove that finite sequences of such\nelementary modules, running in parallel, can carry out composite arithmetic\nover real numbers, also at a rate that is independent of inputs. Furthermore,\nwe show that the speed of a composite computation is precisely the speed of the\nslowest elementary step. Specifically, the scale of the composite computation,\ni.e. the number of elementary steps involved in the composite, does not affect\nthe overall asymptotic speed -- a feature of the parallel computing nature of\nour algorithm. Our proofs require the careful mathematical analysis of certain\nnon-autonomous systems, and we believe this analysis will be useful in\ndifferent areas of applied mathematics, dynamical systems, and the theory of\ncomputation. We close with a discussion on future research directions,\nincluding numerous important open theoretical questions pertaining to the field\nof computation with reaction networks.","PeriodicalId":501325,"journal":{"name":"arXiv - QuanBio - Molecular Networks","volume":"56 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-04-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"arXiv - QuanBio - Molecular Networks","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/arxiv-2404.04396","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
Recent technological advances allow us to view chemical mass-action systems
as analog computers. In this context, the inputs to a computation are encoded
as initial values of certain chemical species while the outputs are the
limiting values of other chemical species. In this paper, we design chemical
systems that carry out the elementary arithmetic computations of:
identification, inversion, $m$th roots (for $m \ge 2$), addition,
multiplication, absolute difference, rectified subtraction over non-negative
real numbers, and partial real inversion over real numbers. We prove that these
``elementary modules'' have a speed of computation that is independent of the
inputs to the computation. Moreover, we prove that finite sequences of such
elementary modules, running in parallel, can carry out composite arithmetic
over real numbers, also at a rate that is independent of inputs. Furthermore,
we show that the speed of a composite computation is precisely the speed of the
slowest elementary step. Specifically, the scale of the composite computation,
i.e. the number of elementary steps involved in the composite, does not affect
the overall asymptotic speed -- a feature of the parallel computing nature of
our algorithm. Our proofs require the careful mathematical analysis of certain
non-autonomous systems, and we believe this analysis will be useful in
different areas of applied mathematics, dynamical systems, and the theory of
computation. We close with a discussion on future research directions,
including numerous important open theoretical questions pertaining to the field
of computation with reaction networks.