Concept

Connectivity

The property of a graph that every point is reachable from every other. For a random graph it arrives much later than a giant component does, and what holds it up is the last point with no edges at all.

Named by 5 essays across 3 fields — each of them below, with the objects they name alongside it.

The chance of being connected, against the chance of an edge. Curves of the exact probability that a random graph on three to six labelled points is connected, plotted against the probability of each individual edge.

The moment everything joins up

Add edges to a set of points one chance at a time and the graph goes from dust to a single piece — not gradually, but over a window that narrows as the point count grows. The last obstacle is almost always a single point with no edge at all, and that is what fixes where the change happens.

probability · Random graphs
One piece, and connected, are different thresholds. Two curves against the average degree for graphs of 400 points: the largest component's share, rising from an average degree of one, and the probability of connectivity, rising only near the logarithm of the point count.

Two thresholds, not one

A random graph acquires a piece holding most of its points at average degree one, and is still not connected. Connectivity waits until the average degree reaches the logarithm of the size, and what holds it up is the very last isolated point.

probability · Random graphs
What a sentence of depth 2 can reach. Two rings of points, of 14 and 19 points, each with a run of 9 consecutive points marked as the neighbourhood a sentence of depth 2 can inspect.

The distance a sentence can see

A first-order sentence with three quantifiers cannot notice anything about a graph beyond a fixed distance from the points it names. That single limitation is why it cannot say connected, and why the failure survives every attempt to add more quantifiers.

logic · Ehrenfeucht–Fraïssé games
A graph whose matching misses 2 of its 10 vertices. A graph with its largest matching drawn thick, a set of vertices ringed, and the pieces left when that set is deleted marked by whether they hold an odd number of vertices.

The piece that cannot pair off

Take the sides away and the obstruction to a matching changes character completely. It is no longer a shortage of partners; it is a parity, and the quantity that measures it counts pieces of odd size rather than vertices of any size.

discrete · Halls theorem
The cube drawn by putting every point at the average of its neighbours. Tutte's barycentric drawing of the cube: outer face of 4 sides, 0 crossings.

Every point at the average of its neighbours

A planar graph can be drawn without crossings, but finding such a drawing looks like a search. Tutte found in 1963 that it is not: pin one face to a convex polygon, put every other point at the average of its neighbours, and the drawing that results has straight edges, convex faces and no crossings at all — provided no two points can cut the graph apart. It is the position a network of equal springs settles into, and it is also where a random walk expects to leave.

discrete · Planarity

Named alongside it

The objects these essays reach for when they reach for this one.

Existence proofExpectationIsolated vertexPhase transitionRandom graphThresholdComponentConvexityCounting argumentCoupon collectorDeficiencyElementary equivalence

All concepts