cs 594 -final presentation: chemical computationweb.eecs.utk.edu › ~bmaclenn › classes ›...

28
CS 594 - Final Presentation: Chemical Computation Ty Vaughan December 1, 2017

Upload: others

Post on 06-Jul-2020

23 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: CS 594 -Final Presentation: Chemical Computationweb.eecs.utk.edu › ~bmaclenn › Classes › 594-UC › ... · CS 594 -Final Presentation: Chemical Computation Ty Vaughan December

CS594- FinalPresentation:ChemicalComputation

TyVaughanDecember1,2017

Page 2: CS 594 -Final Presentation: Chemical Computationweb.eecs.utk.edu › ~bmaclenn › Classes › 594-UC › ... · CS 594 -Final Presentation: Chemical Computation Ty Vaughan December

ChemicalComputation:Overview1. BriefHistory

2. WhatisChemicalComputation?

3. RealvsArtificialChemicalComputation

4. ProgrammingParadigmofChemicalComputation

5. ArtificialChemicalComputationExample

6. CurrentTechnology

7. FutureAdvances

8. Conclusion

Page 3: CS 594 -Final Presentation: Chemical Computationweb.eecs.utk.edu › ~bmaclenn › Classes › 594-UC › ... · CS 594 -Final Presentation: Chemical Computation Ty Vaughan December

BriefHistoryIntheearly1900s,scientistswerestillgaininganunderstandingofhowtoquantifycertainchemicalpropertiesandinteractions

Inthe1920s,theoreticalcalculationsforchemicalandquantumphysicswerebeingpublishedthatacceleratedprogress◦ Schrodinger’swaveequation◦ Hiesenberg’s establishmentofquantummechanics

Asimprovementsincomputertechnologyescalatedbythe60s,researchforhowtoprogramchemicalexperimentsincreased.

In1971,Hendricksonpublishedoneofthefirstdesignsforachemicalprogram.Theprogramwasforcomputer-assistedsynthesisoforganicmaterials.

Page 4: CS 594 -Final Presentation: Chemical Computationweb.eecs.utk.edu › ~bmaclenn › Classes › 594-UC › ... · CS 594 -Final Presentation: Chemical Computation Ty Vaughan December

BriefHistory(Cont.)Moreprogramsbegantobedeveloped,andin1978,thetwoofthefirstcompaniesdedicatedtochemicalcomputationhardwareandsoftwareemerged.

Fromthe1980son,manymorecompaniesandindividualsbegandevelopingsoftwaretoolsforchemicalcomputation.

Now,computationalpoweristhemainlimitingforceformanyoftheanalysesabletobeperformedforchemicalproblems.

Unconventionalcomputationwithrealchemicalsgrewasafieldtowardstheendofthe1900s.OneexampleisDNAcomputation,whichwasofficiallyestablishedwithAdleman’s 1994publicationofhisDNAHamiltonianpathsolver.

Advancesinquantumcomputingarelookeduponasoneofthebiggestimprovementstofurtherthefield.

Page 5: CS 594 -Final Presentation: Chemical Computationweb.eecs.utk.edu › ~bmaclenn › Classes › 594-UC › ... · CS 594 -Final Presentation: Chemical Computation Ty Vaughan December

ChemicalComputation:Overview1. BriefHistory

2. WhatisChemicalComputation?

3. RealvsArtificialChemicalComputation

4. ProgrammingParadigmofChemicalComputation

5. ArtificialChemicalComputationExample

6. CurrentTechnology

7. FutureAdvances

8. Conclusion

Page 6: CS 594 -Final Presentation: Chemical Computationweb.eecs.utk.edu › ~bmaclenn › Classes › 594-UC › ... · CS 594 -Final Presentation: Chemical Computation Ty Vaughan December

WhatisChemicalComputation?

ChemicalComputationiscomputationthatfocusesonmodeling/computingchemicalpropertiesandreactionsItrequirestheprogrammertodefineabasisofinterpretation◦ Canbestraightforward◦ Canbemoreabstract

Page 7: CS 594 -Final Presentation: Chemical Computationweb.eecs.utk.edu › ~bmaclenn › Classes › 594-UC › ... · CS 594 -Final Presentation: Chemical Computation Ty Vaughan December

ChemicalComputation:Overview1. BriefHistory

2. WhatisComputationalChemistry?

