370 likes | 453 Views
Explore graph coloring, weak graph products, and Fourier analysis applied to traffic lights and switch dependencies. Discover theorems on independent sets, eigenvalues, and r-regular graphs. Learn about large independent sets and the Junta lemma. Dive into the Erdős-Ko-Rado theorem and continuous EKR. Unravel the importance of being biased in recovering juntas and understanding influences in graph theory.
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