---
title: Multiflow-Multicut Gap Overview
url: https://www.emergentmind.com/topics/multiflow-multicut-gap
type: topic
---

# Multiflow-Multicut Gap Overview

The multiflow-multicut gap is the ratio between an optimal multicut and the corresponding optimal multiflow relaxation, or, in concurrent-flow language, between sparsest cut and maximum concurrent flow. In LP terms, it is the integrality gap of the natural covering formulation for multicut or sparsest cut. The classical max-flow min-cut theorem gives gap \(1\) for a single source-sink pair, and Hu’s theorem preserves gap \(1\) for two pairs, but for general multicommodity instances the gap can be much larger; a major line of research asks how graph topology, terminal placement, directionality, and the capacity model control this ratio [2211.06267][2507.06576][1008.2136].

## 1. Formulations and dual interpretations

A standard setting uses a supply graph \(G=(V,E)\) with capacities and a demand graph \(H=(V,F)\) on the same vertex set. A multiflow assigns nonnegative weight to supply paths realizing the demand pairs, while a multicut is a set of supply edges or vertices whose removal disconnects every demanded pair. In the plane multiflow formulation, if \(P\) denotes the set of all demand paths, then a feasible multiflow is a function \(f:P\to \mathbb{R}_+\) satisfying edge-capacity constraints, and its value is \(|f|=\sum_{P\in P} f(P)\); a multicut is a set \(M\subseteq E\) intersecting every demand path, with capacity \(c(M)=\sum_{e\in M} c(e)\). Every feasible multiflow and every multicut satisfy the basic inequality \(|f|\le c(M)\) [2002.10927].

The natural LP relaxation for multicut is the path-covering LP
\[
\min \sum_{e\in E} w_e x_e
\quad \text{s.t.}\quad
\sum_{e\in p} x_e \ge 1 \ \ \forall p\in \mathcal P_{st},\ (s,t)\in F,\qquad
x_e\ge 0,
\]
and its dual is a maximum multicommodity flow LP [1607.07200]. In the node-weighted planar-digraph setting, the analogous relaxation is
\[
\min \sum_{v\in V} c(v)x_v
\quad\text{s.t.}\quad
\sum_{v\in p} x_v \ge 1 \ \forall p\in \mathcal P_i,\ \forall i\in[k],\quad x_v\ge 0,
\]
with the dual corresponding to maximum throughput multicommodity flow; in that formulation, the integrality gap of the multicut LP is exactly the flow-cut gap [2601.20038].

For sparsest-cut formulations, one instead compares the maximum concurrent flow to the best cut sparsity. In planar edge-capacitated networks with terminal set \(T\), the worst-case ratio is
\[
gap(G,c,d)=\frac{\operatorname{sparsest-cut}(G,c,d)}{\operatorname{concurrent-flow}(G,c,d)}\ge 1,
\]
and the same work identifies this gap with the terminal \(\ell_1\)-distortion quantity \(c_1^+(G;T)\) [1811.02685].

A parallel notion is the integer flow-cut gap. In the formulation of integer and fractional multiflows, the fractional gap asks for the minimum congestion \(\alpha\) such that a cut-feasible instance is fractionally routable in \(\alpha G\), while the integer gap imposes integrality on the path variables themselves [1008.2136]. This distinction is central in classes where fractional routing is well understood but integral routing is not.

## 2. Exact regimes and gap-one phenomena

Several graph classes admit exact max-flow/min-cut-type behavior. For one source-sink pair, the classical theorem gives gap \(1\), and Hu’s theorem extends this to two pairs [2211.06267][2507.06576]. Beyond these cases, exactness is typically structural rather than universal.

For undirected series-parallel supply graphs, the decisive obstruction is the odd spindle. A pair \((G,H)\) is cut-sufficient exactly when every capacity-demand assignment satisfying the cut condition is routable, and in this setting cut-sufficiency is equivalent to flow-cut gap \(1\). The complete characterization is that if \(G\) is series-parallel, then \((G,H)\) is cut-sufficient iff it does not contain an odd spindle as a minor; here an odd spindle is a \(p\)-spindle with \(p\ge 3\) odd, where \(G=K_{2,p}\) and \(H\) consists of a cycle on the \(p\) degree-\(2\) vertices together with an edge joining the two hubs [1203.4041]. In the Eulerian case, the same work proves an integral routing theorem and a polynomial-time algorithm.

Planar terminal placement can also force exactness. In the single-face edge-capacitated setting, the Okamura-Seymour theorem gives exact gap \(1\) [1811.02685]. For planar graphs with three holes, Karzanov’s theorem identifies an exact solvability criterion: the instance is feasible iff the cut condition and the \((2,3)\)-metric condition both hold, and if the data are Eulerian then an integer solution exists [1410.7208]. The sharpened version reduces verification to regular cuts and regular \((2,3)\)-metrics, giving a precise topological obstruction theory for that regime.

