Symmetric hypergraph theorem
Appearance
A theorem in Combinatorics that puts an upper bound on the chromatic number of a graph (or hypergraph in general). The original reference for this paper is unknown at the moment. It is most well known from [1].
Statement
A group G acting on a set S is called transitive if given any two elements x and y in S, there exists an element f of G such that f(x) = y. A graph (or hypergraph) is called Symmetric if it's automorphism group is transitive.
Theorem. Let be a symmetric hypergraph. Let , and let denote the chromatic number of , and let denote the independence number of . Then
Applications
This theorem has applications to Ramsey theory, specifically graph Ramsey theory.
See Also
References
- ^ R. Graham, B. Rothschild, J. Spencer. Ramsey Theory. 2nd ed., Wiley, New-York, 1990.