Award Abstract # 1619343
AF:Small:Collaborative Research:Kinetics and Thermodynamics of Chemical Computation

NSF Org: CCF
Division of Computing and Communication Foundations
Recipient: UNIVERSITY OF CALIFORNIA, DAVIS
Initial Amendment Date: May 31, 2016
Latest Amendment Date: June 28, 2016
Award Number: 1619343
Award Instrument: Standard Grant
Program Manager: Mitra Basu
mbasu@nsf.gov
 (703)292-8649
CCF
 Division of Computing and Communication Foundations
CSE
 Directorate for Computer and Information Science and Engineering
Start Date: June 1, 2016
End Date: May 31, 2020 (Estimated)
Total Intended Award Amount: $250,000.00
Total Awarded Amount to Date: $266,000.00
Funds Obligated to Date: FY 2016 = $266,000.00
History of Investigator:
  • David Doty (Principal Investigator)
    doty@ucdavis.edu
Recipient Sponsored Research Office: University of California-Davis
1850 RESEARCH PARK DR STE 300
DAVIS
CA  US  95618-6153
(530)754-7700
Sponsor Congressional District: 04
Primary Place of Performance: University of California-Davis
One Shields Ave
Davis
CA  US  95616-5270
Primary Place of Performance
Congressional District:
04
Unique Entity Identifier (UEI): TX2DAGQPENZ5
Parent UEI:
NSF Program(s): Software & Hardware Foundation
Primary Program Source: 01001617DB NSF RESEARCH & RELATED ACTIVIT
Program Reference Code(s): 7923, 7946, 9251
Program Element Code(s): 779800
Award Agency Code: 4900
Fund Agency Code: 4900
Assistance Listing Number(s): 47.070

ABSTRACT

Biology is replete with smart molecular systems that perform nanoscale assembly, sense environmental stimuli, create chemical signals, and produce physical motion - each of these tasks coordinated by information processing circuits implemented with chemical reactions. Learning how to build artificial chemicals that compute autonomously in complex environments would bring about groundbreaking advances in manufacturing, chemical sensing, and medicine. The theory of computation has proven invaluable in enabling information processing in electronic man-made systems, and much-studied algorithms underlie the behavior of everything from communication networks to video games. However, a thorough understanding of the principles of chemical computation is still lacking. The goal of this proposal is to use rigorous mathematical models to investigate the capabilities and limitations of chemical information processing.

The proposed research will bring the fields of physics, chemistry, biology, and computer science closer intellectually and mutually enrich them. For example, conceptual frameworks and mathematical tools capturing the manipulation of information at the molecular level may yield critical insights into the design principles of evolved biological regulatory networks. Further, understanding how information processing is possible in the disordered world of chemistry could result in error-robust electronic computing. The project will also contribute to the development of undergraduate and graduate courses, which will train students to apply the principles of computer science and electrical engineering in traditionally incompatible domains. This will encourage the next generation of scientists to break through traditional disciplinary barriers and create the scientific and engineering fields of tomorrow.

This proposal will answer foundational questions about the computational power of chemical kinetics (chemical reaction networks). How can chemicals be programmed to have desired behaviors? How much molecular energy does such computation consume? How much "more computation" does every additional chemical reaction enable? Recent advances in DNA nanotechnology (strand displacement cascades) demonstrate that molecular systems of complex functionality can be designed and constructed from the ground up. This proposal will help precisely delineate the capabilities and limitations of this technology, resulting in smaller, simpler DNA-based circuits. This proposal also introduces a new paradigm, based on the laws of thermodynamics, for programming DNA-DNA interactions. As chemical and biological systems are comprised of molecules that are inherently information-rich and programmable, principles of computer science will help design smart molecules.

PUBLICATIONS PRODUCED AS A RESULT OF THIS RESEARCH

Note:  When clicking on a Digital Object Identifier (DOI) number, you will be taken to an external site maintained by the publisher. Some full text articles may not yet be available without a charge during the embargo (administrative interval).

Some links on this page may take you to non-federal websites. Their policies may differ from this site.

