arXiv++ Combinatorics

Consider a collection of random variables attached to the vertices of a graph. The reconstruction problem requires to estimate one of them given `far away' observations. Several theoretical results (and simple algorithms) are available when their joint probability distribution is Markov with respect to a tree. In this paper we consider the case of sequences of random graphs that converge locally to trees. In particular, we develop a sufficient condition for the tree and graph reconstruction problem to coincide. We apply such condition to colorings of random graphs. Further, we characterize the behavior of Ising models on such graphs, both with attractive and random interactions (respectively, `ferromagnetic' and `spin glass').

Models of complex networks are generally defined as graph stochastic processes in which edges and vertices are added or deleted over time to simulate the evolution of networks. Here, we define a unifying framework - probabilistic inductive classes of graphs - for formalizing and studying evolution of complex networks. Our definition of probabilistic inductive class of graphs (PICG) extends the standard notion of inductive class of graphs (ICG) by imposing a probability space. A PICG is given by: (1) class B of initial graphs, the basis of PICG, (2) class R of generating rules, each with distinguished left element to which the rule is applied to obtain the right element, (3) probability distribution specifying how the initial graph is chosen from class B, (4) probability distribution specifying how the rules from class R are applied, and, finally, (5) probability distribution specifying how the left elements for every rule in class R are chosen. We point out that many of the existing models of growing networks can be cast as PICGs. We present how the well known model of growing networks - the preferential attachment model - can be studied as PICG. As an illustration we present results regarding the size, order, and degree sequence for PICG models of connected and 2-connected graphs.

We associate with a Bienayme-Galton-Watson branching process a family tree rooted at the ancestor. For a positive integer N, define a complete N-ary tree to be the family tree of a deterministic branching process with offspring generating function s^N. We study the random variables V(N,n) and V(N) counting the number of disjoint complete N-ary subtrees, rooted at the ancestor, and having height n and infinity, respectively. Dekking (1991) and Pakes and Dekking (1991) find recursive relations for Pr(V(N,n)>0) and Pr(V(N)>0) involving the offspring probability generation function (pgf) and its derivatives. We extend their results determining the probability distributions of V(N,n) and V(N). It turns out that they can be expressed in terms of the offspring pgf, its derivatives, and the above probabilities. We show how the general results simplify in case of fractional linear, geometric, Poisson, and one-or-many offspring laws.

The natural forms of the Leibniz rule for the $k$th derivative of a product and of Faà di Bruno's formula for the $k$th derivative of a composition involve the differential operator $\partial^k/\partial x_1 ... \partial x_k$ rather than $d^k/dx^k$, with no assumptions about whether the variables $x_1,...,x_k$ are all distinct, or all identical, or partitioned into several distinguishable classes of indistinguishable variables. Coefficients appearing in forms of these identities in which some variables are indistinguishable are just multiplicities of indistinguishable terms (in particular, if all variables are distinct then all coefficients are 1). The computation of the multiplicities in this generalization of Faà di Bruno's formula is a combinatorial enumeration problem that, although completely elementary, seems to have been neglected. We apply the results to cumulants of probability distributions.

We study here a standard next-nearest-neighbor (NNN) model of ballistic growth on one- and two-dimensional substrates focusing our analysis on the probability distribution function $P(M,L)$ of the number $M$ of maximal points (i.e., local ``peaks'') of growing surfaces. Our analysis is based on two central results: (i) the proof (presented here) of the fact that uniform one--dimensional ballistic growth process in the steady state can be mapped onto ''rise-and-descent'' sequences in the ensemble of random permutation matrices; and (ii) the fact, established in Ref. \cite{ov}, that different characteristics of ``rise-and-descent'' patterns in random permutations can be interpreted in terms of a certain continuous--space Hammersley--type process. For one--dimensional system we compute $P(M,L)$ exactly and also present explicit results for the correlation function characterizing the enveloping surface. For surfaces grown on 2d substrates, we pursue similar approach considering the ensemble of permutation matrices with long--ranged correlations. Determining exactly the first three cumulants of the corresponding distribution function, we define it in the scaling limit using an expansion in the Edgeworth series, and show that it converges to a Gaussian function as $L \to \infty$.

