arXiv++ Combinatorics

Operators on probability distributions can be expressed as operators on the associated moment sequences, and so correspond to operators on integer sequences. Thus, there is an opportunity to apply each theory to the other. Moreover, probability models can be sources of integer sequences, both classical and new, as we show by considering the classical M/G/1 single-server queueing model. We identify moment sequences that are integer sequences. We establish connections between the M/M/1 busy period distribution and the Catalan and Schroeder numbers.

A permutation $σ$ describing the relative orders of the first $n$ iterates of a point $x$ under a self-map $f$ of the interval $I=[0,1]$ is called an \emph{order pattern}. For fixed $f$ and $n$, measuring the points $x\in I$ (according to Lebesgue measure) that generate the order pattern $σ$ gives a probability distribution $μ_n(f)$ on the set of length $n$ permutations. We study the distributions that arise this way for various classes of functions $f$. Our main results treat the class of measure preserving functions. We obtain an exact description of the set of realizable distributions in this case: for each $n$ this set is a union of open faces of the polytope of flows on a certain digraph, and a simple combinatorial criterion determines which faces are included. We also show that for general $f$, apart from an obvious compatibility condition, there is no restriction on the sequence $\{μ_n(f)\}$ for $n=1,2,...$. In addition, we give a necessary condition for $f$ to have \emph{finite exclusion type}, i.e., for there to be finitely many order patterns that generate all order patterns not realized by $f$. Using entropy we show that if $f$ is piecewise continuous, piecewise monotone, and either ergodic or with points of arbitrarily high period, then $f$ cannot have finite exclusion type. This generalizes results of S. Elizalde.

We compute a number of distance-dependent universal scaling functions characterizing the distance statistics of large maps of genus one. In particular, we obtain explicitly the probability distribution for the length of the shortest non-contractible loop passing via a random point in the map, and that for the distance between two random points. Our results are derived in the context of bipartite toroidal quadrangulations, using their coding by well-labeled 1-trees, which are maps of genus one with a single face and appropriate integer vertex labels. Within this framework, the distributions above are simply obtained as scaling limits of appropriate generating functions for well-labeled 1-trees, all expressible in terms of a small number of basic scaling functions for well-labeled plane trees.

We provide evidence that it is computationally difficult to approximate the partition function of the ferromagnetic q-state Potts model when q>2. Specifically we show that the partition function is hard for the complexity class #RHPi_1 under approximation-preserving reducibility. Thus, it is as hard to approximate the partition function as it is to find approximate solutions to a wide range of counting problems, including that of determining the number of independent sets in a bipartite graph. Our proof exploits the first order phase transition of the "random cluster" model, which is a probability distribution on graphs that is closely related to the q-state Potts model.

Fountain codes are rateless erasure-correcting codes, i.e., an essentially infinite stream of encoded packets can be generated from a finite set of data packets. Several fountain codes have been proposed recently to minimize overhead, many of which involve modifications of the Luby transform (LT) code. These fountain codes, like the LT code, have the implicit assumption that the probability distribution is fixed throughout the encoding process. In this paper, we will use the theory of posets to show that this assumption is unnecessary, and by dropping it, we can achieve overhead reduction by as much as 64% lower than LT codes. We also present the fundamental theory of probability distribution designs for fountain codes with non-constant probability distributions that minimize overhead.

Holroyd and Propp used Hall's marriage theorem to show that, given a probability distribution pi on a finite set S, there exists an infinite sequence s_1,s_2,... in S such that for all integers k >= 1 and all s in S, the number of i in [1,k] with s_i = s differs from k pi(s) by at most 1. We prove a generalization of this result using a simple explicit algorithm. A special case of this algorithm yields an extension of Holroyd and Propp's result to the case of discrete probability distributions on infinite sets.

A random geometric graph $G_n$ is given by picking $n$ vertices in $\mathbb{R}^d$ independently under a common bounded probability distribution, with two vertices adjacent if and only if their $l^p$-distance is at most $r_n$. We investigate the distant-$l$ chromatic number $χ_l(G_n)$ of $G_n$ for $l\ge1$. Complete picture of the ratios of $χ_l(G_n)$ to the chromatic number $χ(G_n)$ are given in the sense of almost sure convergence.

