Quantum Computation - Mathematical Tripos - Past Examination Paper, Exams of Mathematics

This is the Past Examination Paper of Mathematical Tripos which includes Quantum Computation, Planetary System Dynamics, Physical Cosmology, Perturbation and Stability Methods etc. Key important points are: Quantum Computation, Standard Gate Notation, Identity Transformation, Computational Basis Measurement, Quantum Oracle Problem, Hamming Distance, Shift Operation, Unitary Operation, Single Query to OracleQuantum Computation, Standard Gate Notation, Identity Transformation, Computational Basis

Typology: Exams

2012/2013

Uploaded on 02/28/2013

ganpati
ganpati ๐Ÿ‡ฎ๐Ÿ‡ณ

4.1

(30)

56 documents

1 / 7

Toggle sidebar

This page cannot be seen from the preview

Don't miss anything!

bg1
MATHEMATICAL TRIPOS Part III
Friday, 3 June, 2011 1:30 pm to 3:30 pm
PAPER 49
QUANTUM COMPUTATION
Attempt no more than THREE questions.
There are FOUR questions in total.
The questions carry equal weight.
STATIONERY REQUIREMENTS SPECIAL REQUIREMENTS
Cover sheet None
Treasury Tag
Script paper
You may not start to read the questions
printed on the subsequent pages until
instructed to do so by the Invigilator.
pf3
pf4
pf5

Partial preview of the text

Download Quantum Computation - Mathematical Tripos - Past Examination Paper and more Exams Mathematics in PDF only on Docsity!

MATHEMATICAL TRIPOS Part III

Friday, 3 June, 2011 1:30 pm to 3:30 pm

PAPER 49

QUANTUM COMPUTATION

Attempt no more than THREE questions. There are FOUR questions in total. The questions carry equal weight.

STATIONERY REQUIREMENTS SPECIAL REQUIREMENTS

Cover sheet None Treasury Tag Script paper

You may not start to read the questions printed on the subsequent pages until instructed to do so by the Invigilator.

The following standard gate notation is used in this paper. Note that I denotes the identity transformation throughout.

H H^ =^

X X^ =^ |^0 ใ€‰ ใ€ˆ^1 |^ +^ |^1 ใ€‰ ใ€ˆ^0 |

Z Z^ =^ |^0 ใ€‰ ใ€ˆ^0 | โˆ’ |^1 ใ€‰ ใ€ˆ^1 |

 CX^ =^ |^0 ใ€‰ ใ€ˆ^0 | โŠ—^ I^ +^ |^1 ใ€‰ ใ€ˆ^1 | โŠ—^ X

CZ = | 0 ใ€‰ ใ€ˆ 0 | โŠ— I + | 1 ใ€‰ ใ€ˆ 1 | โŠ— Z

NM

Computational basis measurement

Part III, Paper 49

This question is about the quantum Fourier transform and periodicity determina- tion.

In this question you may assume the following statements (S1) and (S2) about QF T , the quantum Fourier transform mod N : (S1): if N = Ar where A and r are integers and 0 6 x 0 < r then

QF T

A

Aโˆ‘โˆ’ 1

k=

|x 0 + krใ€‰ =

r

rโˆ‘โˆ’ 1

l=

ฯ‰x^0 lA^ |lAใ€‰ where ฯ‰ = e^2 ฯ€i/N^.

(S2): QF T may be implemented in poly(log N ) time.

(a) Let ZN denote the integers mod N. Let f : ZN โ†’ ZN be a periodic function with period r and with the property that f is one-to-one within each period. Suppose we are given one instance of the quantum state

|f ใ€‰ =

N

Nโˆ‘ โˆ’ 1

x=

|xใ€‰ |f (x)ใ€‰.

Using (S1) and (S2), describe an efficient procedure that may be used to determine the period r with probability O(1/ log log N ). (You may also assume that the number of integers less than K that are coprime to K is O(K/ log log K)).

(b) Consider the function f : Z 12 โ†’ Z 10 defined by f (x) = 3x^ mod 10.

(i) Suppose we are given the state |f ใ€‰ = โˆš^112

x=0 |xใ€‰ |f^ (x)ใ€‰^ and we measure the second register. What are the possible measurement values y and their probabilities? (ii) Suppose the measurement result was y = 3. Find the resulting state |ฯ†ใ€‰ of the first register after the measurement. (iii) Suppose we measure the state QF T |ฯ†ใ€‰ (with |ฯ†ใ€‰ from (ii)). What is the probability of each outcome 0 6 c 6 11?

Part III, Paper 49

This question is about measurement-based quantum computation. Given a graph, the corresponding graph state is obtained by preparing a qubit in the state |+ใ€‰ = โˆš^12 (| 0 ใ€‰ + | 1 ใ€‰) for every node in the graph, then applying a CZ gate between every pair of qubits linked by an edge. Consider the graph state |ฯˆ 2 ร— 2 ใ€‰ corresponding to the graph

(a) Show that if one of the qubits is measured in the computational basis with result r, the remaining qubits will be left in the state (Zr^ โŠ— I โŠ— Zr) |ฯˆ 3 ใ€‰, where |ฯˆ 3 ใ€‰ is the graph state corresponding to the graph

(b) Next, the first qubit of the state (Zr^ โŠ— I โŠ— Zr) |ฯˆ 3 ใ€‰ is measured in the basis {|v 0 (ฮธ)ใ€‰ , |v 1 (ฮธ)ใ€‰}, where |vs(ฮธ)ใ€‰ = โˆš^12

| 0 ใ€‰ + (โˆ’1)seiฮธ^ | 1 ใ€‰

, and result s is obtained. Show that the remaining qubits are left in the state

CZ

X(r+s)U (ฮธ) โŠ— Zr

where U (ฮธ) = | 0 ใ€‰ ใ€ˆv 0 (ฮธ)| + | 1 ใ€‰ ใ€ˆv 1 (ฮธ)|.

(c) Using your previous answers, explain how you could simulate the results of the circuit |+ใ€‰ U (ฮธ) โ€ข NM

โ†’ k 1

|+ใ€‰ โ€ข NM

โ†’ k 2 using single-qubit measurements on |ฯˆ 2 ร— 2 ใ€‰ and classical processing of the results.

(d) Suppose that you prepare a qubit in the state | 0 ใ€‰ for every node in a graph, and apply the same two-qubit gate V along every edge. Find a V , and appropriate single-qubit measurements, which would allow you to perform universal quantum computation using such states.

Part III, Paper 49 [TURN OVER

END OF PAPER

Part III, Paper 49