The max flow/min cut theorem for currents and laminations

Aidan Backus

REVIEW 2 major objections 5 minor 3 references

The max flow/min cut theorem for currents and laminations

T0 review · 2 major / 5 minor · reviewed 2026-08-10 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read On a compact Riemannian manifold with strictly mean convex boundary, the paper proves that the least-mass current in a prescribed relative homology class has mass exactly equal to the maximum flux of a divergence-free unit vector field…

desk verdict A genuinely new topological max flow/min cut theorem, with a real but likely repairable gap in the p-Laplacian duality lemma. read the letter →

arxiv 2501.00974 v2 pith:TMMLZMHE submitted 2025-01-01 math.DG math.AP

Aidan Backus This is my paper · ORCID

classification math.DGmath.AP MSC 49Q0535J92

keywords maxflow/mincuttheoremcurrentsfunctionsofleastgradientmeasuredorientedlaminationsmeancurvaturebarrierPlateau'sproblemcalibrationsholography

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper proves a continuous and topological version of the max flow/min cut theorem. On a compact Riemannian manifold whose boundary is strictly mean convex, it shows that for any prescribed relative homology class, the least possible mass of a $d-1$-current in that class equals the largest flux a divergence-free vector field of unit norm can carry across it. Earlier continuous analogues worked only on Euclidean domains and ignored topology; this one builds the topology into the statement through a homology class $\alpha$ and a boundary cycle $S$. If the theorem is correct, it gives a variational duality relevant to holography and Teichmüller theory, and in dimensions up to seven it upgrades the optimal cut to a measured oriented minimal lamination.

What carries the argument

The load-bearing object is the least-gradient primitive $u$: an $\hat\alpha$-equivariant function of bounded variation on the universal cover $\widetilde M$, whose total variation is minimal among functions with a given boundary trace. The minimizer $C^*$ is the current $\psi\mapsto\int_M du\wedge\psi$, so its mass is $\int_M |du|\,dV$. Lemma 3.5 constructs a dual closed $(d-1)$-form $\gamma$ with $\|\gamma\|_{L^\infty}\le 1$, obtained as a limit of conjugate $p$-harmonic forms, satisfying $\int_M |du|\,dV=\int_M du\wedge\gamma$; this $\gamma$ is the flux form of the maximizing vector field. Existence of $u$ uses the mean curvature barrier condition, a weak form of strict mean convexity of $\partial M$, which prevents the minimizing cut from collapsing to the boundary.

What would settle it

Take a strictly mean convex thickening of a torus, choose boundary data with $[S]=\partial\alpha$ for an irrational class $\alpha\in H_2((M,\partial M);\mathbb{R})$, solve the equivariant $p$-Laplacian for $p\to 1$ as in Lemma 3.5, and compare the total variation of the limiting least-gradient function $u$ with $\sup\int_M du\wedge\gamma$ over closed $L^\infty$ forms $\gamma$ with $\|\gamma\|_{L^\infty}\le 1$; if these numbers differ, Theorem 1.2 is false.

Watch

Extended reading notes

Core claim

The central discovery is Theorem 1.2: if $M$ is a compact oriented Riemannian manifold, $\partial M$ is strictly mean convex, $\alpha\in H_{d-1}((M,\partial M);\mathbb{R})$, and $S$ is a closed $(d-2)$-current of finite mass in $\partial M$ with $[S]=\partial\alpha$, then among all currents $C$ with $\partial C=S$ and $[C]=\alpha$ there is a mass-minimizing $C^*$, and $\mathrm{mass}(C^*)=\max_{F\in\mathcal{F}}\int_{C^*}\mathrm{flux}\,F$, where $\mathcal{F}$ is the set of measurable vector fields with $\|F\|_{L^\infty}\le 1$ and $\mathrm{div}\,F=0$. The same theorem implies that for $d\le 7$, $C^*$ is a measured oriented minimal lamination.

Load-bearing premise

The load-bearing premise is that the boundary is strictly mean convex (equivalently, that positive mean curvature forms a dense subset of the boundary), because this barrier condition is what prevents the minimizing cut from collapsing onto the boundary.

Editorial extensions

If this is right

