-
Enumerative combinatorics of unlabeled and labeled time-consistent galled trees
Authors:
Lily Agranat-Tamir,
Michael Fuchs,
Bernhard Gittenberger,
Noah A. Rosenberg
Abstract:
In mathematical phylogenetics, the time-consistent galled trees provide a simple class of rooted binary network structures that can be used to represent a variety of different biological phenomena. We study the enumerative combinatorics of unlabeled and labeled time-consistent galled trees. We present a new derivation via the symbolic method of the number of unlabeled time-consistent galled trees…
▽ More
In mathematical phylogenetics, the time-consistent galled trees provide a simple class of rooted binary network structures that can be used to represent a variety of different biological phenomena. We study the enumerative combinatorics of unlabeled and labeled time-consistent galled trees. We present a new derivation via the symbolic method of the number of unlabeled time-consistent galled trees with a fixed number of leaves and a fixed number of galls. We also derive new generating functions and asymptotics for labeled time-consistent galled trees.
△ Less
Submitted 22 April, 2025;
originally announced April 2025.
-
Sackin Indices for Labeled and Unlabeled Classes of Galled Trees
Authors:
Michael Fuchs,
Bernhard Gittenberger
Abstract:
The Sackin index is an important measure for the balance of phylogenetic trees. We investigate two extensions of the Sackin index to the class of galled trees and two of its subclasses (simplex galled trees and normal galled trees) where we consider both labeled and unlabeled galled trees. In all cases, we show that the mean of the Sackin index for a network which is uniformly sampled from its cla…
▽ More
The Sackin index is an important measure for the balance of phylogenetic trees. We investigate two extensions of the Sackin index to the class of galled trees and two of its subclasses (simplex galled trees and normal galled trees) where we consider both labeled and unlabeled galled trees. In all cases, we show that the mean of the Sackin index for a network which is uniformly sampled from its class is asymptotic to $μn^{3/2}$ for an explicit constant $μ$. In addition, we show that the scaled Sackin index convergences weakly and with all its moments to the Airy distribution.
△ Less
Submitted 19 February, 2025; v1 submitted 18 July, 2024;
originally announced July 2024.
-
Counting embeddings of rooted trees into families of rooted trees
Authors:
Bernhard Gittenberger,
Zbigniew Gołębiewski,
Isabella Larcher,
Małgorzata Sulkowska
Abstract:
The number of embeddings of a partially ordered set $S$ in a partially ordered set $T$ is the number of subposets of $T$ isomorphic to $S$. If both, $S$ and $T$, have only one unique maximal element, we define good embeddings as those in which the maximal elements of $S$ and $T$ overlap. We investigate the number of good and all embeddings of a rooted poset $S$ in the family of all binary trees on…
▽ More
The number of embeddings of a partially ordered set $S$ in a partially ordered set $T$ is the number of subposets of $T$ isomorphic to $S$. If both, $S$ and $T$, have only one unique maximal element, we define good embeddings as those in which the maximal elements of $S$ and $T$ overlap. We investigate the number of good and all embeddings of a rooted poset $S$ in the family of all binary trees on $n$ elements considering two cases: plane (when the order of descendants matters) and non-plane. Furthermore, we study the number of embeddings of a rooted poset $S$ in the family of all planted plane trees of size $n$. We derive the asymptotic behaviour of good and all embeddings in all cases and we prove that the ratio of good embeddings to all is of the order $Θ(1/\sqrt{n})$ in all cases, where we provide the exact constants. Furthermore, we show that this ratio is non-decreasing with $S$ in the plane binary case and asymptotically non-decreasing with $S$ in the non-plane binary case and in the planted plane case. Finally, we comment on the case when $S$ is disconnected.
△ Less
Submitted 29 September, 2021; v1 submitted 19 August, 2020;
originally announced August 2020.
-
Counting Phylogenetic Networks with Few Reticulation Vertices: Exact Enumeration and Corrections
Authors:
Michael Fuchs,
Bernhard Gittenberger,
Marefatollah Mansouri
Abstract:
In previous work, we gave asymptotic counting results for the number of tree-child and normal networks with $k$ reticulation vertices and explicit exponential generating functions of the counting sequences for $k=1,2,3$. The purpose of this note is two-fold. First, we make some corrections to our previous approach which overcounted the above numbers and thus gives erroneous exponential generating…
▽ More
In previous work, we gave asymptotic counting results for the number of tree-child and normal networks with $k$ reticulation vertices and explicit exponential generating functions of the counting sequences for $k=1,2,3$. The purpose of this note is two-fold. First, we make some corrections to our previous approach which overcounted the above numbers and thus gives erroneous exponential generating functions (however, the overcounting does not effect our asymptotic counting results). Secondly, we use our (corrected) exponential generating functions to derive explicit formulas for the number of tree-child and normal networks with $k=1,2,3$ reticulation vertices. This re-derives recent results of Carona and Zhang, answers their question for normal networks with $k=2$, and adds new formulas in the case $k=3$.
△ Less
Submitted 3 March, 2021; v1 submitted 28 June, 2020;
originally announced June 2020.
-
Compaction for two models of logarithmic-depth trees: Analysis and Experiments
Authors:
Olivier Bodini,
Antoine Genitrini,
Bernhard Gittenberger,
Isabella Larcher,
Mehdi Naima
Abstract:
We are interested in the quantitative analysis of the compaction ratio for two classical families of trees: recursive trees and plane binary increasing trees. These families are typical representatives of tree models with a small depth. Once a tree of size $n$ is compacted by keeping only one occurrence of all fringe subtrees appearing in the tree the resulting graph contains only $O(n / \ln n)$ n…
▽ More
We are interested in the quantitative analysis of the compaction ratio for two classical families of trees: recursive trees and plane binary increasing trees. These families are typical representatives of tree models with a small depth. Once a tree of size $n$ is compacted by keeping only one occurrence of all fringe subtrees appearing in the tree the resulting graph contains only $O(n / \ln n)$ nodes. This result must be compared to classical results of compaction in the families of simply generated trees, where the analogous result states that the compacted structure is of size of order $n / \sqrt{\ln n}$. The result about the plane binary increasing trees has already been proved, but we propose a new and generic approach to get the result. Finally, an experimental study is presented, based on a prototype implementation of compacted binary search trees that are modeled by plane binary increasing trees.
△ Less
Submitted 13 September, 2021; v1 submitted 26 May, 2020;
originally announced May 2020.
-
Protection numbers in simply generated trees and Pólya trees
Authors:
Bernhard Gittenberger,
Zbigniew Gołębiewski,
Isabella Larcher,
Małgorzata Sulkowska
Abstract:
We determine the limit of the expected value and the variance of the protection number of the root in simply generated trees, in Pólya trees, and in unlabelled non-plane binary trees, when the number of vertices tends to infinity. Moreover, we compute expectation and variance of the protection number of a randomly chosen vertex in all those tree classes. We obtain exact formulas as sum representat…
▽ More
We determine the limit of the expected value and the variance of the protection number of the root in simply generated trees, in Pólya trees, and in unlabelled non-plane binary trees, when the number of vertices tends to infinity. Moreover, we compute expectation and variance of the protection number of a randomly chosen vertex in all those tree classes. We obtain exact formulas as sum representations, where the obtained sums are rapidly converging and therefore allowing an efficient numerical computation of high accuracy. Most proofs are based on a singularity analysis of generating functions.
△ Less
Submitted 6 April, 2019;
originally announced April 2019.
-
Distribution of variables in lambda-terms with restrictions on De Bruijn indices and De Bruijn levels
Authors:
Bernhard Gittenberger,
Isabella Larcher
Abstract:
We investigate the number of variables in two special subclasses of lambda-terms that are restricted by a bound of the number of abstractions between a variable and its binding lambda, the so-called De-Bruijn index, or by a bound of the nesting levels of abstractions, \textit{i.e.}, the number of De Bruijn levels, respectively. These restrictions are on the one hand very natural from a practical p…
▽ More
We investigate the number of variables in two special subclasses of lambda-terms that are restricted by a bound of the number of abstractions between a variable and its binding lambda, the so-called De-Bruijn index, or by a bound of the nesting levels of abstractions, \textit{i.e.}, the number of De Bruijn levels, respectively. These restrictions are on the one hand very natural from a practical point of view, and on the other hand they simplify the counting problem compared to that of unrestricted lambda-terms in such a way that the common methods of analytic combinatorics are applicable.
We will show that the total number of variables is asymptotically normally distributed for both subclasses of lambda-terms with mean and variance asymptotically equal to $Cn$ and $\tilde{C}n$, respectively, where the constants $C$ and $\tilde{C}$ depend on the bound that has been imposed. So far we just derived closed formulas for the constants in case of the class of lambda-terms with bounded De Bruijn index. However, for the other class of lambda-terms that we consider, namely lambda-terms with a bounded number of De Bruijn levels, we investigate the number of variables, as well as abstractions and applications, in the different De Bruijn levels and thereby exhibit a so-called "unary profile" that attains a very interesting shape.
△ Less
Submitted 12 March, 2019;
originally announced March 2019.
-
On the Number of Increasing Trees with Label Repetitions
Authors:
Olivier Bodini,
Antoine Genitrini,
Bernhard Gittenberger,
Stephan Wagner
Abstract:
We study the asymptotic number of certain monotonically labeled increasing trees arising from a generalized evolution process. The main difference between the presented model and the classical model of binary increasing trees is that the same label can appear in distinct branches of the tree. In the course of the analysis we develop a method to extract asymptotic information on the coefficients of…
▽ More
We study the asymptotic number of certain monotonically labeled increasing trees arising from a generalized evolution process. The main difference between the presented model and the classical model of binary increasing trees is that the same label can appear in distinct branches of the tree. In the course of the analysis we develop a method to extract asymptotic information on the coefficients of purely formal power series. The method is based on an approximate Borel transform (or, more generally, Mittag-Leffler transform) which enables us to quickly guess the exponential growth rate. With this guess the sequence is then rescaled and a singularity analysis of the generating function of the scaled counting sequence yields accurate asymptotics. The actual analysis is based on differential equations and a Tauberian argument. The counting problem for trees of size n exhibits interesting asymptotics involving powers of n with irrational exponents.
△ Less
Submitted 29 October, 2019; v1 submitted 12 September, 2018;
originally announced September 2018.
-
Threshold functions for small subgraphs in simple graphs and multigraphs
Authors:
Gwendal Collet,
Élie de Panafieu,
Danièle Gardy,
Bernhard Gittenberger,
Vlady Ravelomanana
Abstract:
We revisit the problem of counting the number of copies of a fixed graph in a random graph or multigraph, for various models of random (multi)graphs. For our proofs we introduce the notion of \emph{patchworks} to describe the possible overlappings of copies of subgraphs. Furthermore, the proofs are based on analytic combinatorics to carry out asymptotic computations. The flexibility of our approac…
▽ More
We revisit the problem of counting the number of copies of a fixed graph in a random graph or multigraph, for various models of random (multi)graphs. For our proofs we introduce the notion of \emph{patchworks} to describe the possible overlappings of copies of subgraphs. Furthermore, the proofs are based on analytic combinatorics to carry out asymptotic computations. The flexibility of our approach allows us to tackle a wide range of problems. We obtain the asymptotic number and the limiting distribution of the number of subgraphs which are isomorphic to a graph from a given set of graphs. The results apply to multigraphs as well as to (multi)graphs with degree constraints. One application is to scale-free multigraphs, where the degree distribution follows a power law, for which we show how to obtain the asymptotic number of copies of a given subgraph and give as an illustration the expected number of small cycles.
△ Less
Submitted 16 July, 2018;
originally announced July 2018.
-
Counting Phylogenetic Networks with Few Reticulation Vertices: Tree-Child and Normal Networks
Authors:
Michael Fuchs,
Bernhard Gittenberger,
Marefatollah Mansouri
Abstract:
In recent decades, phylogenetic networks have become a standard tool in modeling evolutionary processes. Nevertheless, basic combinatorial questions about them are still largely open. For instance, even the asymptotic counting problem for the class of phylogenetic networks and subclasses is unsolved. In this paper, we propose a method based on generating functions to count networks with few reticu…
▽ More
In recent decades, phylogenetic networks have become a standard tool in modeling evolutionary processes. Nevertheless, basic combinatorial questions about them are still largely open. For instance, even the asymptotic counting problem for the class of phylogenetic networks and subclasses is unsolved. In this paper, we propose a method based on generating functions to count networks with few reticulation vertices for two subclasses which are important in applications: tree-child networks and normal networks. In particular, our method can be used to completely solve the asymptotic counting problem for these network classes when the number of reticulation vertices remains fixed and the network size tends to infinity.
△ Less
Submitted 9 November, 2018; v1 submitted 29 March, 2018;
originally announced March 2018.
-
On the shape of random Pólya structures
Authors:
Bernhard Gittenberger,
Emma Yu Jin,
Michael Wallner
Abstract:
Panagiotou and Stufler recently proved an important fact on their way to establish the scaling limits of random Pólya trees: a uniform random Pólya tree of size $n$ consists of a conditioned critical Galton-Watson tree $C_n$ and many small forests, where with probability tending to one, as $n$ tends to infinity, any forest $F_n(v)$, that is attached to a node $v$ in $C_n$, is maximally of size…
▽ More
Panagiotou and Stufler recently proved an important fact on their way to establish the scaling limits of random Pólya trees: a uniform random Pólya tree of size $n$ consists of a conditioned critical Galton-Watson tree $C_n$ and many small forests, where with probability tending to one, as $n$ tends to infinity, any forest $F_n(v)$, that is attached to a node $v$ in $C_n$, is maximally of size $\vert F_n(v)\vert=O(\log n)$. Their proof used the framework of a Boltzmann sampler and deviation inequalities.
In this paper, first, we employ a unified framework in analytic combinatorics to prove this fact with additional improvements for $\vert F_n(v)\vert$, namely $\vert F_n(v)\vert=Θ(\log n)$. Second, we give a combinatorial interpretation of the rational weights of these forests and the defining substitution process in terms of automorphisms associated to a given Pólya tree. Third, we derive the limit probability that for a random node $v$ the attached forest $F_n(v)$ is of a given size. Moreover, structural properties of those forests like the number of their components are studied. Finally, we extend all results to other Pólya structures.
△ Less
Submitted 10 January, 2018; v1 submitted 7 July, 2017;
originally announced July 2017.
-
Enumerating Lambda Terms by Weighted Length of Their De Bruijn Representation
Authors:
Olivier Bodini,
Bernhard Gittenberger,
Zbigniew Gołębiewski
Abstract:
John Tromp introduced the so-called 'binary lambda calculus' as a way to encode lambda terms in terms of 0-1-strings using the de Bruijn representation along with a weighting scheme. Later, Grygiel and Lescanne conjectured that the number of binary lambda terms with $m$ free indices and of size $n$ (encoded as binary words of length $n$ and according to Tromp's weights) is $o(n^{-3/2} τ^{-n})$ for…
▽ More
John Tromp introduced the so-called 'binary lambda calculus' as a way to encode lambda terms in terms of 0-1-strings using the de Bruijn representation along with a weighting scheme. Later, Grygiel and Lescanne conjectured that the number of binary lambda terms with $m$ free indices and of size $n$ (encoded as binary words of length $n$ and according to Tromp's weights) is $o(n^{-3/2} τ^{-n})$ for $τ\approx 1.963448\ldots$. We generalize the proposed notion of size and show that for several classes of lambda terms, including binary lambda terms with $m$ free indices, the number of terms of size $n$ is $Θ{n^{-3/2} ρ^{-n}}$ with some class dependent constant $ρ$, which in particular disproves the above mentioned conjecture.
The methodology used is setting up the generating functions for the classes of lambda terms. These are infinitely nested radicals which are investigated then by a singularity analysis.
We show further how some properties of random lambda terms can be analyzed and present a way to sample lambda terms uniformly at random in a very efficient way. This allows to generate terms of size more than one million within a reasonable time, which is significantly better than the samplers presented in the literature so far.
△ Less
Submitted 7 July, 2017;
originally announced July 2017.
-
Threshold functions for small subgraphs: an analytic approach
Authors:
Gwendal Collet,
Élie de Panafieu,
Danièle Gardy,
Bernhard Gittenberger,
Vlady Ravelomanana
Abstract:
We revisit the problem of counting the number of copies of a fixed graph in a random graph or multigraph, including the case of constrained degrees. Our approach relies heavily on analytic combinatorics and on the notion of patchwork to describe the possible overlapping of copies.
This paper is a version, extended to include proofs, of the paper with the same title to be presented at the Eurocom…
▽ More
We revisit the problem of counting the number of copies of a fixed graph in a random graph or multigraph, including the case of constrained degrees. Our approach relies heavily on analytic combinatorics and on the notion of patchwork to describe the possible overlapping of copies.
This paper is a version, extended to include proofs, of the paper with the same title to be presented at the Eurocomb 2017 meeting.
△ Less
Submitted 24 May, 2017;
originally announced May 2017.
-
Asymptotic Enumeration of Compacted Binary Trees of Bounded Right Height
Authors:
Antoine Genitrini,
Bernhard Gittenberger,
Manuel Kauers,
Michael Wallner
Abstract:
A compacted binary tree is a graph created from a binary tree such that repeatedly occurring subtrees in the original tree are represented by pointers to existing ones, and hence every subtree is unique. Such representations form a special class of directed acyclic graphs. We are interested in the asymptotic number of compacted trees of given size, where the size of a compacted tree is given by th…
▽ More
A compacted binary tree is a graph created from a binary tree such that repeatedly occurring subtrees in the original tree are represented by pointers to existing ones, and hence every subtree is unique. Such representations form a special class of directed acyclic graphs. We are interested in the asymptotic number of compacted trees of given size, where the size of a compacted tree is given by the number of its internal nodes. Due to its superexponential growth this problem poses many difficulties. Therefore we restrict our investigations to compacted trees of bounded right height, which is the maximal number of edges going to the right on any path from the root to a leaf.
We solve the asymptotic counting problem for this class as well as a closely related, further simplified class.
For this purpose, we develop a calculus on exponential generating functions for compacted trees of bounded right height and for relaxed trees of bounded right height, which differ from compacted trees by dropping the above described uniqueness condition. This enables us to derive a recursively defined sequence of differential equations for the exponential generating functions. The coefficients can then be determined by performing a singularity analysis of the solutions of these differential equations.
Our main results are the computation of the asymptotic numbers of relaxed as well as compacted trees of bounded right height and given size, when the size tends to infinity.
△ Less
Submitted 9 March, 2022; v1 submitted 29 March, 2017;
originally announced March 2017.
-
A note on the scaling limits of random Pólya trees
Authors:
Bernhard Gittenberger,
Emma Yu Jin,
Michael Wallner
Abstract:
Panagiotou and Stufler (arXiv:1502.07180v2) recently proved one important fact on their way to establish the scaling limits of random Pólya trees: a uniform random Pólya tree of size $n$ consists of a conditioned critical Galton-Watson tree $C_n$ and many small forests, where with probability tending to one as $n$ tends to infinity, any forest $F_n(v)$, that is attached to a node $v$ in $C_n$, is…
▽ More
Panagiotou and Stufler (arXiv:1502.07180v2) recently proved one important fact on their way to establish the scaling limits of random Pólya trees: a uniform random Pólya tree of size $n$ consists of a conditioned critical Galton-Watson tree $C_n$ and many small forests, where with probability tending to one as $n$ tends to infinity, any forest $F_n(v)$, that is attached to a node $v$ in $C_n$, is maximally of size $\vert F_n(v)\vert=O(\log n)$. Their proof used the framework of a Boltzmann sampler and deviation inequalities.
In this paper, first, we employ a unified framework in analytic combinatorics to prove this fact with additional improvements on the bound of $\vert F_n(v)\vert$, namely $\vert F_n(v)\vert=Θ(\log n)$. Second, we give a combinatorial interpretation of the rational weights of these forests and the defining substitution process in terms of automorphisms associated to a given Pólya tree. Finally, we derive the limit probability that for a random node $v$ the attached forest $F_n(v)$ is of a given size.
△ Less
Submitted 3 November, 2016; v1 submitted 28 June, 2016;
originally announced June 2016.
-
2-Xor revisited: satisfiability and probabilities of functions
Authors:
Élie de Panafieu,
Danièle Gardy,
Bernhard Gittenberger,
Markus Kuba
Abstract:
The problem 2-Xor-Sat asks for the probability that a random expression, built as a conjunction of clauses $x \oplus y$, is satisfiable. We revisit this classical problem by giving an alternative, explicit expression of this probability. We then consider a refinement of it, namely the probability that a random expression computes a specific Boolean function. The answers to both problems involve a…
▽ More
The problem 2-Xor-Sat asks for the probability that a random expression, built as a conjunction of clauses $x \oplus y$, is satisfiable. We revisit this classical problem by giving an alternative, explicit expression of this probability. We then consider a refinement of it, namely the probability that a random expression computes a specific Boolean function. The answers to both problems involve a description of 2-Xor expressions as multigraphs and use classical methods of analytic combinatorics by expressing probabilities through coefficients of generating functions.
△ Less
Submitted 24 November, 2015;
originally announced November 2015.
-
On the number of unary-binary tree-like structures with restrictions on the unary height
Authors:
Olivier Bodini,
Danièle Gardy,
Bernhard Gittenberger,
Zbigniew Gołębiewski
Abstract:
We consider various classes of Motzkin trees as well as lambda-terms for which we derive asymptotic enumeration results. These classes are defined through various restrictions concerning the unary nodes or abstractions, respectively: We either bound their number or the allowed levels of nesting. The enumeration is done by means of a generating function approach and singularity analysis. The genera…
▽ More
We consider various classes of Motzkin trees as well as lambda-terms for which we derive asymptotic enumeration results. These classes are defined through various restrictions concerning the unary nodes or abstractions, respectively: We either bound their number or the allowed levels of nesting. The enumeration is done by means of a generating function approach and singularity analysis. The generating functions are composed of nested square roots and exhibit unexpected phenomena in some of the cases. Furthermore, we present some observations obtained from generating such terms randomly and explain why usually powerful tools for random generation, such as Boltzmann samplers, face serious difficulties in generating lambda-terms.
△ Less
Submitted 5 October, 2015;
originally announced October 2015.
-
On the number of lambda terms with prescribed size of their De Bruijn representation
Authors:
Bernhard Gittenberger,
Zbigniew Gołębiewski
Abstract:
John Tromp introduced the so-called 'binary lambda calculus' as a way to encode lambda terms in terms of binary words. Later, Grygiel and Lescanne conjectured that the number of binary lambda terms with $m$ free indices and of size $n$ (encoded as binary words of length $n$) is $o(n^{-3/2} τ^{-n})$ for $τ\approx 1.963448\ldots$. We generalize the proposed notion of size and show that for several c…
▽ More
John Tromp introduced the so-called 'binary lambda calculus' as a way to encode lambda terms in terms of binary words. Later, Grygiel and Lescanne conjectured that the number of binary lambda terms with $m$ free indices and of size $n$ (encoded as binary words of length $n$) is $o(n^{-3/2} τ^{-n})$ for $τ\approx 1.963448\ldots$. We generalize the proposed notion of size and show that for several classes of lambda terms, including binary lambda terms with $m$ free indices, the number of terms of size $n$ is $Θ(n^{-3/2} ρ^{-n})$ with some class dependent constant $ρ$, which in particular disproves the above mentioned conjecture. A way to obtain lower and upper bounds for the constant near the leading term is presented and numerical results for a few previously introduced classes of lambda terms are given.
△ Less
Submitted 21 September, 2015;
originally announced September 2015.
-
The relation between tree size complexity and probability for Boolean functions generated by uniform random trees
Authors:
Antoine Genitrini,
Bernhard Gittenberger,
Veronika Kraus,
Cécile Mailler
Abstract:
We consider a probability distribution on the set of Boolean functions in n variables which is induced by random Boolean expressions. Such an expression is a random rooted plane tree where the internal vertices are labelled with connectives And and OR and the leaves are labelled with variables or negated variables. We study limiting distribution when the tree size tends to infinity and derive a re…
▽ More
We consider a probability distribution on the set of Boolean functions in n variables which is induced by random Boolean expressions. Such an expression is a random rooted plane tree where the internal vertices are labelled with connectives And and OR and the leaves are labelled with variables or negated variables. We study limiting distribution when the tree size tends to infinity and derive a relation between the tree size complexity and the probability of a function. This is done by first expressing trees representing a particular function as expansions of minimal trees representing this function and then computing the probabilities by means of combinatorial counting arguments relying on generating functions and singularity analysis.
△ Less
Submitted 25 September, 2015; v1 submitted 2 July, 2014;
originally announced July 2014.
-
Associative and commutative tree representations for Boolean functions
Authors:
Antoine Genitrini,
Bernhard Gittenberger,
Veronika Kraus,
Cécile Mailler
Abstract:
Since the 90's, several authors have studied a probability distribution on the set of Boolean functions on $n$ variables induced by some probability distributions on formulas built upon the connectors $And$ and $Or$ and the literals $\{x_{1}, \bar{x}_{1}, \dots, x_{n}, \bar{x}_{n}\}$. These formulas rely on plane binary labelled trees, known as Catalan trees. We extend all the results, in particul…
▽ More
Since the 90's, several authors have studied a probability distribution on the set of Boolean functions on $n$ variables induced by some probability distributions on formulas built upon the connectors $And$ and $Or$ and the literals $\{x_{1}, \bar{x}_{1}, \dots, x_{n}, \bar{x}_{n}\}$. These formulas rely on plane binary labelled trees, known as Catalan trees. We extend all the results, in particular the relation between the probability and the complexity of a Boolean function, to other models of formulas: non-binary or non-plane labelled trees (i.e. Polya trees). This includes the natural tree class where associativity and commutativity of the connectors $And$ and $Or$ are realised.
△ Less
Submitted 3 May, 2013;
originally announced May 2013.
-
Enumeration of generalized $BCI$ lambda-terms
Authors:
Olivier Bodini,
Danièle Gardy,
Bernhard Gittenberger,
Alice Jacquot
Abstract:
We investigate the asymptotic number of elements of size $n$ in a particular class of closed lambda-terms (so-called $BCI(p)$-terms) which are related to axiom systems of combinatory logic. By deriving a differential equation for the generating function of the counting sequence we obtain a recurrence relation which can be solved asymptotically. We derive differential equations for the generating f…
▽ More
We investigate the asymptotic number of elements of size $n$ in a particular class of closed lambda-terms (so-called $BCI(p)$-terms) which are related to axiom systems of combinatory logic. By deriving a differential equation for the generating function of the counting sequence we obtain a recurrence relation which can be solved asymptotically. We derive differential equations for the generating functions of the counting sequences of other more general classes of terms as well: the class of $BCK(p)$-terms and that of closed lambda-terms. Using elementary arguments we obtain upper and lowerestimates for the number of closed lambda-terms of size $n$. Moreover, a recurrence relation is derived which allows an efficient computation of the counting sequence. $BCK(p)$-terms are discussed briefly.
△ Less
Submitted 3 May, 2013;
originally announced May 2013.
-
The degree profile of Pólya trees
Authors:
Bernhard Gittenberger,
Veronika Kraus
Abstract:
We investigate the profile of random Pólya trees of size $n$ when only nodes of degree $d$ are counted in each level. It is shown that, as in the case where all nodes contribute to the profile, the suitably normalized profile process converges weakly to a Brownian excursion local time. Moreover, we investigate the joint distribution of the number of nodes of degree $d_1$ and $d_2$ in the levels of…
▽ More
We investigate the profile of random Pólya trees of size $n$ when only nodes of degree $d$ are counted in each level. It is shown that, as in the case where all nodes contribute to the profile, the suitably normalized profile process converges weakly to a Brownian excursion local time. Moreover, we investigate the joint distribution of the number of nodes of degree $d_1$ and $d_2$ in the levels of the tree.
△ Less
Submitted 21 April, 2011;
originally announced April 2011.
-
The Shape of Unlabeled Rooted Random Trees
Authors:
Michael Drmota,
Bernhard Gittenberger
Abstract:
We consider the number of nodes in the levels of unlabelled rooted random trees and show that the stochastic process given by the properly scaled level sizes weakly converges to the local time of a standard Brownian excursion. Furthermore we compute the average and the distribution of the height of such trees. These results extend existing results for conditioned Galton-Watson trees and forests…
▽ More
We consider the number of nodes in the levels of unlabelled rooted random trees and show that the stochastic process given by the properly scaled level sizes weakly converges to the local time of a standard Brownian excursion. Furthermore we compute the average and the distribution of the height of such trees. These results extend existing results for conditioned Galton-Watson trees and forests to the case of unlabelled rooted trees and show that they behave in this respect essentially like a conditioned Galton-Watson process.
△ Less
Submitted 5 March, 2010;
originally announced March 2010.
