Distributed Computing

, Volume 30, Issue 5, pp 373–390 | Cite as

Speed faults in computation by chemical reaction networks

  • Ho-Lin Chen
  • Rachel Cummings
  • David Doty
  • David Soloveichik
Article

Abstract

Chemical reaction networks (CRNs) formally model chemistry in a well-mixed solution. Assuming a fixed molecular population size and bimolecular reactions, CRNs are formally equivalent to population protocols, a model of distributed computing introduced by Angluin, Aspnes, Diamadi, Fischer, and Peralta (PODC 2004). The challenge of fast computation by CRNs (or population protocols) is to not rely on a bottleneck “slow” reaction that requires two molecules (agent states) to react (communicate), both of which are present in low (O(1)) counts. It is known that CRNs can be fast in expectation by avoiding slow reactions with high probability. However, states may be reachable from which the correct answer may only be computed by executing a slow reaction. We deem such an event a speed fault. We show that the predicates stably decidable by CRNs guaranteed to avoid speed faults are precisely the detection predicates: Boolean combinations of questions of the form “is a certain species present or not?”. This implies, for instance, that no speed fault free CRN decides whether there are at least two molecules of a certain species—i.e., speed fault free CRNs “can’t count”.

References

  1. 1.
    Angluin, D., Aspnes, J., Diamadi, Z., Fischer, M., Peralta, R.: Computation in networks of passively mobile finite-state sensors. Distrib. Comput. 18, 235–253 (2006). Preliminary version appeared in PODC 2004CrossRefMATHGoogle Scholar
  2. 2.
    Angluin, D., Aspnes, J., Eisenstat, D.: Stably computable predicates are semilinear. In: PODC 2006: Proceedings of the Twenty-fifth Annual ACM Symposium on Principles of Distributed Computing, pp. 292–299, New York, NY, USA. ACM Press (2006)Google Scholar
  3. 3.
    Angluin, D., Aspnes, J., Eisenstat, D.: Fast computation by population protocols with a leader. Distrib. Comput. 21(3), 183–199 (2008). Preliminary version appeared in DISC 2006CrossRefMATHGoogle Scholar
  4. 4.
    Angluin, D., Aspnes, J., Eisenstat, D.: A simple population protocol for fast robust approximate majority. Distrib. Comput. 21(2), 87–102 (2008)CrossRefMATHGoogle Scholar
  5. 5.
    Angluin, D., Aspnes, J., Fischer, M.J., Jiang, H.: Self-stabilizing population protocols. In: Principles of Distributed Systems, pp. 103–117. Springer, Berlin (2006)Google Scholar
  6. 6.
    Cardelli, L.: Strand algebras for DNA computing. Nat. Comput. 10(1), 407–428 (2011)MathSciNetCrossRefMATHGoogle Scholar
  7. 7.
    Cardelli, L.: Morphisms of reaction networks that couple structure to function. BMC Syst. Biol. 8(1), 84 (2014)CrossRefGoogle Scholar
  8. 8.
    Cardelli, L., Csikász-Nagy, A.: The cell cycle switch computes approximate majority. Sci. Rep. 2, Article no. 656 (2012). doi:10.1038/srep00656
  9. 9.
    Cardoza, E., Lipton, R., Meyer, Albert, R.: Exponential space complete problems for Petri nets and commutative semigroups (preliminary report). In: STOC 1976: Proceedings of the 8th annual ACM Symposium on Theory of Computing, pp. 50–54. ACM (1976)Google Scholar
  10. 10.
    Chen, H-L., Cummings, R., Doty, D., Soloveichik, D.: Speed faults in computation by chemical reaction networks. In: Kuhn, F. (ed.) DISC 2014: Proceedings of the 28th International Symposium on Distributed Computing, Austin, TX, USA, October 12–15, 2014. Lecture Notes in Computer Science, vol. 8784, pp. 16–30. Springer, Berlin (2014)Google Scholar
  11. 11.
    Chen, H.-L., Doty, D., Soloveichik, D.: Deterministic function computation with chemical reaction networks. Nat. comput. 13(4), 517–534 (2014)MathSciNetCrossRefMATHGoogle Scholar
  12. 12.
    Chen, Y.-J., Dalchau, N., Srinivas, N., Phillips, A., Cardelli, L., Soloveichik, D., Seelig, G.: Programmable chemical controllers made from DNA. Nat. Nanotechnol. 8(10), 755–762 (2013)CrossRefGoogle Scholar
  13. 13.
    Condon, A., Hu, A., Maňuch, J., Thachuk, C.: Less haste, less waste: on recycling and its limits in strand displacement systems. J. R. Soc. Interface 2, 512–521 (2012). Preliminary version appeared in DNA 2011MATHGoogle Scholar
  14. 14.
    Cook, M., Soloveichik, D., Winfree, E., Bruck, J.: Programmability of chemical reaction networks. In: Condon, A., Harel, D., Kok, J.N., Salomaa, A., Winfree, E. (eds.) Algorithmic Bioprocesses, pp. 543–584. Springer, Berlin (2009)CrossRefGoogle Scholar
  15. 15.
    Cummings, R., Doty, D., Soloveichik, D.: Probability 1 computation with chemical reaction networks. In: DNA Computing and Molecular Programming, pp. 37–52. Springer, Berlin (2014)Google Scholar
  16. 16.
    Dickson, L.E.: Finiteness of the odd perfect and primitive abundant numbers with \(n\) distinct prime factors. Am. J. Math. 35(4), 413–422 (1913)MathSciNetCrossRefMATHGoogle Scholar
  17. 17.
    Doty, D.: Timing in chemical reaction networks. In: SODA 2014: Proceedings of the 25th Annual ACM-SIAM Symposium on Discrete Algorithms, pp. 772–784 (2014)Google Scholar
  18. 18.
    Doty, D., Hajiaghayi, M.: Leaderless deterministic chemical reaction networks. Nat. Comput. 14(2), 213–223 (2015). Preliminary version appeared in DNA 2013MathSciNetCrossRefMATHGoogle Scholar
  19. 19.
    Doty, D., Soloveichik, D.: Stable leader election in population protocols requires linear time. In: DISC 2015: Proceedings of the 29th International Symposium on Distributed Computing, Tokyo, Japan (2015)Google Scholar
  20. 20.
    Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem. 81(25), 2340–2361 (1977)CrossRefGoogle Scholar
  21. 21.
    Hopcroft, J.E., Pansiot, J.-J.: On the reachability problem for 5-dimensional vector addition systems. Theor. Comput. Sci. 8, 135–159 (1979)MathSciNetCrossRefMATHGoogle Scholar
  22. 22.
    Karp, R.M., Miller, R.E.: Parallel program schemata. J. Comput. Syst. Sci. 3(2), 147–195 (1969)MathSciNetCrossRefMATHGoogle Scholar
  23. 23.
    Leroux, J.: Vector addition systems reachability problem (a simpler solution). In: The Alan Turing Centenary Conference, pp. 214–228 (2012)Google Scholar
  24. 24.
    Petri, C.A.: Communication with automata. Technical report, DTIC Document (1966)Google Scholar
  25. 25.
    Soloveichik, D., Cook, M., Winfree, E., Bruck, J.: Computation with finite stochastic chemical reaction networks. Nat. Comput. 7(4), 615–633 (2008)MathSciNetCrossRefMATHGoogle Scholar
  26. 26.
    Soloveichik, D., Seelig, G., Winfree, E.: DNA as a universal substrate for chemical kinetics. Proc. Natl. Acad. Sci. 107(12), 5393 (2010). Preliminary version appeared in DNA 2008CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2015

Authors and Affiliations

  • Ho-Lin Chen
    • 1
  • Rachel Cummings
    • 2
  • David Doty
    • 3
  • David Soloveichik
    • 4
  1. 1.National Taiwan UniversityTaipeiTaiwan
  2. 2.California Institute of TechnologyPasadenaUSA
  3. 3.University of California, DavisDavisUSA
  4. 4.University of Texas, AustinAustinUSA

Personalised recommendations