Consider a graph with and if and only if for some . What is ? I was interested in showing that this is in fact a “small-world” graph, i.e. that . This is not so difficult, as the maximum distance between two nodes and cannot exceed .
My first attempt to find the average involved bounding the average as follows. In this setting, there’s no trip with greater distance than from a node to the node directly behind it, i.e. . But this is just a minor improvement over the maximum.
Instead, notice that the distance between nodes indexed and is equal to the number of bits set in . This gives us an expected distance of and a distribution of distances that’s very roughly .