(Showing: 1 - 10 of 27)
David Doty and Shaopeng Zhu "Computational complexity of atomic chemical reaction networks" Natural Computing , v.17 , 2018 , p.677 10.1007/s11047-018-9687-9
David Doty and Shaopeng Zhu "Computational complexity of atomic chemical reaction networks" Natural Computing , 2018
Amanda Belleville, David Doty, and David Soloveichik "Hardness of computing and approximating predicates and functions with leaderless population protocols" ICALP 2017: Proceedings of the 44th International Colloquium on Automata, Languages and Programming , 2017 , p.141:1 10.4230/LIPIcs.ICALP.2017.141
Amanda Belleville, David Doty, and David Soloveichik "Hardness of computing and approximatingpredicates and functions with leaderlesspopulation protocols" 44th International Colloquium on Automata, Languages, and Programming (ICALP 2017) , v.80 , 2017 , p.141:1 978-3-95977-041-5
Damien Woods, David Doty, Cameron Myhrvold, Joy Hui, Felix Zhou, Peng Yin, Erik Winfree. "Diverse and robust molecular algorithms using reprogrammable DNA self-assembly" Nature , v.567 , 2019 , p.366 10.1038/s41586-019-1014-9
Damien Woods?, David Doty?, Cameron Myhrvold, Joy Hui, Felix Zhou, Peng Yin, Erik Winfree. ?joint first authors "Diverse and robust molecular algorithms using reprogrammable DNA self-assembly" Nature , v.567 , 2019 , p.366 10.1038/s41586-019-1014-9
David Doty and Andrew Winslow "Design of geometric molecular bonds" IEEE Transactions on Molecular, Biological, and Multi-Scale Communications , v.3 , 2017 , p.13 10.1109/TMBMC.2017.2668382
David Doty and Andrew Winslow "Design of geometric molecular bonds" ISIT 2016: Proceedings of the 2016 IEEE International Symposium on Information Theory , 2016 , p.1789 10.1109/ISIT.2016.7541607
David Doty and Andrew Winslow "Design of Geometric Molecular Bonds" T-MBMC: IEEE Transactions on Molecular, Biological, and Multi-Scale Communications , v.3 , 2017 , p.13--23 http://dx.doi.org/10.1109/TMBMC.2017.2668382
David Doty and David Soloveichik "Stable leader election in population protocols requires linear time" Distributed Computing , v.31 , 2018 , p.257 10.1007/s00446-016-0281-z
David Doty and David Soloveichik "Stable leader election in population protocols requires linear time" Distributed Computing , 2018 http://dx.doi.org/10.1007/s00446-016-0281-z
(Showing: 1 - 10 of 27)

PROJECT OUTCOMES REPORT

Disclaimer

This Project Outcomes Report for the General Public is displayed verbatim as submitted by the Principal Investigator (PI) for this award. Any opinions, findings, and conclusions or recommendations expressed in this Report are those of the PI and do not necessarily reflect the views of the National Science Foundation; NSF has not approved or endorsed its content.

Biology is replete with smart molecular systems that perform nanoscale assembly, sense environmental stimuli, effect physical motion, etc., each of these tasks coordinated by chemical information processing circuits. If we can learn how to rationally engineer molecular systems of similar complexity, we could achieve great breakthroughs in manufacturing, chemical sensing, and medicine. For example, "smart drugs" that target drug activity to disease cells and activate in response to specific molecular clues would have minimal side effects and improve therapeutic outcomes. Such tasks require molecular information processing systems that operate autonomously in complex environments. 

Intellectual Merit

The intellectual merit of this award was in advancing our understanding of computation as embedded in the chemical world. In support of this goal, we outlined foundational theoretical challenges in three aims: (1) formal chemical kinetics, (2) strand displacement reactions in DNA nanotechnology, (3) thermodynamic equilibrium of molecular binding.


Over the lifetime of the award, concrete conjectures for aims (1) and (3) were proven to be true. Many additional questions, which had not be concretely formulated by the time the proposal was written, were also answered. We were not able to make as much progress on the questions posed in aim (2), but our understanding of these systems has been refined since the proposal was written.


Broader Impact

Two master's students were trained and graduated. One is a women now employed in a Silicon valley startup, and the other is currently a Ph.D. student at the University of Maryland.


Additionally, three other Ph.D. students were trained (currently not graduated), one of them a woman who has published two papers with the PI and co-authored a third current in submission.

The work was disseminated to the broader community through published conference and journal papers.

 


Last Modified: 06/22/2020
Modified by: David S Doty

Please report errors in award information by writing to: awardsearch@nsf.gov.

Print this page

Back to Top of page