Directed series-parallel graphs behave differently. The cut condition is necessary for feasibility of a fractional multiflow,
\[
c(\delta^+(X))\geq \sum_{i\in[k]:\, s_i\in X\subseteq V\setminus\{t_i\}} d_i
\qquad\text{for all }X\subseteq V,
\]
but is not sufficient in general [2412.05182]. Nevertheless, the same work establishes strong rounding and integrality statements for total arc loads: if demands are integers, the total arc-flow vector of any multiflow is a convex combination of total arc flows of integer multiflows with
\[
\lfloor x_e\rfloor \le y_e \le \lceil x_e\rceil
\qquad\text{for every arc }e,
\]
and every fractional multiflow can be expressed as a convex combination of unsplittable multiflows satisfying
\[
x_e - d_{\max} < y_e < x_e + d_{\max}
\qquad\text{for every arc }e.
\]
This is not a direct multicut theorem, but it is a strong integrality phenomenon on the flow side [2412.05182].

## 3. Undirected planar, fully planar, and face-local bounds

In planar undirected graphs, the gap depends strongly on how terminals occupy the embedding. If \(\gamma(G;T)\) is the minimum number of faces whose union contains all terminals, then the edge-capacitated flow-cut gap satisfies
\[
gap(G;T)\le O(\log \gamma(G;T)),
\]
improving earlier \(2^{O(\gamma)}\) and \(3\gamma\) bounds, and this logarithmic dependence is tight up to constants [1811.02685]. The same work also proves that for planar networks with polymatroid or vertex capacities and terminals on at most \(\gamma\) faces,
\[
\mcf_G(\vec{\rho},\dem)\le \Phi_G(\vec{\rho},\dem)\le C\,\gamma\cdot \mcf_G(\vec{\rho},\dem),
\]
so the vertex-capacitated gap is \(O(\gamma)\) rather than \(O(\log\gamma)\) [1811.02685].

A different planar regime is the fully planar case, where the union \(G+H\) is planar. For the maximization version of edge-disjoint paths, there is a polynomial-time \(32\)-approximation, and the same duality machinery yields an approximate max-multiflow min-multicut theorem:
\[
\text{minimum multicut} \le 64 \cdot \text{maximum integer multiflow}.
\]
The associated LP gaps are constant: the packing-side gap is at most \(32\), and the covering-side gap is at most \(2\) [2001.01715].

For plane multiflow maximization in the undirected setting, where again \(G+H\) is planar, there exists a feasible multiflow \(f\) and a multicut \(Q\) such that
\[
c(Q)\le 2|f|,
\]
with both computable in polynomial time. This gives a fractional flow-cut gap at most \(2\). The same work then rounds arbitrary fractional multiflows to half-integer multiflows with loss at most \(2\), and half-integer multiflows to integer multiflows with another loss at most \(2\), yielding the chain
\[
\mathrm{MC} \le 2\,\mathrm{MF}_{\mathbb{R}} \le 4\,\mathrm{MF}_{1/2} \le 8\,\mathrm{MF}_{\mathbb{Z}}.
\]
Accordingly, the half-integer flow-cut gap is at most \(4\), the integer flow-cut gap is at most \(8\), and the maximum integer plane multiflow admits a \(1/4\)-approximation [2002.10927].

Half-integrality can itself be optimal in planar union instances. In Seymour instances, meaning \(G+H\) planar, modified WGMV primal-dual analysis yields a half-integral dual and therefore a feasible half-integral flow of value \(F\) together with a multicut of value \(C\) such that
\[
C \le 2F.
\]
This factor \(2\) is tight, and converting the half-integral flow to an integral flow gives
\[
C \le 4F
\]
for integral flow [2007.14156].

## 4. Directed planar graphs and planar digraphs

Directed planar graphs long resisted any analogue of the undirected planar theory. A major step is the result that the uniform multicommodity flow-cut gap on planar digraphs is \(O(\log^2 n)\), while the non-uniform gap is \(O(\log^3 n)\) [2111.07974]. The same work derives a polynomial-time \(O(\log^2 n)\)-approximation for uniform directed sparsest cut on planar digraphs, a polynomial-time \(O(\log^3 n)\)-approximation for general directed sparsest cut, and a polynomial-time \(O(\log^2 n)\)-approximation for directed multicut [2111.07974].

The technical route is geometric. Planar digraph shortest-path quasimetrics admit \(\Delta\)-bounded, \(O(\log^2 n)\)-Lipschitz random quasipartitions, samplable in polynomial time, and these imply an embedding into directed \(\ell_1\) with distortion \(O(\log^3 n)\) [2111.07974]. The construction uses shortest-path separators and layered decomposition in the spirit of planar separator theory.