3. RealvsArtificialChemicalComputation

4. ProgrammingParadigmofChemicalComputation

5. ArtificialChemicalComputationExample

6. CurrentTechnology

7. FutureAdvances

8. Conclusion

Page 8: CS 594 -Final Presentation: Chemical Computationweb.eecs.utk.edu › ~bmaclenn › Classes › 594-UC › ... · CS 594 -Final Presentation: Chemical Computation Ty Vaughan December

TwoTypesofChemicalComputationTherearetwocategoriesofchemicalcomputation1.RealChemicalComputation:◦ Useofactualmoleculesandchemicalsintypicalreactions◦ Useofacomputertosimulateandcomputechemical/quantumalgorithms

2.ArtificialChemicalComputation:◦ Theapplicationofthefundamentalcomponentsofchemicalreactionstoabstractlyperformproblems.

◦ The“ChemicalMetaphor”forproblemsolving◦ Unconventionalformofcomputation

Page 9: CS 594 -Final Presentation: Chemical Computationweb.eecs.utk.edu › ~bmaclenn › Classes › 594-UC › ... · CS 594 -Final Presentation: Chemical Computation Ty Vaughan December

ChemicalComputation:Overview1. BriefHistory

2. WhatisComputationalChemistry?

3. RealvsArtificialChemicalComputation

4. ProgrammingParadigmofChemicalComputation

5. ArtificialChemicalComputationExample

6. CurrentTechnology

7. FutureAdvances

8. Conclusion

Page 10: CS 594 -Final Presentation: Chemical Computationweb.eecs.utk.edu › ~bmaclenn › Classes › 594-UC › ... · CS 594 -Final Presentation: Chemical Computation Ty Vaughan December

ChemicalcomputationHowcanwemodelchemicalproblemsinsoftware?

•Differentaspectstoconsider•Differentelementstodefine

•Differentapproachestobeused•Differentmodelstoapply

Page 11: CS 594 -Final Presentation: Chemical Computationweb.eecs.utk.edu › ~bmaclenn › Classes › 594-UC › ... · CS 594 -Final Presentation: Chemical Computation Ty Vaughan December

AspectsofChemicalComputationScope1.MicroscopicSystem:◦ Achangeofstateintheoverallsystemisdescribedbyachangeofstateoftheindividualcomponentsofthesystem.

◦ Ex:Dittrich’sprimenumbergenerator2.MacroscopicSystem:◦ Thestateoftheoverallsystemisdescribedbyallcomponentsinthesystem◦ Ex:Dittrich’srobotcontroller

Page 12: CS 594 -Final Presentation: Chemical Computationweb.eecs.utk.edu › ~bmaclenn › Classes › 594-UC › ... · CS 594 -Final Presentation: Chemical Computation Ty Vaughan December

AspectsofChemicalComputationDeterminism1.DeterministicSystem:◦ Orderofoperationsisknown.◦ Ex:testingthepropertiesofachemical

2.StochasticSystem:◦ Orderofoperationsisnotguaranteed◦ Ex:biologicalsystems

Page 13: CS 594 -Final Presentation: Chemical Computationweb.eecs.utk.edu › ~bmaclenn › Classes › 594-UC › ... · CS 594 -Final Presentation: Chemical Computation Ty Vaughan December

AspectsofChemicalComputationOpenness1.OpenSystem:◦ Chemicalreactionsinthesystemdonotneedtobebalanced.◦ Componentscanbeintroducedfromorreleasedbacktotheenvironment

2.ClosedSystem:◦ Chemicalreactionsinthesystemarebalanced◦ Componentsdonotdisappearfromthesystem

Page 14: CS 594 -Final Presentation: Chemical Computationweb.eecs.utk.edu › ~bmaclenn › Classes › 594-UC › ... · CS 594 -Final Presentation: Chemical Computation Ty Vaughan December

ElementsofChemicalComputationTherearethreemainelementsthatneedtobedefined:1.Molecules:◦ thesecomposethestateofthesystemandarethemaincomponentsofcomputationinthesystem

2.Reactions:◦ thesearethepossibleinteractionsthatcanoccurbetweenmoleculesandbetweenmoleculesandtheenvironment

3.Dynamics(Environment):◦ thisdetermineshowreactionsbegin,whentheyoccur,andwhichreactionsarepossible