For two collections of nonnegative and suitably normalised weights $\W=(\W_j)$ and $\V=(\V_{n,k})$, a probability distribution on the set of partitions of the set $\{1,...,n\}$ is defined by assigning to a generic partition $\{A_j, j\leq k\}$ the probability $\V_{n,k} \W_{|A_1|}... \W_{|A_k|}$, where $|A_j|$ is the number of elements of $A_j$. We impose constraints on the weights by assuming that the resulting random partitions $Π_n$ of $[n]$ are consistent as $n$ varies, meaning that they define an exchangeable partition of the set of all natural numbers. This implies that the weights $\W$ must be of a very special form depending on a single parameter $α\in [-\infty,1]$. The case $α=1$ is trivial, and for each value of $α\neq 1$ the set of possible $\V$-weights is an infinite-dimensional simplex. We identify the extreme points of the simplex by solving the boundary problem for a generalised Stirling triangle. In particular, we show that the boundary is discrete for $-\infty\leqα<0$ and continuous for $0\leqα<1$. For $α\leq 0$ the extremes correspond to the members of the Ewens-Pitman family of random partitions indexed by $(α,θ)$, while for $0<α<1$ the extremes are obtained by conditioning an $(α,θ)$-partition on the asymptotics of the number of blocks of $Π_n$ as $n$ tends to infinity.

Given a set $ξ=\{H_1,H_2,...\}$ of connected non acyclic graphs, a $ξ$-free graph is one which does not contain any member of $% ξ$ as copy. Define the excess of a graph as the difference between its number of edges and its number of vertices. Let ${\gr{W}}_{k,ξ}$ be theexponential generating function (EGF for brief) of connected $ξ$-free graphs of excess equal to $k$ ($k \geq 1$). For each fixed $ξ$, a fundamental differential recurrence satisfied by the EGFs ${\gr{W}}_{k,ξ}$ is derived. We give methods on how to solve this nonlinear recurrence for the first few values of $k$ by means of graph surgery. We also show that for any finite collection $ξ$ of non-acyclic graphs, the EGFs ${\gr{W}}_{k,ξ}$ are always rational functions of the generating function, $T$, of Cayley's rooted (non-planar) labelled trees. From this, we prove that almost all connected graphs with $n$ nodes and $n+k$ edges are $ξ$-free, whenever $k=o(n^{1/3})$ and $|ξ| < \infty$ by means of Wright's inequalities and saddle point method. Limiting distributions are derived for sparse connected $ξ$-free components that are present when a random graph on $n$ nodes has approximately $\frac{n}{2}$ edges. In particular, the probability distribution that it consists of trees, unicyclic components, $...$, $(q+1)$-cyclic components all $ξ$-free is derived. Similar results are also obtained for multigraphs, which are graphs where self-loops and multiple-edges are allowed.

This article describes a purely analytic approach to urn models of the generalized or extended Pólya-Eggenberger type, in the case of two types of balls and constant ``balance,'' that is, constant row sum. The treatment starts from a quasilinear first-order partial differential equation associated with a combinatorial renormalization of the model and bases itself on elementary conformal mapping arguments coupled with singularity analysis techniques. Probabilistic consequences in the case of ``subtractive'' urns are new representations for the probability distribution of the urn's composition at any time n, structural information on the shape of moments of all orders, estimates of the speed of convergence to the Gaussian limit and an explicit determination of the associated large deviation function. In the general case, analytic solutions involve Abelian integrals over the Fermat curve x^h+y^h=1. Several urn models, including a classical one associated with balanced trees (2-3 trees and fringe-balanced search trees) and related to a previous study of Panholzer and Prodinger, as well as all urns of balance 1 or 2 and a sporadic urn of balance 3, are shown to admit of explicit representations in terms of Weierstraßelliptic functions: these elliptic models appear precisely to correspond to regular tessellations of the Euclidean plane.

