theoretical-computer-science / Metric embeddings into L1; multicommodity flow-cut gaps

The planar and bounded-treewidth cases of the GNRS L1-embedding conjecture

Planar paper, Theorem 1.1: a universal constant C≥1C\ge1 such that every finite connected planar graph with positive edge lengths embeds into L1L_1 with distortion at most CC; hence the undirected multicommodity flow-cut gap is uniformly bounded on planar graphs. Treewidth companion, Theorem 1.1: for each kk, a constant CkC_k (no explicit estimate) for graphs with tree decompositions of bag size at most kk, hence also for graphs excluding a fixed planar minor. Together they give constant distortion for fixed-parameter almost-embeddable families. Not shown: the full GNRS conjecture for every minor-closed family (closure under clique sums is open), and no explicit value of CC.

45Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

theoretical-computer-scienceSep 23, 2026Significance 45/100Registry: lean checked

The planar and bounded-treewidth cases of the GNRS L1-embedding conjecture

Prior state unknown→proved

Planar paper, Theorem 1.1: a universal constant C≥1C\ge1 such that every finite connected planar graph with positive edge lengths embeds into L1L_1 with distortion at most CC; hence the undirected multicommodity flow-cut gap is uniformly bounded on planar graphs. Treewidth companion, Theorem 1.1: for each kk, a constant CkC_k (no explicit estimate) for graphs with tree decompositions of bag size at most kk, hence…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Planar paper, Theorem 1.1: a universal constant C≥1C\ge1 such that every finite connected planar graph with positive edge lengths embeds into L1L_1 with distortion at most CC; hence the undirected multicommodity flow-cut gap is uniformly bounded on planar graphs. Treewidth companion, Theorem 1.1: for each kk, a constant CkC_k (no explicit estimate) for graphs with tree decompositions of bag size at most kk, hence also for graphs excluding a fixed planar minor. Together they give constant distortion for fixed-parameter almost-embeddable families. Not shown: the full GNRS conjecture for every minor-closed family (closure under clique sums is open), and no explicit value of CC.

Planar paper, Theorem 1.1: a universal constant C≥1C\ge1 such that every finite connected planar graph with positive edge lengths embeds into L1L_1 with distortion at most CC; hence the undirected multicommodity flow-cut gap is uniformly bounded on planar graphs. Treewidth companion, Theorem 1.1: for each kk, a constant CkC_k (no explicit estimate) for graphs with tree decompositions of bag size at most kk, hence also for graphs excluding a fixed planar minor. Together they give constant distortion for fixed-parameter almost-embeddable families. Not shown: the full GNRS conjecture for every minor-closed family (closure under clique sums is open), and no explicit value of CC.

Recorded attempts

Evidence graph

Connected research record