-
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.
-
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.
-
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.
-
B-urns
Authors:
Brigitte Chauvin,
Danièle Gardy,
Nicolas Pouyanne,
Dai-Hai Ton-That
Abstract:
The fringe of a B-tree with parameter $m$ is considered as a particular Pólya urn with $m$ colors. More precisely, the asymptotic behaviour of this fringe, when the number of stored keys tends to infinity, is studied through the composition vector of the fringe nodes. We establish its typical behaviour together with the fluctuations around it. The well known phase transition in Pólya urns has the…
▽ More
The fringe of a B-tree with parameter $m$ is considered as a particular Pólya urn with $m$ colors. More precisely, the asymptotic behaviour of this fringe, when the number of stored keys tends to infinity, is studied through the composition vector of the fringe nodes. We establish its typical behaviour together with the fluctuations around it. The well known phase transition in Pólya urns has the following effect on B-trees: for $m\leq 59$, the fluctuations are asymptotically Gaussian, though for $m\geq 60$, the composition vector is oscillating; after scaling, the fluctuations of such an urn strongly converge to a random variable $W$. This limit is $\mathbb C$-valued and it does not seem to follow any classical law. Several properties of $W$ are shown: existence of exponential moments, characterization of its distribution as the solution of a smoothing equation, existence of a density relatively to the Lebesgue measure on $\mathbb C$, support of $W$. Moreover, a few representations of the composition vector for various values of $m$ illustrate the different kinds of convergence.
△ Less
Submitted 22 July, 2015; v1 submitted 9 August, 2014;
originally announced August 2014.
-
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.
-
Generating functions for generating trees
Authors:
Cyril Banderier,
Philippe Flajolet,
Daniele Gardy,
Mireille Bousquet-Melou,
Alain Denise,
Dominique Gouyou-Beauchamps
Abstract:
Certain families of combinatorial objects admit recursive descriptions in terms of generating trees: each node of the tree corresponds to an object, and the branch leading to the node encodes the choices made in the construction of the object. Generating trees lead to a fast computation of enumeration sequences (sometimes, to explicit formulae as well) and provide efficient random generation alg…
▽ More
Certain families of combinatorial objects admit recursive descriptions in terms of generating trees: each node of the tree corresponds to an object, and the branch leading to the node encodes the choices made in the construction of the object. Generating trees lead to a fast computation of enumeration sequences (sometimes, to explicit formulae as well) and provide efficient random generation algorithms. We investigate the links between the structural properties of the rewriting rules defining such trees and the rationality, algebraicity, or transcendence of the corresponding generating function.
△ Less
Submitted 11 November, 2004;
originally announced November 2004.
