Edge-colored induced saturation in infinite clique

Conjecture 26 · arXiv:2506.08810

arXiv Conjecture high confidence— first stated 2025-09-01

Authors: Marthe Bonamy, Carla Groenland, Tom Johnston, Natasha Morrison, Alex Scott

Status open high confidence

Conjecture 26 of arXiv:2506.08810 proposes an edge-coloured analogue of the paper's main theorem: given any k-colouring c of the edges of a finite clique K using every colour, there should exist a colouring of the complete countably infinite graph such that every locally finite perturbation contains a copy of K with colouring c. The source paper was published in the Canadian Journal of Mathematics (online March 2026) but no follow-up work addressing this specific conjecture was found in an extensive web search.

Reviewer notes. The source paper appeared in the Canadian Journal of Mathematics (published online 2026-03-24). Conjecture 26 is a proposed edge-coloured analogue of the paper's central Theorem 1, stated without attribution to prior work. No follow-up paper resolving or partially addressing this conjecture was found; the conjecture is recent (< 1 year old) and absence of evidence is strong evidence it remains open.

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

Conjecture. Let $k\geq 2$ be an integer, and let $c$ be a $k$-colouring of the edges of a finite clique $K$ such that there is an edge of every colour. Then there is a colouring $\chi$ of the edges of the complete countably infinite graph such that every locally finite perturbation contains a copy of $K$ with colouring $c$.

Context

This is the proposed analogue of Theorem 1 for edge-coloured complete graphs, where a locally finite perturbation changes the colours on a nonempty locally finite subgraph. The condition that every colour appears in $c$ is the natural analogue of $H$ not being a clique or independent set.

Source paper

Infinite induced-saturated graphs
Marthe Bonamy, Carla Groenland, Tom Johnston, Natasha Morrison, Alex Scott · 2025-09-01
https://arxiv.org/abs/2506.08810