Manuscript Oai211-A@1 · Oai211-A.tex · section · 3f3e4f63
The standard coding input
The marked tree and its spine law › The standard coding input · lines 314–356
Oai211-A@1#eq:coding, Oai211-A@1#eq:codingconsequences, Oai211-A@1#eq:reversecoding
List the nodes in preorder as , and define
Set and append . Interpolate linearly.
The identified standard input is the following consequence of Broutin and Marckert's joint coding theorem and their conditioned-degree lemma BroutinMarckert (Theorem 3, Lemma 11, and Section 6):
The interpolation and endpoint conventions make the floors harmless. The excursion is the standard normalized Brownian excursion. Conditional on degree counts, the tree is uniform among plane trees with those counts; this is the passage from that theorem to (eq:coding).
In particular,
Reversing every child order preserves the conditioned tree law. If is the preorder walk value in the reversed tree, then also
Only tree-shape symmetry is used; the mark law need not be symmetric.
Displayed formulas in this passage
Oai211-A@1#eq:coding · line 327
Oai211-A@1#eq:codingconsequences · line 343
Oai211-A@1#eq:reversecoding · line 351
unlabeled · line 317