Pith. sign in

REVIEW 4 cited by

Asymptotic structure. VI. Distant paths across a disc

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2509.07174 v1 pith:4XBJXWIJ submitted 2025-09-08 math.CO

Asymptotic structure. VI. Distant paths across a disc

classification math.CO
keywords pathsthereverticesdistanceeverymengereithergraph
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
Share X Bluesky LinkedIn Reddit HN
read the original abstract

Menger's theorem says that, for $k\ge0$, if $S, T$ are sets of vertices in a graph $G$, then either there are $k + 1$ vertex-disjoint paths between $S$ and $T$, or there is a set X of at most $k$ vertices such that every $S$-$T$ path passes through $X$. The ``coarse Menger conjecture'' proposed a generalization of Menger's theorem for paths that are far apart: for all $k, c$ there exists $\ell$, such that for every graph $G$ and subsets $S, T \subset V (G)$, either there are $k + 1$ paths between $S$ and $T$, pairwise with distance more than $c$, or there is a set $X \subset V (G)$ of at most $k$ vertices such that every $S$-$T$ path has distance at most $\ell$ from $X$. This is known to be false, but may be true if $G$ is planar. Here we show that it is true if $G$ is planar and all vertices in $S \cup T$ are on the infinite region. In this case, we also obtain a linear-time algorithm to test for the existence of $k+ 1$ paths between $S$ and $T$, pairwise with distance more than $c$.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 4 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. A coarse Menger theorem for hyperbolic graphs, finitely presented groups, and more

    math.CO 2026-06 unverdicted novelty 7.0

    Graphs with cycle spaces generated by bounded-length cycles have the coarse Menger property, with corollaries for hyperbolic graphs, finitely presented groups, and planar graphs with bounded faces.

  2. A coarse Menger's Theorem for planar and bounded genus graphs

    math.CO 2026-05 unverdicted novelty 7.0

    In planar and bounded-genus graphs, absence of k pairwise d-far S-T paths implies a vertex set of size f(d,k) whose d-neighborhood intersects every S-T path.

  3. Coarse Menger property of quasi-minor excluded graphs and length spaces

    math.CO 2026-05 unverdicted novelty 7.0

    Locally finite graphs with an excluded finite minor have the weak coarse Menger property with f depending only on k and g linear in r independent of k.

  4. A coarse block-cut tree theorem

    math.CO 2026-07 accept novelty 6.0

    Every graph admits a tree decomposition with small-diameter adhesion sets where same-bag vertices cannot be separated by small, distant vertex sets.