Consider an election between two candidates in which the voters' choices are random and independent and the probability of a voter choosing the first candidate is $p>1/2$. Condorcet's Jury Theorem which he derived from the weak law of large numbers asserts that if the number of voters tends to infinity then the probability that the first candidate will be elected tends to one. The notion of influence of a voter or its voting power is relevant for extensions of the weak law of large numbers for voting rules which are more general than simple majority. In this paper we point out two different ways to extend the classical notions of voting power and influences to arbitrary probability distributions. The extension relevant to us is the ``effect'' of a voter, which is a weighted version of the correlation between the voter's vote and the election's outcomes. We prove an extension of the weak law of large numbers to weighted majority games when all individual effects are small and show that this result does not apply to any voting rule which is not based on weighted majority.

The raise and peel model of a one-dimensional fluctuating interface (model A) is extended by considering one source (model B) or two sources (model C) at the boundaries. The Hamiltonians describing the three processes have, in the thermodynamic limit, spectra given by conformal field theory. The probability of the different configurations in the stationary states of the three models are not only related but have interesting combinatorial properties. We show that by extending Pascal's triangle (which gives solutions to linear relations in terms of integer numbers), to an hexagon, one obtains integer solutions of bilinear relations. These solutions give not only the weights of the various configurations in the three models but also give an insight to the connections between the probability distributions in the stationary states of the three models. Interestingly enough, Pascal's hexagon also gives solutions to a Hirota's difference equation.

The main contribution of this work is a new type of graph product, which we call the {\it zig-zag product}. Taking a product of a large graph with a small graph, the resulting graph inherits (roughly) its size from the large one, its degree from the small one, and its expansion properties from both! Iteration yields simple explicit constructions of constant-degree expanders of arbitrary size, starting from one constant-size expander. Crucial to our intuition (and simple analysis) of the properties of this graph product is the view of expanders as functions which act as ``entropy wave" propagators -- they transform probability distributions in which entropy is concentrated in one area to distributions where that concentration is dissipated. In these terms, the graph products affords the constructive interference of two such waves. Subsequent work [ALW01], [MW01] relates the zig-zag product of graphs to the standard semidirect product of groups, leading to new results and constructions on expanding Cayley graphs.

Let $μ$ be a probability measure (or corresponding random variable) such that all moments $μ_n$ exist. Knowledge of the moments is not sufficient to determine infinite divisibility of the measure; we show also that infinitely divisible, and in particular lognormal, distributions lose infinitely divisibilty when censored in certain ways even if all moments are arbitrarily close to those of the uncensored distribution. The moments of a composition of k copies of $μ$ are expressed as combinatorial compositions of the $μ_n$. We express the moments of the compositions in the context of occupancy problems, arranging n balls in k cells; the classical convolution is described by Maxwell-Boltzmann statistics and is multinomial. For certain non-infinitely divisible measures with moments increasing fast enough the indexing of a k-cell combinatorial composition is extended to indexing by non-negative real t and we construct classical convolution measure semigroups from amongst the t-indexed classes. We prove also that when a random variable with infinitely divisible distribution is embedded in a Lévy process $(Y_t)$ then the t-indexed Maxwell-Boltzmann is the law of $Y_t$. In order to get moment-based multinomial compositions indexed by a continuum we use random measures and random distributions rather than random variables. An alternative approach to embeddability of a non-infinitely divisible $μ$ is by considering non-classical convolution measure semigroups; for example embedding $μ$ in a Boolean convolution measure semigroup and retaining the multinomial character of the moments.embedding $μ$ in a Boolean convolution measure semigroup and retaining the multinomial character of the moments. Embedding $μ$ in an Urbanik convolution measure semigroup loses their multinomial character .

We study Pippenger's model of Boolean networks with unreliable gates. In this model, the conditional probability that a particular gate fails, given the failure status of any subset of gates preceding it in the network, is bounded from above by some $ε$. We show that if we pick a Boolean network with $n$ gates at random according to the Barak-Erdős model of a random acyclic digraph, such that the expected edge density is $c n^{-1}\log n$, and if $ε$ is equal to a certain function of the size of the largest reflexive, transitive closure of a vertex (with respect to a particular realization of the random digraph), then Pippenger's model exhibits a phase transition at $c=1$. Namely, with probability $1-o(1)$ as $n\to\infty$, we have the following: for $0 \le c \le 1$, the minimum of the probability that no gate has failed, taken over all probability distributions of gate failures consistent with Pippenger's model, is equal to $o(1)$, whereas for $c >1$ it is equal to $\exp(-\frac{c}{e(c-1)}) + o(1)$. We also indicate how a more refined analysis of Pippenger's model, e.g., for the purpose of estimating probabilities of monotone events, can be carried out using the machinery of stochastic domination.

