I'm interested in inequalities that guarantee the presence of cliques in incomplete block designs. Here's the set-up:
I have an incidence structure $(V, B)$ which is an incomplete block design: $V$ is a set of size $v$ (the vertices), $B$ is a set of size $b$ (the blocks) and the following properties hold
- every block is incident with $k$ vertices;
- every vertex is incident with $r$ blocks;
- any two blocks intersect in either 0 or 1 vertices.
It is easy enough to prove that if $$k(k-1)(r-1)+k>v$$ then there is a 3-clique, i.e. a set of 3 vertices and 3 blocks whose incidence graph is a $K_{3,3}$ complete bipartite graph. I'm imagining that there might be an analogous inequality for $4$-cliques, 5-cliques and so on... and I'd like to know if someone can point me to it in the literature.
Note: the only slightly unusual part of this set up is that two of my blocks can intersect in either 0 or 1 vertices. In design theory terms I'm saying that $\lambda \in\{0,1\}$ $-$ the fact that $\lambda$ can take on more than one value is the reason my incidence structure is not a balanced incomplete block design.