PCP Theorem Proof: Powering Stage

31
1 PCP Theorem Proof: Powering Stage Part II Irit Dinur Presentation by Boris Danilovich and Jonathan Heimann

description

PCP Theorem Proof: Powering Stage. Part II. Irit Dinur Presentation by Boris Danilovich and Jonathan Heimann. The Story So Far. Input: G =(V,E) an (n,d, λ )-expander with alphabet Σ . A set of constraints C  Σ X Σ. Construction of new G’=(V’,E’): V’ = V - PowerPoint PPT Presentation

Transcript of PCP Theorem Proof: Powering Stage

Page 1: PCP Theorem Proof: Powering Stage

1

PCP Theorem Proof: Powering StagePart II

Irit Dinur

Presentation by Boris Danilovich and Jonathan Heimann

Page 2: PCP Theorem Proof: Powering Stage

2

The Story So FarInput:

• G=(V,E) an (n,d,λ)-expander with alphabet Σ.

• A set of constraints CΣXΣ.

Construction of new G’=(V’,E’):

• V’ = V

• E’ – Any A.S.R.W from a to b => (a,b)E’.

w(a,b) = P[A.S.R.W begins on a and ends on b]

• Σ’ - All binary strings up to length ddtt

• C’C’ = { = {(ε1, ε2)Σ’XΣ’ | ε1 and ε2 agree about neighbors,

derived plurality assignment satisfies C}

Page 3: PCP Theorem Proof: Powering Stage

3

Back to Basics

A.S.R.W – After Stopping Random Walk

B.S.R.W – Before Stopping Random Walk

Let G=(V,E) be a regular graph.

A.S.R.WB.S.R.W

1) Pick a random vertex aV to start at.

1) Starting from vertex v V.

2) Take a step along a random edge out of the current vertex

2) Stop with probability 1/t.

3) Decide to stop with probability 1/t.

If you didn’t stop, go to step #2.

3) Take a step along a random edge out of the current vertex.

4) Name the final vertex b.4) Go to step #2.

Page 4: PCP Theorem Proof: Powering Stage

4

Back to Basics

σ:V→Σ – σ(v) = the “popular” σ’(w)v, for w’s that are neighbors of v.

σ’:V’→Σ’ – An assignment which minimizes UNSAT(G’).

F’E is the set of all edges in E which are not satisfied by assignment σ.

FF’E is produced from F’ by removing edges until |F|/|E| = UNSAT(G).

Make an A.S.R.W from a to b in a graph G.

An edge (a,b)E’ is bad if it contains a step u→v for which:

• For every wV a t-neighbor of a and b in graph G, ‘(a)w = ‘(b)w

• distG(u,a) t AND distG(v,b) t

• The assignment ) ‘(a)u,‘(b)v) is a violation of the constraint on (u,v).

Page 5: PCP Theorem Proof: Powering Stage

5

Back to Basics

Make an A.S.R.W from a to b in a graph G.

A step u→v within such a walk is called faulty if:

• (u,v)F

• distG(u,a) t AND ‘(a)u = (u)

• distG(v,b) t AND ‘(b)v = (v)

N = # number of faulty steps in an A.S.R.W.

Page 6: PCP Theorem Proof: Powering Stage

6

Back to Basics

UNSAT(G’)

P[A bad edge in G’ will be generated by an A.S.R.W in G]

P[The chosen A.S.R.W walk in G contains a faulty step]

P]N>0]

E[N]2

E[N2]

=

=

t

O(1)min(UNSAT(G),1/

t)

≥?

Second moment method

Page 7: PCP Theorem Proof: Powering Stage

7

Setting immediate goals

We want to prove: P[N>0] ≥ = [t/O(1)] ּ[|F|/|E|]

We will prove:

1) E[N]2 ([t/O(1)] ּ[|F|/|E|])2

2) E[N2] [t/O(1)] ּ[|F|/|E|]

E[N]2

E[N2]

Page 8: PCP Theorem Proof: Powering Stage

8

Lemma 1: E[N] [t/4|∑|2]ּ[|F|/|E|]

