Derandomized parallel repetition theorems for free
games
Ronen Shaltiel, University of Haifa
Parallel repetition/direct product
To what extent is it harder to solve many independent instances of the same problem compared to solving a single random instance?
Asked in many computational models.
This talk: 2-prover 1-round games.
Example: the setting of polynomial size circuits [GILRZ,Imp,IW,IJKW]
For function f and integer n define: “parallel repetition of f” by f(n)(x1,,xn) = (f(x1),,f(xn)).
Parallel repetition/direct product theorem: 8fIf 8poly-size circuit C, on random X, Pr[C(X)=f(X)]≤1-². Then 8poly-size circuit D, on random X1,,Xn Pr[D(X1,,Xn)=f(n)(X1,,Xn)]≤
Application: Hardness amplification: “f mildly hard” ⇒ “f(n) very hard”.
Weakness: input length blows up by a factor of n. Derandomized parallel repetition: Generate
(correlated) X1,,Xn from few random bits by G(X’)=(X1,,Xn).
Prove theorem for fG(x’)=f(n)(G(x’)).
(1-²)n +little bit
Outline for this talk Starting point: There is a parallel
repetition theorem for 2P1R games [Raz].
Goal: derandomized version. Our results: a derandomized version for
the subfamily of “free games”.
2P1R Games A game G between two cooperating players. Referee samples x,y2{0,1}m according to a known
distribution ¹ on pairs. First player receives “input” x and responds with
“answer” a=a(x)2{0,1}L. Second player receives “input” y and responds with
“answer” b=b(y)2{0,1}L. No communication between players. A strategy is a pair of functions (a(¢),b(¢)). Players win if they satisfy a known predicate
V(x,y,a,b).
Val(G) = success probability in best strategy. Rand(G) = number of random bits tossed by referee. Free game: ¹ is the uniform distribution.
(Rand(G)=2m).
Background and disclaimer
2P1R games capture the interaction between an honest verifier and cheating provers in a 2-prover 1-round multi-prover system.
Important for PCP, Hardness of approximation.
Important Disclaimer: Results in this talk are only for free games. The games that come up in PCP are not free.
Parallel repetition of 2P1R Games
For a game G we define the parallel repetition game Gn.
8i 2 [n], referee independently samples (xi,yi) according to the distribution ¹ of the initial game G.
First player receives x1,,xn and responds with “answers” a1=a1(x1,,xn),, an=an(x1,,xn)2{0,1}L.
Second player receives y1,,yn and responds with “answers” b1=b1 (y1,,yn),, bn=bn(y1,,yn)2{0,1}L.
Players win if they win all n games.
Observations: Rand(Gn) = n ¢ Rand(G). If G is free then Gn is free.
Parallel repetition theorem [Raz,Hol]
Let G be a game with Val(G)≤1-², for ²≤½. How large should n be so that Val(Gn)≤(1-²)t ? Naïve guess: n=t suffice. Wrong even for free games [For,Fei]. No function n(t,²) will do (even for free games) [FV]. n=O(t¢L/²C) repetitions suffice for every game [Raz]. Dependence on L is optimal up to log factors [FV]. Dependence on ²: C=2 suffices [Hol] , C=1 suffices
for free games [BRRRS], C=1 necessary for general games [Raz].
Amplifcation from 1-² to (1-²)t currently requires multiplying randomness complexity by n=O(t¢L/²C).
This work: derandomized parallel repetition for free games. Multiplies the randomness complexity by O(t) (in case L=O(m)).
Marketing: In terms of randomness complexity, amplification for free games
can be done at the correct rate!*certain restrictions apply.
Our results Let G be a free game with Val(G)≤1-², for ²≤½. Let E:{0,1}r £ [n] ! {0,1}m be a function.
Define the (derandomized) game GE as follows: Referee chooses x’,y’ uniformly from {0,1}r. First player receives x’ and 8i2[n], sets xi=E(x’,i). Second player receives y’ and 8i2[n], sets yi=E(y’,i). The players play Gn on x1,, xn and y1,,yn.
If E is a strong extractor (with suitable parameters) then
Val(GE) ≤ (1-²)t . Rand(GE) = O(t(m+L)) . For L=O(m), Rand(GE)=O(t) ¢ Rand(G). n=O(t(m+L)/²2), (no cheats with # of repetitions).
Perspective (and disclaimers)
We get “correct rate”: Rand(GE)=O(t) ¢ Rand(G). In other setups (e.g. poly-size circuits)
derandomization beats the correct rate [GILRZ,Imp,IW,IJKW].
We could hope for Rand(GE)=O(t) + Rand(G). [FK] rule out such derandomization (or even
beating the correct rate) for general games. It is open whether one can achieve
Rand(GE)=O(t) ¢ Rand(G) for general games. Example of [FK] is for “constant degree” games. It is open whether one can beat the correct rate
for free games.
High level idea of the proof
We observe that a lemma used in [Raz] can be improved using extractors.
Lemma from Raz’s parallel repetition theorem
Let Z=(Z1,,Zn) be i.i.d. random variables where each Zi is uniform over {0,1}m.
Let W be an event such that Pr[Z 2 W] ≥ 2-a. Assume that n ≥ a/²2. Then for a uniformly chosen i 2 [n], (Zi|W) and Zi are ²–close in statistical distance. More formally ExpiÃ[n][DIST( (Zi|W) ; Zi )] ≤ ²
“Let Z be the uniform on r=n¢m bits and assume that a bits of information about Z are revealed. Then for a random i, (Zi|W) is (close to) uniform.”
Useful in other settings.
Randomness extractors
Daddy, how do
computers get random
bits?
Definition of strong extractors
A function E:{0,1}r £ [n] ! {0,1}m is a strong (k,²)-extractor if for every distribution X with min-entropy* ≥k, for a random i 2 [n], (i,E(X,i)) is ²–close to uniform.
Equivalently, ExpiÃ[n][DIST( E(X,i) ; Um )] ≤ ²
* Dfn: X has min-entropy ≥k if for every x 2 {0,1}r, Pr[X=x] ≤ 2-k
Raz’s lemma is an extractor construction by E(Z,i)=Zi
Let Z=(Z1,,Zn) be i.i.d. random variables where each Zi is uniform over {0,1}m.
Let W be an event such that Pr[Z 2 W] ≥ 2-a. Assume that n ≥ a/²2. Then for a uniformly chosen i 2 [n], (Zi|W) and Zi are ²–close in statistical distance. More formally ExpiÃ[n][DIST( (Zi|W) ; Zi )] ≤ ²
Interpretation: Z is the uniform on r=n¢m bits. The distribution X=(Z|W) has min-entropy ≥ r-a = n¢m-a. For E(Z,i)=Zi we have that for random i, E(X,i) is ¼
uniform. Lemma ⇒ function E is a strong (r-a,²)-extractor.
This is not a good extractor in terms of “entropy loss”!Main idea: Replace E with a better extractor!
⇒entropy: n¢m-a >> m, output: m
Using better extractors we can generate Z=(Z1,,Zn) with similar properties from
r = O(m + a + log(1/²)) random bits Rather than r = O(m ¢ a /²2 ).
Generating Z=(Z1,,Zn) using few random bits
Let E:{0,1}r £ [n] ! {0,1}m be a strong (r-a,²)-extractor. Exists for r=m+a+O(log(1/²)) << m¢a/²2. Choose a uniform Z’ 2 {0,1}r. Define Z=(Z1,,Zn) by Zi=E(Z’,i).
This gives the behavior of the lemma, specifically: Let W be an event such that Pr[Z 2 W] ≥ 2-a. Then ExpiÃ[n][DIST( (Zi|W) ; Zi )] ≤ ².
Suffices to adapt Raz’s proof (for free games). In the proof the lemma is applied with a=O((m+L)t).
Sample space Z’ ! (Z1,,Zn) is also an “averaging sampler” [Zuc]. Necessary for derandomization.
The use of this sample space here seems different (and may help in other settings).
Conclusion82P1R free game G with Val(G)≤1-² we define a
derandomized GE with: Val(GE) ≤ (1-²)t . For L=O(m), Rand(GE)=O(t) ¢ Rand(G).
[PRW]: Parallel repetition theorem for communication games“.
In the paper: derandomized version for free games.
Open problem: Show derandomized parallel repetition theorems for general 2P1R games.
The extractor approach makes sense for general games.
Analysis may require additional properties of the extractor.
Thank You
Top Related