We prove an identity about partitions involving new combinatorial coefficients. The proof given is using a generating function. As an application we obtain the explicit expression of two shifted symmetric functions, related with Jack polynomials. These quantities are the moments of the "alpha-content" random variable with respect to some transition probability distributions.

Combinatorial enumeration leads to counting generating functions presenting a wide variety of analytic types. Properties of generating functions at singularities encode valuable information regarding asymptotic counting and limit probability distributions present in large random structures. ``Singularity analysis'' reviewed here provides constructive estimates that are applicable in several areas of combinatorics. It constitutes a complex-analytic Tauberian procedure by which combinatorial constructions and asymptotic--probabilistic laws can be systematically related.

Consider random Young diagrams with a fixed number n of boxes, where the probability distribution on diagrams is determined by the Plancherel measure. That is, the weight of a diagram is proportional to the squared dimension of the corresponding irreducible representation of the symmetric group S_n. As n goes to infinity, the boundary of the (suitably scaled) random diagram concentrates near a curve Omega (Logan-Shepp 1977, Vershik-Kerov 1977). In 1993, Kerov announced a central limit theorem describing Gaussian fluctuations of random diagrams around the limit shape Omega. Here we propose a reconstruction of his proof, largely based on Kerov's unpublished work notes (1999). We also discuss a striking similarity between Kerov's result and central limit theorems for random matrices (Diaconis-Shahshahani, Johansson).

We derive the exact generating function for planar maps (genus zero fatgraphs) with vertices of arbitrary even valence and with two marked points at a fixed geodesic distance. This is done in a purely combinatorial way based on a bijection with decorated trees, leading to a recursion relation on the geodesic distance. The latter is solved exactly in terms of discrete soliton-like expressions, suggesting an underlying integrable structure. We extract from this solution the fractal dimensions at the various (multi)-critical points, as well as the precise scaling forms of the continuum two-point functions and the probability distributions for the geodesic distance in (multi)-critical random surfaces. The two-point functions are shown to obey differential equations involving the residues of the KdV hierarchy.

For a family X of k-subsets of the set 1,...,n, let |X| be the cardinality of X and let Gamma(X,mu) be the expected maximum weight of a subset from X when the weights of 1,...,n are chosen independently at random from a symmetric probability distribution mu on R. We consider the inverse isoperimetric problem of finding mu for which Gamma(X,mu) gives the best estimate of ln|X|. We prove that the optimal choice of mu is the logistic distribution, in which case Gamma(X,mu) provides an asymptotically tight estimate of ln|X| as k^{-1}ln|X| grows. Since in many important cases Gamma(X,mu) can be easily computed, we obtain computationally efficient approximation algorithms for a variety of counting problems. Given mu, we describe families X of a given cardinality with the minimum value of Gamma(X,mu), thus extending and sharpening various isoperimetric inequalities in the Boolean cube.

We discuss one-dimensional stochastic processes defined through the Temperley-Lieb algebra related to the Q=1 Potts model. For various boundary conditions, we formulate a conjecture relating the probability distribution which describes the stationary state, to the enumeration of a symmetry class of alternating sign matrices, objects that have received much attention in combinatorics.

We derive new combinatorial identities which may be viewed as multivariate analogs of summation formulas for hypergeometric series. As in the previous paper [Re], we start with probability distributions on the space of the infinite Young tableaux. Then we calculate the probability that the entry of a random tableau at a given box equals n=1,2,.... Summing these probabilities over n and equating the result to 1 we get a nontrivial identity. Our choice for the initial distributions is motivated by the recent work on harmonic analysis on the infinite symmetric group and related topics.