Abstract
Phosphate transfer reactions (Principles of biochemistry, Prentice Hall, Upper Saddle River, 1996) involve the transfer of a phosphate group from a donor molecule to an accepter, which is ubiquitous in biochemistry. Besides natural systems, some synthetic molecular systems such as seesaw gates are also equivalent to (subsets of) phosphate transfer reaction networks. In this paper, we study the computational power of phosphate transfer reaction networks (PTRNs). PTRNs are chemical reaction networks (CRNs) with only phosphate transfer reactions. Previously, it is known (Nat Comput 13:517–534, 2014) that a function can be deterministically computed by a CRN if and only if it is semilinear. However, the computational power of programmable phosphate transfer networks is unknown. In this paper, we present a formal model to describe PTRNs and study the computational power of these networks. We prove that when each molecule can only carry one phosphate group, the output must be the total initial count in a subset \(S_1\) minus the total initial count of another subset \(S_2\). On the other hand, when every molecule can carry up to three phosphate groups, or two phosphate groups with different functions, PTRNs can “simulate” arbitrary CRNs. Finally, when each molecule can carry up to two functionally identical phosphate groups (or, equivalently, two phosphate groups which must be added/removed in a sequential manner), we prove that the computational power is strictly stronger than PTRNs with at most one phosphate group per molecule.
Similar content being viewed by others
Notes
In practice, fuel species are initialized with a large amount such that they never get fully used up.
References
Angluin, D., Aspnes, J., Diamadi, Z., Fischer, M.J., Peralta, R.: Computation in networks of passively mobile finite-state sensors. Distrib. Comput. 18(4), 235–253 (2006)
Angluin, D., Aspnes, J., Eisenstat, D.: Fast computation by population protocols with a leader. In: Distributed computing, pp. 61–75. Springer, Berlin (2006)
Angluin, D., Aspnes, J., Eisenstat, D.: Stably computable predicates are semilinear. In: Proceedings of the twenty-fifth annual ACM symposium on principles of distributed computing, pp. 292–299. ACM (2006)
Chan, C.H., Chen, H.L.: Deterministic function computation with phosphate transfer reaction networks. In: Poster in the thirteenth annual conference on the foundations of nanoscience (2016)
Chen, H.L., Doty, D., Soloveichik, D.: Deterministic function computation with chemical reaction networks. Natural Comput. 13(4), 517–534 (2014)
Chen, H.L., Doty, D., Soloveichik, D.: Rate-independent computation in continuous chemical reaction networks. In: Proceedings of the 5th conference on Innovations in theoretical computer science, pp. 313–326. ACM (2014)
Doty, D., Monir, H.: Leaderless deterministic chemical reaction networks. Natural Comput. 14, 213–223 (2015)
Elowitz, M.B., Levine, A.J., Siggia, E.D., Swain, P.S.: Stochastic gene expression in a single cell. Science 297(5584), 1183–1186 (2002)
Esparza, J.: Decidability and complexity of petri net problems—an introduction. In: Lectures on Petri Nets I: basic models, pp. 374–428. Springer, Berlin (1998)
Hjelmfelt, A., Weinberger, E.D., Ross, J.: Chemical implementation of neural networks and turing machines. Proc. Natl. Acad. Sci. 88(24), 10983–10987 (1991)
Horn, F., Jackson, R.: General mass action kinetics. Arch. Ration. Mech. Anal. 47(2), 81–116 (1972)
Horton, H.R., Moran, L.A., Ochs, R.S., Rawn, J.D., Scrimgeour, K.G.: Principles of biochemistry. Prentice Hall, Upper Saddle River (1996)
Johnson, R., Dong, Q., Winfree, E.: Verifying chemical reaction network implementations: a bisimulation approach. Theor. Comput. Sci. 765, 3–46 (2018)
Karp, R.M., Miller, R.E.: Parallel program schemata. J. Comput. Syst. Sci. 3(2), 147–195 (1969)
Lodish, H.F., Berk, A., Zipursky, S.L., Matsudaira, P., Baltimore, D., Darnell, J., et al.: Molecular cell biology, vol. 4. Citeseer (2000)
Magnasco, M.O.: Chemical kinetics is turing universal. Phys. Rev. Lett. 78(6), 1190 (1997)
McAdams, H.H., Arkin, A.: Stochastic mechanisms in gene expression. Proc. Natl. Acad. Sci. 94(3), 814–819 (1997)
Minsky, M.L.: Computation: finite and infinite machines. Prentice-Hall, Inc., Upper Saddle River (1967)
Qian, L., Winfree, E.: Scaling up digital circuit computation with DNA strand displacement cascades. Science 332(6034), 1196–1201 (2011)
Qian, L., Winfree, E.: A simple DNA gate motif for synthesizing large-scale circuits. J. R. Soc. Interface 8(62), 1281–1297 (2011)
Reece, J., Urry, L.A., Meyers, N., Cain, M.L., Wasserman, S.A., Minorsky, P.V., Jackson, R.B., Cooke, B.N.: Campbell biology. Pearson Higher Education, Hoboken (2011)
Shin, S.W., Thachuk, C., Winfree, E.: Verifying chemical reaction network implementations: a pathway decomposition approach. Theor. Comput. Sci. 765, 67–96 (2017)
Soloveichik, D., Cook, M., Winfree, E., Bruck, J.: Computation with finite stochastic chemical reaction networks. Nat. Comput. 7(4), 615–633 (2008)
Soloveichik, D., Seelig, G., Winfree, E.: DNA as a universal substrate for chemical kinetics. Proc. Natl. Acad. Sci. 107(12), 5393–5398 (2010)
Süel, G.M., Garcia-Ojalvo, J., Liberman, L.M., Elowitz, M.B.: An excitable gene regulatory circuit induces transient cellular differentiation. Nature 440(7083), 545–550 (2006)
Acknowledgements
Research supported by MOST (Taiwan) grant number 107-2221-E-002-031-MY3 and 104-2221-E-002-045-MY3. A preliminary version of this paper [4] (2-page abstract) has appeared in the proceedings of FNANO 2016. The work was done when he was in the Department of Electrical Engineering, National Taiwan University
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
About this article
Cite this article
Chan, CH., Shih, CY. & Chen, HL. On the Computational Power of Phosphate Transfer Reaction Networks. New Gener. Comput. 40, 603–621 (2022). https://doi.org/10.1007/s00354-022-00154-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00354-022-00154-6