QC for QCs - cl.cam.ac.ukjac22/talks/qc-for-qc.pdf · Lay intro to Quantum Compu3ng • A piece of...
Transcript of QC for QCs - cl.cam.ac.ukjac22/talks/qc-for-qc.pdf · Lay intro to Quantum Compu3ng • A piece of...
![Page 1: QC for QCs - cl.cam.ac.ukjac22/talks/qc-for-qc.pdf · Lay intro to Quantum Compu3ng • A piece of my mind? – Penrose theoryJ • Can I do it jus3ce? – Intended audience e.g.](https://reader034.fdocuments.us/reader034/viewer/2022042021/5e78482af6486a69487cc882/html5/thumbnails/1.jpg)
NetOSSeminar
QC for QCs
Jon Crowcroft
http://www.cl.cam.ac.uk/~jac22
![Page 2: QC for QCs - cl.cam.ac.ukjac22/talks/qc-for-qc.pdf · Lay intro to Quantum Compu3ng • A piece of my mind? – Penrose theoryJ • Can I do it jus3ce? – Intended audience e.g.](https://reader034.fdocuments.us/reader034/viewer/2022042021/5e78482af6486a69487cc882/html5/thumbnails/2.jpg)
LayintrotoQuantumCompu3ng
• Apieceofmymind?– PenrosetheoryJ
• CanIdoitjus3ce?– Intendedaudiencee.g.lawyers
![Page 3: QC for QCs - cl.cam.ac.ukjac22/talks/qc-for-qc.pdf · Lay intro to Quantum Compu3ng • A piece of my mind? – Penrose theoryJ • Can I do it jus3ce? – Intended audience e.g.](https://reader034.fdocuments.us/reader034/viewer/2022042021/5e78482af6486a69487cc882/html5/thumbnails/3.jpg)
QuantumMechanics• UltravioletCatastrophe• Planck/Blackbodyradia3on&infiniteenergy..
• Con3nuous(waves&par3cles)• Young’sslitsexperiment
• Wave“selfinterferes”• Butifweseewhichslitpar3clegoesthrough
• Doesn’tanymore!
• Copenhagenprobabilty/Feynmnpathintegral• Uncertainty• Heisenberg–observereffect
• Spooky(ac3onatdistance/entanglement)• Einstein
![Page 4: QC for QCs - cl.cam.ac.ukjac22/talks/qc-for-qc.pdf · Lay intro to Quantum Compu3ng • A piece of my mind? – Penrose theoryJ • Can I do it jus3ce? – Intended audience e.g.](https://reader034.fdocuments.us/reader034/viewer/2022042021/5e78482af6486a69487cc882/html5/thumbnails/4.jpg)
Superposi3on
• Morethanjustsetofstates– Supersetofstates– Phase&normalisa3on
![Page 5: QC for QCs - cl.cam.ac.ukjac22/talks/qc-for-qc.pdf · Lay intro to Quantum Compu3ng • A piece of my mind? – Penrose theoryJ • Can I do it jus3ce? – Intended audience e.g.](https://reader034.fdocuments.us/reader034/viewer/2022042021/5e78482af6486a69487cc882/html5/thumbnails/5.jpg)
Ametaphor
![Page 6: QC for QCs - cl.cam.ac.ukjac22/talks/qc-for-qc.pdf · Lay intro to Quantum Compu3ng • A piece of my mind? – Penrose theoryJ • Can I do it jus3ce? – Intended audience e.g.](https://reader034.fdocuments.us/reader034/viewer/2022042021/5e78482af6486a69487cc882/html5/thumbnails/6.jpg)
QKD
• Isathingbutisn’tQC• Justusesonequantumproperty• Tamperevidence• Alsousedinquantumblockchain,forexample
• AlsooneofthethingsthatwillsaveusfromQC/Shor
![Page 7: QC for QCs - cl.cam.ac.ukjac22/talks/qc-for-qc.pdf · Lay intro to Quantum Compu3ng • A piece of my mind? – Penrose theoryJ • Can I do it jus3ce? – Intended audience e.g.](https://reader034.fdocuments.us/reader034/viewer/2022042021/5e78482af6486a69487cc882/html5/thumbnails/7.jpg)
QCresources
• Qubitsv.classicalbits– Entangledstory
• QCprograms/circuitsv.ALUs– Itera3onissequenceofsuperposedstates– Unitarygatesoperateonwholestate– Circuitsquiteproblemspecific
• Outputisthechallenge– Measurementprojectsvector/superposedstate– ontoorthonormalbasis– Finalvalueprobablyok
![Page 8: QC for QCs - cl.cam.ac.ukjac22/talks/qc-for-qc.pdf · Lay intro to Quantum Compu3ng • A piece of my mind? – Penrose theoryJ • Can I do it jus3ce? – Intended audience e.g.](https://reader034.fdocuments.us/reader034/viewer/2022042021/5e78482af6486a69487cc882/html5/thumbnails/8.jpg)
Contrastwithclassical
• Memory&processorsamebinarygates– Eckart/vonNeumannstoredprogramcomputer
• CPU/ALU:Circuitsforcommoninstruc3ons– Arithmen3c,logic,sequence/control– Sequen3alinstruc3onfetch&execute(mostly)– Withrecursion/itera3on– Verygeneral(turingmachinesJ)
![Page 9: QC for QCs - cl.cam.ac.ukjac22/talks/qc-for-qc.pdf · Lay intro to Quantum Compu3ng • A piece of my mind? – Penrose theoryJ • Can I do it jus3ce? – Intended audience e.g.](https://reader034.fdocuments.us/reader034/viewer/2022042021/5e78482af6486a69487cc882/html5/thumbnails/9.jpg)
StoredProgramv.SwitchedProgram
• QCismorelikeoneoftheearliestcomputers– Bletchley’sColussus–SwitchedProgram– Insteadofcode&datainstore,– datainputtoasequenceofswitchconfigura3ons
• QC“program”=circuitmadeofgatetypes• QC“data”=sequenceofQubitdistribu3ons
![Page 10: QC for QCs - cl.cam.ac.ukjac22/talks/qc-for-qc.pdf · Lay intro to Quantum Compu3ng • A piece of my mind? – Penrose theoryJ • Can I do it jus3ce? – Intended audience e.g.](https://reader034.fdocuments.us/reader034/viewer/2022042021/5e78482af6486a69487cc882/html5/thumbnails/10.jpg)
QC“programming”
• IsmorelikeCPUdesign• programsarelikeprobablis3cprogramming• See(e.g.)anglican
hbp://www.robots.ox.ac.uk/~fwood/anglican/language/• Run3mereminiscentofMCMC
hbps://en.wikipedia.org/wiki/Markov_chain_Monte_Carlo
– Quantum“pathintegral”equivalenttothemul3-dimensionalintegral
– Quantumcircuitequivalenttosamplingmechanisminmcmc
![Page 11: QC for QCs - cl.cam.ac.ukjac22/talks/qc-for-qc.pdf · Lay intro to Quantum Compu3ng • A piece of my mind? – Penrose theoryJ • Can I do it jus3ce? – Intended audience e.g.](https://reader034.fdocuments.us/reader034/viewer/2022042021/5e78482af6486a69487cc882/html5/thumbnails/11.jpg)
Some“algorithms”then
• Grover– databasesearch
• Shor– Fasterfactoriser
• Deutsch–Jozsa– Exactoracle
• QCemula3on– mcmc
![Page 12: QC for QCs - cl.cam.ac.ukjac22/talks/qc-for-qc.pdf · Lay intro to Quantum Compu3ng • A piece of my mind? – Penrose theoryJ • Can I do it jus3ce? – Intended audience e.g.](https://reader034.fdocuments.us/reader034/viewer/2022042021/5e78482af6486a69487cc882/html5/thumbnails/12.jpg)
Grover
![Page 13: QC for QCs - cl.cam.ac.ukjac22/talks/qc-for-qc.pdf · Lay intro to Quantum Compu3ng • A piece of my mind? – Penrose theoryJ • Can I do it jus3ce? – Intended audience e.g.](https://reader034.fdocuments.us/reader034/viewer/2022042021/5e78482af6486a69487cc882/html5/thumbnails/13.jpg)
Contrastwithclassical
• Findarecordwithkey=valueinalist• Iterate-complexityO(n)• Think–findabookinapileofbooksnotinorder
![Page 14: QC for QCs - cl.cam.ac.ukjac22/talks/qc-for-qc.pdf · Lay intro to Quantum Compu3ng • A piece of my mind? – Penrose theoryJ • Can I do it jus3ce? – Intended audience e.g.](https://reader034.fdocuments.us/reader034/viewer/2022042021/5e78482af6486a69487cc882/html5/thumbnails/14.jpg)
Shor
![Page 15: QC for QCs - cl.cam.ac.ukjac22/talks/qc-for-qc.pdf · Lay intro to Quantum Compu3ng • A piece of my mind? – Penrose theoryJ • Can I do it jus3ce? – Intended audience e.g.](https://reader034.fdocuments.us/reader034/viewer/2022042021/5e78482af6486a69487cc882/html5/thumbnails/15.jpg)
Contrastwithclassical
• FindprimefactorsofalargenumberN– e.g.inrange1to2^256(10^90)– Isn’tknowninpolynomial3me– i.e.asrangeofgetsbigger,3megetslonger,fasterthann^kforanykatall…(asfarasweknow)
– Don’ttrythisathome– Sieve/search
![Page 16: QC for QCs - cl.cam.ac.ukjac22/talks/qc-for-qc.pdf · Lay intro to Quantum Compu3ng • A piece of my mind? – Penrose theoryJ • Can I do it jus3ce? – Intended audience e.g.](https://reader034.fdocuments.us/reader034/viewer/2022042021/5e78482af6486a69487cc882/html5/thumbnails/16.jpg)
Deutchse-Jozsa
![Page 17: QC for QCs - cl.cam.ac.ukjac22/talks/qc-for-qc.pdf · Lay intro to Quantum Compu3ng • A piece of my mind? – Penrose theoryJ • Can I do it jus3ce? – Intended audience e.g.](https://reader034.fdocuments.us/reader034/viewer/2022042021/5e78482af6486a69487cc882/html5/thumbnails/17.jpg)
Exactoracle
• Determinis3calgorithmtocompute:– Iff(x)isconstantorbalancedforallx,– Inoneitera3on
• Classically,– needs2nitera3onsoff(x)ifxisnbits
![Page 18: QC for QCs - cl.cam.ac.ukjac22/talks/qc-for-qc.pdf · Lay intro to Quantum Compu3ng • A piece of my mind? – Penrose theoryJ • Can I do it jus3ce? – Intended audience e.g.](https://reader034.fdocuments.us/reader034/viewer/2022042021/5e78482af6486a69487cc882/html5/thumbnails/18.jpg)
D-Wave
• 100q-bit,butonlyforquantumannealing
• Findsminimumofafunc3onbyqunatumflucta3ons–morelikeanalogcompu3ng
![Page 19: QC for QCs - cl.cam.ac.ukjac22/talks/qc-for-qc.pdf · Lay intro to Quantum Compu3ng • A piece of my mind? – Penrose theoryJ • Can I do it jus3ce? – Intended audience e.g.](https://reader034.fdocuments.us/reader034/viewer/2022042021/5e78482af6486a69487cc882/html5/thumbnails/19.jpg)
Uncertainty
• Decoherence• Affordability• Algorithmically• Intractability
![Page 20: QC for QCs - cl.cam.ac.ukjac22/talks/qc-for-qc.pdf · Lay intro to Quantum Compu3ng • A piece of my mind? – Penrose theoryJ • Can I do it jus3ce? – Intended audience e.g.](https://reader034.fdocuments.us/reader034/viewer/2022042021/5e78482af6486a69487cc882/html5/thumbnails/20.jpg)
Whatmightthismean…
• IfQCisrealized…andaffordable1. Iscryptodead?–Notreallyc.f.hbps://
www.ncsc.gov.uk/whitepaper/quantum-safe-cryptography2. Areimpossibleproblemsthentractable?Not
really3. Aresomeproblemsmoreprac3cal?Yes
• WhenmightweexpectaQC(QCWorld)?– Hardtosay,asitisn’tjustanengineeringpb.
hbps://spectrum.ieee.org/compu3ng/hardware/the-case-against-quantum-compu3ng
![Page 21: QC for QCs - cl.cam.ac.ukjac22/talks/qc-for-qc.pdf · Lay intro to Quantum Compu3ng • A piece of my mind? – Penrose theoryJ • Can I do it jus3ce? – Intended audience e.g.](https://reader034.fdocuments.us/reader034/viewer/2022042021/5e78482af6486a69487cc882/html5/thumbnails/21.jpg)
ConsequenceofQC
• IfwereplacePKIwithQKD,mayneedtodevisenewmechanismforsignatures
• SomedirectQCimplementa3onofprobabilis3cprogramingorbayesmodelinferencingmaybecomemuchmoreefficient
![Page 22: QC for QCs - cl.cam.ac.ukjac22/talks/qc-for-qc.pdf · Lay intro to Quantum Compu3ng • A piece of my mind? – Penrose theoryJ • Can I do it jus3ce? – Intended audience e.g.](https://reader034.fdocuments.us/reader034/viewer/2022042021/5e78482af6486a69487cc882/html5/thumbnails/22.jpg)
QC&A
• Ques3ons….?• Peaceofmind?
• Acknowledgementsto– AnujDewar(Cambridge)forslideware– Wikipediaforgraphicalmaterials