Deeparnab Chakrabarty,C. Seshadhri
Abstract:Motivated by applications to monotonicity testing, Lehman and Ron (JCTA, 2001) proved the existence of a collection of vertex disjoint paths between comparable sub-level sets in the directed hypercube. The main technical contribution of this paper is a new proof method that yields a generalization to their theorem: we prove the existence of two edge-disjoint collections of vertex disjoint paths. Our main conceptual contribution are conjectures on directed hypercube flows with simultaneous vertex and edge capacities of which our generalized Lehman-Ron theorem is a special case. We show that these conjectures imply directed isoperimetric theorems, and in particular, the robust directed Talagrand inequality due to Khot, Minzer, and Safra (SIAM J. on Comp, 2018). These isoperimetric inequalities, that relate the directed surface area (of a set in the hypercube) to its distance to monotonicity, have been crucial in obtaining the best monotonicity testers for Boolean functions. We believe our conjectures pave the way towards combinatorial proofs of these directed isoperimetry theorems.
What problem does this paper attempt to address?
### Problems the paper attempts to solve
The paper "Directed Hypercube Routing, a Generalized Lehman - Ron Theorem, and Monotonicity Testing" mainly attempts to solve the following problems:
1. **Path Existence Problem**:
- **Lehman - Ron Theorem**: In 2001, Lehman and Ron proved that in a directed hypercube, given two matching pairs \((S, T; \phi)\), if all points in \(S\) and \(T\) have the same Hamming weight, vertex - disjoint paths from \(S\) to \(T\) can be found. Specifically, for an integer \(0\leq i\leq d\), let \(L_i\) denote the \(i\)-th layer, that is, \(L_i:=\{x\in V(H):\|x\|_1 = i\}\). The Lehman - Ron theorem states that for any two integers \(i < j\), if \((S, T; \phi)\) is a matching pair and \(S\subseteq L_i\), \(T\subseteq L_j\), then there are \(|S| = |T|\) vertex - disjoint paths from \(S\) to \(T\).
- **Strengthened Lehman - Ron Theorem**: This paper further generalizes this result through a new proof method. If the distance between the terminals is at least 2, then there are two edge - disjoint LR solutions.
\[
\text{Theorem 1.2:} \quad \text{For any two integers } i < j \text{ and } j - i\geq 2, \text{ if } (S, T; \phi) \text{ is a matching pair and } S\subseteq L_i, T\subseteq L_j, \text{ then there exists a set of 2 vertex - disjoint paths whose union is edge - disjoint.}
\]
2. **Conjecture and Monotonicity Testing**:
- **Conjecture 1.3**: As the distance between layers \(L_i\) and \(L_j\) increases, there should be more edge - disjoint LR solutions. Specifically, for any two integers \(i < j\) and \(r := j - i\), if \((S, T; \phi)\) is a matching pair and \(S\subseteq L_i\), \(T\subseteq L_j\), then there exists a set of \(r\) vertex - disjoint paths whose union is edge - disjoint.
\[
\text{Conjecture 1.3:} \quad \text{For any two integers } i < j \text{ and } r := j - i, \text{ if } (S, T; \phi) \text{ is a matching pair and } S\subseteq L_i, T\subseteq L_j, \text{ then there exists a set of } r \text{ vertex - disjoint paths whose union is edge - disjoint.}
\]
3. **Relationship with Monotonicity Testing**:
- **Motivation**: The main motivation for these studies is to better understand the problem of monotonicity testing of functions. In particular, on hypercube and hypergrid domains, this problem has been studied for more than 25 years. The research in this paper aims to provide alternative proofs of these directed isoperimetric inequalities through combinatorial methods.
- **Directed Isoperimetric Inequalities**: These inequalities, such as the robustly directed Talagrand inequality of Khot, Minzer, and Safra, are crucial for designing optimal monotonicity testers.
### Summary
This paper generalizes Lehman - Ron through a new proof method.