Pith. sign in

REVIEW 2 cited by

The grid-minor theorem revisited

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 2307.02816 v2 pith:QVNMRRES submitted 2023-07-06 math.CO cs.DM

classification math.COcs.DM
keywords grapheveryexistsgrid-minorresulttheoremtheretreedepth
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
abstract

We prove that for every planar graph $X$ of treedepth $h$, there exists a positive integer $c$ such that for every $X$-minor-free graph $G$, there exists a graph $H$ of treewidth at most $f(h)$ such that $G$ is isomorphic to a subgraph of $H\boxtimes K_c$. This is a qualitative strengthening of the Grid-Minor Theorem of Robertson and Seymour (JCTB 1986), and treedepth is the optimal parameter in such a result. As an example application, we use this result to improve the upper bound for weak coloring numbers of graphs excluding a fixed graph as a minor.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

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

  1. Short Paths in the Planar Graph Product Structure Theorem

    math.CO 2025-02 conditional novelty 8.0 of 10

    Every n-vertex planar graph is contained in H ⊠ P ⊠ K_c for some planar H of treewidth 3 and a path P of length O((tw(G)+1)^(1-ε) n^ε).

  2. Excluding a rectangular grid

    math.CO 2025-01 conditional novelty 8.0 of 10

    A new parameter family, k-treedepth, is characterized by excluded minors T□P_l for all k-vertex trees T, unifying treedepth, the ladder theorem, and the Grid-Minor Theorem.

Pith tools