Why One Map Isn’t Enough for All Mazes ✛ ✎

Original: "Obstructions to coarse universality for finitely generated groups"
· Robin Tucker-Drob
arXiv:2607.00963 · 2026-07-01 · arXiv non-exclusive · independent analysis · 2 min
No matter the map, there’s always a road network that won’t fit on it.

A cartographer lays a large sheet of paper on the table. His task: to fit every possible road network onto it — straight highways, tangled mazes, webs of country lanes. He’s allowed to stretch or shrink distances a bit, as if peering through frosted glass. But every network must still be recognizable. Robin Tucker-Drob proved that no such universal map exists.

It all comes down to counting. Imagine the map is divided into grid cells, and lines can only be drawn along them. Then the number of distinct networks the map can display is finite: it grows roughly like a number raised to the power of the number of intersections (nodes). Now let’s count how many networks exist without short closed loops (where the girth, the length of the shortest cycle, is large). It turns out their number explodes far faster — superexponentially, as if the number of intersections itself leaps into the exponent. If the cartographer were to pick at random, hoping to find a suitable way to lay out a network, his chances would dwindle with each new intersection.

Take 100 points and connect them with roads, avoiding any loops shorter than ten steps. The number of possible configurations exceeds the atoms in the entire visible universe. No grid-ruled sheet can hold such richness.

But mathematicians built a cunning monster network that swallows up all the complex obstacle networks, like a Russian nesting doll. To construct it, they used small cancellation — a method of piecing together a giant puzzle where each piece repeats very rarely. They also applied edge labeling — special marks to keep long paths from repeating. This monster network no longer fits on any map with limited precision. The dream of a single picture shatters.

The takeaway is simple: don’t look for a single template. Each landscape is unique. Scientists are searching for ways to relax the constraints — maybe a nearly universal map is still possible? And the monster-building method could also help with dynamical systems — for instance, to understand how the web of connections in an ecosystem changes over time. Yet the sheet on the cartographer’s table will forever remain incomplete.

The number of distinct road networks from 100 points without short loops exceeds the number of atoms in the observable universe. Even just listing them all would require more memory than all the world’s computers combined.

N(s) \le A^s
the number of classes grows no faster than an exponential with base A, depending on L, M, and the target graph
M(s) \ge (a s)^{3s/2}
the number of such graphs grows faster than the exponential of s log s, due to the exponent 3s/2 in the exponent
Scientists
PythagorasLeonhard EulerGeorge Gabriel Stokes
Concepts
group homotopy central limit theorem