8/6/2019 Computação quantica vs Compiladores
http://slidepdf.com/reader/full/computacao-quantica-vs-compiladores 1/11
19/26/2007
CS 550Design and Translation of Programming Languages
Quantum Computing and Compilers forQuantum Computers
Thiruvarangan Ramaraj
(Thiru.R)
Montana State UniversitySeptember 24th 2007 (1410 – 1500)
8/6/2019 Computação quantica vs Compiladores
http://slidepdf.com/reader/full/computacao-quantica-vs-compiladores 2/11
29/26/2007
Development of the Theory of Computation
• Charles Babbage (1834): Designed the first self programming computer (The
Analytical Engine)
• Alan Turing, Alonzo Church, and Emil Post (1936): Proposed the universal
models for classical computation
• Charles Bennett (1976): Described a universal model for classical computationusing reversible primitives.
• Paul Benioff (1982): Described classical computers made of quantumcomponents
• Richard Feynman (1982): Described a universal quantum simulator• David Albert (1984): Described a “self measuring quantum automation” that
could perform computational tasks with no classical analogues
• David Deutsch (1985): Described a universal quantum computer
• Charles Bennett (1989): Built a computing device whose functionality requiresquantum effects
Quantum computation. David Deutsch, Physics World, 1/6/92
A comprehensive and inspiring guide to quantum computing
8/6/2019 Computação quantica vs Compiladores
http://slidepdf.com/reader/full/computacao-quantica-vs-compiladores 3/11
39/26/2007
Quantum Computing
• The computer of tomorrow could be built
around a cup of coffee. The caffeinemolecule is just one of the possiblebuilding blocks of a 'quantum computer', anew type of computer that promises toprovide mind boggling performance that
can break secret codes in a matter ofseconds.http://www.doc.ic.ac.uk/~nd/surprise_97/journal/vol4/spb3/
8/6/2019 Computação quantica vs Compiladores
http://slidepdf.com/reader/full/computacao-quantica-vs-compiladores 4/11
49/26/2007
History of Quantum Computing• In 1982, the Nobel prize-winning physicist Richard Feynman thought up the
idea of a 'quantum computer', a computer that uses the effects of quantummechanics to its advantage
• Building Quantum Computers, computational machines that use suchquantum effects, proved tricky, no one was sure how to use the quantumeffects to speed up computation
• For some time, the notion of a quantum computer was primarily of
theoretical interest only, but recent developments have bought the idea toeverybody's attention.
• One such development was the invention of an algorithm to factor largenumbers on a quantum computer, by Peter Shor (Bell Laboratories)
• With the motivation provided by this algorithm, the topic of quantum
computing has gathered momentum and researchers around the world areracing to be the first to create a practical quantum computer.
8/6/2019 Computação quantica vs Compiladores
http://slidepdf.com/reader/full/computacao-quantica-vs-compiladores 5/11
8/6/2019 Computação quantica vs Compiladores
http://slidepdf.com/reader/full/computacao-quantica-vs-compiladores 6/11
69/26/2007
The Valid qubit States
Valid qubit states:
|ψ ⟩ = |0⟩
|ψ ⟩ = |1⟩
|ψ ⟩ = (|0⟩- eiπ /4 |1⟩)/ √2
|ψ ⟩ = (2|0⟩- 3ei5π /6 |1⟩)/ √13
8/6/2019 Computação quantica vs Compiladores
http://slidepdf.com/reader/full/computacao-quantica-vs-compiladores 7/11
79/26/2007
Quantum Algorithms
• Shor’s Factoring Algorithm (1994)
• Grover’s search algorithm (1996)
8/6/2019 Computação quantica vs Compiladores
http://slidepdf.com/reader/full/computacao-quantica-vs-compiladores 8/11
89/26/2007
Quantum Programming• Classical Concepts can be used in
Quantum Computing• Non Classical features of quantum states
can be accounted for within the framework
of a procedural programming language
8/6/2019 Computação quantica vs Compiladores
http://slidepdf.com/reader/full/computacao-quantica-vs-compiladores 9/11
9
Hybrid Quantum Architecture
Classical Concepts in Quantum Programming , Bernhard ¨OmerInstitute for Theoretical Physics, Technical University, Vienna, Austria
8/6/2019 Computação quantica vs Compiladores
http://slidepdf.com/reader/full/computacao-quantica-vs-compiladores 10/11
109/26/2007
Programming Model• How to Implement a Quantum Algorithm?
• The Quantum Programming Language QCL (QCL) – QCL is a high level, architecture independent programming language for quantum
computers, with a syntax derived from classical procedural languages like C or
Pascal.
QCL - A Programming Language For Quantum Computers
8/6/2019 Computação quantica vs Compiladores
http://slidepdf.com/reader/full/computacao-quantica-vs-compiladores 11/11
11
References• http://en.wikipedia.org/wiki/Quantum_computer
• An Introduction to Quantum Computing for Non-Physicists ,Eleanor Rieffel, FX Palo Alto Laboratory and Wolfgang Polak
• A Practical Architecture for Reliable Quantum Computers , Mark Oskin University of Washington, Frederic T.Chong University ofCalifornia, Davis Isaac L. Chuang Massachusetts Institute of
Technology
• http://tph.tuwien.ac.at/~oemer/qcl.html
• Classical Concepts in Quantum Programming , Bernhard ¨OmerInstitute for Theoretical Physics, Technical University, Vienna, Austria
9/26/2007