If $d\le 7$, the minimizer $C^*$ is a measured oriented minimal lamination: a closed union of smooth zero-mean-curvature hypersurfaces with a transverse measure, so the optimal cut is a foliation by minimal leaves.
For rational homology classes $\alpha\in H_{d-1}((M,\partial M);\mathbb{Q})$ with rational $S$, $C^*$ can be chosen as a rational $d-1$-chain of disjoint area-minimizing hypersurfaces, recovering the classical integral Plateau solution.
Theorem 4.2 extends the same duality to $C^0$ elliptic integrands satisfying the mean curvature barrier condition, so the result holds for anisotropic area functionals, not only Riemannian metrics.
The $M'=S^1$ case of the least-Lipschitz lamination theorem from Teichmüller theory follows from Corollary 1.5, giving a max-flow/min-cut proof of that part of the theory.
The duality is sharp for every real homology class compatible with the boundary data, including irrational classes where the minimizer is genuinely a lamination rather than a chain.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The strict mean convexity hypothesis is likely essential: the paper's own example (Figure 1, right) shows duality fails without it, so one natural test is to perturb a non-mean-convex boundary by a small inward bend and watch whether the equality is restored as the perturbation vanishes.
The $p$-Laplacian proof of Lemma 3.5 suggests a numerical route to the graph discretization conjecture in Section 4.2: approximate the dual form $\gamma$ by conjugate $p$-harmonic forms for $p$ close to $1$ on refined graphs, and compare discrete max flows to $\mathrm{mass}(C^*)$.
In holography, the theorem makes the bit-thread picture exact in the mean-convex setting: entanglement entropy can be identified simultaneously with the minimal mass $\mathrm{mass}(C^*)$ and with the maximum flux of a divergence-free unit vector field, the homology class supplying the topological selection rule.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Two things you should know. The main theorem is genuinely new: a continuous max flow/min cut statement on compact, strictly mean-convex Riemannian manifolds where the cut is a real current in a fixed relative homology class. That picks up the topological content the previous Strang/Nozawa results left out, and it directly addresses the Freedman–Headrick and Thurston setups. The paper also recovers the S^1 case of Thurston's theorem. The rational-chain special case is correctly flagged as already known; the real-coefficient lamination upgrade uses the author's own published [Bac24a] regularity theorem, which is not circular.

The proof, though, has a genuine gap in Lemma 3.5. The stress-test note is right: the chain

inf ∫|du_*| ≤ liminf ∫|du_p| ≤ liminf ∫|du_p|^p

uses an inequality that does not hold in general. For p>1, on the set where |du_p|<1, raising to the p-th power decreases the integrand. The correct Hölder bound is (∫|du_p|)^p ≤ ∫|du_p|^p, so the best you get is liminf ∫|du_p| ≤ liminf (∫|du_p|^p)^{1/p}, which does not obviously converge to ∫ du ∧ γ. This step is load-bearing: (3.2) is exactly what later gives the max-flow equality (1.4). I don't see the repair in the current text. It may be fixable — standard p-harmonic convergence plus energy bounds — but it needs to be written.

