Table of Contents
Fetching ...

Faster Weak Expander Decompositions and Approximate Max Flow

Henry Fleischmann, George Z. Li, Jason Li

TL;DR

The paper introduces faster, scalable methods for weak expander decompositions and approximate max flow in undirected graphs. By warm-starting the cut-matching game and relaxing the flow subroutines, it constructs a weak expander hierarchy with reduced recursion depth and improved tolerance to weaker oracles. This leads to an approximate max-flow algorithm with time complexity $O\bigl(m\log^{9}n\log\log n\bigr)$ and congestion-approximator quality $O(\log^{5}n)$, placing the runtime within a polylogarithmic factor of the expander-decomposition limit. The approach enhances understanding of max-flow structure and yields near-optimal, combinatorial algorithms that are closer to the expander-decomposition baseline than prior recursive methods.

Abstract

We give faster algorithms for weak expander decompositions and approximate max flow on undirected graphs. First, we show that it is possible to "warm start" the cut-matching game when computing weak expander decompositions, avoiding the cost of the recursion depth. Our algorithm is also flexible enough to support weaker flow subroutines than previous algorithms. Our second contribution is to streamline the recent non-recursive approximate max flow algorithm of Li, Rao, and Wang (SODA, 2025) and adapt their framework to use our new weak expander decomposition primitive. Consequently, we give an approximate max flow algorithm within a few logarithmic factors of the limit of expander decomposition-based approaches.

Faster Weak Expander Decompositions and Approximate Max Flow

TL;DR

The paper introduces faster, scalable methods for weak expander decompositions and approximate max flow in undirected graphs. By warm-starting the cut-matching game and relaxing the flow subroutines, it constructs a weak expander hierarchy with reduced recursion depth and improved tolerance to weaker oracles. This leads to an approximate max-flow algorithm with time complexity and congestion-approximator quality , placing the runtime within a polylogarithmic factor of the expander-decomposition limit. The approach enhances understanding of max-flow structure and yields near-optimal, combinatorial algorithms that are closer to the expander-decomposition baseline than prior recursive methods.

Abstract

We give faster algorithms for weak expander decompositions and approximate max flow on undirected graphs. First, we show that it is possible to "warm start" the cut-matching game when computing weak expander decompositions, avoiding the cost of the recursion depth. Our algorithm is also flexible enough to support weaker flow subroutines than previous algorithms. Our second contribution is to streamline the recent non-recursive approximate max flow algorithm of Li, Rao, and Wang (SODA, 2025) and adapt their framework to use our new weak expander decomposition primitive. Consequently, we give an approximate max flow algorithm within a few logarithmic factors of the limit of expander decomposition-based approaches.

Paper Structure

This paper contains 30 sections, 35 theorems, 82 equations, 1 algorithm.

Key Result

Theorem 1.1

Given an undirected graph with integral and polynomially-bounded edge capacities, there is an $O(m\log^{9}n)$ time algorithm to construct a congestion-approximator with quality $O(\log^5n)$. Together with Sherman's framework sherman2017area, we obtain an $(1-\epsilon)$-approximate max flow algorithm

Theorems & Definitions (72)

  • Theorem 1.1: Informal version of \ref{['cor:main-flow-result']}
  • Theorem 2.1: Informal version of \ref{['thm: weak-decomp-del2']}
  • Theorem 2.2: Theorem 2.1 of DBLP:conf/soda/0006R025
  • Theorem 2.3: Informal version of \ref{['thm:congestion-approximator-guarantee']}
  • Lemma 5.0
  • Lemma 5.1
  • proof
  • Remark 5.2
  • Claim 5.3
  • proof
  • ...and 62 more