On the Houdré-Tetali conjecture about an isoperimetric constant of graphs

Houdré and Tetali defined a class of isoperimetric constants ${\phi }_p$ of graphs for $0\le p\le 1$, and conjectured a Cheeger-type inequality for ${\phi }_{\frac{1}{2}}$ of the form $${\lambda }_2\lesssim {\phi }_{\frac{1}{2}}\lesssim \sqrt{{\lambda }_2}$$ where ${\lambda }_2$ is the second smallest eigenvalue of the normalized Laplacian matrix. If true, the conjecture would be a strengthening of the hard direction of the classical Cheeger’s inequality. Morris and Peres proved Houdré and Tetali’s conjecture up to an additional log factor, using techniques from evolving sets. We present the following related results on this conjecture. - We provide a family of counterexamples to the conjecture of Houdré and Tetali, showing that the logarithmic factor is needed. - We match Morris and Peres’s bound using standard spectral arguments. - We prove that Houdré and Tetali’s conjecture is true for any constant $p$ strictly bigger than $\frac{1}{2}$, which is also a strengthening of the hard direction of Cheeger’s inequality. Furthermore, our results can be extended to directed graphs using Chung’s definition of eigenvalues for directed graphs.