370 likes | 446 Views
C o l o ri n g graph powers; A Fourier approach. N. Alon, I. Dinur, E. Friedgut, B. Sudakov. Traffic light. Whenever you change all the switches. ...the light changes!. How does that work?!. Maybe... the light depends on only one switch?. Weak graph products. Weak graph products.
E N D
Coloring graph powers;A Fourier approach N. Alon, I. Dinur, E. Friedgut, B. Sudakov
Traffic light Whenever you change all the switches... ...the light changes! How does that work?! Maybe... the light depends on only one switch?
Theorem: Trivial Previously known (Lovász & Greenwell) New
Extensions to general r-regular graphs This generalizes part (a)
Sketch of the proof for the case of £nKr For the sake of simplicity we will go through this proof for the case of r=3
easy easy Sketch of the proof for the case of £nKr
Sketch of the proof for the case of £nKr Generalized F.K.N.
General r-regular graphs For the more general case we imitate this proof, and do pseudo-Fourier analysis on products of general graphs. Surprisingly enough, this amounts to no more than a change of basis in a linear space that allows us to “import” results such as F.K.N.
Highlights of the proof for the general case From here on the proof proceeds almost precisely as before, we essentially “cut and paste” the previous arguments, where all the Fourier-related lemmas are preserved under the transformation between the two orthonormal bases of our space: the characters and the eigenvectors of G. (Crucially, this transformation has |S| $ |v|).
Large independent sets Here is an example of a large independent set in f0,1,2gn : All vectors that have at least two 0’s among their first three coordinates. (The measure of this set is 7/27.) Are all reasonably large independent sets of similar form?
No, a random subset of such an independent set is also independent, yet does not depend on a fixed number of coordinates. However, we conjecture that the following is true:
Conjecture: Every large independent set is contained almost entirely in a junta. More Precisely:
Part B: ( or The importance of being biased 1.1) Joint with Irit Dinur.
0 1 2 How to recover the junta?
From binary to ternary, the proof: Wait a minute, doesn’t that prove that every set is close to a junta according to some measure?!
0 0 1 1 2 2 Recovering the junta