Page 15: CS 594 -Final Presentation: Chemical Computationweb.eecs.utk.edu › ~bmaclenn › Classes › 594-UC › ... · CS 594 -Final Presentation: Chemical Computation Ty Vaughan December

ElementsofChemicalComputation

Page 16: CS 594 -Final Presentation: Chemical Computationweb.eecs.utk.edu › ~bmaclenn › Classes › 594-UC › ... · CS 594 -Final Presentation: Chemical Computation Ty Vaughan December

ApproachestoChemicalComputationTherearetwogeneralapproachestosettingupchemicalcomputationproblems:1.Explicitdefinitionofmoleculesandreactions◦ Morefavorableforsimplesystemswhereeachreactioncanbeexplicitlystated

2.Implicitdefinitionofmoleculesandreactions◦ Morefavorableforcomplex,dynamicsystemsthatcanoperategivenonlyafewgeneralrules

◦ Largerreactionsandmoleculescanbeperformed,composedofdefinedreactionsandmolecules

Page 17: CS 594 -Final Presentation: Chemical Computationweb.eecs.utk.edu › ~bmaclenn › Classes › 594-UC › ... · CS 594 -Final Presentation: Chemical Computation Ty Vaughan December

ModelsForChemicalComputationTheaforementionedaspects,elements,andapproachescanbecombinedinfivegeneralmodelsforchemicalcomputation1.RewritingorProductionModel◦ Sequences/patternsareusedtorepresentthestateofthesystem.◦ Allreactionsinvolvechangingorrearrangingthedifferentsequences◦ SimilartohowDNAcomputationisperformed◦ Ex:Adleman’s AlgorithmforHamiltonianpaths◦ Ex:Lipton’sSATalgorithm

Page 18: CS 594 -Final Presentation: Chemical Computationweb.eecs.utk.edu › ~bmaclenn › Classes › 594-UC › ... · CS 594 -Final Presentation: Chemical Computation Ty Vaughan December

ModelsForChemicalComputationTheaforementionedaspects,elements,andapproachescanbecombinedinfivegeneralmodelsforchemicalcomputation2.ArithmeticModel◦ Arithmeticsymbolsandoperationsrepresentmoleculesandreactions◦ Ex:Dittrich’s PrimeNumberGenerator

3.AbstractAutomataModel◦ Moleculesarerepresentedbysymbolsandbits◦ Reactionsperformedarebasedonthemolecule’ssymbols◦ Somemoleculescanrepresentthestatesoftheautomata,otherscaninteractwiththestatemolecules

◦ Ex:Benenson’sDNAFSMforenzymaticcomputation

Page 19: CS 594 -Final Presentation: Chemical Computationweb.eecs.utk.edu › ~bmaclenn › Classes › 594-UC › ... · CS 594 -Final Presentation: Chemical Computation Ty Vaughan December

ModelsForChemicalComputationTheaforementionedaspects,elements,andapproachescanbecombinedinfivegeneralmodelsforchemicalcomputation4. AssemblerAutomataModel◦ Assemblerautomatamachineisused– highlyparallel◦ Molecules,reactions,andenvironmentareallspecifiedandcompeteforCPU◦ Ex:Tierra– parisitic organismsimulation

5. LatticeModel◦ Unitgridisgenerated,moleculesexistwithinthegrid◦ Moleculesandreactionsarespecified,andthedynamicscanbedifferentforeachlattice◦ Ex:Astor’sneuralnetworkdevelopmentmodel

Page 20: CS 594 -Final Presentation: Chemical Computationweb.eecs.utk.edu › ~bmaclenn › Classes › 594-UC › ... · CS 594 -Final Presentation: Chemical Computation Ty Vaughan December

AdvantagesandDisadvantagesForChemicalComputationAdvantages:◦ Complexproblems/algorithmscanbeexplainedwithsimplernotation◦ Canexpressproblemsinaformthattakesadvantageofmassiveparallelism◦ Ifperformedwithrealchemicals,itdrasticallyreducesthepowerneededforcomputation

Disadvantages:◦ Electronicreal/artificialcomputationrequiresalotofpower◦ Althoughproblemsmaybemorescalablegiventheirspecifications,theydonotscalewellinhardware

Page 21: CS 594 -Final Presentation: Chemical Computationweb.eecs.utk.edu › ~bmaclenn › Classes › 594-UC › ... · CS 594 -Final Presentation: Chemical Computation Ty Vaughan December

