arXiv++ Combinatorics

A graph parameter is self-dual in some class of graphs embeddable in some surface if its value does not change in the dual graph by more than a constant factor. We prove that the branchwidth of connected hypergraphs without bridges and loops that are embeddable in some surface of Euler genus at most g is an (1,g)-self-dual parameter. This is the first proof that branchwidth is an additively self-dual width parameter.

We present an alternative proof to the Touchard-Kaplansky formula for the problème des ménages, which, we believe, is simpler than the extant ones and is in the spirit of the elegant original proof by Kaplansky (1943). About the latter proof, Bogart and Doyle (1986) argued that despite its cleverness, suffered from opting to give precedence to one of the genders for the couples involved (Bogart and Doyle supplied an elegant proof that avoided such gender-dependent bias).