Coarse Menger conjecture for bounded genus

Status solved medium confidence

The informal conjecture that the coarse Menger conjecture holds for graphs of bounded genus was confirmed in May 2026 by Blažej, Pilipczuk, and Protopapas (arXiv:2605.11112), which proves that for every surface Σ there is a function f(d,k) such that in any Σ-embeddable graph, the absence of k pairwise d-distant S–T paths implies a set of at most f(d,k) vertices covering all S–T paths within distance d. Independently, Liu (arXiv:2605.10068) establishes the weak coarse Menger property for all minor-closed families, which subsumes bounded-genus graphs.

Cited literature (2)

• proof A coarse Menger's Theorem for planar and bounded genus graphs (2026)
  Václav Blažej, Michał Pilipczuk, Evangelos Protopapas · arXiv preprint · arXiv:2605.11112

  Proves a coarse Menger theorem for every surface-embeddable graph, confirming the conjecture from arXiv:2509.08762 for bounded-genus graphs and partially answering questions of Nguyen, Scott, and Seymour.

• partial Coarse Menger property of quasi-minor excluded graphs and length spaces (2026)
  Chun-Hung Liu · arXiv preprint · arXiv:2605.10068

  Proves the weak coarse Menger property for locally finite graphs with an excluded finite minor (optimal bounds), which covers bounded-genus graphs and extends to Riemannian surfaces of finite Euler genus.

Reviewer notes. arXiv:2605.11112 directly addresses the open problem and its title ('A coarse Menger's Theorem for planar and bounded genus graphs') confirms the conjecture is resolved; the WebFetch abstract notes it 'partially answers questions of Nguyen, Scott, and Seymour,' suggesting some related problems remain open. The confidence is medium rather than high because the exact form of the proved theorem versus the informal conjecture statement was not verified from the full paper text.

Auto-reviewed 2026-05-14 with claude-sonnet-4-6 (web search enabled).