A random geometric digraph $G_n$ is constructed by taking $\{X_1,X_2,... X_n\}$ in $\mathbb{R}^2$ independently at random with a common bounded density function. Each vertex $X_i$ is assigned at random a sector $S_i$ of central angle $α$ with inclination $Y_i$, in a circle of radius $r$ (with vertex $X_i$ as the origin). An arc is present from vertex $X_i$ to $X_j$, if $X_j$ falls in $S_i$. Suppose $k$ is fixed and $\{k_n\}$ is a sequence with $1\ll k_n\ll n^{1/2}$, as $n\to\infty$. We prove central limit theorems for $k-$ and $k_n-$nearest neighbor distance of out- and in-degrees in $G_n$. We also show that the degree distribution of this model, which varies with the probability distribution of the underlying point processes, can be either homogeneous or inhomogeneous. Our work should provide valuable insights for alternative mechanisms wrapped in real-world complex networks.

In this paper we study the behavior of maximum out/in-degree of binomial/Poisson random scaled sector graphs in the presence of random vertex and edge faults. We prove that the probability distribution of maximum degrees for random faulty scaled sector graphs with $n$ vertices, where each vertex spans a sector of $α$ radians, with radius $r_n\ll \sqrt{\ln n/n}$, become concentrated on two consecutive integers, under some natural assumptions of faulty probabilities.

The Mahonian statistic is the number of inversions in a permutation of a multiset with $a_i$ elements of type $i$, $1\le i\le m$. The counting function for this statistic is the $q$ analog of the multinomial coefficient $\binom{a_1+...+a_m}{a_1,... a_m}$, and the probability generating function is the normalization of the latter. We give two proofs that the distribution is asymptotically normal. The first is {\it computer-assisted}, based on the method of moments. The Maple package {\tt MahonianStat}, available from the webpage of this article, can be used by the reader to perform experiments and calculations. Our second proof uses characteristic functions. We then take up the study of a local limit theorem to accompany our central limit theorem. Here our result is less general, and we must be content with a conjecture about further work. Our local limit theorem permits us to conclude that the coeffiecients of the $q$-multinomial are log-concave, provided one stays near the center (where the largest coefficients reside.)

We describe a maximum entropy approach for computing volumes and counting integer points in polyhedra. To estimate the number of points from a particular set X in R^n in a polyhedron P in R^n, by solving a certain entropy maximization problem, we construct a probability distribution on the set X such that a) the probability mass function is constant on the intersection of P and X and b) the expectation of the distribution lies in P. This allows us to apply Central Limit Theorem type arguments to deduce computationally efficient approximations for the number of integer points, volumes, and the number of 0-1 vectors in the polytope. As an application, we obtain asymptotic formulas for volumes of multi-index transportation polytopes and for the number of multi-way contingency tables.

Let $\a$ be a real-valued random variable of mean zero and variance 1. Let $M_n(\a)$ denote the $n \times n$ random matrix whose entries are iid copies of $\a$ and $σ_n(M_n(\a))$ denote the least singular value of $M_n(\a)$. ($σ_n(M_n(\a))^2$ is also usually interpreted as the least eigenvalue of the Wishart matrix $M_n M_n^{\ast}$.) We show that (under a finite moment assumption) the probability distribution $n σ_n(M_n(\a))^2$ is {\it universal} in the sense that it does not depend on the distribution of $\a$. In particular, it converges to the same limiting distribution as in the special case when $a$ is real gaussian. (The limiting distribution was computed explicitly in this case by Edelman.) We also proved a similar result for complex-valued random variables of mean zero, with real and imaginary parts having variance 1/2 and covariance zero. Similar results are also obtained for the joint distribution of the bottom $k$ singular values of $M_n(\a)$ for any fixed $k$ (or even for $k$ growing as a small power of $n$) and for rectangular matrices. Our approach is motivated by the general idea of "property testing" from combinatorics and theoretical computer science. This seems to be a new approach in the study of spectra of random matrices and combines tools from various areas of mathematics.

