Cherlin's metric homogeneity classification conjecture

A metrically homogeneous graph is a countable graph whose graph distance is preserved by every isomorphism between finite subgraphs; write δ\delta for its diameter. The Fraïssé limit of an amalgamation class is the countable ultrahomogeneous structure whose finite substructures are exactly the members of that class. Let Tm,nT_{m,n} denote Macpherson’s regular tree-like graph with parameters 2m,n2\leq m,n\leq\infty, and let A3\mathcal A_3 and AH\mathcal A_H be the classes described in the catalogue, with A3\mathcal A_3 3-constrained and AH\mathcal A_H of Henson type or antipodal Henson type.

Cherlin's metric homogeneity classification conjecture. The countable metrically homogeneous graphs are the following: those of diameter δ2\delta\leq 2, namely the homogeneous graphs classified by Lachlan and Woodrow; in diameter δ3\delta\geq 3, the finite graphs classified by Cameron, Macpherson’s regular tree-like graphs Tm,nT_{m,n} with 2m,n2\leq m,n\leq\infty, and the Fraïssé limits of amalgamation classes of the form A3AH\mathcal A_3\cap\mathcal A_H with A3\mathcal A_3 3-constrained and AH\mathcal A_H of Henson type or antipodal Henson type.

This is the catalogue attributed to Cherlin for countable metrically homogeneous graphs. The supplied text presents it as a classification and gives no evidence that the classification has been resolved, so its status is left open.

Sources & referencesView supporting material

Primary source

Andrés Aranda, David Bradley-Williams, Jan Hubička, Miltiadis Karamanlis, Michael Kompatscher, Matěj Konečný and Micheal Pawliuk, “Ramsey expansions of metrically homogeneous graphs”, arXiv:1707.02612 (2025).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.