{"id":"arxiv/2610.03729","url":"https://arxiv.org/abs/2610.03729","tags":["math.CO"],"score":0,"title":"All polyhedral graphs with at most 16 vertices are Schurian: a computational verification","domain":"math.CO","source":"arxiv","authors":["David Reh"],"reviews":0,"subject":"math.CO","summary":"Li, Ponomarenko and Zeman state their belief that every polyhedral graph (i.e. every $3$-connected planar graph) is Schurian: that its coherent closure $WL(X)$ coincides with the orbital configuration of $Aut(X)$. Combined with their Theorem 1.1, this would imply that every polyhedral graph has Weisfeiler-Leman dimension at most $2$. We report a computational verification of the Schurian property for all polyhedral graphs with at most $16$ vertices, a total of 413,024,847,068 graphs, none of which is non-Schurian. The computation combines the generator plantri with a one-sided $1$-WL…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-04","reactions":{}}