putting a junta to the test joint work with eldar fischer, dana ron, shmuel safra, and alex...
Post on 19-Dec-2015
213 views
TRANSCRIPT
![Page 1: Putting a Junta to the Test Joint work with Eldar Fischer, Dana Ron, Shmuel Safra, and Alex Samorodnitsky Guy Kindler](https://reader030.vdocument.in/reader030/viewer/2022032800/56649d3b5503460f94a163da/html5/thumbnails/1.jpg)
Putting a Junta to the Test
Putting a Junta to the Test
Joint work with Eldar Fischer, Dana Ron, Shmuel Safra, and Alex Samorodnitsky
Guy KindlerGuy Kindler
![Page 2: Putting a Junta to the Test Joint work with Eldar Fischer, Dana Ron, Shmuel Safra, and Alex Samorodnitsky Guy Kindler](https://reader030.vdocument.in/reader030/viewer/2022032800/56649d3b5503460f94a163da/html5/thumbnails/2.jpg)
Property TestingProperty Testing
o P – propertyo f – input
o Goal: Distinguish, using the fewest possible queries, between• f has P• f is -far from having P
d(f,g) = Prx[f(x)≠g(x)]
d(f,g) = Prx[f(x)≠g(x)]
![Page 3: Putting a Junta to the Test Joint work with Eldar Fischer, Dana Ron, Shmuel Safra, and Alex Samorodnitsky Guy Kindler](https://reader030.vdocument.in/reader030/viewer/2022032800/56649d3b5503460f94a163da/html5/thumbnails/3.jpg)
HistoryHistory
o Testing Proofs (PCP): BLR
o Combinatorial properties: GGR
o PRS: Logic AND, monotonous DNF.
![Page 4: Putting a Junta to the Test Joint work with Eldar Fischer, Dana Ron, Shmuel Safra, and Alex Samorodnitsky Guy Kindler](https://reader030.vdocument.in/reader030/viewer/2022032800/56649d3b5503460f94a163da/html5/thumbnails/4.jpg)
JuntasJuntas
Boolean Functions:
nf : { 1,1} { 1,1}
f( )=
n entries
![Page 5: Putting a Junta to the Test Joint work with Eldar Fischer, Dana Ron, Shmuel Safra, and Alex Samorodnitsky Guy Kindler](https://reader030.vdocument.in/reader030/viewer/2022032800/56649d3b5503460f94a163da/html5/thumbnails/5.jpg)
JuntasJuntas
Boolean Functions:
1 -1 1 1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1f( )=-1
nf : { 1,1} { 1,1}
![Page 6: Putting a Junta to the Test Joint work with Eldar Fischer, Dana Ron, Shmuel Safra, and Alex Samorodnitsky Guy Kindler](https://reader030.vdocument.in/reader030/viewer/2022032800/56649d3b5503460f94a163da/html5/thumbnails/6.jpg)
Juntas
1 -1 1 1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1f( )=-1
j-junta: depends on at most j coordinates.
1 -1 1 1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1
![Page 7: Putting a Junta to the Test Joint work with Eldar Fischer, Dana Ron, Shmuel Safra, and Alex Samorodnitsky Guy Kindler](https://reader030.vdocument.in/reader030/viewer/2022032800/56649d3b5503460f94a163da/html5/thumbnails/7.jpg)
-1
JuntasJuntas
1 -1 1 1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1f( )=-1-1 1 1 1 -1 1 1
j-junta: depends on at most j coordinates.
-1
![Page 8: Putting a Junta to the Test Joint work with Eldar Fischer, Dana Ron, Shmuel Safra, and Alex Samorodnitsky Guy Kindler](https://reader030.vdocument.in/reader030/viewer/2022032800/56649d3b5503460f94a163da/html5/thumbnails/8.jpg)
1 -1 1 1 1 1 -1 -1 -1-1 1 1 1 -1 1 1f( )=
Definition of j-Junta TestDefinition of j-Junta Test
1 -1 1 1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1
1 1 1 -1 -1 1 -1 1 1 1 -1 1 1 1 1 1
-1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 1
1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 1 -1 1 -1
-1 -1 -1 1 -1 1 1 -1 1 1 -1 1 -1 1 -1 -1
f( )=
f( )=
f( )=
f( )=
-1
1
1
1
-1
![Page 9: Putting a Junta to the Test Joint work with Eldar Fischer, Dana Ron, Shmuel Safra, and Alex Samorodnitsky Guy Kindler](https://reader030.vdocument.in/reader030/viewer/2022032800/56649d3b5503460f94a163da/html5/thumbnails/9.jpg)
1 -1 1 1 1 1 -1 -1 -1-1 1 1 1 -1 1 1f( )=1 -1 1 1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1
1 1 1 -1 -1 1 -1 1 1 1 -1 1 1 1 1 1
-1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 1
1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 1 -1 1 -1
-1 -1 -1 1 -1 1 1 -1 1 1 -1 1 -1 1 -1 -1
f( )=
f( )=
f( )=
f( )=
-1
1
1
1
-1
Accept?Accept?
Reject?Reject?
Definition of j-Junta TestDefinition of j-Junta Test
![Page 10: Putting a Junta to the Test Joint work with Eldar Fischer, Dana Ron, Shmuel Safra, and Alex Samorodnitsky Guy Kindler](https://reader030.vdocument.in/reader030/viewer/2022032800/56649d3b5503460f94a163da/html5/thumbnails/10.jpg)
Before we test juntas…
Given a set I of coordinates, can we verify that f does not depend on it?
Given a set I of coordinates, can we verify that f does not depend on it?
![Page 11: Putting a Junta to the Test Joint work with Eldar Fischer, Dana Ron, Shmuel Safra, and Alex Samorodnitsky Guy Kindler](https://reader030.vdocument.in/reader030/viewer/2022032800/56649d3b5503460f94a163da/html5/thumbnails/11.jpg)
I-independence testI-independence test
![Page 12: Putting a Junta to the Test Joint work with Eldar Fischer, Dana Ron, Shmuel Safra, and Alex Samorodnitsky Guy Kindler](https://reader030.vdocument.in/reader030/viewer/2022032800/56649d3b5503460f94a163da/html5/thumbnails/12.jpg)
I-independence testI-independence test
I
-1 1 -1 -1 1 -1 1 1 1 -1 1
-1 1 -1 -1 1 -1 1 1 1 -1 1
![Page 13: Putting a Junta to the Test Joint work with Eldar Fischer, Dana Ron, Shmuel Safra, and Alex Samorodnitsky Guy Kindler](https://reader030.vdocument.in/reader030/viewer/2022032800/56649d3b5503460f94a163da/html5/thumbnails/13.jpg)
I-independence testI-independence test
I
w
f( )=
f( )=
-1 1 -1 -1 1 -1 1 1 1 -1 1
-1 1 -1 -1 1 -1 1 1 1 -1 1 1 1 -1 -1 1
-1 1 1 -1 -1
-1
1
![Page 14: Putting a Junta to the Test Joint work with Eldar Fischer, Dana Ron, Shmuel Safra, and Alex Samorodnitsky Guy Kindler](https://reader030.vdocument.in/reader030/viewer/2022032800/56649d3b5503460f94a163da/html5/thumbnails/14.jpg)
I-independence testI-independence test
I
f( )=
wf( )=
-1 1 -1 -1 1 -1 1 1 1 -1 1
-1 1 -1 -1 1 -1 1 1 1 -1 1 1 1 -1 -1 1
-1 1 1 -1 -1
-1
1
Claim: If Pr[I is detected] ≤ then f is at most ”-dependent on I” g independent of I, d(f,g)≤
variationf(I)
![Page 15: Putting a Junta to the Test Joint work with Eldar Fischer, Dana Ron, Shmuel Safra, and Alex Samorodnitsky Guy Kindler](https://reader030.vdocument.in/reader030/viewer/2022032800/56649d3b5503460f94a163da/html5/thumbnails/15.jpg)
Claim: If Pr[I is detected] ≤ then f is at most ”-dependent on I”
I-independence testI-independence test
I
f( )=
wf( )=
-1 1 -1 -1 1 -1 1 1 1 -1 1
-1 1 -1 -1 1 -1 1 1 1 -1 1 1 1 -1 -1 1
-1 1 1 -1 -1
-1
1
g independent of I, d(f,g)≤
variationf(I)
![Page 16: Putting a Junta to the Test Joint work with Eldar Fischer, Dana Ron, Shmuel Safra, and Alex Samorodnitsky Guy Kindler](https://reader030.vdocument.in/reader030/viewer/2022032800/56649d3b5503460f94a163da/html5/thumbnails/16.jpg)
Claim: If Pr[I is detected] ≤ then f is at most ”-dependent on I”
I-independence testI-independence test
Proof: Let g(w z0)=Majz{f(wz)}
Define p(w)=Prz[f(wz)≠g(w z)]
variationf(I)
dist(f,g)
wE p(w)
1 2w,z ,z 1 2 Pr [f(w z ) f(w z )]
wE 2p(w)(1 p(w))
I
f( )=
wf( )=
-1 1 -1 -1 1 -1 1 1 1 -1 1
-1 1 -1 -1 1 -1 1 1 1 -1 1 1 1 -1 -1 1
-1 1 1 -1 -1
-1
1
g independent of I, d(f,g)≤
variationf(I)
1 2w z ,z 1 2E Pr [f(w z ) f(w z )]
w,zPr f(w z) g(w z)
![Page 17: Putting a Junta to the Test Joint work with Eldar Fischer, Dana Ron, Shmuel Safra, and Alex Samorodnitsky Guy Kindler](https://reader030.vdocument.in/reader030/viewer/2022032800/56649d3b5503460f94a163da/html5/thumbnails/17.jpg)
1. Partition the coordinates into r subsets.
The j-Junta TestThe j-Junta Test
I1 Ir
r=10j2r=10j2
A j-junta is independent of all but j subsets !
A j-junta is independent of all but j subsets !
![Page 18: Putting a Junta to the Test Joint work with Eldar Fischer, Dana Ron, Shmuel Safra, and Alex Samorodnitsky Guy Kindler](https://reader030.vdocument.in/reader030/viewer/2022032800/56649d3b5503460f94a163da/html5/thumbnails/18.jpg)
1. Partition the coordinates into r subsets.
2. Run the independence-test r/ times on each subset.
The j-Junta TestThe j-Junta Test
I1 Ir
If f has variation “/r” on a subset, it is almost surely detected!
If f has variation “/r” on a subset, it is almost surely detected!
![Page 19: Putting a Junta to the Test Joint work with Eldar Fischer, Dana Ron, Shmuel Safra, and Alex Samorodnitsky Guy Kindler](https://reader030.vdocument.in/reader030/viewer/2022032800/56649d3b5503460f94a163da/html5/thumbnails/19.jpg)
1. Partition the coordinates into r subsets.
2. Run the independence-test r/ times on each subset.
3. Accept if ≤j of the subsets are detected.
The j-Junta TestThe j-Junta Test
I1 Ir
Completeness:Completeness:
Soundness:
If f is far from being a junta,
then the test rejects with
probability ½.
Soundness:
If f is far from being a junta,
then the test rejects with
probability ½.
![Page 20: Putting a Junta to the Test Joint work with Eldar Fischer, Dana Ron, Shmuel Safra, and Alex Samorodnitsky Guy Kindler](https://reader030.vdocument.in/reader030/viewer/2022032800/56649d3b5503460f94a163da/html5/thumbnails/20.jpg)
Lemma: For every Boolean f, unless
f is –close to a j-junta,
w.h.p.,
the test rejects.
SoundnessSoundness
at least j+1 subsets have variation /r
[n], ||≤j, variationf([n]\)<
over the partitions of [n],
![Page 21: Putting a Junta to the Test Joint work with Eldar Fischer, Dana Ron, Shmuel Safra, and Alex Samorodnitsky Guy Kindler](https://reader030.vdocument.in/reader030/viewer/2022032800/56649d3b5503460f94a163da/html5/thumbnails/21.jpg)
VariationsVariations
21f̂ (S )
22f̂ (S )
23f̂ (S )
24f̂ (S )
26f̂ (S )
27f̂ (S )
11
![Page 22: Putting a Junta to the Test Joint work with Eldar Fischer, Dana Ron, Shmuel Safra, and Alex Samorodnitsky Guy Kindler](https://reader030.vdocument.in/reader030/viewer/2022032800/56649d3b5503460f94a163da/html5/thumbnails/22.jpg)
VariationsVariations
I
21f̂ (S )
22f̂ (S )
23f̂ (S )
24f̂ (S )
26f̂ (S )
27f̂ (S )
21f̂ (S )
22f̂ (S )
26f̂ (S )
![Page 23: Putting a Junta to the Test Joint work with Eldar Fischer, Dana Ron, Shmuel Safra, and Alex Samorodnitsky Guy Kindler](https://reader030.vdocument.in/reader030/viewer/2022032800/56649d3b5503460f94a163da/html5/thumbnails/23.jpg)
VariationsVariations
I
21f̂ (S )
22f̂ (S )
23f̂ (S )
24f̂ (S )
26f̂ (S )
27f̂ (S )
f Ivariation
![Page 24: Putting a Junta to the Test Joint work with Eldar Fischer, Dana Ron, Shmuel Safra, and Alex Samorodnitsky Guy Kindler](https://reader030.vdocument.in/reader030/viewer/2022032800/56649d3b5503460f94a163da/html5/thumbnails/24.jpg)
We’ll prove that unless
f is –close to a j-junta,
w.h.p.
the test rejects.at least j+1 subsets have variation
/r
||≤j, and variationf([n]\)<
over the partitions of [n],
For t /r, let fi | i tvariationJ
I1 Ir
If ||>j, easy !!If ||>j, easy !!
![Page 25: Putting a Junta to the Test Joint work with Eldar Fischer, Dana Ron, Shmuel Safra, and Alex Samorodnitsky Guy Kindler](https://reader030.vdocument.in/reader030/viewer/2022032800/56649d3b5503460f94a163da/html5/thumbnails/25.jpg)
We’ll prove that unless
f is –close to a j-junta,
w.h.p.
the test rejects.at least j+1 subsets have variation
/r
||≤j, and variationf([n]\)<
over the partitions of [n],
Fix t /r and let ii | f t variationJ
I1 Ir
Assume variationf([n]\)>.
Then !!!
Assume variationf([n]\)>.
Then !!!
mf[ (I )] / rE variation
Claim: w.h.p. mf (I \ ) / 2rvariation J
![Page 26: Putting a Junta to the Test Joint work with Eldar Fischer, Dana Ron, Shmuel Safra, and Alex Samorodnitsky Guy Kindler](https://reader030.vdocument.in/reader030/viewer/2022032800/56649d3b5503460f94a163da/html5/thumbnails/26.jpg)
mi I ]=1/ r=J , Pr[o Recall: For each i in
Claim: w.h.p. mf (I \ ) / 2rvariation J
![Page 27: Putting a Junta to the Test Joint work with Eldar Fischer, Dana Ron, Shmuel Safra, and Alex Samorodnitsky Guy Kindler](https://reader030.vdocument.in/reader030/viewer/2022032800/56649d3b5503460f94a163da/html5/thumbnails/27.jpg)
I
21f̂ (S )
22f̂ (S )
23f̂ (S )
24f̂ (S )
26f̂ (S )
27f̂ (S )
mi I ]=1/ r=J , Pr[o Recall: For each i in
Claim: w.h.p. mf (I \ ) / 2rvariation J
23f̂ (S )
![Page 28: Putting a Junta to the Test Joint work with Eldar Fischer, Dana Ron, Shmuel Safra, and Alex Samorodnitsky Guy Kindler](https://reader030.vdocument.in/reader030/viewer/2022032800/56649d3b5503460f94a163da/html5/thumbnails/28.jpg)
I
The Unique-VariationThe Unique-Variation
21f̂ (S )
22f̂ (S )
23f̂ (S )
24f̂ (S )
26f̂ (S )
27f̂ (S )
![Page 29: Putting a Junta to the Test Joint work with Eldar Fischer, Dana Ron, Shmuel Safra, and Alex Samorodnitsky Guy Kindler](https://reader030.vdocument.in/reader030/viewer/2022032800/56649d3b5503460f94a163da/html5/thumbnails/29.jpg)
I
The Unique-VariationThe Unique-Variation
21f̂ (S )
22f̂ (S )
23f̂ (S )
24f̂ (S )
26f̂ (S )
27f̂ (S )
![Page 30: Putting a Junta to the Test Joint work with Eldar Fischer, Dana Ron, Shmuel Safra, and Alex Samorodnitsky Guy Kindler](https://reader030.vdocument.in/reader030/viewer/2022032800/56649d3b5503460f94a163da/html5/thumbnails/30.jpg)
I
The Unique-VariationThe Unique-Variation
21f̂ (S )
22f̂ (S )
23f̂ (S )
24f̂ (S )
26f̂ (S )
27f̂ (S )
21f̂ (S )
22f̂ (S )
23f̂ (S )
24f̂ (S )
26f̂ (S )
27f̂ (S )
22f̂ (S )
![Page 31: Putting a Junta to the Test Joint work with Eldar Fischer, Dana Ron, Shmuel Safra, and Alex Samorodnitsky Guy Kindler](https://reader030.vdocument.in/reader030/viewer/2022032800/56649d3b5503460f94a163da/html5/thumbnails/31.jpg)
I
The Unique-VariationThe Unique-Variation
21f̂ (S )
22f̂ (S )
23f̂ (S )
24f̂ (S )
26f̂ (S )
27f̂ (S )
21f̂ (S )
22f̂ (S )
23f̂ (S )
24f̂ (S )
26f̂ (S )
27f̂ (S )
22f̂ (S )
I fu_variation
![Page 32: Putting a Junta to the Test Joint work with Eldar Fischer, Dana Ron, Shmuel Safra, and Alex Samorodnitsky Guy Kindler](https://reader030.vdocument.in/reader030/viewer/2022032800/56649d3b5503460f94a163da/html5/thumbnails/32.jpg)
I
The Unique-VariationThe Unique-Variation
21f̂ (S )
22f̂ (S )
23f̂ (S )
24f̂ (S )
26f̂ (S )
27f̂ (S )
21f̂ (S )
22f̂ (S )
23f̂ (S )
24f̂ (S )
26f̂ (S )
27f̂ (S )
22f̂ (S )
I fu_variation
ff u_variation variationJ J
![Page 33: Putting a Junta to the Test Joint work with Eldar Fischer, Dana Ron, Shmuel Safra, and Alex Samorodnitsky Guy Kindler](https://reader030.vdocument.in/reader030/viewer/2022032800/56649d3b5503460f94a163da/html5/thumbnails/33.jpg)
I
The Unique-VariationThe Unique-Variation
21f̂ (S )
22f̂ (S )
23f̂ (S )
24f̂ (S )
26f̂ (S )
27f̂ (S )
21f̂ (S )
22f̂ (S )
23f̂ (S )
24f̂ (S )
26f̂ (S )
27f̂ (S )
22f̂ (S )
I fu_variation
mI f / r E u_variation
![Page 34: Putting a Junta to the Test Joint work with Eldar Fischer, Dana Ron, Shmuel Safra, and Alex Samorodnitsky Guy Kindler](https://reader030.vdocument.in/reader030/viewer/2022032800/56649d3b5503460f94a163da/html5/thumbnails/34.jpg)
I
The Unique-VariationThe Unique-Variation
21f̂ (S )
22f̂ (S )
23f̂ (S )
24f̂ (S )
26f̂ (S )
27f̂ (S )
21f̂ (S )
22f̂ (S )
23f̂ (S )
24f̂ (S )
26f̂ (S )
27f̂ (S )
22f̂ (S )
I fu_variation
mI with high probability !2r !f /variation
![Page 35: Putting a Junta to the Test Joint work with Eldar Fischer, Dana Ron, Shmuel Safra, and Alex Samorodnitsky Guy Kindler](https://reader030.vdocument.in/reader030/viewer/2022032800/56649d3b5503460f94a163da/html5/thumbnails/35.jpg)
I
The Unique-VariationThe Unique-Variation
21f̂ (S )
22f̂ (S )
23f̂ (S )
24f̂ (S )
26f̂ (S )
27f̂ (S )
21f̂ (S )
22f̂ (S )
23f̂ (S )
24f̂ (S )
26f̂ (S )
27f̂ (S )
22f̂ (S )
I fu_variation
mI with high probability !2r !f /variation
Q.E.DQ.E.D
![Page 36: Putting a Junta to the Test Joint work with Eldar Fischer, Dana Ron, Shmuel Safra, and Alex Samorodnitsky Guy Kindler](https://reader030.vdocument.in/reader030/viewer/2022032800/56649d3b5503460f94a163da/html5/thumbnails/36.jpg)
Other ResultsOther Results
o Shown number of queries: j4/o Using adaptivity: j3/o Using two-sidedness: j2/ o Allowing (2j)-juntas: j2/ o Variables in General probability
spaces.o “f” is “g” test, where g is a j-junta.o Lower Bound: at least (j)1/2 queries are
needed
![Page 37: Putting a Junta to the Test Joint work with Eldar Fischer, Dana Ron, Shmuel Safra, and Alex Samorodnitsky Guy Kindler](https://reader030.vdocument.in/reader030/viewer/2022032800/56649d3b5503460f94a163da/html5/thumbnails/37.jpg)
Open ProblemsOpen Problems
o Improve lower bound to j2/(perhaps via random-walk convergence on Z2)
o “f is g” for non-juntas?
o Characterize efficiently testable properties via Fourier transform??