• Keine Ergebnisse gefunden

Quantum Computing — Assignment 7 Due: Wednesday, 17.06., 14:15 Geben Sie bitte Namen, Matrikelnummer und die Übungsgruppe an. Exercise 1

N/A
N/A
Protected

Academic year: 2021

Aktie "Quantum Computing — Assignment 7 Due: Wednesday, 17.06., 14:15 Geben Sie bitte Namen, Matrikelnummer und die Übungsgruppe an. Exercise 1"

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 7 Due: Wednesday, 17.06., 14:15

Geben Sie bitte Namen, Matrikelnummer und die Übungsgruppe an.

Exercise 1 10 Points

Determine the group of characters of (Z,+). Is this group isomorphic to (Z,+)?

Exercise 2 10 Points

(a) Let G={g1, . . . , gn} be an abelian group and let i∈ {1, . . . , n}. Find the Fourier trans- formed of f :G→C defined by

f(g) =

(1, ifg=gi

0, otherwise.

(b) We consider the operator S :CZn → CZn given by S(f)(i) =f(i+ 1 mod n). Describe the Fourier transformed ˆS(f) in terms of ˆf.

Exercise 3 10 Points

In the following letn=n0n1, where gcd(n0, n1) = 1.

(a) Letf :Zn0×Zn1 →Znbe the function given by f(k0, k1) =a1n1k0+a0n0k1, whereai is the multiplicative inverse ofni modulo n1−i. Show that f is an isomorphism.

(b) Prove that the Hilbert-Space HZn is isomorphic toHZn

1HZn

2.

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

Referenzen

ÄHNLICHE DOKUMENTE

Mathematische Grundlagen der Informatik RWTH

Übung Mathematische Logik Abgabe : bis Mittwoch,

In einer Tabelle U wird zu jedem Übungsblatt pro Matrikelnummer gespeichert, wie viele Punkte die Person in der Übung erreicht hat und wie oft sie im dazugehörigen Tutorium über

Falls ja, beweisen Sie, dass alle Modelle von T elementar äquivalent sind, falls nicht, geben Sie zwei Strukturen in der Modellklasse von T an, und beweisen Sie, dass diese

Geben Sie im ersten Fall einen Satz vom Quantorenrang m an, welcher die Strukturen trennt, sowie Gewinnstrategien für Heraus-

(a) Für eine Klauselmenge K heißt ein Literal L einfach, wenn L in K vorkommt, L aber nicht.. Aufgabe 3 10 Punkte (a) Begründen Sie für die folgenden Sequenzen

(c) jeder Zustand, an dem ¬P und Q gilt, in maximal drei Schritten von genau zwei verschie- denen Zuständen erreicht werden kann, an denen jeweils ¬Q gilt. Hinweis: Führen

Zeigen Sie, dass die Menge der Bitsequenzen, in denen die ersten 8 Elemente Nullen sind, nicht elementar definierbar ist. (b) Zeigen Sie, dass die folgenden Relationen in der Struktur