|Grade, Semester||Year 1 1st semest [Master's program, Division of Integrated Science and Engineering]|
|Elective, Credits||Elective 2credit|
This course provides an introduction to quantum computation. In the first half, we will make a comparison between the quantum computers and classical computers from the viewpoint of the concept of computation and overview the quantum computation algorithms of database search by L. K. Grover and of factorization by P. W. Shor. In the latter half, after reviewing the mathematics of tensor product of vector spaces and the physics on the rules of quantum mechanics, we will define the quantum gates which are the basic component of the quantum computation algorithm and formulate the mathematical model of quantum computer realized by the unitary transformation of the state vectors expressed by the tensor products of the quantum-bits.
The classes consist of lectures and exercises. Students will give presentations on homework assignments in the classes.
This subject is related to the clause 1 of the diploma policy of the Division of Integrated Science and Engineering.
Quantum computers which operate on the principles of quantum mechanics can fast solve the problems such as database search and factorization, though classical computers can't solve those within a reachable time. The aim of this course is to learn the outlines of the quantum computation algorithms of database search by L. K. Grover and of factorization by P. W. Shor and to understand the basic knowledge of mathematics for the quantum computation algorithms.
The term paper(70%) and presentations on homework assignments in the classes(30%) will be evaluated.
The acceptance line is accuracy rate of 60% in the above term paper and presentations on homework assignments.
|Textbook||'Guidance Book' is given in the classroom|
|References||“Quantum Computer”||Shigeki Takeuchi||Kodansha (2005) in Japanese. （ISBN 4-06-257469-1）|
|References||“Mathematical Principles of Quantum Computation”||Yoshinori Uesaka||Corona Publishing (2000) in Japanese. （ISBN 4-339-02376-0）|
Students are required to review the lectures and to do the homework assignments.
Preparation of the linear algebra on an undergraduate level is also required. However, quantum mechanics, logical circuits, and number theory are not compulsory.
Supplemental explanations on the related fields such as quantum mechanics, logical circuits and number theory, etc. are randomly given in the classes.
|1||Concept of computation and classical computers.|
|2||Characteristic of quantum computers : Schroedinger equation, Correspondence between quantum systems and logical data.|
|3||Characteristic of quantum computers : Quantum parallelism and observation of the physical state.|
|4||Algorithm of database search : Grover's algorithm.|
|5||Algorithm of factorization : Procedure of factorization, Discrete logarithm problem.|
|6||Algorithm of factorization : Quantum Fourier transformation, Shor's algorithm.|
|7||Linear algebra : 2 dimensional complex vector space.|
|8||Linear algebra : Tensor product of vector spaces.|
|9||Linear algebra : Tensor product of linear operators.|
|10||Rules of quantum mechanics.|
|11||Mathematical model of quantum computer.|
|12||Simple quantum computer : Exclusive OR gate.|
|13||Simple quantum computer : Logical AND gate.|
|14||Simple quantum computer : Logical OR gate.|
|15||Simple quantum computer : Copy gate, Branch gate, Exchange gate.|