Download Quantum computers - start [kondor.etf.rs]

Survey
yes no Was this document useful for you?
   Thank you for your participation!

* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project

Document related concepts

Algorithmic cooling wikipedia , lookup

Renormalization group wikipedia , lookup

Wave–particle duality wikipedia , lookup

Topological quantum field theory wikipedia , lookup

Renormalization wikipedia , lookup

Double-slit experiment wikipedia , lookup

Bohr–Einstein debates wikipedia , lookup

Basil Hiley wikipedia , lookup

Theoretical and experimental justification for the Schrödinger equation wikipedia , lookup

Bell test experiments wikipedia , lookup

Quantum dot cellular automaton wikipedia , lookup

Delayed choice quantum eraser wikipedia , lookup

Scalar field theory wikipedia , lookup

Relativistic quantum mechanics wikipedia , lookup

Particle in a box wikipedia , lookup

Probability amplitude wikipedia , lookup

Measurement in quantum mechanics wikipedia , lookup

Quantum electrodynamics wikipedia , lookup

Quantum decoherence wikipedia , lookup

Copenhagen interpretation wikipedia , lookup

Quantum field theory wikipedia , lookup

Path integral formulation wikipedia , lookup

Bell's theorem wikipedia , lookup

Hydrogen atom wikipedia , lookup

Max Born wikipedia , lookup

Quantum dot wikipedia , lookup

Coherent states wikipedia , lookup

Density matrix wikipedia , lookup

Quantum entanglement wikipedia , lookup

Quantum fiction wikipedia , lookup

Many-worlds interpretation wikipedia , lookup

Orchestrated objective reduction wikipedia , lookup

EPR paradox wikipedia , lookup

Interpretations of quantum mechanics wikipedia , lookup

History of quantum field theory wikipedia , lookup

Symmetry in quantum mechanics wikipedia , lookup

Quantum computing wikipedia , lookup

Quantum key distribution wikipedia , lookup

Quantum machine learning wikipedia , lookup

Hidden variable theory wikipedia , lookup

Quantum cognition wikipedia , lookup

Quantum group wikipedia , lookup

Quantum state wikipedia , lookup

T-symmetry wikipedia , lookup

Quantum teleportation wikipedia , lookup

Canonical quantization wikipedia , lookup