What else? The current formalism in §2, especially the boundary operator in Construction 2.2, is careful and interesting. The examples (RP^2 torsion, the Cantor-set trace, the irrational foliation on the torus) do real explanatory work, and they justify why currents with real coefficients and finite mass are the right category. The author also states plainly which parts are conjectural (the Freedman–Headrick discretization) and which are borrowed (JMN18, Górny's theorem). The exposition is clear throughout.

The strict mean convexity assumption is essential, and the author admits the duality can fail without it (Figure 1, right). That is a real restriction, not a flaw. The only other soft spot is the heavy reliance on [JMN18] and [Gó24] for Theorem 3.4, but that is the standard framework for least-gradient functions and the adaptation to nonzero cohomology class seems plausible.

My recommendation: send this to a serious geometric measure theory referee. The gap is real but likely repairable, and the theorem statement is important enough to warrant referee time even if the current version needs revision. I wouldn't cite the theorem in my own work until the proof is fixed. But I'd bring it to the reading group.

Referee Report

2 major / 5 minor

Summary. The paper proves a continuous analogue of the max flow/min cut theorem on compact Riemannian manifolds with strictly mean convex boundary. The main result, Theorem 1.2, asserts that for a relative homology class α and a prescribed boundary cycle S, there is a mass-minimizing d−1-current C* with ∂C*=S and [C*]=α, and that its mass equals the supremum of the flux of all divergence-free vector fields bounded in L∞ by 1. The proof is built from least-gradient functions on the universal cover, a p-Laplacian approximation scheme to construct a dual calibration, and a formalism for currents on manifolds with boundary. The paper also derives Corollary 1.5, asserting that in dimension d≤7 the minimizer is a measured oriented minimal lamination, and discusses an anisotropic generalization and connections to Thurston's asymmetric metric and to holography.

Significance. If the main theorem is correct, it provides the first continuous max flow/min cut theorem that incorporates real-coefficient topology of the domain, going beyond earlier Euclidean and L1-spectral variants. The manuscript is conceptually valuable: it identifies the correct hypotheses (strict mean convexity, finite-mass boundary currents, real coefficients) with concrete counterexamples, and it connects least-gradient theory, p-Laplacian methods, and geometric measure theory. The paper is also honest about its tools: it relies on substantial external results rather than fitted parameters, and the presentation of the current-theoretic boundary formalism is a useful contribution in itself. However, the proof as written contains a load-bearing gap in Lemma 3.5, and the central equality (1.4) is not established without repairing it.

major comments (2)

[Section 3, Lemma 3.5] The proof of (3.2) contains an invalid inequality. The displayed chain asserts liminf_{p→1} ∫_M |du_p| dV ≤ liminf_{p→1} ∫_M |du_p|^p dV. For p>1, the inequality |du_p| ≤ |du_p|^p holds only when |du_p| ≥ 1; when |du_p| < 1 pointwise, the reverse inequality holds. The p-Laplacian minimizers considered here can certainly have |du_p| < 1 on sets of positive measure, for instance for affine boundary data with sufficiently small slope. The valid L1-Lp comparison is (∫_M |du_p| dV)^p ≤ ∫_M |du_p|^p dV, which yields only liminf ∫_M |du_p| dV ≤ liminf (∫_M |du_p|^p dV)^{1/p}, not the claimed bound. Since this chain is the step that identifies the limiting L1 energy with the limit of ∫_M du_p ∧ γ_p, the equality (3.2) is not proved as written. This gap is load-bearing: Theorem 1.2 relies on (3.2) for the existence of the dual calibration γ and hence for the max-flow/min-cut equality (1.4). The gap may be repairable by additional uniform energy bounds or a different compactness argument, but such an argument is not present in the manuscript.
[Section 3, Theorem 3.4 and Lemma 3.5 interaction] The proof of Theorem 3.4 and the construction in Lemma 3.5 both work with the equivariant setting on the universal cover, but the transition from the p-Laplacian minimizers u_p to the least-gradient function u is not fully documented at the level of traces. In Lemma 3.5, after obtaining γ as a weak limit, the integration-by-parts identity uses that u has trace f; this is justified only if the trace of the weak limit of the p-Laplacian solutions is controlled. The manuscript invokes the normal trace theorem for γ_p but does not state a corresponding trace-compactness statement for the sequence u_p. This is a secondary point, but it should be clarified, especially because the p→1 limit is delicate and the same page contains the incorrect energy inequality described above.

minor comments (5)

[Introduction, paragraph after (1.2)] The sentence 'Since [C] = α and ∂S = C' should be 'Since [C] = α and ∂C = S'; as written it reverses the boundary relation.
[Sections 1.2 and 3, Lemma 3.5] The name 'Hahn-Banach' is misspelled as 'Hanh-Banach' in both occurrences.
[Section 3, Theorem 3.4] In the first paragraph of the proof, 'applied to M \ N rather than M' should read 'applied to N \ M rather than M'; the current phrase refers to the complement of N in M, which is empty in the intended construction.
[Section 3, Lemma 3.5] The expression ∫_∂M (f−h)γ_p writes a function multiplied by a (d−1)-form without indicating scalar multiplication; for readability, use (f−h)γ_p with an explicit wedge or scalar product notation, since γ_p is a form.
[Section 2, Construction 2.2] The arrow in the displayed diagram for the boundary homomorphism is unlabelled; labelling it ∂ would help the reader connect it to the subsequent discussion.

Circularity Check

0 steps flagged · score 2.0 of 10

The central max-flow/min-cut proof is not circular; minor self-citations appear only in auxiliary corollaries and are not load-bearing for Theorem 1.2.

full rationale

Theorem 1.2 is derived from an external toolbox rather than from its own conclusion. The comparison current C* is constructed as the primitive du of a least-gradient function supplied by Theorem 3.4, whose proof uses the inverse trace theorem [Gó24, Lemma 4.2], the BV trace theorem, and the mean curvature barrier condition from [JMN18]. The dual vector field F* is obtained in Lemma 3.5 by a p-Laplacian approximation adapted from [DU24b], not by fitting a parameter to the mass of C*. The equality mass(C*) = ∫_{C*} flux F* follows after the fact from ‖γ‖∞ ≤ 1 and the least-gradient property, so the maximal flow is genuinely constructed rather than defined as the cut's area. The main self-citations are [Bac24a] and [Bac24b]: the former is invoked only in Corollary 1.5 to upgrade the minimizer to a measured oriented lamination, and the latter appears in Theorem 2.1 as a restatement of Anzellotti's theorem and in §4.3 as an alternative framing of the S1 case. Both are auxiliary applications, not premises of the main duality; neither asserts the target equality as its input. The questionable inequality in Lemma 3.5 (passing from liminf ∫|du_p| to liminf ∫|du_p|^p) is a correctness concern about a genuinely nontrivial estimate, not a case of the paper assuming what it proves. Accordingly the paper receives a low score reflecting minor self-reliance in corollaries, not circularity in the core derivation.

Assumptions & free parameters 0 free parameters · 7 assumptions · 0 invented entities

The theorem is an existence/duality statement; there are no fitted constants. The main proof rests on standard BV/current/elliptic PDE tools and on two geometric hypotheses (strict mean convexity and finite-mass S). The only self-cited result, [Bac24a], is used for the lamination corollary, not for the core duality.

assumptions (7)

domain assumption Strict mean convexity of ∂M (equivalent to the mean curvature barrier condition: {H_M > 0} dense in ∂M).
Hypothesis of Theorem 1.2; used in Theorem 3.3 and Theorem 3.4 to solve the least-gradient Dirichlet problem and prevent the minimal cut from collapsing to the boundary (see Figure 1, right).
domain assumption S is a closed d-2-current of finite mass in ∂M with [S] = ∂α.
Hypothesis of Theorem 1.2; finite mass guarantees S has a BV primitive f, needed to apply the inverse trace theorem and Theorem 3.4.
domain assumption M is compact, connected, oriented, with boundary, and coefficients are taken in R.
Framework for homology and currents; real coefficients avoid the torsion obstruction discussed in the introduction.
standard math Standard geometric measure theory and PDE results: Anzellotti's theorem (Thm 2.1), BV trace theorem (Thm 2.4), inverse trace theorem [Gó24, Lemma 4.2] (Thm 2.5), existence/regularity of p-harmonic functions, Alaoglu's theorem, Plateau's problem for integral currents.
External theorems cited with references; they underpin the construction of the least-gradient function and the calibration γ.
domain assumption [Bac24a, Theorem B]: minimal laminations from level sets of 1-harmonic functions.
Used only for Corollary 1.5 to upgrade the mass-minimizing current to a measured oriented minimal lamination; this is the author's own published result.
standard math Lefschetz duality and de Rham's theorem (isomorphism (2.4) and Lemma 2.3).
Relates the relative homology class α to the equivariant cohomology class α̂ used in the least-gradient setup.
standard math Universal cover construction and equivariant functions on M̃.
Used to define primitives of S when H^1(M,R) ≠ 0, following [DU24b].

how reviews work

0 comments

Cite this review

Pith. "Pith review of The max flow/min cut theorem for currents and laminations." pith.science (2026). https://pith.science/paper/TMMLZMHE

@misc{pith2026250100974,
  author       = {Pith},
  title        = {Pith review of: The max flow/min cut theorem for currents and laminations},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/TMMLZMHE}},
  note         = {Machine review of arXiv:2501.00974}
}