ChemicalComputation:Overview1. BriefHistory

2. WhatisComputationalChemistry?

3. RealvsArtificialChemicalComputation

4. ProgrammingParadigmofChemicalComputation

5. ArtificialChemicalComputationExample

6. CurrentTechnology

7. FutureAdvances

8. Conclusion

Page 22: CS 594 -Final Presentation: Chemical Computationweb.eecs.utk.edu › ~bmaclenn › Classes › 594-UC › ... · CS 594 -Final Presentation: Chemical Computation Ty Vaughan December

ExampleDynamicNeuralNetworkGenerationUsingChemicalComputation◦ Stochasticsystem,latticemodel

Threeelements:◦ Molecules:celltypes- input,neurons,output◦ Reactions:allowthecellstocommunicate◦ Dynamics:eachgridcellcontainsdifferentsubstrates(initialorgeneratedbycells)

Cellscommunicateviasubstrates,form/loseconnections,reproduce/die

Page 23: CS 594 -Final Presentation: Chemical Computationweb.eecs.utk.edu › ~bmaclenn › Classes › 594-UC › ... · CS 594 -Final Presentation: Chemical Computation Ty Vaughan December

ChemicalComputation:Overview1. BriefHistory

2. WhatisComputationalChemistry?

3. RealvsArtificialChemicalComputation

4. ProgrammingParadigmofChemicalComputation

5. ArtificialChemicalComputationExample

6. StateoftheArt

7. FutureAdvances

8. Conclusion

Page 24: CS 594 -Final Presentation: Chemical Computationweb.eecs.utk.edu › ~bmaclenn › Classes › 594-UC › ... · CS 594 -Final Presentation: Chemical Computation Ty Vaughan December

StateoftheArtQuantumComputing:OpenFermion (Google)◦ Chemicalcomputationlibrariesforquantumcomputing◦ Platformfortranslatingconventionalcodetoquantumcode◦ Opensource

AdvancesinAlgorithms◦ Timedependentdensityfunctionaltheorymeasurements– Berkeleylabs◦ Allowscientiststostudytheresonantfrequencyofmolecules,whichdescribeitspropertiesandbehaviorinreactions

◦ Newalgorithmreducestheamountofcomputationalresourcesandtimeneededbyusingaccurateapproximations

Page 25: CS 594 -Final Presentation: Chemical Computationweb.eecs.utk.edu › ~bmaclenn › Classes › 594-UC › ... · CS 594 -Final Presentation: Chemical Computation Ty Vaughan December

ChemicalComputation:Overview1. BriefHistory

2. WhatisComputationalChemistry?

3. RealvsArtificialChemicalComputation

4. ProgrammingParadigmofChemicalComputation

5. ArtificialChemicalComputationExample

6. CurrentTechnology

7. FutureAdvances

8. Conclusion

Page 26: CS 594 -Final Presentation: Chemical Computationweb.eecs.utk.edu › ~bmaclenn › Classes › 594-UC › ... · CS 594 -Final Presentation: Chemical Computation Ty Vaughan December

FutureAdvancesQuantumComputation◦ Providesthemassiveparallelismneededforrealandartificialchemicalcomputation

◦ Forrealchemicalcomputations,onlyafewqubitsareneededtosimulatesimpleatoms.

◦ BerkeleyLabs– intenseresearchtodevelopquantumprocessors,compilers,optimizations,andalgorithmsspecificallytargetedathandlingchemicalcomputations

Page 27: CS 594 -Final Presentation: Chemical Computationweb.eecs.utk.edu › ~bmaclenn › Classes › 594-UC › ... · CS 594 -Final Presentation: Chemical Computation Ty Vaughan December

ChemicalComputation:Overview1. BriefHistory

2. WhatisComputationalChemistry?

3. RealvsArtificialChemicalComputation

4. ProgrammingParadigmofChemicalComputation

5. ArtificialChemicalComputationExample

6. CurrentTechnology

7. FutureAdvances

8. Conclusion

Page 28: CS 594 -Final Presentation: Chemical Computationweb.eecs.utk.edu › ~bmaclenn › Classes › 594-UC › ... · CS 594 -Final Presentation: Chemical Computation Ty Vaughan December

Conclusion/ThankYou!