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