E[N] = E[#faulty steps] == E[over all uv E : #faulty uv steps] =

= E[over all uv F : #fauly uv steps] [#possible steps F] ּminuvF{E[#faulty uv stepF]}=

= 2|F| ּminuvF {E[#faulty uv step F]}If we prove that:

minuvF {E[#faulty uv step F]} [t/(8|∑|2) ּ[(1/|E|)

We get that: E[N] [t/4|∑|2] ּ[|F|/|E|] as required

זה קבוע...

לפי הגדר

ה

Remember we talk

about A.S.R.W

Page 9: PCP Theorem Proof: Powering Stage

9

[Note: if we prove this bound to be a lower bound of every {u→vF faulty step}, we are done]

For any step uvF:E[#faulty uv steps] =A fact about expectancy: E[A] = ∑ E[A|B(k)] ּPr[B(k)]

=∑E[#faulty uv steps |exactly k uv steps] ּPr[exactly k uv steps]Remember that in an specific A.S.R.W, if a u→v step is faulty once, it

will is faulty each time in that walk.E[#faulty uv steps | exactly k uv steps] =

= k * Pr[uv steps are faulty | exactly k uv steps] We’ll set this value in and receive:=∑k*Pr[uv steps are faulty |exactly k uv steps] ּPr[exactly k uv steps]

Lemma 1:1) E[N] [t/4|∑|2] ּ[|F|/|E|]

minuvF{E[#faulty uv step F]} [t/(8|∑|2) ּ[(1/|E|)

1

1

k

Page 10: PCP Theorem Proof: Powering Stage

10

Overall, we got (from previous slide):E[#faulty uv steps] ==∑k * Pr[uv steps are faulty|exactly k uv steps] ּPr[exactly k uv steps]

We’ll claim and soon prove:P[uv steps are faulty | exactly k uv steps] 1/(4|∑|2)We’ll set this value in and receive:=∑1/(4|∑|2) * k ּPr[exactly k uv steps] =

we take a constant value out of the sum

= 1/(4|∑|2) * ∑ kּPr[exactly k uv steps] == 1/(4|∑|2) * E[#of uv steps (Not only faulty)] =

Lemma 1:1) E[N] [t/4|∑|2] ּ[|F|/|E|]

minuvF{E[#faulty uv step F]} [t/(8|∑|2) ּ[(1/|E|)

Continue – 2 out of 3

1

2

1

Page 11: PCP Theorem Proof: Powering Stage

11

Lemma 1:1) E[N] [t/4|∑|2] ּ[|F|/|E|]

minuvF{E[#faulty uv step F]} [t/(8|∑|2) ּ[(1/|E|)

Continue – 3 out of 3= 1/(4|∑|2) * E[#of uv steps (Not only faulty)] == 1/(4|∑|2) * E[∑ [uv is the ith step]] =1) The chances of each ith step to be uv are equal2) The expected number of steps = t

= 1/(4|∑|2) * t ּ E[ [uv is the ith step]] =Regular G the probability of going over a

particular edge in an A.S.R.W = 1/|E| the probability of making that uv step = 1/(2|E|)

= 1/(4|∑|2) * t /(2|E|) == 1/(8|∑|2) * t /|E|

i

( מציין בהסתברות)

A.S.R.W

d-Regular

Page 12: PCP Theorem Proof: Powering Stage

12

Lemma 1: 1) E[N] [t/4|∑|2] ּ[|F|/|E|]

minuvF{E[#faulty uv step F]} [t/(8|∑|2)ּ[(1/|E|)

Debt from last week:E[#uv steps] = t/(2|E|)

E[#of uv steps (Not only faulty)] =

= ∑E[#uv steps | exactly k steps] ּ Pr[exactly k steps] =

= ∑ k/(2|E|) ּ Pr[exactly k steps] =

= 1/2|E| ּ ∑ k ּ Pr[exactly k steps] =

= 1/2|E| ּ t == t/2|E|

Each step has Pr=1/2|E|

A Geometric Expectation

Page 13: PCP Theorem Proof: Powering Stage

13

Yet more debts

Suppose we did an A.S.R.W in a graph G=(V,E), conditioned on making

exactly k u→v steps, where k≥1 is some constant and (u,v) a fixed edge

in E. Then:1. Distribution of the final vertex b ~ Distribution of a B.S.R.W from v.

2. Distribution of the initial vertex a ~ Distribution of a B.S.R.W. from u.

3. a and b are independent.

Page 14: PCP Theorem Proof: Powering Stage

14

Proof1. Change the condition: instead of taking exactly k u→v steps, we’ll

take at

least k.

Take kth u→v step. A.S.R.W turns into B.S.R.W (choice of stopping on v

taken yet) and there are no further restrictions.

Pw = P[A B.S.R.W from v stops on vertex w] = P[b=w | Y≥k] =? P[b=w | Y=k]

Denote Y = # of u→v steps.

P[b = w | Y≥k] = =P[(b=w) ۸ (Y≥k)] P[(b=w) ۸ (Y=k)] + P[(b=w) ۸

(Y≥k+1)] P[Y≥k] P[Y≥k]

1

Pu→v = P[u→v taken in A.S.R.W]

Pu→v’ = P[u→v taken in A.S.R.W | begin on v]

Page 15: PCP Theorem Proof: Powering Stage

15

Proof

Set these values in :

Pw = =>P[(b=w) ۸ (Y=k)] + Pw ∙ Pu→v ∙

(Pu→v’)k Pu→v ∙ (Pu→v’) k-1

P[b=w | Y=k] = = = Pw

P[(b=w) ۸ (Y=k)] Pw ∙ Pu→v ∙ (Pu→v’)k-1 ∙ (1 - Pu→v’)

P[Y=k] Pu→v ∙ (Pu→v’)k-1 ∙ (1 - Pu→v’)

P[Y≥k] = Pu→v ∙ (Pu→v’)k-1

P[(b=w) ۸ (Y≥k+1)]

P[Y≥k+1] = P[b = w | Y≥k+1] = Pw - B.S.R.W is

memoryless

=> P[(b=w) ۸ (Y≥k+1)] = P[b = w | Y≥k+1]∙P[Y≥k+1] = Pw ∙ Pu→v ∙ (Pu→v’)k

1

Finally:

P[b = w | Y≥k] = = Pw

P[(b=w) ۸ (Y=k)] + P[(b=w) ۸ (Y≥k+1)] P[Y≥k]

P[(b=w) ۸ (Y=k)] = Pw ∙ Pu→v ∙ (Pu→v’)k-1 ∙ (1 - Pu→v’)

1

Page 16: PCP Theorem Proof: Powering Stage

16

Where are we standing?Remember: UNSAT(G’) ≥

E[N]2

E[N2]

After bounding E[N]2, we are one step away from completing the

analysis and put a constant-growth lower-bound on UNSAT(G’).

Something is rotten in the state of Denmark:

• Edges of E’ are weighted.

• G’ is too large – Ω(n2).

Page 17: PCP Theorem Proof: Powering Stage

17

Recalling G’’In the previous lecture, G’’ was created out of G’,

by:

1. Splicing a single edge in E’, into several unweighted parallel edges in E, according to its weight. Growth: by a constant factor.

2. Removing all edges in E’ which were generated by a walk in G that was longer than B=(10ln|Σ|)t steps.

Page 18: PCP Theorem Proof: Powering Stage

18

Doesn’t this hurt the credibility of our argument?

Note that G’’G’.

Couldn’t the removal of edges hurt the UNSAT?

EB = E’ – E’’

α = |EB|/|E’| = P[Edge eE’ generated by walk longer than B] =

P[A.S.R.W takes more than B steps] = (1-1/t)B ≤ exp(-B/t) =

exp(-10ln|Σ|t/t) = 1/(|Σ|10) - Constant!

Worst case – All edges of EB were unsatisfied

UNSAT(G’’) = (|F’|- α|E’|)/[|E’|(1 – α)] = |F’|/[|E’|(1-α)] – α|E’|/[|E’|(1-α)] =

1/(1-α)∙UNSAT(G’) – α/(1-α) = O(UNSAT(G’))

Change is by small constant factor only!

Note: might be a problem in the first iterations, if UNSAT

is too small

Page 19: PCP Theorem Proof: Powering Stage

19

A faulty* step

Let there be a walk from a to b chosen by an A.S.R.W from a in graph G.

A step u→v within such a walk is called faulty if:

• (u,v)F

• distG(u,a) t AND ‘(a)u = (u)

• distG(v,b) t AND ‘(b)v = (v)

A faulty step:

A step is faulty* if:

• it is faulty.

• the number of steps in the entire a→b walk is at most B.

Denote the random variable N* = # of faulty* steps in an A.S.R.W

Page 20: PCP Theorem Proof: Powering Stage

20

A faulty* step

u→v is a faulty* step in an A.S.R.W from a to b =>

(a,b) is a bad edge in G’’

This is because σ’(a) and σ’(b) agree with the popular opinion, and

according to it (u,v)F (meaning, the constraint on the edge is not

satisfied by σ).Reminder: Let there be a walk from a to b chosen by an A.S.R.W from a in graph G.An edge (a,b)E’ is bad if it contains a step u→v for which:

• For every wV a t-neighbor of a and b in graph G, ‘(a)w = ‘(b)w

• distG(u,a) t AND distG(v,b) t

• ) ‘(a)u,‘(b)v) is a violation of the constraint on (u,v).

Page 21: PCP Theorem Proof: Powering Stage

21

Bounding UNSAT(G’’)

UNSAT(G’’)

P[A bad edge in G’’ will be chosen by an A.S.R.W in G]

P[The chosen A.S.R.W walk in G contains a faulty* step]

P]N*>0]

E[N*]2

E[N*2]

=

=

t

O(1)min(UNSAT(G),1/

t)

≥?

Second Moment Method

Each walk containing a faulty* step generates a bad edge.

Page 22: PCP Theorem Proof: Powering Stage

22

If we could just prove this…

Lemma 1: E[N*] ≥ 8|Σ|2 |E| t |F|

|F|/|E| = UNSAT(G)

Lemma 2: E[(N*)2] ≤ O(1)∙t∙|E||F|

Page 23: PCP Theorem Proof: Powering Stage

23

ProofLemma 1: E[N*] ≥ 8|Σ|2 |E|

t |F|

S – # of steps in walk

E[N*] = E[N ∙ 1{S≤B}] = E[N ∙ (1 – 1{S>B})] = E[N] – E[N ∙ 1{S>B}]

≥ – E[N ∙ 1{S>B}]

An indicator

Lower bound on E[N], shown before.

4|Σ|2 |E| t |F|

Page 24: PCP Theorem Proof: Powering Stage

24

ProofLemma 1: E[N*] ≥ 8|Σ|2 |E|

t |F|

We want to find an upper-bound on E[N ∙ 1{S>B}].

NF – # of steps that were in F

E[N ∙ 1{S>B}] = P[S>B] ∙ E[N | S>B] = (1-1/t)B ∙ E[N | S>B] ≤

exp(-B/t) ∙ E[NF | S>B] = exp(-B/t) ∙ E[S | S>B] ∙ (|F|/|E|) =

exp(-B/t) ∙ (B+t) ∙ |F|/|E| = exp(-10ln|Σ|) ∙ t(10ln|Σ| + 1) ∙ |F|/|E| =

(10ln|Σ| + 1)/|Σ|10 ∙ t(|F|/|E|) ≤ 1/(8|Σ|2) ∙ t(|F|/|E|) =

=> E[N*] ≥ – E[N ∙ 1{S>B}] ≥

8|Σ|2 |E| t |F|

8|Σ|2 |E| t |F|

4|Σ|2 |E| t |F|

Proof follows.

Page 25: PCP Theorem Proof: Powering Stage

25

ProofLemma 1: E[N*] ≥ 8|Σ|2 |E|

t |F|

Why E[NF | S>B] = E[S | S>B] ∙ (|F|/|E|) ?

NF = # of steps of walk in F

S = # of steps in walk

Xi = 1[ith step is in F]

We’ll show E[NF] = E[S] ∙ (|F|/|E|) . This also holds with the condition.

E[NF] = E[Σi=1Xi] = E[X1 +…+ XN] = E[X1∙P[S≥1] + X2∙P[S≥2] +…]

E[Σi=1Xi∙P[S≥i]] = Σi=1(P[S≥i]∙E[Xi]) = Σi=1P[S≥i]∙P[Xi] = |F|/|E| ∙ ΣPi=1[S≥i] =

|F|/|E| ∙ Σi=1(P[S=i] + P[S=i+1] + …) = (|F|/|E|) ∙ Σi=1Σj=iP[S=j] =

(|F|/|E|) ∙ Σi=1i∙P[S=i] = (|F|/|E|) ∙ E[S]

N

∞ ∞ ∞ ∞

∞ ∞ ∞

Page 26: PCP Theorem Proof: Powering Stage

26

Time to get the job done

Lemma 2: E[(N*)2] ≤ t ∙ O(1) ∙ |E||F|

Each faulty* step is in F, so:

E[(N*)2] ≤ E[N2] ≤ E[(NF)2]

Denote Χi = 1[ith step is in F]. Then: NF ≤ Σi=1Xi

Page 27: PCP Theorem Proof: Powering Stage

27

ProofLemma 2: E[(N*)2] ≤ t ∙ O(1) ∙ |E|

|F|

E[(NF)2] ≤ E[(ΣXi)2] = E[Σi=1Xi2 + Σi≠jXiXj] =

Σi=1E[Xi2] + Σi≠jE[XiXj] = Σi,j=1E[XiXj] =

Σi,j=1P[XiXj] = Σi,j=1P[(Xi=1) ۸ (Xj=1)] ≤

2Σi=1Σj≥i(P[Xi=1] ∙ P[Xj=1 | Xi=1]) =

2Σi=1(P[Xi=1] ∙ Σj≥iP[Xj=1 | Xi=1])

P[Xj=1 | Xi=1] =

{1

i=j

P[walk takes at least j-i more steps] X

P[The (j-i)th step of a walk beginning in F, is in F]i≠j

Linearity of expectancy

XiXj is an indicator

∞ ∞

Page 28: PCP Theorem Proof: Powering Stage

28

ProofLemma 2: E[(N*)2] ≤ t ∙ O(1) ∙ |E|

|F|

P[walk takes at least j-i more steps] = (1-1/t)j-i - Walk didn’t stop j-i times

P[The (j-i)th step of a walk beginning in F, is in F] = ?

Therefore,

P[The (j-i)th step of a walk beginning in F, is in F] = |F|/|E| + (λ/d)j-i-1

A Blast from the Past!

G=(V,E) is an (n,d,λ)-expander and FE. Then, the probability that a random walk which starts on an edge from F will pass on an edge from F on its tth step is bounded by |F|/|E| + (λ/d)t-1

.

Page 29: PCP Theorem Proof: Powering Stage

29

Yay, calculations!Lemma 2: E[(N*)2] ≤ O(1) ∙ t ∙ |E|

|F|

E[(N*)2] ≤ E[(NF)2] ≤ 2Σi=1(P[Xi=1] ∙ [1 + Σk=1(1-1/t)k ∙ (|F|/|E| + (λ/d)k-

1)]) =

2Σi=1(P[Xi=1] ∙ [1 + Σk=1(1-1/t)k ∙ |F|/|E| + Σk=1(1-1/t)k(λ/d)k-1]) ≤

2Σi=1(P[Xi=1] ∙ [1 + Σk=1(1-1/t)k ∙ |F|/|E| + Σk=1(λ/d)k-1]) ≤

Reminder: if |a|<1, then Σt=0at converges to 1/(1-a).

2Σi=1(P[Xi=1] ∙ [1 + (t-1) ∙ |F|/|E| + O(1)]) ≤

Remember: we bound the growth of the UNSAT by a constant 1/t. Therefore, |F|/|E| ≤ 1/t.

O(1) ∙ Σi=1P[Xi=1] = O(1) ∙ E[NF] = O(1) ∙ t ∙

∞ ∞

∞ ∞ ∞

∞ λ<d, because G is an expander

∞|E||F|

Rejoice!!!

(1-1/t) < 1

Page 30: PCP Theorem Proof: Powering Stage

30

SummaryGiven an (n,d,λ)-expander G, we manage to build a

new

graph G’’ with a considerably larger UNSAT, in polynomial

time.

We’ve done this by allowing unsatisfied edges to “spread

the disease”, using an expander’s properties.

Some of the graph properties were hurt. This will be dealt

with in the next lecture.

Page 31: PCP Theorem Proof: Powering Stage

31

The end

Questions?