Boundary rank obstruction in a half graph

ID: boundary-rank-obstruction-in-a-half-graph

Partition both sides of a half graph into classes of size at least . A class of size has at most elements with fewer than class elements on one side in the underlying order. If there are and classes, the union of these boundary elements has size at most . Some index is therefore away from both boundaries. The class containing on each side has at least one tenth of its points strictly above and strictly below . Choosing lower points with upper points, or upper points with lower points, yields edge density of a bipartite graph values one and zero. Both cannot be within of the same class-pair edge density of a bipartite graph, so that pair is not a -regular pair of vertex sets.

New to topics? Read the docs here!