[en] The concentration of molecules can be changed by chemical reactions and thereby offer a continuous readout. Yet computer architecture is cast in textbooks in terms of binary valued, Boolean variables. To enable reactive chemical systems to compute we show how, using the Cox interpretation of probability theory, one can transcribe the equations of chemical kinetics as a sequence of coupled logic gates operating on continuous variables. It is discussed how the distinct chemical identity of a molecule allows us to create a common language for chemical kinetics and Boolean logic. Specifically, the logic AND operation is shown to be equivalent to a bimolecular process. The logic XOR operation represents chemical processes that take place concurrently. The values of the rate constants enter the logic scheme as inputs. By designing a reaction scheme with a feedback we endow the logic gates with a built in memory because their output then depends on the input and also on the present state of the system. Technically such a logic machine is an automaton. We report an experimental realization of three such coupled automata using a DNAzyme multilayer signaling cascade. A simple model verifies analytically that our experimental scheme provides an integrator generating a power series that is third order in time. The model identifies two parameters that govern the kinetics and shows how the initial concentrations of the substrates are the coefficients in the power series.
Research Center/Unit :
Chimie Physique Theorique
Disciplines :
Chemistry
Author, co-author :
Lilienthal, Sivan; Hebrew University of Jerusalem > Institute of Chemistry
Orbach, Ron; Hebrew University of Jerusalem > Institute of Chemistry
Willner, Itamar; Hebrew University of Jerusalem > Institute of Chemistry
Remacle, Françoise ; Université de Liège > Département de chimie (sciences) > Laboratoire de chimie physique théorique
Levine, Raphaël David; Hebrew University of Jerusalem > Institute of Chemistry
Language :
English
Title :
Continuous variables logic via coupled automata using a DNAzyme cascade with feedback
Publication date :
2017
Journal title :
Chemical Science
ISSN :
2041-6520
eISSN :
2041-6539
Publisher :
Royal Society of Chemistry, Cambridge, United Kingdom
Volume :
8
Pages :
2161-2168
Peer reviewed :
Peer Reviewed verified by ORBi
European Projects :
FP7 - 317707 - MULTI - MULTI-valued and parallel molecular logic
Name of the research project :
Multi valued and parallel molecular logic
Funders :
DG RDT - Commission Européenne. Direction Générale de la Recherche et de l'Innovation CE - Commission Européenne
Z. Kohavi and N. K.Jha, Switching and finite automata theory, Cambridge University Press, Cambridge, 2010
M. M. R. Mano, C. R.Kime and T.Martin, Logic and Computer Design Fundamentals, Pearson Education, Upper Saddle River, NJ, 2016
J. Andreasson U. Pischel Chem. Soc. Rev. 2015 44 1053-1069
G. de Ruiter M. E. van der Boom Acc. Chem. Res. 2011 44 563-573
A. P. deSilva, Molecular Logic-based Computation, RSC, Cambridge, 2012
K. He Y. Li B. Xiang P. Zhao Y. Hu Y. Huang W. Li Z. Nie S. Yao Chem. Sci. 2015 6 3556-3564
DNA computing and Molecular Programming, ed. D. Stefanovic and A. Tuberfield, Springer, Berlin, 2012
J. Cervera S. Mafé ChemPhysChem 2010 11 1654-1658
B. Fresch M. Cipolloni T.-M. Yan E. Collini R. D. Levine F. Remacle J. Phys. Chem. Lett. 2015 6 1714-1718
M. Klein S. Rogge F. Remacle R. D. Levine Nano Lett. 2007 7 2795-2799
R. Orbach S. Lilienthal M. Klein R. D. Levine F. Remacle I. Willner Chem. Sci. 2015 6 1288-1292
E. Torres K. L. Kompa F. Remacle R. D. Levine Chem. Phys. 2008 347 531-545
U. Alon, An Introduction to Systems Biology, CRC Press, Boca Raton, FL, 2007
F. C. Simmel ACS Nano 2013 7 6-10
F. Wang C. H. Lu I. Willner Chem. Rev. 2014 114 2881-2941
R. Orbach F. Remacle R. D. Levine I. Willner Proc. Natl. Acad. Sci. U. S. A. 2012 109 21228-21233
A. J. Genot J. Bath A. J. Turberfield J. Am. Chem. Soc. 2011 133 20080-20083
M. N. Stojanovic T. E. Mitchell D. Stefanovic J. Am. Chem. Soc. 2002 124 3555-3561
M. N. Stojanovic D. Stefanovic Nat. Biotechnol. 2003 21 1069-1074
D. Y. Zhang A. J. Turberfield B. Yurke E. Winfree Science 2007 318 1121-1125
J. Elbaz O. Lioubashevski F. Wang F. Remacle R. D. Levine I. Willner Nat. Nanotechnol. 2010 5 417-422
M. Kahan-Hanum Y. Douek R. Adar E. Shapiro Sci. Rep. 2013 3 1535
R. Orbach F. Remacle R. D. Levine I. Willner Chem. Sci. 2014 5 1074-1081
R. Orbach B. Willner I. Willner Chem. Commun. 2015 51 4144-4160
R. Adar Y. Benenson G. Linshiz A. Rosner N. Tishby E. Shapiro Proc. Natl. Acad. Sci. U. S. A. 2004 101 9960-9965
Y. Benenson B. Gil U. Ben-Dor R. Adar E. Shapiro Nature 2004 429 423-429
D. Soloveichik, G.Seelig and E.Winfree, in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), LNCS, 2009, vol. 5347, pp. 57-69
C. W. Brown M. R. Lakin E. K. Horwitz M. L. Fanning H. E. West D. Stefanovic S. W. Graves Angew. Chem., Int. Ed. 2014 53 7183-7187
L. Qian E. Winfree Science 2011 332 1196-1201
F. Remacle R. D. Levine Proc. Natl. Acad. Sci. U. S. A. 2004 101 12091-12095
R. T. Cox Am. J. Phys. 1946 17 1-13
R. T. Cox, in The Maximum Entropy Formalism, ed. R. D. Levine and M. Tribus, MIT Press, Cambridge, Mass., 1979, pp. 119-167
D. J. C. MacKay, Information Theory, Inference and Learning Algorithms, Cambridge University Press, Cambridge, 2004
S. Givant and P.Halmos, Introduction to Boolean Algebra, Springer, New York, 2009
E. V. Huntington Proc. Natl. Acad. Sci. U. S. A. 1932 32 179-180
E. V. Hutington Transactions of the American Mathematical Society 1933 35 274-304
D. M. Wittmann J. Krumsiek J. Saez-Rodriguez D. A. Lauffenburger S. Klamt F. J. Theis BMC Syst. Biol. 2009 3 1-21
R. Thomas and R.D'Ari, Biological Feedback, CRC Press, Boca Raton, 1990
C. H. Bennett Int. J. Theor. Phys. 1982 21 905-940
S. Shoshani T. Ratner R. Piran E. Keinan Isr. J. Chem. 2011 51 67-86
J. G. Wetmur Crit. Rev. Biochem. Mol. Biol. 1991 26 227-259
J. G. Wetmur N. Davidson J. Mol. Biol. 1968 31 349-370
R. R. Breaker G. F. Joyce Chem. Biol. 1994 1 223-229
R. R. Breaker G. F. Joyce Chem. Biol. 1995 2 655-660
J. C. Hogan Jr Nat. Biotechnol. 1997 15 328-330
J. Liu Y. Lu J. Am. Chem. Soc. 2007 129 9838-9839
A. Roth R. R. Breaker Proc. Natl. Acad. Sci. U. S. A. 1998 95 6027-6031
R. D. Levine, Molecular Reaction Dynamics, Cambridge University Press, Cambridge, 2004