Regular triangle counting lemma
ID: regular-triangle-counting-lemma
If three disjoint vertex classes have size , and their three pairs are -regular pairs of vertex sets of edge density of a bipartite graph at least , where and , they contain at least the displayed number of transversal triangles in a graph. All but vertices in the first class have at least neighbours in both other classes. Regularity between those two neighbour sets supplies the third edge. This strengthens a mere triangle embedding lemma for regular pairs to a cubic lower count.
New to topics? Read the docs here!