Pith. sign in

REVIEW 1 cited by

Every graph with no $\mathcal{K}_9^{-6}$ minor is $8$-colorable

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 2209.05259 v2 pith:LP4CFSJH submitted 2022-09-12 math.CO

classification math.CO
keywords mathcalgrapheveryminorcolorableconjecturegraphshadwiger
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
abstract

For positive integers $t$ and $s$, let $\mathcal{K}_t^{-s}$ denote the family of graphs obtained from the complete graph $K_t$ by removing $s$ edges. A graph $G$ has no $\mathcal{K}_t^{-s}$ minor if it has no $H$ minor for every $H\in \mathcal{K}_t^{-s}$. Motivated by the famous Hadwiger's Conjecture, Jakobsen in 1971 proved that every graph with no $\mathcal{K}_7^{-2}$ minor is $6$-colorable; very recently the present authors proved that every graph with no $\mathcal{K}_8^{-4}$ minor is $7$-colorable. In this paper we continue our work and prove that every graph with no $\mathcal{K}_9^{-6}$ minor is $8$-colorable. Our result implies that $H$-Hadwiger's Conjecture, suggested by Paul Seymour in 2017, is true for all graphs $H$ on nine vertices such that $H$ is a subgraph of every graph in $ \mathcal{K}_9^{-6}$.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

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

  1. Every graph with no $K_7^{\vee}$-minor is $6$-colorable

    math.CO 2025-07 conditional novelty 7.0 of 10

    Every graph with no K_7^∨-minor (K_7 with two edges sharing an endpoint deleted) is 6-colorable, proved via a new extremal theorem for 4-connected graphs.

Pith tools