In mathematics, the Erdős–Ko–Rado theorem limits the number of sets in a family of sets for which every two sets have at least one element in common. Paul Erdős, Chao Ko, and Richard Rado proved the theorem in 1938, but did not publish it until 1961. It is part of the field of combinatorics, and one of the central results of extremal set theory.
The theorem applies to families of sets that all have the same size, , and are all subsets of some larger set of size . One way to construct a family of sets with these parameters, each two sharing an element, is to choose a single element to belong to all the subsets, and then form all of the subsets that contain the chosen element. The Erdős–Ko–Rado theorem states that when is large enough for the problem to be nontrivial () this construction produces the largest possible intersecting families. When there are other equally-large families, but for larger values of only the families constructed in this way can be largest.
The Erdős–Ko–Rado theorem can also be described in terms of hypergraphs or independent sets in Kneser graphs. Several analogous theorems apply to other kinds of mathematical object than sets, including linear subspaces, permutations, and strings. They again describe the largest possible intersecting families as being formed by choosing an element and forming the family of all objects that contain the chosen element.
Suppose that is a family of distinct -element subsets of an -element set with , and that each two subsets share at least one element. Then the theorem states that the number of sets in is at most the binomial coefficient
The same result can be formulated as part of the theory of hypergraphs. A family of sets may also be called a hypergraph, and when all the sets (which are called "hyperedges" in this context) are the same size , it is called an -uniform hypergraph. The theorem thus gives an upper bound for the number of pairwise overlapping hyperedges in an -uniform hypergraph with vertices and .
Paul Erdős, Chao Ko, and Richard Rado proved this theorem in 1938 after working together on it in England. Rado had moved from Berlin to the University of Cambridge and Erdős from Hungary to the University of Manchester, both escaping the influence of Nazi Germany; Ko was a student of Louis J. Mordell at Manchester. However, they did not publish the result until 1961, with the long delay occurring in part because of a lack of interest in combinatorial set theory in the 1930s, and increased interest in the topic in the 1960s. The 1961 paper stated the result in an apparently more general form, in which the subsets were only required to be size at most , and to satisfy the additional requirement that no subset be contained in any other. A family of subsets meeting these conditions can be enlarged to subsets of size exactly either by an application of Hall's marriage theorem, or by choosing each enlarged subset from the same chain in a symmetric chain decomposition of sets.
Maximum and maximal families
Families of maximum size
A simple way to construct an intersecting family of -element sets whose size exactly matches the Erdős–Ko–Rado bound is to choose any fixed element , and let consist of all -element subsets that include . For instance, for 2-element subsets of the 4-element set , with , this produces the family
Any two sets in this family intersect, because they both include . The number of sets is , because after the fixed element is chosen there remain other elements to choose, and each set chooses of these remaining elements.
When this is the only intersecting family of this size. However, when , there is a more general construction. Each -element set can be matched up to its complement, the only -element set from which it is disjoint. Then, choose one set from each of these complementary pairs. For instance, for the same parameters above, this more general construction can be used to form the family
where every two sets intersect despite no element belonging to all three sets. In this example, all of the sets have been complemented from the ones in the first example, but it is also possible to complement only some of the sets.
When , families of the first type (variously known as stars, dictatorships, juntas, centered families, or principal families) are the unique maximum families. In this case, a family of nearly-maximum size has an element which is common to almost all of its sets. This property has been called stability, although the same term has also been used for a different property, the fact that (for a wide range of parameters) deleting randomly-chosen edges from the Kneser graph does not increase the size of its independent sets.
Maximal intersecting families
An intersecting family of -element sets may be maximal, in that no further set can be added (even by extending the ground set) without destroying the intersection property, but not of maximum size. An example with and is the set of seven lines of the Fano plane, much less than the Erdős–Ko–Rado bound of 15. More generally, the lines of any finite projective plane of order form a maximal intersecting family that includes only sets, for the parameters and . The Fano plane is the case of this construction.
The smallest possible size of a maximal intersecting family of -element sets, in terms of , is unknown but at least for . Projective planes produce maximal intersecting families whose number of sets is , but for infinitely many choices of there exist smaller maximal intersecting families of size .
The largest intersecting families of -element sets that are maximal but not maximum have size
The original proof of the Erdős–Ko–Rado theorem used induction on . The base case, for , follows easily from the facts that an intersecting family cannot include both a set and its complement, and that in this case the bound of the Erdős–Ko–Rado theorem is exactly half the number of all -element sets. The induction step for larger uses a method called shifting, of substituting elements in intersecting families to make the family smaller in lexicographic order and reduce it to a canonical form that is easier to analyze.
However, only some of these intervals can belong to , because they do not all intersect. Katona's key observation is that at most intervals from a single cyclic order may belong to . This is because, if is one of these intervals, then every other interval of the same cyclic order that belongs to separates from , for some , by containing precisely one of these two elements. The two intervals that separate these elements are disjoint, so at most one of them can belong to . Thus, the number of intervals in is at most one plus the number of pairs that can be separated.
Based on this idea, it is possible to count the pairs , where is a set in and is a cyclic order for which is an interval, in two ways. First, for each set one may generate by choosing one of permutations of and permutations of the remaining elements, showing that the number of pairs is . And second, there are cyclic orders, each of which has at most intervals of , so the number of pairs is at most . Comparing these two counts gives the inequality
A generalization of the theorem applies to subsets that are required to have large intersections. This version of the theorem has three parameters: , the number of elements the subsets are drawn from, , the size of the subsets, as before, and , the minimum size of the intersection of any two subsets. For the original form of the Erdős–Ko–Rado theorem, . In general, for large enough with respect to the other two parameters, the generalized theorem states that the size of a -intersecting family of subsets is at most
The corresponding graph-theoretic formulation of this generalization involves Johnson graphs in place of Kneser graphs. For large enough values of and in particular for , both the Erdős–Ko–Rado theorem and its generalization can be strengthened from the independence number to the Shannon capacity of a graph: the Johnson graph corresponding to the -intersecting -element subsets has Shannon capacity .
The theorem can also be generalized to families in which every subsets have a common intersection. Because this strengthens the condition that every pair intersects (for which ), these families have the same bound on their maximum size, when is sufficiently large. However, in this case the meaning of "sufficiently large" can be relaxed from to .
Many results analogous to the Erdős–Ko–Rado theorem, but for other classes of objects than finite sets, are known. These generally involve a statement that the largest families of intersecting objects, for some definition of intersection, are obtained by choosing an element and constructing the family of all objects that include that chosen element. Examples include the following:
There is a q-analog of the Erdős–Ko–Rado theorem for intersecting families of linear subspaces over finite fields. If is an intersecting family of -dimensional subspaces of an -dimensional vector space over a finite field of order , and , then
Two permutations on the same set of elements are defined to be intersecting if there is some element that has the same image under both permutations. On an -element set, there is an obvious family of intersecting permutations, the permutations that fix one of the elements (the stabilizer subgroup of this element). The analogous theorem is that no intersecting family of permutations can be larger, and that the only intersecting families of size are the cosets of one-element stabilizers. These can be described more directly as the families of permutations that map some fixed element to another fixed element. More generally, for any and sufficiently large , a family of permutations each pair of which has elements in common has maximum size , and the only families of this size are cosets of pointwise stabilizers. Alternatively, in graph theoretic terms, the -element permutations correspond to the perfect matchings of a complete bipartite graph and the theorem states that, among families of perfect matchings each pair of which share edges, the largest families are formed by the matchings that all contain chosen edges. Another analog of the theorem, for partitions of a set, includes as a special case the perfect matchings of a complete graph (with even). There are matchings, where denotes the double factorial. The largest family of matchings that pairwise intersect (meaning that they have an edge in common) has size and is obtained by fixing one edge and choosing all ways of matching the remaining vertices.
A partial geometry is a system of finitely many abstract points and lines, satisfying certain axioms including the requirement that all lines contain the same number of points and all points belong to the same number of lines. In a partial geometry, a largest system of pairwise-intersecting lines can be obtained from the set of lines through any single point.
A signed set consists of a set together with sign function that maps each element to . Two signed sets may be said to intersect when they have a common element that has the same sign in each of them. Then an intersecting family of -element signed sets, drawn from an -element universe, consists of at most
For strings of length over an alphabet of size , two strings can be defined to intersect if they have a position where both share the same symbol. The largest intersecting families are obtained by choosing one position and a fixed symbol for that position, and letting the rest of the positions vary arbitrarily. These families consist of strings, and are the only pairwise intersecting families of this size. More generally, the largest families of strings in which every two have positions with equal symbols are obtained by choosing positions and symbols for those positions, for a number that depends on , , and , and constructing the family of strings that each have at least of the chosen symbols. These results can be interpreted graph-theoretically in terms of the Hamming scheme.
Is the largest family of intersecting triangulations of a convex polygon obtained by cutting off one vertex and choosing all triangulations of the remaining polygon?
An unproven conjecture, posed by Gil Kalai and Karen Meagher, concerns another analog for the family of triangulations of a convex polygon with vertices. The number of all triangulations is a Catalan number , and the conjecture states that a family of triangulations every pair of which shares an edge has maximum size . An intersecting family of size exactly may be obtained by cutting off a single vertex of the polygon by a triangle, and choosing all ways of triangulating the remaining -vertex polygon.
The Erdős–Ko–Rado theorem can be used to prove the following result in probability theory. Let be independent 0–1 random variables with probability of being one, and let be any fixed convex combination of these variables. Then
The stability properties of the Erdős–Ko–Rado theorem play a key role in an efficient algorithm for finding monochromatic edges in improper colorings of Kneser graphs. The Erdős–Ko–Rado theorem has also been used to characterize the symmetries of the space of phylogenetic trees.
- Helly's theorem, on conditions ensuring that intersecting families of convex sets have a common intersection
- Sperner's theorem, an upper bound on families of pairwise non-nested sets
- Steiner system, maximum-sized uniform set families in which no pair (rather than every pair) has a large intersection
- Sunflower (mathematics), a family of sets where (unlike the maximum intersecting families here) all pairs have equal intersections
- Thrackle, an unsolved problem on the size of families of intersecting curves
- Das & Tran (2016).
- Aigner & Ziegler (2018); Godsil & Meagher (2015), p. xiii.
- Füredi (1995).
- Harvey & Wood (2014); Godsil & Meagher (2015), p. xiv.
- Godsil & Meagher (2015), p. 43.
- Anderson (2013).
- Erdős, Ko & Rado (1961); Erdős (1987).
- van Lint & Wilson (1992).
- Anderson (1987).
- Aigner & Ziegler (2018).
- Dinur & Friedgut (2009).
- Borg (2012).
- Friedgut (2008).
- Friedgut (2008); Dinur & Friedgut (2009); Das & Tran (2016).
- Bollobás, Narayanan & Raigorodskii (2016); Balogh, Krueger & Luo (2022).
- Polcyn & Ruciński (2017).
- Füredi (1980).
- Dow et al. (1985).
- Hilton & Milner (1967); Frankl & Füredi (1986); Godsil & Meagher (2015), Section 1.6: The Hilton–Milner theorem, pp. 15–17.
- Erdős, Ko & Rado (1961); Godsil & Meagher (2015), Section 1.1: The original proof, pp. 2–6.
- Katona (1972); Anderson (1987); van Lint & Wilson (1992); Aigner & Ziegler (2018).
- Godsil & Meagher (2015), Section 1.5: The Kruskal–Katona theorem, pp. 11–15.
- Frankl & Graham (1989); Godsil & Meagher (2015), p. 22.
- Erdős, Ko & Rado (1961); Godsil & Meagher (2015), Theorem 0.0.2, p. xiv.
- Wilson (1984); Godsil & Meagher (2015), p. 2.
- Ahlswede & Khachatrian (1997)
- Godsil & Meagher (2015), p. xiv.
- Schrijver (1981); Deza & Frankl (1983).
- Frankl (1976); Anderson (1987).
- Frankl & Wilson (1986); Godsil & Meagher (2015), Chapter 9: The Grassmann scheme, pp. 161–183.
- Frankl & Deza (1977); Cameron & Ku (2003); Larose & Malvenuto (2004); Godsil & Meagher (2009); Ellis, Friedgut & Pilpel (2011); Godsil & Meagher (2015), Chapter 14: Permutations, pp. 260–278.
- Godsil & Meagher (2015), Section 7.5: Perfect matchings in complete bipartite graphs.
- Godsil & Meagher (2015), Section 15.2: Perfect matchings, pp. 282–284.
- Godsil & Meagher (2015), Section 5.6: Partial geometries, pp. 100–103.
- Bollobás & Leader (1997).
- Ahlswede & Khachatrian (1998); Godsil & Meagher (2015), Chapter 10: The Hamming scheme, pp. 184–209.
- Olarte et al. (2020).
- Liggett (1977); Anderson (1987).
- Haviv (2022).
- Grindstaff (2020).
- Ahlswede, Rudolf; Khachatrian, Levon H. (1997). "The complete intersection theorem for systems of finite sets". European Journal of Combinatorics. 18: 125–136. doi:10.1006/eujc.1995.0092.
- Ahlswede, Rudolf; Khachatrian, Levon H. (1998), "The diametric theorem in Hamming spaces—optimal anticodes", Advances in Applied Mathematics, 20 (4): 429–449, doi:10.1006/aama.1998.0588, MR 1612850
- Aigner, Martin; Ziegler, Günter M. (2018), "Chapter 30: Three famous theorems on finite sets", Proofs from THE BOOK (6th ed.), Springer, pp. 213–217, doi:10.1007/978-3-662-57265-8_15, ISBN 978-3-662-57265-8, MR 3823190, Zbl 1392.00001
- Anderson, Ian (1987), "Chapter 5: Intersecting systems and the Erdős–Ko–Rado theorem", Combinatorics of Finite Sets, Oxford Science Publications, Oxford University Press, pp. 70–86, ISBN 0-19-853367-5, MR 0892525
- Anderson, Ian (2013), "Combinatorial set theory", in Wilson, Robin; Watkins, John J. (eds.), Combinatorics: Ancient and Modern, Oxford University Press, pp. 309–328, doi:10.1093/acprof:oso/9780199656592.003.0014, ISBN 978-0-19-965659-2, MR 3204727
- Balogh, József; Krueger, Robert A.; Luo, Haoran (2022), "Sharp threshold for the Erdős–Ko–Rado theorem", Random Structures & Algorithms, 62: 3–28, arXiv:2105.02985, doi:10.1002/rsa.21090, S2CID 234093039
- Bollobás, Béla; Leader, Imre (1997), "An Erdős–Ko–Rado theorem for signed sets", Computers and Mathematics with Applications, 34 (11): 9–13, doi:10.1016/S0898-1221(97)00215-0, MR 1486880, Zbl 0901.05088
- Bollobás, Béla; Narayanan, Bhargav P.; Raigorodskii, Andrei M. (2016), "On the stability of the Erdős-Ko-Rado theorem", Journal of Combinatorial Theory, Series A, 137: 64–78, doi:10.1016/j.jcta.2015.08.002, MR 3403515
- Borg, Peter (2012), "Cross-intersecting sub-families of hereditary families", Journal of Combinatorial Theory, Series A, 119 (4): 871–881, doi:10.1016/j.jcta.2011.12.002, MR 2881232
- Cameron, Peter J.; Ku, C. Y. (2003), "Intersecting families of permutations", European Journal of Combinatorics, 24 (7): 881–890, doi:10.1016/S0195-6698(03)00078-7, MR 2009400, Zbl 1026.05001
- Das, Shagnik; Tran, Tuan (2016), "Removal and stability for Erdős–Ko–Rado", SIAM Journal on Discrete Mathematics, 30 (2): 1102–1114, doi:10.1137/15M105149X, MR 3504983
- Deza, Michel; Frankl, Péter (1983), "Erdős–Ko–Rado theorem – 22 years later", SIAM Journal on Algebraic and Discrete Methods, 4 (4): 419–431, doi:10.1137/0604042, MR 0721612
- Dinur, Irit; Friedgut, Ehud (2009), "Intersecting families are essentially contained in juntas", Combinatorics, Probability and Computing, 18 (1–2): 107–122, doi:10.1017/S0963548308009309, MR 2497376, S2CID 8923303
- Dow, Stephen J.; Drake, David A.; Füredi, Zoltán; Larson, Jean A. (1985), "A lower bound for the cardinality of a maximal family of mutually intersecting sets of equal size", Proceedings of the sixteenth Southeastern international conference on combinatorics, graph theory and computing (Boca Raton, Fla., 1985), Congressus Numerantium, 48: 47–48, MR 0830697
- Ellis, David; Friedgut, Ehud; Pilpel, Haran (2011), "Intersecting families of permutations", Journal of the American Mathematical Society, 24 (3): 649–682, arXiv:1011.3342, doi:10.1090/S0894-0347-2011-00690-5, MR 2784326, S2CID 9198144
- Erdős, Paul (1987), "My joint work with Richard Rado" (PDF), in Whitehead, C. (ed.), Surveys in combinatorics, 1987: Invited Papers for the Eleventh British Combinatorial Conference, London Mathematical Society Lecture Note Series, vol. 123, Cambridge University Press, pp. 53–80, ISBN 978-0-521-34805-8, MR 0905276, Zbl 0623.01010
- Erdős, P.; Ko, Chao; Rado, R. (1961), "Intersection theorems for systems of finite sets" (PDF), Quarterly Journal of Mathematics, Second Series, 12: 313–320, doi:10.1093/qmath/12.1.313, MR 0140419, Zbl 0100.01902
- Frankl, Péter (1976), "On Sperner families satisfying an additional condition", Journal of Combinatorial Theory, Series A, 20 (1): 1–11, doi:10.1016/0097-3165(76)90073-x, MR 0398842
- Frankl, Péter; Deza, Mikhail (1977), "On the maximum number of permutations with given maximal or minimal distance", Journal of Combinatorial Theory, Series A, 22 (3): 352–360, doi:10.1016/0097-3165(77)90009-7, MR 0439648, Zbl 0352.05003
- Frankl, Péter; Füredi, Zoltán (1986), "Nontrivial intersecting families", Journal of Combinatorial Theory, Series A, 41 (1): 150–153, doi:10.1016/0097-3165(86)90121-4, MR 0826944
- Frankl, Péter; Graham, Ronald L. (1989), "Old and new proofs of the Erdős–Ko–Rado theorem" (PDF), Journal of Sichuan University Natural Science Edition, 26 (Special Issue): 112–122, MR 1059690
- Frankl, Péter; Wilson, Richard M. (1986), "The Erdős–Ko–Rado theorem for vector spaces", Journal of Combinatorial Theory, Series A, 43 (2): 228–236, doi:10.1016/0097-3165(86)90063-4, MR 0867648, Zbl 0609.05055
- Friedgut, Ehud (2008), "On the measure of intersecting families, uniqueness and stability" (PDF), Combinatorica, 28 (5): 503–528, doi:10.1007/s00493-008-2318-9, MR 2501247, S2CID 7225916, Zbl 1199.05319, archived from the original (PDF) on 2021-01-25
- Füredi, Zoltán (1980), "On maximal intersecting families of finite sets", Journal of Combinatorial Theory, Series A, 28 (3): 282–289, doi:10.1016/0097-3165(80)90071-0, MR 0570210
- Füredi, Zoltán (1995), "Extremal hypergraphs and combinatorial geometry" (PDF), Proceedings of the International Congress of Mathematicians, Vol. 1, 2 (Zürich, 1994), Basel: Birkhäuser, pp. 1343–1352, doi:10.1007/978-3-0348-9078-6_65, MR 1404036, Zbl 0839.05077
- Godsil, Chris; Meagher, Karen (2009), "A new proof of the Erdős–Ko–Rado theorem for intersecting families of permutations", European Journal of Combinatorics, 30 (2): 404–414, doi:10.1016/j.ejc.2008.05.006, MR 2489272, Zbl 1177.05010
- Godsil, Christopher; Meagher, Karen (2015), Erdős–Ko–Rado Theorems: Algebraic Approaches, Cambridge Studies in Advanced Mathematics, Cambridge University Press, ISBN 9781107128446
- Grindstaff, Gillian (2020), "The isometry group of phylogenetic tree space is Sn", Proceedings of the American Mathematical Society, 148 (10): 4225–4233, arXiv:1901.02982, doi:10.1090/proc/15154, MR 4135291, S2CID 57761161
- Harvey, Daniel J.; Wood, David R. (2014), "Treewidth of the Kneser graph and the Erdős–Ko–Rado theorem", Electronic Journal of Combinatorics, 21 (1), Paper 1.48, arXiv:1310.5400, doi:10.37236/3971, MR 3177543, S2CID 15461040, Zbl 1300.05084
- Haviv, Ishay (2022), "A fixed-parameter algorithm for the Kneser problem", in Bojanczyk, Mikolaj; Merelli, Emanuela; Woodruff, David P. (eds.), 49th International Colloquium on Automata, Languages, and Programming, ICALP 2022, July 4–8, 2022, Paris, France, LIPIcs, vol. 229, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, pp. 72:1–72:18, arXiv:2204.06761, doi:10.4230/LIPIcs.ICALP.2022.72, ISBN 9783959772358
- Hilton, A. J. W.; Milner, E. C. (1967), "Some intersection theorems for systems of finite sets", Quarterly Journal of Mathematics, Second Series, 18: 369–384, doi:10.1093/qmath/18.1.369, MR 0219428
- Katona, G. O. H. (1972), "A simple proof of the Erdös–Chao Ko–Rado theorem", Journal of Combinatorial Theory, Series B, 13 (2): 183–184, doi:10.1016/0095-8956(72)90054-8, MR 0304181, Zbl 0262.05002
- Larose, Benoit; Malvenuto, Claudia (2004), "Stable sets of maximal size in Kneser-type graphs", European Journal of Combinatorics, 25 (5): 657–673, doi:10.1016/j.ejc.2003.10.006, MR 2061391
- Liggett, Thomas M. (1977), "Extensions of the Erdős–Ko–Rado theorem and a statistical application", Journal of Combinatorial Theory, Series A, 23 (1): 15–21, doi:10.1016/0097-3165(77)90075-9, MR 0441750
- van Lint, J. H.; Wilson, Richard M. (1992), A Course in Combinatorics, Cambridge University Press, Cambridge, pp. 45–46, ISBN 0-521-41057-6, MR 1207813
- Olarte, Jorge Alberto; Santos, Francisco; Spreer, Jonathan; Stump, Christian (2020), "The EKR property for flag pure simplicial complexes without boundary" (PDF), Journal of Combinatorial Theory, Series A, 172: 105205, 29, doi:10.1016/j.jcta.2019.105205, MR 4052307, S2CID 119158469
- Polcyn, Joanna; Ruciński, Andrzej (2017), "A hierarchy of maximal intersecting triple systems", Opuscula Mathematica, 37 (4): 597–608, arXiv:1608.06114, doi:10.7494/OpMath.2017.37.4.597, MR 3647803, S2CID 55674958, Zbl 1402.05209
- Schrijver, Alexander (1981), "Association schemes and the Shannon capacity: Eberlein polynomials and the Erdős–Ko–Rado theorem", in Lovász, László; Sós, Vera T. (eds.), Algebraic Methods in Graph Theory, Vol. I, II: Papers from the Conference held in Szeged, August 24–31, 1978, Colloquia Mathematica Societatis János Bolyai, vol. 25, North-Holland, pp. 671–688, MR 0642067
- Wilson, Richard M. (1984), "The exact bound in the Erdős–Ko–Rado theorem", Combinatorica, 4 (2–3): 247–257, doi:10.1007/BF02579226, MR 0771733, S2CID 44504849
- Cameron, Peter (September 29, 2017), "EKR, Steiner systems, association schemes, and all that", Peter Cameron's Blog