Presentation is loading. Please wait.

Presentation is loading. Please wait.

Kevin Matulef MIT Ryan O’Donnell CMU Ronitt Rubinfeld MIT Rocco Servedio Columbia.

Similar presentations


Presentation on theme: "Kevin Matulef MIT Ryan O’Donnell CMU Ronitt Rubinfeld MIT Rocco Servedio Columbia."— Presentation transcript:

1 Kevin Matulef MIT Ryan O’Donnell CMU Ronitt Rubinfeld MIT Rocco Servedio Columbia

2 = Property Testing Linear Threshold Functions =

3 Main Theorem: There is a poly(1/  ) query, nonadaptive, two-sided error property testing algorithm for being a halfspace. Given black-box access to, f a halfspace ) alg. says YES with prob. ¸ 2/3; f  -far from all halfspaces ) alg. says YES with prob. · 1/3. Halfspaces are testable.

4 Motivation “Usual” property testing motivation…? ‘precursor to learning’ motivation makes some sense Not many poly(1/  )-testable classes known. Core test is 2-query: f a halfspace ) Pr[ f passes] ¼ c f  -far from all halfspaces ) Pr[ f passes] · c − poly(  ) Local tests really characterize the class: “Halfspaces maximize this quadratic form, and anything close to maximizing is close to a halfspace.”

5 2-query test Promise: f is balanced 1. Pick to be  -correlated inputs. are such that 2. Test if Thm: f a halfspace ) Pr[ f passes] ¸ f  -far from all halfspaces ) Pr[ f passes] · uniform 1 −1 1 −1 1 i.e.

6 2-query test Promise: f is balanced 1. Pick to be  -correlated inputs. 2. Test if Thm: f a halfspace ) Pr[ f passes] ¸ f  -far from all halfspaces ) Pr[ f passes] · uniform Gaussian

7 The truth about the Boolean test 2-query Gaussian test non-balanced case Boolean, “low-influences” version testing for low influences “cross-testing” two low-influence halfspaces stitching together halfspaces, LP bounds junta-testing [FKRSS’02]

8 Gaussian testing setting Domain: Class to be tested is Halfspaces: thought of as having Gaussian distribution: Each coord 1,…, n distributed as a standard N(0,1) Gaussian Unknown Gaussian

9 Facts about Gaussian space Rotationally invariant The r.v. has distribution N(0, ). With overwhelming probability, Hence essentially same as uniform distribution on the sphere. “ are  -correlated n-dim. Gaussians:” are i.i.d. “  -correlated 1-dim. Gaussians:” – draw, set (proof: =, which has same distribution as by rotational symmetry)

10 Why Gaussian space? You:“Ryan, why are you hassling us with all this Gaussian stuff? I only care about testing on {−1, 1} n.” Me:“Sorry, you have to be able to solve this problem first.” But also: Much nicer setting because of rotational invariance. might really be a function in disguise. [class of halfspaces $ class of halfspaces]

11 Intuition for the test Q: Which subset of half of the [sphere/Gaussian space] maximizes probability of vectors landing in same side?  the test

12 Intuition for the test A: Halfspace, for each value of  2 [0,1]. (And each value of ½.) (Gaussian: [Borell’85] ; Sphere: [Feige-Schechtman’99], others? ) the test

13 But does this characterize halfspaces? Q: If a set passes the test with probability close to that of a halfspace, is it itself close to a halfspace? A: Not known, in general. But: We will show that this is true when  is close to 0.

14 The “YES” case Suppose f is a balanced halfspace. 1.By spherical symmetry, we can assume 2.Thus iff. 3.This probability is  [Sheppard’99] the test Pr[ f passes] ?

15 The “NO” case Suppose is any balanced function. Def: Given, define their “correlation” to be “Usual Fourier analysis thing”: where f = 0 is the “constant part” of f, f = 1 is the “linear part” of f, etc. the test Pr[ f passes] ? Def: any expressible as:

16 The “NO” case the test

17 Analyzing the pass probability Fact: Cor: the test for all i. The tail part,

18 Analyzing the pass probability What is the “constant part” of f ? Prototypical constant function is Fact: = 0 in our case, since I promised f balanced. the test

19 Analyzing the pass probability What is the “linear part” of f ? A linear function looks like Fact: Cor: the test Let’s write in place of

20 Analyzing the pass probability But: (since f is § 1-valued) the test Gaussian facts

21 The “NO” case completed with equality iff I.e., for any f : if is close to, then f is close to being a halfspace. In particular, with a little more analytic care, one concludes: the test (in fact, the sgn of its linear part) )

22 The truth about the Boolean test 2-query Gaussian test non-balanced case Boolean, “low-influences” version testing for low influences “cross-testing” two low-influence halfspaces stitching together halfspaces, LP bounds junta-testing [FKRSS’02]

23 Boolean version The “NO” case Let’s PgUp and see what needs to change!

24 Analyzing the pass probability But: (since f is § 1-valued) the test ??? False: is possible: f (x) = x 1.

25 Idea But: (since f is § 1-valued) False: is possible: f (x) = x 1. ???

26 Idea ??? Central Limit Theorem:If each is “small”, say, (with error bounds) then is “close” in distribution to. “ i th influence ” Germ of remainder of proof: 1.Possible to test if all  i ’s small 2. for at most i’s

27 Open directions 1. this result + “Every lin. thresh. fcn. has a low-weight approximator” [Servedio ’06] = we understand Boolean halfspaces somewhat thoroughly. Can we use this to solve some more open problems? 2.Which classes of functions testable? Consider the class “isomorphic to Majority;” i.e., Another chunk of the paper shows an lower bound! (# queries depends only on 

28


Download ppt "Kevin Matulef MIT Ryan O’Donnell CMU Ronitt Rubinfeld MIT Rocco Servedio Columbia."

Similar presentations


Ads by Google