Face vector — where it appears
Named by 2 essays across one field — each of them below, with the objects they name alongside it.
Everything except the hexagons
Three counts of what a closed net must carry end on the same admission: an arithmetic saying what a net must charge does not say that a net exists. Eberhard's theorem says how close the charge comes to being enough, and the answer has a shape nobody would guess — it fixes every face count except the hexagons, and the hexagons are exactly the entry it cannot see.
How close the twelve must be
The charge fixes twelve pentagons and says nothing about where they go, because it is a sum over faces and cannot see which face touches which. What it cannot see is a graph on twelve points, and the fewest edges that graph can have falls from thirty to eight over the cages a census reaches — then keeps falling at a rate that puts its first zero exactly where the truncated icosahedron is.
Named alongside it
The objects these essays reach for when they reach for this one.
CensusCombinatorial curvatureCountingEnumerationPolyhedronTrivalent netClosed surfaceCoordination numberThe Euler characteristicExhaustive searchFullereneGraph isomorphism