On the Ban-Linial Conjecture
arXiv:2512.18913
Abstract
Let be a graph and let be a partition of . This partition is called external or unfriendly if every has at least as many neighbours in as in . Every maximum edge-cut gives rise to an external partition, so these partitions are always guaranteed to exist. However, it remains a challenge to find such partitions with additional restrictions. Ban and Linial have conjectured that in the case when is cubic, there always exists an external partition for which . We prove this in two special cases: whenever can be decomposed into a cycle and a tree, and whenever has a cubic tree for which is bipartite.
8 pages, 2 figures