Extremal combinatorics in generalized Kneser graphs
Citation for published version (APA): Mussche, T. J. J. (2009). Extremal combinatorics in generalized Kneser graphs. Technische Universiteit Eindhoven. https://doi.org/10.6100/IR642440
DOI: 10.6100/IR642440
Document status and date: Published: 01/01/2009
Document Version: Publisher’s PDF, also known as Version of Record (includes final page, issue and volume numbers)
Please check the document version of this publication:
• A submitted manuscript is the version of the article upon submission and before peer-review. There can be important differences between the submitted version and the official published version of record. People interested in the research are advised to contact the author for the final version of the publication, or visit the DOI to the publisher's website. • The final author version and the galley proof are versions of the publication after peer review. • The final published version features the final layout of the paper including the volume, issue and page numbers. Link to publication
General rights Copyright and moral rights for the publications made accessible in the public portal are retained by the authors and/or other copyright owners and it is a condition of accessing publications that users recognise and abide by the legal requirements associated with these rights.
• Users may download and print one copy of any publication from the public portal for the purpose of private study or research. • You may not further distribute the material or use it for any profit-making activity or commercial gain • You may freely distribute the URL identifying the publication in the public portal.
If the publication is distributed under the terms of Article 25fa of the Dutch Copyright Act, indicated by the “Taverne” license above, please follow below link for the End User Agreement: www.tue.nl/taverne
Take down policy If you believe that this document breaches copyright please contact us at: [email protected] providing details and we will investigate your claim.
Download date: 04. Oct. 2021 Extremal combinatorics in generalized Kneser graphs
PROEFSCHRIFT
ter verkrijging van de graad van doctor aan de Technische Universiteit Eindhoven, op gezag van de Rector Magnificus, prof.dr.ir. C.J. van Duijn, voor een commissie aangewezen door het College voor Promoties in het openbaar te verdedigen op donderdag 16 april 2009 om 16.00 uur
door
Tim Joris Jacqueline Mussche
geboren te Eeklo, Belgi¨e Dit proefschrift is goedgekeurd door de promotoren: prof.dr. A.E. Brouwer en prof.dr. A.M. Cohen
Copromotor: dr. A. Blokhuis Contents
Contents 3
1 Introduction 7 1.1 Sets ...... 7 1.2 Graphs ...... 9 1.2.1 Basic definitions ...... 9 1.2.2 Graph colorings and chromatic numbers ...... 11 1.2.3 Graph homomorphisms ...... 13 1.3 Finite projective spaces ...... 15 1.3.1 Finite fields ...... 15 1.3.2 Projective spaces ...... 17 1.3.3 The projective space PG(n, q) ...... 22 1.3.4 Some counting in PG(n, q) ...... 24 1.4 Finite polar spaces ...... 25
2 Combinatorics and q-analogues 27 2.1 An easy example ...... 27 2.2 Sperner’s Theorem ...... 28 2.2.1 Original problem ...... 28 2.2.2 q-analogue ...... 30 2.3 Erd˝os-Ko-Radotheorem ...... 31 2.3.1 Original problem ...... 31 2.3.2 q-Analogue ...... 32 2.4 Bollob´as’stheorem ...... 33 2.4.1 Set version ...... 33 2.4.2 Set vs. subspace version ...... 36 2.4.3 Subspace version ...... 36 2.5 The Hilton-Milner theorem ...... 36 2.5.1 Original problem ...... 36
3 4 CONTENTS
2.5.2 The q-analogue ...... 38 2.6 Small maximal cliques ...... 53
3 The Kneser and q-Kneser graphs 59 3.1 Definitions and properties ...... 59 3.2 Homomorphisms...... 61 3.2.1 Homomorphisms between Kneser graphs ...... 62 3.2.2 Homomorphisms between q-Kneser graphs ...... 64 3.2.3 A homomorphism from a q-Kneser graph into a Kneser graph ...... 65 3.3 Chromatic numbers ...... 65 3.3.1 The Kneser graphs ...... 65 3.3.2 The q-Kneser graphs ...... 68
4 A family of point-hyperplane graphs 77 4.1 Definition ...... 77 4.2 PH(2, q)...... 83 4.3 PH(3, q)...... 83
5 Polar versions of the q-Kneser graphs 87 5.1 Definition ...... 87 5.2 Chromatic numbers ...... 89 Q+ 5.2.1 Kq (2m + 2, m + 1), m ≥ 2 even, a trivial case . . . . 89 P 5.2.2 Kq (n, 1) ...... 90 P P 5.2.3 Γq (n, 2) and Kq (n, 2), where P has rank 2 ...... 94
6 Generalized Kneser graphs 99 6.1 Chevalley groups ...... 99 6.1.1 Tits systems ...... 99 6.1.2 Coxeter systems ...... 101 6.1.3 Root systems ...... 101 6.1.4 Chevalley groups ...... 103 6.2 Generalized Kneser graphs ...... 105 6.2.1 Definition ...... 105 6.2.2 Parameters ...... 105
6.3 Chromatic numbers in the thin An(1) case ...... 114 6.4 Chromatic numbers in the thick An case ...... 121 CONTENTS 5
A Parameters of generalized Kneser graphs 123 A.1 The case J w0 = J ...... 123 A.2 The case J w0 6= J ...... 143
Bibliography 148
Index 153
Samenvatting 157
Summary 159
Acknowledgements 161 6 CONTENTS Chapter 1
Introduction
In this first chapter we will introduce the basic notions used in this thesis. It is not the intention to give a complete, self contained description of every topic. Instead the most important notions are defined and the most useful results are mentioned, often without proof. We refer the reader to the ci- tations with each topic for more background information and proofs of the results.
First we introduce some notions of set theory. Then some graph theo- retic topics are mentioned. Since this thesis describes a way of translating problems in set theory and graph theory into finite geometry we need to introduce the basic facts about projective spaces. In Chapter 5 we general- ize the construction over projective spaces of Chapter 3 to work over polar spaces, so we define here what polar spaces are and give some properties.
Unless stated otherwise all the objects used here are finite.
1.1 Sets
Take a set X with n elements. Such a set is also called an n-set. We can ask ourselves how many subsets of X with k elements (k-subsets) there are, where 0 ≤ k ≤ n. This is of course a very easy calculation, but in a later section we will use the same method to calculate some numbers about vector spaces, so we will give the calculation anyway. To form such a k-subset we have to choose k elements from X. For the first element we have n choices, for the second element n − 1 choices, and so on. Finally for the k-th element
7 8 CHAPTER 1. INTRODUCTION we have n − k + 1 choices left. But now there are many choices that lead to the same k-subset; indeed all choices of the same k points but in a different order give rise to the same subset. So, to get the correct number we have to divide by the number of permutations of k points, which is k!. So we have:
n(n − 1)(n − 2) ··· (n − k + 1) (the number of k-subsets of an n-set) = k! n! = k!(n − k)! n = k
Definition 1.1. The number of k-subsets of an n-set (with 1 ≤ k ≤ n) is n given by the binomial coefficient k .
Definition 1.2. A set of sets F is called a set system or a family of sets. If all the elements of F are subsets of some set X, then F is called a family over X, and X is called the universe of F. If all the members of F have size k, then F is called a k-uniform family. F is called uniform if it is k-uniform for some integer k.
We give two examples of special set systems.
Definition 1.3. A set system F is called a chain when for any two elements one is a proper subset of the other.
Definition 1.4. A family of sets F is called an antichain if no set in F is a proper subset of another set in F. Easy examples of such families are uniform families. Antichains are also named Sperner families after E. Sperner, who proved a tight upper bound on the size of an antichain (see Theorem 2.2).
A set system can be viewed as a poset (or partially ordered set). To define this notion we need to define a partial order. 1.2. GRAPHS 9
Definition 1.5. A relation on a set X is called a partial order on X if it satisfies:
• Reflexivity: x x for all x ∈ X,
• Antisymmetry: if x y and y x then x = y for all x, y ∈ X, and
• Transitivity: if x y and y z then x z for all x, y, z ∈ X.
If x y or y x then x and y are called comparable with respect to , otherwise they are called incomparable.
Definition 1.6. A poset (or partially ordered set) is an ordered pair (X, ) where X is a set, called the ground set, and a partial order on X.
A chain in a poset is a subset of X whose elements are pairwise compa- rable. An antichain is a subset whose elements are pairwise incomparable. A maximal chain is a chain that cannot be extended to a larger chain.
It is clear to see that the relation ⊆ (“is subset of”) is a partial order. So the pair (F, ⊆), where F is a set system is a poset. It is easy to see that a(n) (anti-)chain in this poset is exactly what we called a(n) (anti-)chain before. The poset (2X , ⊆), where 2X is the set system containing all subsets of X, is called the subset poset of X.
1.2 Graphs
1.2.1 Basic definitions Definition 1.7. A (simple) graph Γ = (V,E) is a pair consisting of a set V of vertices and a 2-uniform family E, called the edge set, with universe V , whose members are called edges. Two vertices u, v ∈ V are called adjacent if {u, v} ∈ E and this edge is said to join the vertices u and v. In that case, u and v are also called the end points of the edge {u, v}. The neighbors of a vertex are the vertices adjacent to that vertex. The degree of a vertex is the number of its neighbors. A graph in which each vertex has the same degree is called regular.
We will sometimes use |Γ| as a notation for the number of vertices of Γ. 10 CHAPTER 1. INTRODUCTION
Definition 1.8. Two vertices u, v ∈ V are called joined if there are vertices u = u0, u1, . . . , um = v in V for a certain m ≥ 0 such that {ui, ui+1} is an edge for all 0 ≤ i ≤ m − 1. Such a sequence of adjacent vertices is called a path between u and v. If all the ui’s are different, this is called a simple path. If u and v are connected, the length of the shortest path between them is called the distance and is denoted by d(u, v). A path of length at least three without repeated vertices except that the two endpoints are the same is called a cycle.
Being joined by a path is an equivalence relation on the set of vertices. The equivalence classes are called the connected components of the graph. A graph is called connected when it has precisely one connected component. Thus the empty graph (the graph with no vertices) is disconnected because it has no connected components.
Some subsets of the vertex set have special properties:
Definition 1.9. An independent set is a subset of the vertex set in which no two vertices are adjacent. A clique is a subset of the vertex set in which all pairs of vertices are adjacent. A complete graph is a graph where the edge set E contains all pairs of vertices in V . This means that all vertices are pairwise adjacent. The complete graph on n vertices is denoted by Kn.
Starting from one graph, there are many ways to construct other graphs. The most straightforward ways are taking subgraphs and taking the com- plement:
Definition 1.10. A graph Γ0 = (V 0,E0) is called a subgraph of a graph Γ = (V,E) if V 0 is a subset of V and all edges in E0 are also in E. A sub- graph is called induced if all unordered vertex pairs of Γ0 that are adjacent in Γ are also adjacent in Γ0.
Definition 1.11. The complement of a graph Γ = (V,E) is the graph Γ = (V, E) where the edge set E consists of all pairs of vertices that are not elements of E. In other words, adjacent pairs in Γ are not adjacent in Γ and vice versa.
It is clear that the complement of a clique is an independent set and that the complement of an independent set is a clique. For that reason, an independent set is also called a coclique. The complement of the complete 1.2. GRAPHS 11 graph Kn has n vertices and no edges and is called an edgeless graph.
To each graph we can associate certain numbers, called graph parameters. Some well-known examples are the independence number and the clique number.
Definition 1.12. The independence number α(Γ) of a graph Γ is the size of the largest independent set in Γ. The clique number ω(Γ) is the size of the largest clique in Γ. Again it is clear that α(Γ) = ω(Γ) and ω(Γ) = α(Γ).
1.2.2 Graph colorings and chromatic numbers Definition 1.13 (Graph coloring). A vertex coloring of a graph Γ = (V,E) is a partition of the vertex set. The color of a vertex is determined by the block of the partition that the vertex is in. A proper (vertex) coloring is a vertex coloring such that the end points of an edge have a different color. From now on, if the term (graph) coloring is used without further qualifi- cation, we are referring to a proper vertex coloring of a graph. Colors will usually be denoted by integers.
We can now define some other graph parameters:
Definition 1.14. The chromatic number χ(Γ) of a graph Γ is the minimum number of colors needed to color Γ. A coloring using only χ(Γ) colors is called a minimal coloring of Γ.
Because all vertices of the same color form an independent set, there is a very easy connection between the independence number and the chromatic number of a graph:
Proposition 1.15. For each graph Γ we have that
|Γ| ≤ α(Γ)χ(Γ).
Graph colorings are generalized by multiple graph colorings: 12 CHAPTER 1. INTRODUCTION
Definition 1.16 (Multiple coloring). A k-fold coloring of a graph Γ for a positive integer k is an assignment of exactly k colors to each vertex of Γ such that two adjacent vertices have no colors in common.
A connected graph Γ with at least two vertices must have at least one edge. In a k-fold coloring of Γ with c colors, the endpoints of this edge cannot have a color in common, so we have:
Proposition 1.17. If a k-fold coloring of a connected graph Γ exists with c colors, then:
• c = mk if Γ is an m-clique,
• c ≥ mk if Γ contains an m-clique.
Associated with these multiple colorings is the multiple chromatic num- ber:
Definition 1.18. The k-fold chromatic number χk(Γ) of a graph Γ for a positive integer k is the minimum number of colors needed for a k-fold col- oring of Γ. Such a coloring is called a minimal k-fold coloring of Γ.
It is obvious that a 1-fold coloring of a graph is just a proper vertex coloring.
It is easy to see that χk(Γ) is subadditive:
Proposition 1.19. For each graph Γ and positive integers k1, k2 we have:
χk1+k2 (Γ) ≤ χk1 (Γ) + χk2 (Γ).
Proof. Let C1 be a minimal k1-fold coloring of Γ and C2 a minimal k2-fold coloring such that C1 and C2 have no colors in common. Now each vertex of Γ is colored by exactly k1 colors of C1 and exactly k2 colors of C2, so we have a (k1 + k2)-fold coloring of Γ and hence an upper bound on χk1+k2 (Γ). Definition 1.20 (Fractional chromatic number). The fractional chromatic number χF (Γ) of a graph Γ is defined as:
χk(Γ) χF (Γ) = lim k→∞ k 1.2. GRAPHS 13
The existence of this limit is guaranteed by the previous proposition and the following lemma by M. Fekete:
Lemma 1.21 (M. Fekete (1923) [20]). If a sequence of real numbers {an} satisfies the subadditivity condition, then a a lim n = inf n . n→∞ n n n
For the fractional chromatic number of a graph, this means:
χk(Γ) χF (Γ) = inf . k k
We state some properties regarding fractional chromatic numbers:
Proposition 1.22 ([43]). Given a graph Γ we have that:
(i) χF (Γ) is a rational number,
χk(Γ) (ii) there is a positive integer k such that χF (Γ) = k , and
|Γ| 1 (iii) χF (Γ) ≥ α(Γ) , with equality if Γ is vertex-transitive .
Note that the second property means that the fractional chromatic num- χk(Γ) ber of a graph Γ is actually the minimum of all k .
1.2.3 Graph homomorphisms Homomorphisms from a graph Γ into certain other graphs can give infor- mation about the parameters of Γ. We will give the definition of a graph homomorphism and show what “target graphs” give information about the various chromatic numbers.
1A graph is vertex-transitive if the automorphism group of the graph is transitive on its vertices 14 CHAPTER 1. INTRODUCTION
Definition 1.23 (Graph Homomorphism). Consider the graphs Γ = (V,E) and Γ0 = (V 0,E0). A (graph) homomorphism η :Γ → Γ0 is a map from V to V 0 such that adjacent vertices of Γ are mapped to adjacent vertices of Γ0. This implies that the fibers2 over the vertices in Γ0 are independent sets of Γ.
If the map is injective, we call the homomorphism an embedding.A surjective embedding whose inverse is also a homomorphism is called an isomorphism. Two graphs that have an isomorphism between them are called isomorphic.
If there is a homomorphism from Γ to Γ0 we will note this as follows: Γ → Γ0. If there is an embedding from Γ into Γ0 the notation becomes: Γ ,→ Γ0. We will write Γ =∼ Γ0 if Γ is isomorphic to Γ0.
Graph homomorphisms can be used to obtain bounds on the various chromatic numbers of a graph. Suppose there is a homomorphism η :Γ → Γ0, and take a (k-fold) coloring of Γ0 (for a positive integer k). Now give the vertices of Γ the same color(s) as their images under η. It is clear that this yields a proper (k-fold) coloring of Γ. This shows the following proposition: 0 0 Proposition 1.24. If Γ → Γ , then χk(Γ) ≤ χk(Γ ) for all positive integers k.
A coloring of a graph Γ with c colors can be seen as a homomorphism Γ → Kc. Indeed, number the colors m1, m2, . . . , mc and the vertices of Kc v1, v2, . . . , vc, and define for all vertices x of Γ:
η(x) = vi where mi is the color of x. Two adjacent vertices of Γ must have a different color, so they will be mapped to different vertices of Kc, and those are adjacent, so η defines a homomorphism.
Conversely every homomorphism of a graph into a complete graph can be seen as a coloring of the graph with as many colors as vertices of the complete graph. So we have: Proposition 1.25. A coloring of a graph Γ with c colors is equivalent to a homomorphism from Γ to the complete graph Kc.
2inverse images 1.3. FINITE PROJECTIVE SPACES 15
With this in mind we can give an alternative definition of the chromatic number of a graph:
Proposition 1.26. χ(Γ) = min{c such that Γ → Kc}.
A natural question is now whether we can do the same for a multiple coloring. Take a k-fold coloring of a graph Γ with n colors. Now each vertex is colored by exactly k out of n colors, so consider the graph we will denote K(n, k), whose vertices are all the k-subsets out of the n-set of used colors. We know that two adjacent vertices of Γ cannot share a color, so if we make all pairs of vertices of K(n, k) that are disjoint as subsets adjacent, there is a natural homomorphism from Γ into K(n, k).
Again, the converse is also clear, so we have the following equivalence:
Proposition 1.27. A k-fold coloring of a graph Γ with n colors is equiva- lent to a homomorphism from Γ into the graph K(n, k).
As a consequence:
Proposition 1.28. For each positive integer k we have:
χk(Γ) = min{n such that Γ → K(n, k)}.
This graph K(n, k) is called the Kneser graph, and we will say more about it in Chapter 3.
1.3 Finite projective spaces
1.3.1 Finite fields Definition 1.29 (Group). A group (G, ) is a set G with a binary operation such that
(i) for all a, b ∈ G: a b is an element in G,
(ii) for all a, b, c ∈ G: (a b) c = a (b c), 16 CHAPTER 1. INTRODUCTION
(iii) there is an element e ∈ G such that a e = e a = a for all a ∈ G (this element is called the identity element), and (iv) for each a ∈ G, there is an inverse element a0 such that aa0 = a0a = e. A group G for which a b = b a for all a, b ∈ G is called a commutative group. The number of elements of the group is called the order of the group.
Definition 1.30 (Field). A field (F, +, ·) is a set F together with two binary operations + and · such that (i) (F, +) is a commutative group with identity element 0 (called the additive group), (ii) (F∗, ·) is a commutative group with identity element 1 (called the mul- tiplicative group), and (iii) for all a, b, c ∈ F: a · (b + c) = a · b + a · c and (a + b) · c = a · c + b · c where F∗ = F \{0}. The number of elements of the field is called the order of the field.
Remark 1.31. A set F with binary operations + and · that has the same properties as above, except that the group (F∗, ·) is not commutative, is called a division ring. Most of the times we will write just F instead of (F, +, ·).
Some well-known fields are the field of rationals Q, the field of real num- bers R and the field of complex numbers C. Note that they all have infinite order.
A field with finite order is called a finite field. The following theorem is a well-known fact: Theorem 1.32. If F is a finite field with order q, then q = ph where p is a prime number and h ≥ 1. Moreover this field is unique (up to isomorphism) with this order.
We will denote the finite field of order q by GF(q). 1.3. FINITE PROJECTIVE SPACES 17
Remark 1.33. If p is a prime then GF(p) is actually the set of integers modulo p, with the operations defined by performing the operations in Z and taking the result modulo p. This field is also denoted by Z/pZ or Fp.
Remark 1.34. The (little) theorem of Wedderburn states that all finite division rings are in fact fields.
Definition 1.35. The characteristic of a field F is the smallest positive in- teger k, if it exists, such that a + a + ... + a = 0 (k repeated terms) for all a ∈ F and 0 otherwise. It is denoted by char(F ).
It is known that char(Q) = char(R) = char(C) = 0 and char(GF(q)) = p where q = ph with p a prime.
Definition 1.36. A subfield (F0, +, ·) of a field (F, +, ·) is a subset F0 of F that, together with the additive and multiplicative operations of F again forms a field.
For example: the field of rationals is a subfield of the field of reals, which is again a subfield of the complex numbers. For the finite fields we have the following:
h Proposition 1.37. GF(q1) is a subfield of GF(q2) if and only if q1 = p 1 h and q2 = p 2 , for some prime p and h1|h2.
1.3.2 Projective spaces We will introduce projective spaces using their axiomatic description. After that, we will introduce the models of projective spaces that we will work with for the rest of this thesis.
First we need to know what a point-line incidence structure is:
Definition 1.38. A point-line incidence structure (sometimes also called a point-line geometry)(P, B, I) consists of two disjoint sets P and B. The elements of P are called points, and P is called the point set. The elements of B are called lines, and B is called the line set. I is a symmetric relation I ⊂ (P × B) ∪ (B × P), called the incidence relation. 18 CHAPTER 1. INTRODUCTION
If (p, L) ∈ I for a point p and a line L we can say that p is incident with L (and because I is symmetric, also the other way around). Most of the time we will use the more intuitive expressions “the point p lies on the line L” and “the line L goes through the point p”. Similarly, we will say that two lines intersect in a point if they are both incident with that point and that a line connects two points if those points are both incident with the line.
With some axioms, we can define a projective space:
Definition 1.39. A projective space is an incidence structure S = (P, B, I) that satisfies the following axioms:
(i) Any two distinct points p and q are connected by exactly one line (and we can denote this line by pq),
(ii) for any four distinct points a, b, c and d such that the line ab intersects cd we have that the line ac intersects bd, and
(iii) any line is incident with at least three points.
Now consider a line L of a projective space S = (P, B, I) and the set P0, the set of all points of P incident with L. Define the incidence structure L = (P0, {L}, I0), where I0 is the restriction of I to (P0 × {L}) ∪ ({L} × P0). It is clear that L is also a projective space, called a projective line. A pro- jective space that is no projective line is called a non-degenerate projective space.
A projective plane is a projective space S = (P, B, I) that also satisfies a stronger version of axiom (ii) and a fourth axiom:
(i) Any two distinct points p and q are connected by exactly one line (and we can denote this line by pq),
(ii∗) any two lines intersect in at least one point,
(iii) any line is incident with at least three points, and
(iv) there are at least two lines.
Note that axiom (ii*) also holds for projective lines, that is why we need the extra axiom (iv).
Remark 1.40. There is an equivalent axiom system for projective planes: 1.3. FINITE PROJECTIVE SPACES 19
(i) Any two distinct points are connected by exactly one line,
(ii0) any two distinct lines intersect in exactly one point, and
(iii0) there exist four distinct points such that no three of those points are incident with the same line.
Now take a projective space S = (P, B, I). Because two points deter- mine exactly one line, we can identify a line with the set of points incident with the line. Hence we can think of lines as subsets of P.
Definition 1.41. A set A ⊂ P is called linear if every line meeting A in at least two points is completely contained in A. A linear set containing at least two points must therefore contain at least one line. Denote the set of lines contained in A by B0, then it is not hard to see that S(A) := (A, B0, I0) is a non-degenerate projective space or a line (here I0 is the incidence re- lation I restricted to the set A). The incidence structure S(A) is called a (linear) subspace of S.
Like we identified lines with their point sets we can also identify every subspace by its point set and refer to both of them as subspace. It is obvious that the empty set, a singleton of P, a line and the set P itself are examples of subspaces. As every subset of P is clearly contained in at least one subspace, we can define the span of an arbitrary subset of P:
Definition 1.42. The span of a set B ⊆ P, denoted by hBi is defined as:
\ hBi = {C|B ⊆ C,C is a linear set}.
It is clear that hBi is always a subspace.
Note that for two sets A, B ∈ P we will use hA, Bi as a notation for hA ∪ Bi.
A set of points A ⊂ P is called linearly independent if for any subset A0 ⊂ A and point p ∈ A \ A0, we have p 6∈ hA0i. In other words: hA0i T A = A0. 20 CHAPTER 1. INTRODUCTION
Definition 1.43. A basis of a projective space S is a linearly independent set of points that spans the entire space. It is not hard to show that every basis has the same number of points. This number is called the rank of S and will be denoted by rk(S).
One can define the rank of a subspace in exactly the same way. Take a point p. It is obvious that h{p}i = {p}, therefore {p} is a basis for the subspace with {p} as point set, hence a point is a rank-1 subspace. A line is spanned by two distinct points and the set consisting of those two points is linearly independent, so the rank of a line is 2. A projective plane can be shown to have rank 3 and every rank-3 subspace of a projective space can be shown to be a projective plane. The empty set will be considered as a subspace of rank 0.
We will define the projective dimension of a projective (sub)space S, to be the rank of S minus one3. We denote this by dim(S). An m-dimensional subspace (that is, a space of rank m + 1) will also be called an m-space. In that way, the empty set is a (−1)-space, a point is a 0-space, a line a 1-space and plane is a 2-space. If the projective space has dimension n, an (n − 1)-space in that space will be called a hyperplane.
The following formula is very useful to determine the dimension of the span or the intersection of two subspaces:
Theorem 1.44 (Dimension formula). If U and V are two subspaces of a projective space S, then
dim(hU, V i) + dim(U ∩ V ) = dim(U) + dim(V ).
Now we will state two theorems that are important in characterizing projective spaces. Consider a projective space S = (P, B, I) of dimension at least 2. Take any distinct points p1, p2, p3 and r1, r2, r3 of S for which the lines p1r1, p2r2 and p3r3 are concurrent in a point s, and such that no line pipj or rirj (for i, j ∈ {1, 2, 3} and i 6= j) contains s. Define the points
3The reason for that we want to conserve the intuition that a point has dimension 0, a line dimension 1, a plane dimension 2, etc. 1.3. FINITE PROJECTIVE SPACES 21 tij := pipj ∩ rirj for i, j = 1, 2, 3, i < j. Now the projective space S is called Desarguesian if and only if t12, t13 and t23 are collinear for all possible choices of pi and ri. This configuration in a Desarguesian projective space is called a Desargues configuration. See Figure 1.1.
Figure 1.1: Desargues configuration
This criterion classifies all projective spaces of dimension at least 3: Theorem 1.45. An n-dimensional projective space with n ≥ 3 is Desargue- sian. A proof of this theorem is given in [2].
Now take two distinct lines L and M and points li ∈ L and mi ∈ M for i = 1, 2, 3 all different from L ∩ M. Define the points tij := limj ∩ ljmi for i, j = 1, 2, 3, i < j. The projective space S is called Pappian if and only if t12, t13 and t23 are collinear for all possible choices of li and mi. The resulting configuration in a Pappian projective space is called a Pappus con- figuration. See Figure 1.2. 22 CHAPTER 1. INTRODUCTION
Figure 1.2: Pappus configuration
A connection between Desarguesian and Pappian projective spaces is given in the following theorem which is proved in [26]:
Theorem 1.46. All Pappian projective spaces are also Desarguesian.
We will end the axiomatic description here and introduce the model we will work with for the rest of this thesis.
1.3.3 The projective space PG(n, q) Consider the (n + 1)-dimensional vector space V(n + 1,K) over the finite field K. More generally one can take a left vector space over a division ring. Define P as the set of 1-dimensional subspaces of V(n + 1,K) and B as the set of 2-dimensional subspaces of V(n + 1,K). Define I to be the symmetrised set theoretic inclusion. Now it is easy to check that (P, B, I) is a projective space of dimension n. This projective space will be denoted 1.3. FINITE PROJECTIVE SPACES 23 by PG(n, K). It is clear that an (r +1)-dimensional subspace of V(n+1,K) becomes an r-dimensional subspace of PG(n, q). Thus the rank of a projec- tive subspace of PG(n, K) is equal to the dimension of the corresponding subspace of the underlying vector space, whereas the (geometric) dimension of a projective subspace is one less than the (vectorial) dimension of the corresponding subspace of the underlying vector space. For that reason we will also refer to the (vectorial) dimension of a subspace of the underlying vector space as the rank of that subspace.
One can define PG(n, K) in a more practical but equivalent way. Two vectors x, y of V(n + 1,K) \{0} are called equivalent if and only x = ky for some k ∈ K \{0}. Now the point set of PG(n, K) is just the set of all equiv- alence classes under this equivalence relation. The point that is the equiva- lence class of a vector x will be denoted by P (x), and x is called a coordinate vector of the point P (x). Points P (x1),...,P (xr) are linearly independent if the corresponding set of vectors is linearly independent in V(n + 1,K). A subspace of PG(n, K) of dimension r is a set of all points whose correspond- ing vectors form a (r + 1)-dimensional subspace of V(n + 1, q).
The reason that PG(n, K) is highlighted here is given by the following theorem: Theorem 1.47. Let S be a projective space. Then (i) S = PG(n, K) for some division ring K if and only if S is Desargue- sian. (ii) S = PG(n, K) for some field K if and only if S is Pappian. From Theorem 1.45 it now follows that: Theorem 1.48. If S = (P, B, I) is a projective space of dimension at least 3, then S = PG(n, K) for some division ring K. Note that there exist a lot of projective planes (projective spaces of di- mension two) that are not isomorphic to PG(n, K) for some division ring K.
If K is finite, it must be a field, according to the (little) Wedderburn theorem, hence K = GF(q) for some prime power q. In this case, the projective space PG(n, K) is also denoted by PG(n, q). But now Theorem 1.47 states that for finite projective spaces being Pappian is equivalent with them being Desarguesian. From this fact and Theorem 1.48 one can conclude the following: 24 CHAPTER 1. INTRODUCTION
Theorem 1.49. If S = (P, B, I) is a finite projective space of dimension at least 3, then S = PG(n, q) for some prime power q.
For the rest of this thesis we will only use finite projective spaces (and hence, over a finite field).
1.3.4 Some counting in PG(n, q) In this section we will determine some numbers that will play a role in the rest of this thesis.
A first useful question is determining the number of k-dimensional sub- spaces in PG(n, q) (where −1 ≤ k ≤ n). This is the number of rank-(k + 1) subspaces of a rank-(n + 1) vector space.
So let us count the number of rank-k subspaces of V(n, q). We can use the same method that we used in Section 1.1 to calculate the number of k-subsets in an n-set. A rank-k subspace is spanned by k linearly indepen- dent vectors. For the first vector we have qn − 1 choices (the all-zero vector cannot be chosen). The second vector cannot lie in the rank 1-subspace defined by the first, so we have qn − q choices. For the third vector we have qn − q2. And so on. Finally for the k-th vector we have qn − qk−1. But the k chosen vectors are not unique to span this rank-k subspace. So we have to divide by the number of choices of vectors that span the same subspace. Using the same argument this is (qk −1)(qk −q) ··· (qk −qk−1). We thus have that the number of rank-k subspaces in a rank-n vector space over GF(q) is:
(qn − 1)(qn − q) ··· (qn − qk−1) hni = (qk − 1)(qk − q) ··· (qk − qk−1) k q
Definition 1.50 (Gaussian coefficient). The number of rank k-subspaces n in a rank n-vector space over GF(q) is given by the Gaussian coefficient k q.
We can restate this in terms of (projective) dimensions: The number of k-subspaces in an n-dimensional projective space over h i GF(q) is given by n+1 . k+1 q 1.4. FINITE POLAR SPACES 25
Another useful piece of combinatorial information is the number of k- dimensional subspaces containing a fixed l-dimensional subspace in PG(n, q), for −1 ≤ l < k < n. This is the same as the number of rank-(k+1) subspaces containing a fixed rank-(l + 1) subspace in V(n + 1, q). Now this is the same as the number of rank-(k − l) subspaces in the quotient V(n + 1, q)/V(l + 1, q) which is isomorphic to V(n − l, q). So we have that the number of k- dimensional subspaces containing a fixed l-dimensional subspace in PG(n, q) is the same as the number of (k − l − 1)-dimensional subspaces in PG(n − h i l − 1, q), which is n−l . k−l q
1.4 Finite polar spaces
In the previous section we encountered a first kind of incidence structure, namely the projective spaces (and planes). In this section we will define another type: the polar spaces. Definition 1.51. A (non degenerate) polar space of rank n (n ≥ 2) consists of a point set P together with a family of subsets of P, called the singular subspaces, satisfying the following axioms: (i) A singular subspace, together with the singular subspaces it contains is a k-dimensional projective space, for some −1 ≤ k ≤ n − 1. This dimension is by definition also the dimension of the singular subspace of the polar space.
(ii) The intersection of two singular subspaces is again a singular subspace.
(iii) Take a singular subspace U of dimension n − 1 and a point p ∈ P \ U. There is exactly one singular subspace V such that p ∈ V and U ∩ V has dimension n − 2. The singular subspace V contains all the points of U that lie on a common line with p.
(iv) There are at least two disjoint singular subspaces of dimension n − 1. Note that an incidence structure that satisfies axioms (i),(ii) and (iii) but not (iv) is called a degenerate polar space. The singular subspaces of (maximal) dimension n − 1 are called the gener- ators of the polar space. A finite polar space is a polar space with a finite point set. As with the projective spaces, all polar spaces of rank at least 3 have been classified. In the (thick) finite case all polar spaces of rank at least 3 26 CHAPTER 1. INTRODUCTION are classical polar spaces. Here is a list of all the finite classical polar spaces with their ranks:
• Q+(2n+1, q) non-singular hyperbolic quadric in PG(2n+1, q) for some n ≥ 1, giving a hyperbolic polar space of rank n + 1.
• Q(2n, q): non-singular parabolic quadric in PG(2n, q) for some n ≥ 2, giving a parabolic polar space of rank n.
• Q−(2n + 1, q): non-singular elliptic quadric in PG(2n + 1, q) for some n ≥ 2, giving a hyperbolic polar space of rank n.
• W (2n + 1, q): polar space consisting the points of PG(2n + 1, q) to- gether with the totally isotropic subspaces of a non-singular symplectic polarity of PG(2n + 1, q), giving a symplectic polar space of rank n.
• H(2n, q2) : non-singular Hermitian variety in PG(2n, q2) for some n ≥ 2, giving a Hermitian polar space of rank n.
• H(2n + 1, q2): non-singular Hermitian variety in PG(2n + 1, q2) for some n ≥ 1, giving a Hermitian polar space of rank n + 1.
The following theorem (see e.g. [28]) gives the size (number of points) of those finite classical spaces:
Theorem 1.52. The numbers of points of the finite classical polar spaces are given by:
|Q+(2n + 1, q)| = (qn + 1)(qn+1 − 1)/(q − 1), |Q(2n, q)| = (q2n − 1)/(q − 1), |Q−(2n + 1, q)| = (qn − 1)(qn+1 + 1)/(q − 1), |W (2n + 1, q)| = (q2n+1 − 1)/(q − 1), |H(2n, q2)| = (q2n+1 + 1)(q2n − 1)/(q2 − 1), |H(2n + 1, q2)| = (q2n+2 − 1)(q2n+1 + 1)/(q2 − 1).
In the case of rank 2, there are a lot of non-classical polar spaces known. Chapter 2
Combinatorics and q-analogues
A natural way of generalizing problems from extremal combinatorics to finite geometry is the q-analogue. This is done by changing the definition of the problem as follows: replace all occurrences of the words “set of size n” with “vector space over the field GF(q) with or rank n”. Of course some other words in the definition should also be changed accordingly, for example if the original problem talks about disjoint subsets, the q-analogous problem talks about subspaces that intersect trivially. In this chapter we give some examples of such generalizations by taking q-analogues of some classical problems in extremal combinatorics.
2.1 An easy example
In Section 1.1 we counted the number of k-subsets in an n-set. The q-analogue of this problem is counting the number of rank-k subspaces in V(n, q) and that is what we did in Section 1.3.4. Let us take a closer look at both results.
n The number of projective points in PG(n − 1, q) is given by 1 q. If we n+1 now recursively define [n + 1]q! = 1 q [n]q! and [0]q! = 1 we can write
hni [n] ! = q . k q [k]q![n − k]q!
27 28 CHAPTER 2. COMBINATORICS AND Q-ANALOGUES
Note that this notation looks a lot like the definition of the binomial coefficients. In that light it is not so strange that Gaussian coefficients are also called q-binomial coefficients.
An even stronger validation of this name is a phenomenon we see with a lot of q-analogues. Because we work with GF(q), the q’s used are prime powers. But if we look at the formulas as functions on R in the variable q, we can take the limit of these functions for q → 1+. For example the limit (by using de l’Hˆopital’s limit rule) of the number of rank 1-subspaces in a rank-n vector space is:
hni qn − 1 lim = lim q→1+ 1 q q→1+ q − 1 = n which is of course the number of elements in an n-set. Using this it is straightforward that
hni n lim = . q→1+ k q k
We will see that, in a lot of cases, taking the limit for q → 1+ of a value in the q-analogue of a problem gives us the value from the original problem. Note that this is not always the case; see, for example, Remark 3.9 in the next chapter.
2.2 Sperner’s Theorem
An important subdomain of extremal combinatorics is extremal set the- ory. The goal in this domain is to find the maximum size of a family of sets satisfying certain assumptions. In this section, we consider Sperner families.
2.2.1 Original problem A classical theorem in extremal set theory is Sperner’s theorem. If we fix a universe X with size n, the largest uniform family, that is a family in which n all sets have the same size, is the family of all k-subsets where k = 2 (or 2.2. SPERNER’S THEOREM 29
n n k = ). This uniform family has size n . In 1928 Sperner proved 2 b 2 c ([44]) that this is the best possible upper bound for the size of an antichain in general (for both uniform and non-uniform Sperner families) and that equality occurs exactly in the case just described.
There are several proofs known of this upper bound. Here we give one that uses the stronger LYM inequality. This inequality is named after D. Lubell [37], K. Yamamoto [48] and L.D. Meshalkin [39]. Here Lubell’s Per- mutation Method [37] is used to prove the inequality:
Lemma 2.1 (LYM inequality). If F is a Sperner family of subsets of a set X with |X| = n, then X 1 ≤ 1. n A∈F |A|
Proof. Consider the subset poset of X: (2X , ⊆). It is easy to see that the number of maximal chains in this poset is n! and that the number of maxi- mal chains containing a certain subset A is |A|!(n − |A|)!.
Now count the pairs (A, C) where A ∈ F and C is a maximal chain that contains A. If we take a subset A in F, we have |A|!(n−|A|)! maximal chains that contain A. On the other hand, a maximal chain C can contain at most X one element of F (because F is an antichain). Thus |A|!(n − |A|)! ≤ n!. A∈F Dividing by n! gives the required result.
For other applications of the LYM inequality, see eg. [33].
Now we can prove Sperner’s Theorem:
Theorem 2.2. If F is a Sperner family of subsets of an n-set X, then
n |F| ≤ n . 2
Proof. Because n n n ≥ for all A ∈ F 2 |A| 30 CHAPTER 2. COMBINATORICS AND Q-ANALOGUES we have, using the LYM inequality:
X 1 |F| 1 ≥ ≥ n n A∈F n |A| b 2 c
2.2.2 q-analogue Sperner’s theorem gives the maximum size of an antichain in the subset poset of a finite set. The natural q-analogue question therefore is: what is the maximum size of an antichain in the subspace poset of a finite vector space V(n, q)?
It turns out that the answer is what one would expect, and the proof is a complete q-analogue of the set case. We now state and prove the q-analogue of the LYM-inequality.
Lemma 2.3. If F is an antichain in the subset poset of V(n, q), then
X 1 ≤ 1. h n i A∈F rk(A) q
Proof. The number of maximal chains in this poset is [n]q! and the number of chains containing a subspace A is [rk(A)]q![n − rk(A)]q!. Counting the pairs (A, C) where A ∈ F and C is an antichain containing A yields: X [rk(A)]q![n − rk(A)]q! ≤ [n]q!. A∈F
Dividing both sides of this inequality by [n]q! gives the stated result.
n h n i If we now use this lemma together with the fact that k ≤ n for q b 2 c q all 0 ≤ k ≤ n we find the q-analogue sought for.
Theorem 2.4. If F is an antichain in the subset poset of V(n, q), then
n |F| ≤ n . 2 q In this case equality holds if and only if F is the antichain consisting of n n all subspaces of rank 2 (or 2 ). 2.3. ERDOS-KO-RADO˝ THEOREM 31
2.3 Erd˝os-Ko-Radotheorem
Another classic result in extremal set theory is the Erd˝os-Ko-RadoTheorem.
2.3.1 Original problem Theorem 2.5 (Erd˝os-Ko-RadoTheorem (1961) [18]). If F is a k-uniform n family with a universe X of size n, where k ≤ 2 , and every pair of members of F intersect, then n − 1 |F| ≤ . k − 1
A family of mutually intersecting k-subsets of an n-set is called an (n, k)- EKR family. An EKR family that cannot be extended to another EKR family by adding subsets is called a maximal EKR family (or maximal in- tersecting family).
We do not give the original proof here, but we sketch a much more elegant proof by G. Katona in 1972 [31], which is inspired by Lubell’s Permutation Method.
Proof. Consider a labeling of an n-cycle by the elements of X. A path of length k in this labeled cycle corresponds to a k-subset of X. A collection of paths that pairwise overlap1 has size at most k, and in total there are n paths of length k on this cycle. So at most a fraction k/n of the k-subsets “occurring” in this cycle as paths mutually intersect. Each subset occurs the same number of times as a path among all possible labelings of an n-cycle n by elements of X. So at most a fraction k/n of the k k-subsets mutually intersect.
This bound is tight. We give some examples of families attaining this n−1 bound. There is an obvious example of a family of size k−1 , namely a family that consists of all k-subsets containing a common element of X. Such a family is called a point pencil and the common element is called the center of the point pencil. In Section 2.5 we will show that this is the only type of family attaining this upper bound for n > 2k.
1Here to overlap means to have at least a vertex in common. 32 CHAPTER 2. COMBINATORICS AND Q-ANALOGUES
If n = 2k, there are other examples besides point pencils. Each k-subset has exactly one complementary k-subset. An intersecting family can contain at most one k-subset out of each complementary pair. A family consisting 1 2k of exactly one k-subset out of each complementary pair has size 2 k which is the maximum size.
2.3.2 q-Analogue In the original Erd˝os-Ko-Radotheorem, F is a family of k-subsets of an n-set (with 2k ≤ n) such that no two members are disjoint. The statement of the theorem can be viewed in two ways: