• Keine Ergebnisse gefunden

Zeige: Die allgemeine Gauss-Reduktion erhält die Äquivalenz

N/A
N/A
Protected

Academic year: 2021

Aktie "Zeige: Die allgemeine Gauss-Reduktion erhält die Äquivalenz"

Copied!
1
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

Prof. C. P. Schnorr Wintersemester 2007/08 Gitter und Kryptographie

Blatt 4, 09.11.2007, Abgabe 16.11.2007

Aufgabe 1. Zwei Basenb1,b2 und b01,b02 heiÿen äquivalent, wenn entweder b1 =±b01,b2=±b02 oder b1 =±b02,b2 =±b01.

Zeige: Die allgemeine Gauss-Reduktion erhält die Äquivalenz.

Hinweis: Behandele erstk k2, dann beliebigek k. Betrachte den Fall dass der Reduktionskoezientµnicht eindeutig ist.

Aufgabe 2. (Worst Case Gitterbasis zur Gauss-Reduktionk k=k k2) Seib1,b2 ∈Rneine reduzierte Basis und(bk,bk+1) := (b1,b2) 0 1

1 2 k−1

. Zeige fürk= 2,3, . . . :

1. dhbhbk+1,bki

k,bki c= 2, kbkk ≤ kbk+1k.

2. Die Basisbk,bk+1 ist wohlgeordnet, und wird in einer Runde der Gauss-Reduktion in bk−1,bk transformiert.

Hinweis : Satz 3.2.1 im Skript beweist, dass(bk,bk+1), minimalek-te Vor- ängerbasis zub1,b2 ist.

Aufgabe 3. Seip Primzahl mit p= 1 mod 4, i2=−1 mod p und Lp ={(a, b)t∈Z2 : a−ib= 0 mod p}. Zeige:

1. detLp =p,

2. Für den kürzesten Vektor(a0, b0)t∈ Lp\{0}gilt: p=a20+b20, 3. Löse 269 =a20+a21 mit a0, a1 ∈Nmittels Gauss-Redukton.

Hinweis: Für (a, b)t∈ Lp gilta2+b2 = 0 modp.λ21≤ q4

3detLp.

Aufgabe 4. SeienL0 ⊂ LGitter. Zeige die Äquivalenz folgender Aussagen:

1. span(L0)∩ L=L0.

2. Jede Basis vonL0 ist zu einer Basis vonL erweiterbar.

Hinweis : Kap. 1.3 Skript.

Referenzen

ÄHNLICHE DOKUMENTE

Lineare Algebra

Hinweis: Es gibt einen kurzen einfachen Beweis, der aber nicht ganz einfach zu finden ist.. Falls Du ihn nicht findest, so zeige die Behauptung zumindest f¨ ur den Fall, dass

Universit¨ at Konstanz Sebastian Gruler Fachbereich Mathematik und Statistik Mar´ıa L´ opez Quijorna.. Wintersemester 2012/2013

Universit¨ at Konstanz Christoph Hanselka Fachbereich Mathematik und Statistik Markus Schweighofer Sommersemester 2012.. Ubungsblatt 1 zur Kommutativen

Universit¨ at Konstanz Sebastian Gruler Fachbereich Mathematik und Statistik Christoph Hanselka.. Wintersemester 2011/2012

b) Beweise den Existenzsatz der Finaltopologie, d.h. Wir versehen X mit der Unterraumtopologie und Y mit der Quotiententopologie. Die abgeschlossenen Mengen sind also gerade

Oliver Schn¨ urer, Universit¨ at Konstanz Wintersemester 2012/2013 Matthias Makowski. Ubungen zur Vorlesung Theorie partieller Differentialgleichungen ¨

Matthias Makowski, Universit¨ at Konstanz Sommersemester 2013 Martin Franzen. Ubungen zur Vorlesung Elementare