• Keine Ergebnisse gefunden

(1)Lehr- und Forschungsgebiet Mathematische Grundlagen der Informatik RWTH Aachen Prof

N/A
N/A
Protected

Academic year: 2021

Aktie "(1)Lehr- und Forschungsgebiet Mathematische Grundlagen der Informatik RWTH Aachen Prof"

Copied!
1
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

Lehr- und Forschungsgebiet

Mathematische Grundlagen der Informatik RWTH Aachen

Prof. Dr. E. Grädel, F. Abu-Zaid, S. Schalthöfer

SS 2015

Quantum Computing — Assignment 1 Due: Wednesday, 22.04., 14:15

Exercise 1 5 Points

Consider the polarisation experiment from the lecture, where, instead of 45, the filter in the middle polarises light with an angleα, for arbitraryα.

Specify how much light passes through the three filters depending on the angle α.

Exercise 2 15 Points

(a) Give a construction of an equation system EQ|ψifor each vector|ψi ∈H4, such that EQ|ψi is solvable if, and only if|ψi is not entangled.

(b) For each of the following states, prove or disprove that it is entangled.

Hint: The equation system may not be helpful in all cases. You can, for instance, consider the properties of tensor products.

(i) 12|00i+12|01i+1

2|11i (ii) 16 +i

2 3

|00i+1−

2 6 +i1+

2 6

|01i+1−

2 6 +i1+

2 6

|10i+ (i13)|11i (iii) 38|00i+

7

8 |01i+34|10i+

3 4 |11i

Exercise 3 10 Points

Show that, for each qubit|ψi=α|0i+β|1i, there are γ, ϑ, ϕ∈Rsuch that

|ψi=e

cosϑ

2|0i+e−iϕsinϑ 2 |1i

.

Hint: Each complex numberz can be written as z=r·e for somer, γ∈R.

http://logic.rwth-aachen.de/Teaching/QC-SS15/

Referenzen

ÄHNLICHE DOKUMENTE

(b) Beweisen oder widerlegen Sie mithilfe des Model-Checking-Spiels, dass Ihre Formel im unten angegebenen Graphen mit Universum {v 0 , v 1 } gilt. Zeigen Sie durch Angabe

In der 5ten Gruppenübung haben wir zu einem endlichen Wort w =

Abgabe : bis Mittwoch, den 06.07., um 12:00 Uhr im Übungskasten oder in der Vorlesung.. Geben Sie bitte Namen, Matrikelnummer und die

(a) Die Klasse der ungerichteten Graphen (V, E), in denen jeder Kreis die gleiche Länge hat. (b) Die Klasse der Strukturen (A, f) wobei f eine selbst-inverse Funktion

Mathematische Grundlagen der Informatik RWTH

Eine Satz ϕ ist in Gaifman-Form , falls ϕ eine Boolesche Kombination von Sätzen der Form.

Mathematische Grundlagen der Informatik RWTH

Eine positionale Strategie σ nennen wir homogen, wenn sie für alle Knoten mit gleicher Nachfolgermenge den gleichen Nachfolger