read the original abstract

Motivated by applications to holography and Teichm\"uller theory, we prove a continuous analogue of the max flow/min cut theorem which also takes the topology of the domain into account.

Figures

Figures reproduced from arXiv: 2501.00974 by the authors.

**Figure 1.** Left: We have to specify a relative homology class to determine how the minimal cut will avoid the “black hole region” {x ≤ 0}, shaded in grey. Right: Because the boundary includes a minimizing cycle, there is no minimal cut. (corresponding to a path from source to sink), oriented (corresponding to directedness), and with boundary ∂M (corresponding to the source and sink). We write M := M ∪ ∂M. Let α ∈ Hd−1((M, ∂M),… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

3 extracted references · 1 canonical work pages

[1982]

A strict maximum principle for area minimizing hypersurfaces

isbn: 9780131524620. url: https://books.google.com/books?id=DvBQAAAAMAAJ. [Sim83] L. Simon. Lectures on Geometric Measure Theory. Proceedings of the Centre for Mathematical Analysis. Centre for Mathematical Analysis, Australian National University, 1983. isbn: 9780867844290. [Sim87] L. Simon. “A strict maximum principle for area minimizing hypersurfaces”....

arXiv 1987
[2022]

Transverse measures and best Lipschitz and least gradient maps

doi: 10.48550/ARXIV.2205.08250. url: https://arxiv.org/abs/2205.08250. [DU24a] G. Daskalopoulos and K. Uhlenbeck. Best Lipschitz maps and Earthquakes . 2024. arXiv: 2410 . 08296 [math.DG]. url: https://arxiv.org/abs/2410.08296. [DU24b] G. Daskalopoulos and K. Uhlenbeck. “Transverse measures and best Lipschitz and least gradient maps”. Journal of Different...

arXiv doi:10.48550/arxiv.2205.08250 2024
[2024]

The first eigenvalue of the Laplacian, isoperimetric constants, and the Max Flow Min Cut Theorem

isbn: 978-3-031-51880-5. [Gri05] D. Grieser. “The first eigenvalue of the Laplacian, isoperimetric constants, and the Max Flow Min Cut Theorem”. Archiv der Mathematik 87 (July 2005). doi: 10.1007/s00013-005-1623-4 . [GT15] D. Gilbarg and N. Trudinger. Elliptic Partial Differential Equations of Second Order . Classics in Mathe- matics. Springer Berlin Heid...

work page arXiv 1982

Pith tools

Reviewed August 10, 2026 · model on record in the stance chip above.

[1] [1982]

A strict maximum principle for area minimizing hypersurfaces

isbn: 9780131524620. url: https://books.google.com/books?id=DvBQAAAAMAAJ. [Sim83] L. Simon. Lectures on Geometric Measure Theory. Proceedings of the Centre for Mathematical Analysis. Centre for Mathematical Analysis, Australian National University, 1983. isbn: 9780867844290. [Sim87] L. Simon. “A strict maximum principle for area minimizing hypersurfaces”....

arXiv 1987

[2] [2022]

Transverse measures and best Lipschitz and least gradient maps

doi: 10.48550/ARXIV.2205.08250. url: https://arxiv.org/abs/2205.08250. [DU24a] G. Daskalopoulos and K. Uhlenbeck. Best Lipschitz maps and Earthquakes . 2024. arXiv: 2410 . 08296 [math.DG]. url: https://arxiv.org/abs/2410.08296. [DU24b] G. Daskalopoulos and K. Uhlenbeck. “Transverse measures and best Lipschitz and least gradient maps”. Journal of Different...

arXiv doi:10.48550/arxiv.2205.08250 2024

[3] [2024]

The first eigenvalue of the Laplacian, isoperimetric constants, and the Max Flow Min Cut Theorem

isbn: 978-3-031-51880-5. [Gri05] D. Grieser. “The first eigenvalue of the Laplacian, isoperimetric constants, and the Max Flow Min Cut Theorem”. Archiv der Mathematik 87 (July 2005). doi: 10.1007/s00013-005-1623-4 . [GT15] D. Gilbarg and N. Trudinger. Elliptic Partial Differential Equations of Second Order . Classics in Mathe- matics. Springer Berlin Heid...

work page arXiv 1982