the erd os ko rado theorem for permutations
play

The Erd os-Ko-Rado Theorem for Permutations Karen Meagher (joint - PowerPoint PPT Presentation

The Erd os-Ko-Rado Theorem for Permutations Karen Meagher (joint work with Bahman Ahmadi, Chris Godsil and Pablo Spiga) Villanova University, June 2014 Erd os-Ko-Rado Theorem Theorem Let F be an intersecting k-set system on an n-set.


  1. The Erd˝ os-Ko-Rado Theorem for Permutations Karen Meagher (joint work with Bahman Ahmadi, Chris Godsil and Pablo Spiga) Villanova University, June 2014

  2. Erd˝ os-Ko-Rado Theorem Theorem Let F be an intersecting k-set system on an n-set. For n > 2 k

  3. Erd˝ os-Ko-Rado Theorem Theorem Let F be an intersecting k-set system on an n-set. For n > 2 k � n − 1 � 1. |F| ≤ , k − 1

  4. Erd˝ os-Ko-Rado Theorem Theorem Let F be an intersecting k-set system on an n-set. For n > 2 k � n − 1 � 1. |F| ≤ , k − 1 2. and F meets this bound if and only if every set in F contains a common element.

  5. Intersecting Permutations Two permutations σ and π from the symmetric group on n elements agree at a point i, if σ ( i ) = π ( i )

  6. Intersecting Permutations Two permutations σ and π from the symmetric group on n elements agree at a point i, if π − 1 σ ( i ) = i σ ( i ) = π ( i ) or for some i ∈ { 1 , 2 , . . . , n } .

  7. Intersecting Permutations Two permutations σ and π from the symmetric group on n elements agree at a point i, if π − 1 σ ( i ) = i σ ( i ) = π ( i ) or for some i ∈ { 1 , 2 , . . . , n } . How big can a set of intersecting permutations be?

  8. Intersecting Permutations Two permutations σ and π from the symmetric group on n elements agree at a point i, if π − 1 σ ( i ) = i σ ( i ) = π ( i ) or for some i ∈ { 1 , 2 , . . . , n } . How big can a set of intersecting permutations be? Which systems attain this maximum size?

  9. Canonical Intersecting Permutations Define the set S i , j = { σ ∈ Sym ( n ) | σ ( i ) = j } .

  10. Canonical Intersecting Permutations Define the set S i , j = { σ ∈ Sym ( n ) | σ ( i ) = j } . This is a set of intersecting permutations of size ( n − 1 )! .

  11. Canonical Intersecting Permutations Define the set S i , j = { σ ∈ Sym ( n ) | σ ( i ) = j } . This is a set of intersecting permutations of size ( n − 1 )! . ◮ The set S i , i is the stabilizer of the point i .

  12. Canonical Intersecting Permutations Define the set S i , j = { σ ∈ Sym ( n ) | σ ( i ) = j } . This is a set of intersecting permutations of size ( n − 1 )! . ◮ The set S i , i is the stabilizer of the point i . ◮ The set S i , j is the coset of the stabilizer of the point i .

  13. Erd˝ os-Ko-Rado Theorem for Permutations Frankl and Deza conjectured the following in 1977:

  14. Erd˝ os-Ko-Rado Theorem for Permutations Frankl and Deza conjectured the following in 1977: Theorem Let S be a intersecting set of permutations from Sym ( n ) , then |S| ≤ ( n − 1 )!

  15. Erd˝ os-Ko-Rado Theorem for Permutations Frankl and Deza conjectured the following in 1977: Theorem Let S be a intersecting set of permutations from Sym ( n ) , then |S| ≤ ( n − 1 )! and equality holds if and only if S is the coset of the stabilizer of a point in G.

  16. Erd˝ os-Ko-Rado Theorem for Permutations Frankl and Deza conjectured the following in 1977: Theorem Let S be a intersecting set of permutations from Sym ( n ) , then |S| ≤ ( n − 1 )! and equality holds if and only if S is the coset of the stabilizer of a point in G. Several recent proofs:

  17. Erd˝ os-Ko-Rado Theorem for Permutations Frankl and Deza conjectured the following in 1977: Theorem Let S be a intersecting set of permutations from Sym ( n ) , then |S| ≤ ( n − 1 )! and equality holds if and only if S is the coset of the stabilizer of a point in G. Several recent proofs: ◮ 2003 - Cameron and Ku ◮ 2004 - Larose and Malvenuto ◮ 2008 - Wang and Zhang ◮ 2009 - Godsil and Meagher

  18. Subgroups of the Symmetric Group ◮ Let G ≤ Sym ( n ) ,

  19. Subgroups of the Symmetric Group ◮ Let G ≤ Sym ( n ) , then G acts on { 1 , 2 , . . . , n } .

  20. Subgroups of the Symmetric Group ◮ Let G ≤ Sym ( n ) , then G acts on { 1 , 2 , . . . , n } . ◮ G has the EKR property if the size of largest set of intersecting permutations in G is the size of a stabilizer of a point.

  21. Subgroups of the Symmetric Group ◮ Let G ≤ Sym ( n ) , then G acts on { 1 , 2 , . . . , n } . ◮ G has the EKR property if the size of largest set of intersecting permutations in G is the size of a stabilizer of a point. ◮ G has the strict EKR property if the only intersecting set of maximum size are the cosets of the stabilizer of a point.

  22. Subgroups of the Symmetric Group ◮ Let G ≤ Sym ( n ) , then G acts on { 1 , 2 , . . . , n } . ◮ G has the EKR property if the size of largest set of intersecting permutations in G is the size of a stabilizer of a point. ◮ G has the strict EKR property if the only intersecting set of maximum size are the cosets of the stabilizer of a point. Which groups have the (strict) EKR property?

  23. Derangement Graph for a Group Let G be a permutation group acting on a set X of size n .

  24. Derangement Graph for a Group Let G be a permutation group acting on a set X of size n . ◮ Build a graph Γ G with vertices elements in G ,

  25. Derangement Graph for a Group Let G be a permutation group acting on a set X of size n . ◮ Build a graph Γ G with vertices elements in G , ◮ and vertices are adjacent if they are not intersecting.

  26. Derangement Graph for a Group Let G be a permutation group acting on a set X of size n . ◮ Build a graph Γ G with vertices elements in G , ◮ and vertices are adjacent if they are not intersecting. ◮ The graph Γ G is called the derangement graph

  27. Derangement Graph for a Group Let G be a permutation group acting on a set X of size n . ◮ Build a graph Γ G with vertices elements in G , ◮ and vertices are adjacent if they are not intersecting. ◮ The graph Γ G is called the derangement graph (vertices σ , π are adjacent if π − 1 σ is a derangement).

  28. Derangement Graph for a Group Let G be a permutation group acting on a set X of size n . ◮ Build a graph Γ G with vertices elements in G , ◮ and vertices are adjacent if they are not intersecting. ◮ The graph Γ G is called the derangement graph (vertices σ , π are adjacent if π − 1 σ is a derangement). ◮ A coclique in Γ G is an intersecting set of permutations.

  29. Derangement Graph for a Group Let G be a permutation group acting on a set X of size n . ◮ Build a graph Γ G with vertices elements in G , ◮ and vertices are adjacent if they are not intersecting. ◮ The graph Γ G is called the derangement graph (vertices σ , π are adjacent if π − 1 σ is a derangement). ◮ A coclique in Γ G is an intersecting set of permutations. What is are the largest cocliques (independent sets) in Γ G ?

  30. Algebraic Properties of Derangement Graphs Some properties of Γ G :

  31. Algebraic Properties of Derangement Graphs Some properties of Γ G : ◮ Γ G is vertex transitive.

  32. Algebraic Properties of Derangement Graphs Some properties of Γ G : ◮ Γ G is vertex transitive. ◮ Γ G is a normal Cayley graph,

  33. Algebraic Properties of Derangement Graphs Some properties of Γ G : ◮ Γ G is vertex transitive. ◮ Γ G is a normal Cayley graph, the connection set, D , is the set of all derangements in G .

  34. Algebraic Properties of Derangement Graphs Some properties of Γ G : ◮ Γ G is vertex transitive. ◮ Γ G is a normal Cayley graph, the connection set, D , is the set of all derangements in G . ◮ The eigenvalues of Γ G are

  35. Algebraic Properties of Derangement Graphs Some properties of Γ G : ◮ Γ G is vertex transitive. ◮ Γ G is a normal Cayley graph, the connection set, D , is the set of all derangements in G . ◮ The eigenvalues of Γ G are 1 � χ ( d ) χ ( 1 ) d ∈ D where χ is an irreducible character of G .

  36. 2-Transitive Subgroups 1. If G ≤ Sym ( n ) is a transitive subgroup, then the stabilizer of a point has size | G | / n .

  37. 2-Transitive Subgroups 1. If G ≤ Sym ( n ) is a transitive subgroup, then the stabilizer of a point has size | G | / n . 2. The value of the standard character χ on an element g ∈ G is fix ( g ) − 1.

  38. 2-Transitive Subgroups 1. If G ≤ Sym ( n ) is a transitive subgroup, then the stabilizer of a point has size | G | / n . 2. The value of the standard character χ on an element g ∈ G is fix ( g ) − 1. 3. If G is 2-transitive, the standard character is irreducible.

  39. 2-Transitive Subgroups 1. If G ≤ Sym ( n ) is a transitive subgroup, then the stabilizer of a point has size | G | / n . 2. The value of the standard character χ on an element g ∈ G is fix ( g ) − 1. 3. If G is 2-transitive, the standard character is irreducible. 4. If D is the set of derangements in G , then

  40. 2-Transitive Subgroups 1. If G ≤ Sym ( n ) is a transitive subgroup, then the stabilizer of a point has size | G | / n . 2. The value of the standard character χ on an element g ∈ G is fix ( g ) − 1. 3. If G is 2-transitive, the standard character is irreducible. 4. If D is the set of derangements in G , then 1 � λ χ = χ ( g ) χ ( 1 ) g ∈ D

  41. 2-Transitive Subgroups 1. If G ≤ Sym ( n ) is a transitive subgroup, then the stabilizer of a point has size | G | / n . 2. The value of the standard character χ on an element g ∈ G is fix ( g ) − 1. 3. If G is 2-transitive, the standard character is irreducible. 4. If D is the set of derangements in G , then 1 χ ( g ) = −| D | � λ χ = χ ( 1 ) n − 1 g ∈ D is an eigenvalue.

  42. Hoffman’s Ratio Bound Ratio Bound If X is a d -regular graph then α ( X ) ≤ | V ( X ) | 1 − d τ

Recommend


More recommend