Consider an occurrence counted by . Before the next counted occurrence, the exploration must first take a downward step of the simple symmetric random walk, which has probability , and then choose the decrement among the three equally likely values of , which has probability . Thus it terminates the visits to the current record value with probability
The Strong Markov property at successive counted occurrences makes these trials independent. Therefore has the geometric distribution on with parameter , and
for every .
In the standard labelled encoding of a pointed planar quadrangulation, incidences at the distinguished vertex are represented by visits counted by the record variables . Consequently its degree of a vertex is bounded by the largest such count encountered before the coding walk first reaches .
Before time there are at most possible record levels. The union bound and part i therefore imply
Conditioning on and using the supplied lower bound gives
Set . If , the right-hand side tends to zero. Hence for some constant ,

Articles by others on the same topic (0)

There are currently no matching articles.