Node weights require additional work. For planar digraph multicut, Kawarabayashi and Sidiropoulos obtained an \(O(\log^2 n)\)-approximation in the edge-weighted setting, and the node-weighted extension proves a deterministic efficient \(O(\log^2 n)\)-approximation for node-weighted multicut via the natural LP. Because the LP dual is maximum throughput multicommodity flow, this yields an \(O(\log^2 n)\) upper bound on the multicommodity flow-cut gap in node-weighted planar digraphs as well [2601.20038]. The same LP framework and the standard reduction from multicut to nonuniform sparsest cut give a deterministic \(O(\log^3 n)\)-approximation for node-weighted sparsest cut on planar digraphs [2601.20038].

Planarity is essential in this line of work. The node-weighted extension cannot be obtained by a black-box node-splitting reduction, because the standard transformation does not preserve planarity [2601.20038]. The proofs rely on Thorup’s planar separator theorem, applied to shortest-path trees in planar digraphs, and on recursive cutting around three directed shortest paths. The deterministic algorithm replaces randomized ball growing and random shifts with a deterministic region-growing lemma of Garg-Vazirani-Yannakakis; this may lose a logarithmic factor in the layering step, but the final asymptotic guarantee remains \(O(\log^2 n)\) [2601.20038].

## 5. Bounded width, directed minor-free classes, and generalized capacities

Outside planarity, bounded-width structure still controls the gap. For a treewidth-\(r\) graph with edge capacities and source-sink pairs, there exists a polynomial-time computable multicommodity flow of value \(f\) and a multicut of value \(c\) such that
\[
f \le c \le O(\ln(r+1))\cdot f.
\]
The multiflow-multicut gap in treewidth-\(r\) graphs is therefore \(\Theta(\ln(r+1))\), and this is asymptotically tight [2211.06267]. The constructive proof rounds the optimal fractional multicut solution by modified region growing; the logarithmic dependence comes from bounding how often an edge can be charged, with a crucial shadow multiplicity bound of \(2r^3+2r\) [2211.06267].

Directed minor-free analogues are more limited but still nontrivial. For uniform demands, the multi-commodity flow-cut gap is \(O(1)\) on directed series-parallel graphs and on directed graphs of bounded pathwidth. For non-uniform demands, the gap is \(O(1)\) on directed trees and directed cycles [1711.01370]. These were presented as the first constant upper bounds of this type for nontrivial directed families, obtained through Lipschitz quasipartitions and embeddings into convex combinations of directed cut metrics [1711.01370].

Polymatroidal networks generalize edge- and node-capacitated models by imposing submodular capacity constraints on incident edges at each node. In undirected polymatroidal networks with \(k\) source-sink pairs, the maximum concurrent flow versus sparsest-cut gap is \(O(\log k)\), and the maximum throughput flow versus multicut gap is also \(O(\log k)\) [1110.6832]. In directed polymatroidal networks with symmetric demands, the minimum multicut is at most
\[
O\!\left(\min\{\log^2 k,\ \log n\log\log n\}\right)\cdot \beta
\]
when \(\beta\) is the maximum concurrent flow value, while the sparsest cut is at most
\[
O\!\left(\min\{\log^3 k,\ \log^2 n\log\log n\}\right)\cdot \beta.
\]
The directed results rely on reducing the polymatroidal dual to a standard edge-capacitated directed instance, whereas the undirected results rely on Lovász extensions and line embeddings with low average distortion [1110.6832].

## 6. Lower bounds, obstructions, and hardness thresholds

The general gap can be very large. For directed graphs, Chuzhoy and Khanna proved a \(\widetilde{\Omega}(n^{1/7})\) lower bound even for directed acyclic graphs, a benchmark repeatedly used to contrast planar-digraph upper bounds [2111.07974][2601.20038].

A classical family exhibiting large directed separation is the Saks et al. construction. Using network coding, the strong-product analysis of \(\mathcal P_n^k\) shows that
\[
\operatorname{mc}(\mathcal{P}_n^k)=n^k-(n-1)^k
\]
and that the optimal network coding rate is exactly the same:
\[
\text{coding rate}(\mathcal{P}_n^k)=n^k-(n-1)^k.
\]
For this family, the coding rate and the multicut are a factor \(k-o(k)\) larger than the multicommodity flow rate, sharpening the Saks \(\Theta(k)\) gap [1305.3869]. The key mechanism is the notion of a \(\rho\)-certifiable linear network code, for which every multicut \(M\) satisfies
\[
|M| \ge \operatorname{rank}(L^T I_M) \ge \rho.
\]

