Molecular Synthesis for Probability Theory and Stochastic Process

It is common that probability theory and stochastic process, especially Markov chains, have long been used to study and explain the behaviors of chemical reaction networks (CRNs). Nonetheless, this paper sees things from a reverse angle, devoting itself in synthesizing common probability theory and stochastic process with CRNs. The main motivation is to imitate and explore the evolution of large-scale and complex practical systems based on CRNs, by making use of the inherent parallelism and randomness. In our conference paper, a preliminary but concise approach has been put forward to synthesize the stand-alone examples such as law of total probability, Bayes’ theorem, and n-step transition of Markov chains. To make this methodology systematic and theoretically sound, we enrich and offer more solid foundation for the previous version. Rigorous stability analysis based on ordinary differential equations (ODEs) are provided. This paper further deeply discusses and distinguishes building stochastic models for CRNs and utilizing CRNs to solve stochastic problems. A joint distribution of Markov chains are implemented using molecular reactions as a showcase. In order to enhance the clearness of the results, all the simulations are done according to deterministic mass action. It is worth noting that an already mathematically proven conclusion, which states that nearly an arbitrary set of bimolecular or unimolecular reactions can be implemented by DNA strand displacement reactions, ensures the meaningfulness of our work. It is also believed that, though in its infancy, the proposed approach is also valid for other molecular synthesis than DNA, as long as the kinetics constraints are met.

[1]  M. Degroot,et al.  Probability and Statistics , 2021, Examining an Operational Approach to Teaching Probability.

[2]  François Pachet,et al.  Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence Finite-Length Markov Processes with Constraints , 2022 .

[3]  Keshab K. Parhi,et al.  Markov chain computations using molecular reactions , 2015, 2015 IEEE International Conference on Digital Signal Processing (DSP).

[4]  Xiaohu You,et al.  A DNA strand displacement reaction implementation-friendly clock design , 2017, 2017 IEEE International Conference on Communications (ICC).

[5]  R. Jackson,et al.  General mass action kinetics , 1972 .

[6]  T. Kurtz The Relationship between Stochastic and Deterministic Models for Chemical Reactions , 1972 .

[7]  Keshab K. Parhi,et al.  Synchronous sequential computation with molecular reactions , 2011, 2011 48th ACM/EDAC/IEEE Design Automation Conference (DAC).

[8]  Xiaohu You,et al.  A formal design methodology for synthesizing a clock signal with an arbitrary duty cycle of M/N , 2015, 2015 IEEE Workshop on Signal Processing Systems (SiPS).

[9]  Keshab K. Parhi,et al.  Asynchronous discrete-time signal processing with molecular reactions , 2014, 2014 48th Asilomar Conference on Signals, Systems and Computers.

[10]  Xiaohu You,et al.  Karnaugh map-aided combinational logic design approach with bistable molecular reactions , 2015, 2015 IEEE International Conference on Digital Signal Processing (DSP).

[11]  M. Elowitz,et al.  Reconstruction of genetic circuits , 2005, Nature.

[12]  S. Strogatz Nonlinear Dynamics and Chaos: With Applications to Physics, Biology, Chemistry and Engineering , 1995 .

[13]  Keshab K. Parhi,et al.  Molecular Sensing and Computing Systems , 2015, IEEE Transactions on Molecular, Biological and Multi-Scale Communications.

[14]  G. Seelig,et al.  DNA as a universal substrate for chemical kinetics , 2010, Proceedings of the National Academy of Sciences.

[15]  Hua Jiang,et al.  Binary Counting with Chemical Reactions , 2011, Pacific Symposium on Biocomputing.

[16]  Marc D. Riedel,et al.  Chemical Reaction Networks for Computing Polynomials. , 2017, ACS synthetic biology.

[17]  G. Seelig,et al.  Enzyme-Free Nucleic Acid Logic Circuits , 2022 .

[18]  Ho-Lin Chen,et al.  Deterministic function computation with chemical reaction networks , 2012, Natural Computing.

[19]  Charles H. Bennett,et al.  The thermodynamics of computation—a review , 1982 .

[20]  Erik Winfree,et al.  Molecular robots guided by prescriptive landscapes , 2010, Nature.

[21]  P D Kaplan,et al.  DNA solution of the maximal clique problem. , 1997, Science.

[22]  Péter Érdi,et al.  Mathematical Models of Chemical Reactions: Theory and Applications of Deterministic and Stochastic Models , 1989 .

[23]  L M Adleman,et al.  Molecular computation of solutions to combinatorial problems. , 1994, Science.

[24]  David F. Anderson,et al.  Continuous Time Markov Chain Models for Chemical Reaction Networks , 2011 .

[25]  Keshab K. Parhi,et al.  Digital logic with molecular reactions , 2013, 2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

[26]  Gheorghe Paun,et al.  A guide to membrane computing , 2002, Theor. Comput. Sci..

[27]  Xiaohu You,et al.  Synthesis of Probability Theory Based on Molecular Computation , 2016, 2016 IEEE International Workshop on Signal Processing Systems (SiPS).

[28]  J. M. Miret,et al.  Markov chains: computing limit existence and approximations with DNA. , 2005, Bio Systems.

[29]  N. Kampen,et al.  Stochastic processes in physics and chemistry , 1981 .

[30]  Hua Jiang,et al.  Discrete-time signal processing with DNA. , 2013, ACS synthetic biology.

[31]  Paul W. K. Rothemund,et al.  A DNA and restriction enzyme implementation of Turing machines , 1995, DNA Based Computers.

[32]  Xiaohu You,et al.  A Formal Combinational Logic Synthesis With Chemical Reaction Networks , 2017, IEEE Transactions on Molecular, Biological and Multi-Scale Communications.

[33]  D. A. Mcquarrie Stochastic approach to chemical kinetics , 1967, Journal of Applied Probability.

[34]  Darko Stefanovic,et al.  A deoxyribozyme-based molecular automaton , 2003, Nature Biotechnology.