Synchronous Sequential Computations with Biomolecular Reactions

We present a methodology for implementing synchronous sequential computation using molecular reactions. Such systems perform computations in terms of molecular concentrations, i.e., molecules per unit volume, whereas the traditional electronic systems perform computations in terms of voltages, i.e., energy per unit charge. Thus far, several researchers have already proposed molecular reactions to implement static logical and arithmetic functions such as addition, multiplication, exponentiation, square root, and logarithms. In this paper, we propose two mechanisms to implement a multi-phase clock using molecular reactions. In addition, we synthesize memory by transferring concentrations between molecular types in the alternating phases of the clock. We illustrate how our methodology can be used to construct finite impulse response (FIR) filter, an infinite impulse response (IIR) filter and a four-point, two-parallel fast Fourier transform (FFT). We also show how these molecular reactions can be translated into DNA strand displacement reactions and validate our designs through chemical kinetics simulations at the DNA reactions level. Our proposed methodology is conceptual but has potential in developing synthetic biological constructs for biochemical sensing and drug delivery.

[1]  E. Winfree,et al.  Synthetic in vitro transcriptional oscillators , 2011, Molecular systems biology.

[2]  M. Win,et al.  A modular and extensible RNA-based gene-regulatory platform for engineering cellular function , 2007, Proceedings of the National Academy of Sciences.

[3]  A. Turberfield,et al.  A DNA-fuelled molecular machine made of DNA , 2022 .

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

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

[6]  Christopher A. Voigt,et al.  Environmentally controlled invasion of cancer cells by engineered bacteria. , 2006, Journal of molecular biology.

[7]  E. Shapiro,et al.  An autonomous molecular computer for logical control of gene expression , 2004, Nature.

[8]  Ron Weiss,et al.  Toward in vivo Digital Circuits , 2002 .

[9]  Naira Hovakimyan,et al.  L1 adaptive control with proportional adaptation law , 2012, 2012 American Control Conference (ACC).

[10]  Lulu Qian,et al.  Efficient Turing-Universal Computation with DNA Polymers , 2010, DNA.

[11]  Naira Hovakimyan,et al.  Generalization of L1 adaptive control architecture for switching estimation laws , 2012, 2012 American Control Conference (ACC).

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

[13]  Christopher A. Voigt,et al.  Environmental signal integration by a modular AND gate , 2007, Molecular systems biology.

[14]  Robert M. Dirks,et al.  Selective cell death mediated by small conditional RNAs , 2010, Proceedings of the National Academy of Sciences.

[15]  Irving R. Epstein,et al.  A systematically designed homogeneous oscillating reaction: the arsenite-iodate-chlorite system , 1981 .

[16]  Ron Weiss,et al.  Cellular computation and communications using engineered genetic regulatory networks , 2001, Cellular Computing.

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

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

[19]  J. Ross,et al.  Computational functions in biochemical reaction networks. , 1994, Biophysical journal.

[20]  Irving R. Epstein,et al.  An Introduction to Nonlinear Chemical Dynamics: Oscillations, Waves, Patterns, and Chaos , 1998 .

[21]  Keshab K. Parhi,et al.  A synthesis flow for digital signal processing with biomolecular reactions , 2010, 2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

[22]  Naira Hovakimyan,et al.  Generalization of proportional adaptation law for L1 adaptive controller , 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

[23]  J. Ross,et al.  Signal Processing by Simple Chemical Systems , 2002 .

[24]  Keshab K. Parhi,et al.  Digital Signal Processing for Multimedia Systems , 1999 .

[25]  Karl Johan Åström,et al.  Adaptive Control Theory , 1988 .

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

[27]  Maung Nyan Win,et al.  Frameworks for programming biological function through RNA parts and devices. , 2009, Chemistry & biology.

[28]  Marc D. Riedel,et al.  Rate-Independent Constructs for Chemical Computation , 2011, Pacific Symposium on Biocomputing.

[29]  Keshab K. Parhi,et al.  Writing and Compiling Code into Biochemistry , 2010, Pacific Symposium on Biocomputing.

[30]  Keshab K. Parhi,et al.  VLSI digital signal processing systems , 1999 .