Presentation is loading. Please wait.

Presentation is loading. Please wait.

Fourier Analysis, Projections, Influences, Juntas, Etc…

Similar presentations


Presentation on theme: "Fourier Analysis, Projections, Influences, Juntas, Etc…"— Presentation transcript:

1 Fourier Analysis, Projections, Influences, Juntas, Etc…

2 © S.Safra Boolean Functions and Juntas A boolean function Def: f is a j-Junta if there exists J  [n] where |J|≤ j, and s.t. for every x f(x) = f(x  J) f is ( , j)-Junta if  j-Junta f’ s.t. f is ( , j)-Junta if  j-Junta f’ s.t.

3 © S.Safra f f * * 0* 1* 11* 110* 00* 01* 010* 011* 000* 001* 111* 10* 100* 101* Functions as an Inner-Product Vector-Space f f 2n2n 2n2n * * 0* 1* 11* 110* 00* 01* 010* 011* 000* 001* 111* 10* 100* 101*

4 © S.Safra Functions as an Inner-Product Vector-Space A functions f is a vector A functions f is a vector Inner product (normalized) Inner product (normalized) Norm (normalized) Norm (normalized)

5 © S.Safra Simple Observations Claims: For a boolean f

6 © S.Safra Fourier-Walsh Transform Consider all multiplicative functions, one for each character S  [n] Consider all multiplicative functions, one for each character S  [n] Given any function let the Fourier-Walsh coefficients of f be Given any function let the Fourier-Walsh coefficients of f be thus f can described as thus f can described as

7 © S.Safra Fourier Transform: Norm Norm: (not normalized) Thm [Parseval]: Hence, for a boolean f

8 © S.Safra Simple Observations Claim: Claim: Hence, for any f Hence, for any f

9 Putting a Junta to the Test Joint work with Eldar Fischer & Guy Kindler Building on [KKL,Freidgut,Bourgain]

10 © S.Safra Junta Test Def: A Junta test is as follows: A distribution over l queries For each l-tuple, a local-test that either accepts or rejects:T[x 1, …, x l ]: {1, -1} l  {T,F} s.t. for a j-junta f whereas for any f which is not ( , j)-Junta

11 © S.Safra Variables` Influence The influence of an index i  [n] on a boolean function f:{1,-1} n  {1,-1} is The influence of an index i  [n] on a boolean function f:{1,-1} n  {1,-1} is Which can be expressed in terms of the Fourier coefficients of f Claim: Which can be expressed in terms of the Fourier coefficients of f Claim:

12 © S.Safra Fourier Representation of influence Proof: consider the I-average function on P[I] which in Fourier representation is and

13 © S.Safra Fourier Representation of influence Proof: consider the influence function which in Fourier representation is and

14 © S.Safra High vs Low Frequencies Def: The section of a function f above k is and the low-frequency portion is

15 © S.Safra Subsets` Influence Def: The influence of a subset I  [n] on a boolean function f is and the low-frequency influence

16 © S.Safra Independence-Test The I-independence-test on a boolean function f is, for Lemma:

17 © S.Safra

18

19 Junta Test The junta-size test on a boolean function f is The junta-size test on a boolean function f is Randomly partition [n] to I 1,.., I r Randomly partition [n] to I 1,.., I r Run the independence-test t times on each I h Run the independence-test t times on each I h Accept if ≤j of the I h fail their independence-tests Accept if ≤j of the I h fail their independence-tests For r>>j 2 and t>>j 2 / 

20 © S.Safra Completeness Lemma: for a j-junta f Proof: only those sets which contain an index of the Junta would fail the independence-test

21 © S.Safra Soundness Lemma: Proof: Assume the premise. Fix  <<1/t and let

22 © S.Safra |J| ≤ j Prop: r >> j implies |J| ≤ j Proof: otherwise, J spreads among I h w.h.p. J spreads among I h w.h.p. and for any I h s.t. I h  J ≠  it must be that influence I (f) >  and for any I h s.t. I h  J ≠  it must be that influence I (f) > 

23 © S.Safra High Frequencies Contribute Little Prop: k >> r log r implies Proof: a character S of size larger than k spreads w.h.p. over all parts I h, hence contributes to the influence of all parts. If such characters were heavy (>  /4), then surely there would be more than j parts I h that fail the t independence-tests

24 © S.Safra Almost all Weight is on J Lemma: Proof: otherwise, since for a random partition w.h.p. (Chernoff bound) for every h however, since for any I the influence of every I h would be ≥  /100rk

25 © S.Safra Find the Close Junta Now, since consider the (non boolean) which, if rounded outside J is boolean and not more than  far from f

26 © S.Safra Open Problems Is there a characterization, via Fourier transform, of all efficiently testable properties? Is there a characterization, via Fourier transform, of all efficiently testable properties? What about tests that probe f only at two or three points? With applications to hardness of approximation. What about tests that probe f only at two or three points? With applications to hardness of approximation.

27 © S.Safra Consider the q-biased product distribution  q : Def: The probability of a subset F and for a family of subsets  Consider the q-biased product distribution  q : Def: The probability of a subset F and for a family of subsets  Product, Biased Distribution

28 © S.Safra Beckner/Nelson/Bonami Inequality Def: let T  be the following operator on any f, Prop: Proof:

29 © S.Safra Beckner/Nelson/Bonami Inequality Def: let T  be the following operator on any f, Thm: for any p≥r and  ≤((r-1)/(p-1)) ½

30 © S.Safra Beckner/Nelson/Bonami Corollary Corollary: for f s.t. f >k =0 and p≥r≥1 Proof:

31 © S.Safra Average Sensitivity The sum of variables’ influence is referred to as the average sensitivity Which can be expressed by the Fourier coefficients as

32 © S.Safra Freidgut Theorem Thm: any boolean f is an [ , j]-junta for Proof: 1. Specify the junta J 2. Show the complement of J has little influence

33 © S.Safra Specify the Junta Set k=O(as(f)/  ), and  =2 -O(k) Let We’ll prove: and let hence, J is a [ ,j]-junta, and |J|=2 O(k)

34 © S.Safra High Frequencies Contribute Little Prop: Proof: a character S of size larger than k contributes k times the square of its coefficient to the average sensitivity. If such characters were heavy (>  /4), as(f) would have been large

35 © S.Safra Altogether Lemma: Proof:

36 © S.Safra Altogether

37 Biased  q - Influence The  q -influence of an index i  [n] on a boolean function f:P[n]  {1,-1} is The  q -influence of an index i  [n] on a boolean function f:P[n]  {1,-1} is

38 © S.Safra Thm [Margulis-Russo]: For monotone  Hence Lemma: For monotone   > 0,  q  [p, p+  ] s.t. as q (  )  1/  Proof: Otherwise  p+  (  ) > 1

39 © S.Safra Proof [Margulis-Russo]:

40 © S.Safra Erdös-Ko-Rado Def: A family of subsets   P[R] is t-intersecting if for every F 1, F 2  , |F 1  F 2 |  t Def: A family of subsets   P[R] is t-intersecting if for every F 1, F 2  , |F 1  F 2 |  t Thm[Wilson,Frankl,Ahlswede-Khachatrian]: For a t-intersecting , where Thm[Wilson,Frankl,Ahlswede-Khachatrian]: For a t-intersecting , where Corollary:  p (  ) > P    is not 2-intersecting Corollary:  p (  ) > P    is not 2-intersecting P  = P  =


Download ppt "Fourier Analysis, Projections, Influences, Juntas, Etc…"

Similar presentations


Ads by Google