Ladder

Random graphs — the ladder

6 distinct arguments against one idea, from the one that introduces it to the one that assumes the rest.
  1. 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.

    rung 1 · probability
  2. The moment a giant piece appears. The largest component's share of 900 points plotted against the average degree, with the measured values as dots and the predicted curve behind them. The curve is flat at zero below an average degree of one and rises steeply above it.

    The moment a giant appears

    Raise the chance of an edge slowly and a random graph does nothing for a long time, then in a narrow window acquires a component holding a definite fraction of everything. The fraction is the root of an equation, and the equation says why the transition is where it is.

    rung 2 · probability
  3. 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.

    rung 3 · probability
  4. A triangle appears when the count says it should. The measured probability of containing a triangle against the edge chance, on graphs of 200 points, beside the expected number of triangles capped at one.

    Finding a threshold with two moments

    Every monotone property of a random graph has a threshold, and locating one is nearly always the same two calculations — count what the property needs, and check the count does not concentrate on rare cases. The triangle is where the method is cleanest.

    rung 4 · probability
  5. At the threshold the largest part is neither of the two obvious sizes. A table with one row per graph size, giving the largest component at the critical edge probability and that value divided by three candidate scalings.

    The window where the giant is born

    Below the threshold the largest piece is a few dozen points, above it a definite fraction of everything. At the threshold it is neither, and the size it does take — the two-thirds power — is an exponent with no elementary derivation that a measurement finds immediately.

    rung 5 · probability
  6. One threshold narrowing, one staying wide. Probability curves for connectivity and for containing a triangle, plotted against the edge probability as a multiple of each property's own threshold, at several graph sizes.

    Sharp, or merely a threshold

    Every monotone property of a random graph has a threshold. Some of them turn on over a range that shrinks relative to the threshold as the graph grows, and some do not — and which kind a property is turns out to be decided by whether it is about a local structure or about the whole graph.

    rung 6 · probability

All ladders