About maximal number of edges in hypergraph-clique with chromatic number 3
Let H=(V,E) be a hypergraph. By the chromatic number of a hypergraph H=(V,E) we mean the minimum number χ(H) of colors needed to paint all the vertices in V so that any edge e∈E contains at least two vertices of some different colors. Finally, a hypergraph is said to form a clique, if its edges are pairwise intersecting. In 1973 Erdős and Lovász noticed that if an n-uniform hypergraph H=(V,E) forms a clique, then χ(H)∈{2,3}. They untoduced following quantity. M(n)=max{∣E∣:∃ann−uniformcliqueH=(V,E)withχ(H)=3}. Obviously such definition has no sense in the case of χ(H)=2. Theorem 1 (P. Erdos, L. Lovasz} The inequalities hold n!(e−1)≤M(n)≤nn. Almost nothing better has been done during the last 35 years. At the same time, another quantity r(n) was introduced by Lovasz r(n) = \max \{|E|: ~ \exists {\rm an} ~ n-{\rm uniform} ~ {\rm clique} ~ H = (V,E) ~ {\rm s.t.} ~ τ(H) = n\}, $$ where $ τ(H) $ is the {\it covering number} of $ H $, i.e., $$ τ(H) = \min \{|f|: ~ f \subset V, ~ \forall ~ e \in E ~ f \cap e \neq \emptyset\}. $$ Clearly, for any $n$-uniform clique $ H $, we have $ τ(H) \le n $, and if $ χ(H) = 3 $, then $ τ(H) = n $. Thus, $ M(n) \le r(n) $. Lovász noticed that for $ r(n) $ the same estimates as in Theorem 1 apply and conjectured that the lower estimate is best possible. In 1996 P. Frankl, K. Ota, and N. Tokushige disproved this conjecture and showed that $ r(n) \ge (\frac{n}{2})^{n-1} $. We discovered a new upper bound for the r(n) (so for M(n) too). Theorem 2. $$ M(n) \leq r(n) \le c n^{n-1/2} \ln n. $$, where c is a constant.