In planar graphs, lower bounds are also nontrivial. The longstanding lower bound of \(2\) has been improved to \(20/9\), and this already holds for cactus graphs:
\[
\alpha_{\mathcal M(\text{cactus})}\ge \frac{20}{9}.
\]
Since cactus graphs are planar, this implies
\[
\alpha_{\mathcal M(\text{planar})} \ge \frac{20}{9}.
\]
The same work gives an explicit integrality-gap instance with
\[
\frac{OPT_{IP}}{OPT_{LP}} \ge \frac{20}{9}-\frac{4}{k},
\]
and develops a framework that translates multicut integrality gaps into the nonexistence of suitably light distributions over small-diameter decompositions [2507.06576].

Demand-graph structure can itself determine approximability. For directed multicut with a fixed directed bipartite demand graph \(H\), if \(\alpha_H\) denotes the worst-case flow-cut gap, then, assuming UGC, there is no polynomial-time \((\alpha_H-\epsilon)\)-approximation for any fixed \(\epsilon>0\) [1607.07200]. For non-bipartite fixed \(H\), the hardness degrades by a \(2\lceil \log k\rceil\) factor in the denominator, and for \(k\) disjoint directed demand edges the problem is hard to approximate within \(k-\epsilon\) [1607.07200]. Conversely, if \(H\) excludes an induced \(k\)-matching-extension, then the directed flow-cut gap is at most \(k-1\) and a polynomial-time rounding algorithm achieves this bound [1607.07200]. These results make the LP gap itself a hardness threshold for broad directed families.

## 7. Proof paradigms and conceptual viewpoints

Several proof paradigms recur across the literature. One is LP duality plus metarounding. In the planar-digraph multicut framework, if an \(\alpha\)-approximation exists via the natural LP, then Carr-Vempala style arguments yield a distribution over integral solutions cutting each edge or vertex with probability at most \(\alpha\) times its LP value [2601.20038]. This viewpoint directly connects approximation factors, integrality gaps, and randomized or deterministic decompositions.

A second paradigm is metric and quasimetric embedding. For planar graphs with terminals on \(\gamma\) faces, stochastic embeddings of terminal metrics into trees with expected distortion \(O(\log \gamma)\) imply the corresponding flow-cut bound because tree metrics embed isometrically into \(\ell_1\) [1811.02685]. For directed planar graphs, the analogous object is a quasimetric rather than a metric, and \(\Delta\)-bounded \(O(\log^2 n)\)-Lipschitz quasipartitions yield embeddings into directed \(\ell_1\) with distortion \(O(\log^3 n)\), which in turn produce multicut and sparsest-cut approximations [2111.07974].

A third paradigm is region growing and separator recursion. The treewidth-\(r\) theorem rounds LP solutions by bounded-treewidth-specific region growing, while the node-weighted planar-digraph multicut algorithm combines removal of large LP variables, a layering decomposition with cost
\[
c(S') \le O\!\left(\frac{\log n}{\delta}\right)\mathrm{vol}(V),
\]
and a separator lemma that ultimately yields
\[
c(S) \le O(\log^2 n)\sum_{v\in V} c(v)x_v
\]
[2211.06267][2601.20038]. In planar digraphs this is enabled by separators consisting of three directed shortest paths.

A fourth paradigm is primal-dual uncrossing and half-integrality. The WGMV framework for uncrossable cut cover gives a \(2\)-approximation in general, and its half-integral refinement for integral edge costs produces half-integral duals that correspond to half-integral multiflows in Seymour instances [2007.14156]. In the plane multiflow setting, uncrossing produces laminar multiflows, total unimodularity gives half-integral solutions, and planar auxiliary graphs plus \(4\)-coloring yield integral rounding [2002.10927].

Finally, planarity often admits topological relaxations stricter than ordinary fractional flow. An uncrossed multiflow is one whose support paths do not cross in the plane. In general planar graphs, an uncrossed fractional multiflow can always be rounded to an integral multiflow with a constant fraction of its value in the maximization model, and a strongly uncrossed feasible fractional multiflow can be rounded in the congestion model to an integral multiflow with edge congestion \(2\), or to an unsplittable multiflow with edge load strictly less than \(2u(e)+d_{\max}\) [2511.00254]. This is not a multicut theorem, but it is a closely related fractional-to-integral gap phenomenon on the routing side.

Taken together, these results show a highly stratified landscape. Exact gap \(1\) survives in a few rigid topologies, planar and bounded-width families often admit constant or polylogarithmic bounds, and general directed instances can exhibit polynomially growing separations. The modern theory therefore treats the multiflow-multicut gap not as a single number, but as a structural invariant shaped by embeddings, separators, minor structure, face covers, demand-graph obstructions, and the choice between edge, node, and submodular capacity models.

Source: https://www.emergentmind.com/topics/multiflow-multicut-gap