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

Back to manuscript

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