Transcript
Quantum Computers
Gates, circuits and programming
Quantum gates
Dušan Gajević
2/27
Quantum gates
• The same way
classical gates manipulate only a few bits at a time,
quantum gates manipulate only a few qubits at a time
– Usually represented as unitary matrices we already saw
• Circuit representation
…boxes and different symbols
depict operations on qubits
Wires depict qubits
…inheritence of classical computing –
it is better to think of qubits as particles
and gates as physical processes applied to those particles
Dušan Gajević
3/27
Pauli-X gate
• Acts on a single qubit
Dirac notation
Matrix representation
Circuit representation
– Acting on pure states becomes a classical NOT gate
Dirac notation…
…is obviously more convenient for calculus
Dušan Gajević
4/27
Pauli-X gate
– Acting on a general qubit state
– It is its own inverse
Dušan Gajević
5/27
Hadamard gate
• Acts on a single qubit
– Corresponding to the Hadamard transform we already saw
Dirac notation
Unitary matrix
Circuit representation
…obviously, no classical equivalent
– One of the most important gates for quantum computing
Dušan Gajević
6/27
Hadamard gate
• An interesting example
Acting on pure states…
…gives a balanced superposition…
…both states, if measured,
give either 0 or 1 with equal probability
Dušan Gajević
7/27
Hadamard gate
– Applying another Hadamard gate
• to the first result
• to the second result
Dušan Gajević
8/27
Hadamard gate
Both states give equal probabilities when measured…
…but when Hadamard transformation is applied
it produces two different states
• The example gives an answer to the question asked before –
why state of the system
has to be specified with complex amplitudes
and cannot be specified with probabilities only
Dušan Gajević
9/27
Pauli-Y gate
• Acts on a single qubit
Dirac notation
Matrix representation
Circuit representation
…another gate with no classical equivalent
Dušan Gajević
10/27
CNOT gate
• Controlled NOT gate
• Acts on two qubits
Matrix representation
Circuit representation
– Classical gate operation
Dušan Gajević
11/27
CNOT gate
– Example of acting on a superposition
Dušan Gajević
12/27
Toffoli gate
• Also called Controlled Controlled NOT
• Acts on three qubits
Matrix representation
Circuit representation
– Classical gate operation
Dušan Gajević
13/27
Quantum circuits
Dušan Gajević
14/27
Universal set of quantum gates
• There is more than one
universal set of gates for classical computing
• What about quantum computing,
is there a universal set of gates
to which any quantum operation possible can be reduced to?
Dušan Gajević
15/27
Universal set of quantum gates
• No, but any unitary transformation
can be approximated to arbitrary accuracy
using a universal gate set
– For example (H, S, T, CNOT)
Hadamard gate
Phase gate
π/8 gate
Dušan Gajević
CNOT gate
16/27
Quantum circuits
• The same way
classical gates can be arranged to form a classical circuit,
quantum gates can be arranged to form a quantum circuit
Unlike classical circuits,
the same number of wires
is going throughout the circuit
…as said before,
inheritence of classical computing –
usually it does not reflect the actual implementation
• Quantum circuit is the most commonly used model
to describe a quantum algorithm
Dušan Gajević
17/27
Quantum programming
Dušan Gajević
18/27
Quantum programming
• There is already a number of programming languages
adapted for quantum computing
– but there is no actual quantum computer
for algorithms to be executed on
• The purpose of quantum programming languages
is to provide a tool for researchers,
not a tool for programmers
• QCL is an example of such language
Dušan Gajević
19/27
Quantum programming
• QCL (Quantum Computation Language)
C-like syntax
allows combining of
quantum and
classical code
http://tph.tuwien.ac.at/~oemer/qcl.html
Dušan Gajević
20/27
QCL
• Comes with its own interpreter
and quantum system simulator
Start interpreter…
…with a 4 qubit quantum heap (32 if omitted)
Numeric simulator
Shell environment
…there is no assumption about the quantum computer implementation
Dušan Gajević
21/27
QCL
• Example of interpreter interactive use
Initial quantum state
Global quantum register definition
Quantum operator
Resulting state
Qubits allocated/Quantum heap total
Dušan Gajević
22/27
QCL
• Example of initialization and measurement within interpreter
Reinitializations have no effect on allocations
Dušan Gajević
23/27
QCL
• Examples of quantum registers, expressions and references
Reference definitions have no effect on quantum heap
Dušan Gajević
24/27
QCL
• Example of operator definition
Dušan Gajević
25/27
QCL
– Newly defined operator usage
Force interactive use…
…or interpreter will execute file content and exit
Toffoli gate is its own inverse
QCL allows inverse execution
Dušan Gajević
26/27
References
•
•
•
•
•
•
•
University of California, Berkeley,
Qubits and Quantum Measurement and Entanglement, lecture notes,
http://www-inst.eecs.berkeley.edu/~cs191/sp12/
Michael A. Nielsen, Isaac L. Chuang,
Quantum Computation and Quantum Information,
Cambridge University Press, Cambridge, UK, 2010.
Colin P. Williams, Explorations in Quantum Computing, Springer, London, 2011.
Samuel L. Braunstein, Quantum Computation Tutorial, electronic document
University of York, York, UK
Bernhard Ömer, A Procedural Formalism for Quantum Computing, electronic
document, Technical University of Vienna, Vienna, Austria, 1998.
Artur Ekert, Patrick Hayden, Hitoshi Inamori,
Basic Concepts in Quantum Computation, electronic document,
Centre for Quantum Computation, University of Oxford, Oxford, UK, 2008.
Wikipedia, the free encyclopedia, 2014.
Dušan Gajević
27/27