DeepAI AI Chat
Log In Sign Up

Asymptotic Distribution of Parameters in Trivalent Maps and Linear Lambda Terms

by   Olivier Bodini, et al.

Structural properties of large random maps and lambda-terms may be gleaned by studying the limit distributions of various parameters of interest. In our work we focus on restricted classes of maps and their counterparts in the lambda-calculus, building on recent bijective connections between these two domains. In such cases, parameters in maps naturally correspond to parameters in lambda-terms and vice versa. By an interplay between lambda-terms and maps, we obtain various combinatorial specifications which allow us to access the distributions of pairs of related parameters such as: the number of bridges in rooted trivalent maps and of subterms in closed linear lambda-terms, the number of vertices of degree 1 in (1,3)-valent maps and of free variables in open linear lambda-terms etc. To analyse asymptotically these distributions, we introduce appropriate tools: a moment-pumping schema for differential equations and a composition schema inspired by Bender's theorem.


page 1

page 2

page 3

page 4


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

The enumeration of linear λ-terms has attracted quite some attention rec...

Statistical properties of lambda terms

We present a quantitative, statistical analysis of random lambda terms i...

Counting Environments and Closures

Environments and closures are two of the main ingredients of evaluation ...

Formalized functional analysis with semilinear maps

Semilinear maps are a generalization of linear maps between vector space...

Stein kernels and moment maps

We describe a construction of Stein kernels using moment maps, which are...

A theory of linear typings as flows on 3-valent graphs

Building on recently established enumerative connections between lambda ...