arXiv subjects
Publications and source records attributed to Pablo Puerto.
We present bijections connecting tree records, the girth of a connected endofunction, and the genesis sequence (the first sequence in OEIS). Using these, we derive generating functions for tree and forest record numbers in terms of Cayley's tree function and give a new proof of Cayley's forest formula.
In this work, we present a series of bijections that reveal the deep connections between the concepts of tree records, the girth of a connected endofunction, and the genesis sequence, the first sequence in the OEIS. We use these results to derive the generating functions for the tree and forest record numbers, expressing them in terms of the Cayley's tree function. Finally, we provide a new proof for Cayley's forest formula.