{"id":"arxiv/2606.05727","url":"https://arxiv.org/abs/2606.05727","tags":["math.CT","math.CO","math.OA"],"score":0,"title":"Planar higher-rank trees have rank at most four","domain":"math.CT","source":"arxiv","authors":["David Pask"],"reviews":0,"subject":"math.CT","summary":"We prove that a finite, connected, singly connected, locally convex higher-rank tree whose $1$-skeleton is planar and which is \\emph{non-degenerate}, in the sense that every edge of each colour forms a commuting square with every other colour, has rank at most four. Under these hypotheses this establishes the planarity conjecture stated in \\cite{Pask}. The obstruction side of the argument uses only the non-planarity of $K_5$; it makes no appeal to the four-colour theorem. The engine is a monotonicity property of the set of colours emitted at a vertex (``backward propagation''), which forces,…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-04","reactions":{}}