Bijections between planar maps and planar linear normal λ-terms with connectivity condition

02/07/2022
by   Wenjie Fang, et al.
0

The enumeration of linear λ-terms has attracted quite some attention recently, partly due to their link to combinatorial maps. Zeilberger and Giorgetti (2015) gave a recursive bijection between planar linear normal λ-terms and planar maps, which, when restricted to 2-connected λ-terms (i.e., without closed sub-terms), leads to bridgeless planar maps. Inspired by this restriction, Zeilberger and Reed (2019) conjectured that 3-connected planar linear normal λ-terms have the same counting formula as bipartite planar maps. In this article, we settle this conjecture by giving a direct bijection between these two families. Furthermore, using a similar approach, we give a direct bijection between planar linear normal λ-terms and planar maps, whose restriction to 2-connected λ-terms leads to loopless planar maps. This bijection seems different from that of Zeilberger and Giorgetti, even after taking the map dual. We also explore enumerative consequences of our bijections.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/09/2019

A bijection for essentially 3-connected toroidal maps

We present a bijection for toroidal maps that are essentially 3-connecte...
research
06/15/2021

Asymptotic Distribution of Parameters in Trivalent Maps and Linear Lambda Terms

Structural properties of large random maps and lambda-terms may be glean...
research
11/15/2017

A bijective proof of the enumeration of maps in higher genus

Bender and Canfield proved in 1991 that the generating series of maps in...
research
02/27/2022

Enumeration of chordal planar graphs and maps

We determine the number of labelled chordal planar graphs with n vertice...
research
08/22/2019

Optimal Morphs of Planar Orthogonal Drawings II

Van Goethem and Verbeek recently showed how to morph between two planar ...
research
06/22/2023

BPM: Blended Piecewise Moebius Maps

We propose a novel Moebius interpolator that takes as an input a discret...
research
07/02/2018

Orientations and bijections for toroidal maps with prescribed face-degrees and essential girth

We present unified bijections for maps on the torus with control on the ...

Please sign up or login with your details

Forgot password? Click here to reset