22.04.2014 Views

a590003

a590003

a590003

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

andom over G m s , for uniformly random A. Then we have<br />

[<br />

]<br />

ρ 1/s (Λ ⊥ (A) ∗ ) ≤ ∑<br />

E<br />

A<br />

s∈Z n q<br />

= ∑<br />

s∈Z n q<br />

≤ ∑<br />

s∈Z n q<br />

[<br />

E ρ1/s (Z m + A t s/q) ] (lin. of E)<br />

A<br />

g −m<br />

s<br />

· ρ 1/s (g −1<br />

s · Z m ) (avg. over A)<br />

g −m<br />

s · max{1, g s η/s} m · ρ 1/η (Z m ), (above fact)<br />

≤ (1 + ɛ) ∑<br />

max{1/g s , η/s} m , (η ≥ η ɛ (Z m )).<br />

s∈Z n q<br />

To prove the second part of the claim, observe that g s = p i for some i ≥ 0, and that there are at most g n<br />

values of s for which g s = g, because each entry of s must be in G s . Therefore,<br />

∑<br />

1/gs m ≤ ∑ p i(n−m) =<br />

i≥0<br />

s∈Z n q<br />

1<br />

1 − p n−m ≤ 1 + ɛ<br />

2(1 + ɛ) .<br />

(More generally, for arbitrary q we have ∑ s 1/gm s ≤ ζ(m − n), where ζ(·) is the Riemann zeta function.)<br />

Similarly, ∑ s (η/s)m = q n (s/η) −m ≤ , and the claim follows.<br />

ɛ<br />

2(1+ɛ)<br />

We need a number of standard facts about discrete Gaussians.<br />

Lemma 2.5 ([MR04, Lemmas 2.9 and 4.1]). Let Λ ⊂ R n be a lattice. For any Σ ≥ 0 and c ∈ R n ,<br />

we have ρ √ Σ (Λ + c) ≤ ρ√ Σ (Λ). Moreover, if √ Σ ≥ η ɛ (Λ) for some ɛ > 0 and c ∈ span(Λ), then<br />

ρ √ 1−ɛ<br />

Σ<br />

(Λ + c) ≥<br />

1+ɛ · ρ√ Σ (Λ).<br />

Combining the above lemma with a bound of Banaszczyk [Ban93], we have the following tail bound on<br />

discrete Gaussians.<br />

Lemma 2.6 ([Ban93, Lemma 1.5]). Let Λ ⊂ R n be a lattice and r ≥ η ɛ (Λ) for some ɛ ∈ (0, 1). For any<br />

c ∈ span(Λ), we have<br />

Pr [ ‖D Λ+c,r ‖ ≥ r √ n ] ≤ 2 −n · 1+ɛ<br />

1−ɛ .<br />

Moreover, if c = 0 then the bound holds for any r > 0, with ɛ = 0.<br />

The next lemma bounds the predictability (i.e., probability of the most likely outcome or equivalently,<br />

min-entropy) of a discrete Gaussian.<br />

Lemma 2.7 ([PR06, Lemma 2.11]). Let Λ ⊂ R n be a lattice and r ≥ 2η ɛ (Λ) for some ɛ ∈ (0, 1). For any<br />

c ∈ R n and any y ∈ Λ + c, we have Pr[D Λ+c,r = y] ≤ 2 −n · 1+ɛ<br />

1−ɛ .<br />

2.4 Subgaussian Distributions and Random Matrices<br />

For δ ≥ 0, we say that a random variable X (or its distribution) over R is δ-subgaussian with parameter<br />

s > 0 if for all t ∈ R, the (scaled) moment-generating function satisfies<br />

E [exp(2πtX)] ≤ exp(δ) · exp(πs 2 t 2 ).<br />

13<br />

4. Trapdoors for Lattices

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!