Abstract
We present a surprisingly new connection between two well-studied combinatorial classes: rooted connected chord diagrams on one hand, and rooted bridgeless combinatorial maps on the other hand. We describe a bijection between these two classes, which naturally extends to indecomposable diagrams and general rooted maps. As an application, this bijection provides a simplifying framework for some technical quantum field theory work realized by some of the authors. Most notably, an important but technical parameter naturally translates to vertices at the level of maps. We also give a combinatorial proof to a formula which previously resulted from a technical recurrence, and with similar ideas we prove a conjecture of Hihn. Independently, we revisit an equation due to Arquès and Béraud for the generating function counting rooted maps with respect to edges and vertices, giving a new bijective interpretation of this equation directly on indecomposable chord diagrams, which moreover can be specialized to connected diagrams and refined to incorporate the number of crossings. Finally, we explain how these results have a simple application to the combinatorics of lambda calculus, verifying the conjecture that a certain natural family of lambda terms is equinumerous with bridgeless maps.
Highlights
The electronic journal of combinatorics 26(4) (2019), #P4.37 structures [12], and bioinformatics [16]
Isomorphism classes of chord diagrams of size n can be presented as fixed point-free involutions on the set 2n, we find the definition as a perfect matching more convenient to work with
It is tempting to draw the list of correspondences between families of lambda terms and families of rooted maps pictured in Table 5, where on the right we have indicated the index for the relevant OEIS entry counting objects by size
Summary
Before outlining the contributions of the paper more precisely, we begin by recalling here the formal definitions of (rooted) chord diagrams and (rooted) combinatorial maps, together with some auxiliary notions and notation. The reader already familiar with these notions may jump straight to Sections 1.2 and 1.3 to find a detailed presentation of our results
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.