The proofs of two directed paths conjectures of Bollob\'as and Leader

TL;DR

This paper proves stronger versions of two conjectures by Bollobás and Leader, showing that the maximum number of edge-disjoint paths between certain sets in a hypercube can be realized with directed paths, using novel compression techniques.

Contribution

The authors introduce a new compression method to prove that maximum edge-disjoint paths can be directed when connecting down-sets and up-sets in hypercubes, strengthening previous conjectures.

Findings

Proved that maximum edge-disjoint paths can be directed between down-sets and up-sets.

Extended results to all sizes of sets A and B.

Strengthened conjectures for vertex-disjoint paths using similar methods.

Abstract

Let $A$ and $B$ be disjoint sets, of size $2^k$, of vertices of $Q_n$, the $n$-dimensional hypercube. In 1997, Bollob\'as and Leader proved that there must be $(n-k)2^k$ edge-disjoint paths between such $A$ and $B$. They conjectured that when $A$ is a down-set and $B$ is an up-set, these paths may be chosen to be directed (that is, the vertices in the path form a chain). We use a novel type of compression argument to prove stronger versions of these conjectures, namely that the largest number of edge-disjoint paths between a down-set $A$ and an up-set $B$ is the same as the largest number of directed edge-disjoint paths between $A$ and $B$. Bollob\'as and Leader made an analogous conjecture for vertex-disjoint paths and we prove a strengthening of this by similar methods. We also prove similar results for all other sizes of $A$ and $B$.