We consider a particular class of n-dimensional homogeneous diffusions all of which have an identity diffusion matrix and a drift function that is piecewise constant and scale invariant. Abstract stochastic calculus immediately gives us general results about existence and uniqueness in law and invariant probability distributions when they exist. These invariant distributions are probability measures on the $n$-dimensional space and can be extremely resistant to a more detailed understanding. To have a better analysis, we construct a polyhedra such that the inward normal at its surface is given by the drift function and show that the finer structures of the invariant probability measure is intertwined with the geometry of the polyhedra. We show that several natural interacting Brownian particle models can thus be analyzed by studying the combinatorial fan generated by the drift function, particularly when these are simplicial. This is the case when the polyhedra is a polytope that is invariant under a Coxeter group action, which leads to an explicit description of the invariant measures in terms of iid Exponential random variables. Another class of examples is furnished by interactions indexed by weighted graphs all of which generate simplicial polytopes with $n !$ faces. We show that the proportion of volume contained in each component simplex corresponds to a probability distribution on the group of permutations, some of which have surprising connections with the classical urn models.

A Markov chain is considered whose states are orderings of an underlying fixed tree and whose transitions are local "random-to-front" reorderings, driven by a probability distribution on subsets of the leaves. The eigenvalues of the transition matrix are determined using Brown's theory of random walk on semigroups.

Fully packed loop models describe the statistics of closely packed nested polygons on the square lattice. Many exact results can be obtained for these models, even for finite geometries, using their close relationship to alternating-sign matrices and the solvable six-vertex and O(n=1) lattice models. Some results for the exact partition function of fully packed loop models on various finite geometries are briefly reviewed, as well as the well-known order-disorder bulk phase transition present in these models. A detailed study is presented of the distribution of boundary nests of polygons in fully packed loop models with mirror or rotational symmetry. The probability distribution function of such nests, as well as the average number of nests, are obtained analytically, albeit conjecturally. It is further shown that fully packed loop models undergo another phase transition as a function of the boundary nest fugacity. At criticality, we derive a scaling form for the nest distribution function which displays an unusual non-Gaussian cubic exponential behaviour.

We consider planar quadrangulations with three marked vertices and discuss the geometry of triangles made of three geodesic paths joining them. We also study the geometry of minimal separating loops, i.e. paths of minimal length among all closed paths passing by one of the three vertices and separating the two others in the quadrangulation. We concentrate on the universal scaling limit of large quadrangulations, also known as the Brownian map, where pairs of geodesic paths or minimal separating loops have common parts of non-zero macroscopic length. This is the phenomenon of confluence, which distinguishes the geometry of random quadrangulations from that of smooth surfaces. We characterize the universal probability distribution for the lengths of these common parts.

We give several modifications of the Goulden-Jackson Cluster method for finding generating functions for words avoiding a given set of forbidden words. Our modifications include functions which can take into account various 'weights' on words, including single letter probability distributions, double letter (i.e. pairwise) probability distributions, and triple letter probability distributions. We also describe an alternative, recursive approach to finding such generating functions. We describe Maple implementations of the various modifications. The accompanying Maple package is available at the website for this paper.

Consider a random permutation $π\in{\cal S}_n$. In this paper, perhaps best classified as a contribution to discrete probability distribution theory, we study the {\it first} occurrence $X=X_n$ of a I-II-III-pattern, where "first" is interpreted in the lexicographic order induced by the 3-subsets of $[n]=\{1,2,...,n\}$. Of course if the permutation is I-II-III-avoiding then the first I-II-III-pattern never occurs, and thus $\e(X)=\infty$ for each $n$; to avoid this case, we also study the first occurrence of a I-II-III-pattern given a bijection $f:{\bf Z}^+\to{\bf Z}^+$.

In the present paper we construct and solve a differential model for the q-analog of the Plancherel growth process. The construction is based on a deformation of the Makrov-Krein correspondence between continual diagrams and probability distributions.

We provide a combinatorial description of exclusion statistics in terms of minimal difference $p$ partitions. We compute the probability distribution of the number of parts in a random minimal $p$ partition. It is shown that the bosonic point $ p=0$ is a repulsive fixed point for which the limiting distribution has a Gumbel form. For all positive $p$ the distribution is shown to be Gaussian.