arXiv++ Combinatorics

We study the joint distribution of the input sum and the output sum of a deterministic transducer. Here, the input of this finite-state machine is a uniformly distributed random sequence. We give a simple combinatorial characterization of transducers for which the output sum has bounded variance, and we also provide algebraic and combinatorial characterizations of transducers for which the covariance of input and output sum is bounded, so that the two are asymptotically independent. Our results are illustrated by several examples, such as transducers that count specific blocks in the binary expansion, the transducer that computes the Gray code, or the transducer that computes the Hamming weight of the width-$w$ non-adjacent form digit expansion. The latter two turn out to be examples of asymptotic independence.

For $i = 0, 1, \ldots, n$, let $C_i$ be independent and identically distributed random variables with distribution $F$ with support $(0,\infty)$. The number of zeros of the random tropical polynomials $\mathcal{T}f_n(x) = \min_{i=1,\ldots,n}(C_i + ix)$ is also the number of faces of the lower convex hull of the $n+1$ random points $(i,C_i)$ in $\mathbb{R}^2$. We show that this number, $Z_n$, satisfies a central limit theorem when $F$ has polynomial decay near $0$. Specifically, if $F$ near $0$ behaves like a $gamma(a,1)$ distribution for some $a > 0$, then $Z_n$ has the same asymptotics as the number of renewals on the interval $[0,\log(n)/a]$ of a renewal process with inter-arrival distribution $-\log(Beta(a,2))$. Our proof draws on connections between random partitions, renewal theory and random polytopes. In particular, we obtain generalizations and simple proofs of the central limit theorem for the number of vertices of the convex hull of $n$ uniform random points in a square. Our work leads to many open problems in stochastic tropical geometry, the study of functionals and intersections of random tropical varieties.

We consider the topology of simplicial complexes with vertices the points of a random point process and faces determined by distance relationships between the vertices. In particular, we study the Betti numbers of these complexes as the number of vertices becomes large, obtaining limit theorems for means, strong laws, concentration inequalities and central limit theorems. As opposed to most prior papers treating random complexes, the limit with which we work is in the so-called `thermodynamic' regime (which includes the percolation threshold) in which the complexes become very large and complicated, with complex homology characterised by diverging Betti numbers. The proofs combine probabilistic arguments from the theory of stabilizing functionals of point processes and topological arguments exploiting the properties of Mayer-Vietoris exact sequences. The Mayer-Vietoris arguments are crucial, since homology in general, and Betti numbers in particular, are global rather than local phenomena, and most standard probabilistic arguments are based on the additivity of functionals arising as a consequence of locality.

In [1], the authors consider a random walk $(Z_{n,1},\ldots,Z_{n,K+1})\in \mathbb{Z}^{K+1}$ with the constraint that each coordinate of the walk is at distance one from the following one. A functional central limit theorem for the first coordinate is proved and the limit variance is explicited. In this paper, we study an extended version of this model by conditioning the extremal coordinates to be at some fixed distance at every time. We prove a functional central limit theorem for this random walk. Using combinatorial tools, we give a precise formula of the variance and compare it with the one obtained in [1].

In this paper we compute the bivariate generating function of $γ$-matchings over two backbones, filtered by the number of arcs and the topological genus. $γ$-matchings over two backbones are chord-diagrams, obtained via concatenation and nesting of irreducible shapes of topological genus $\le γ$. We show that the key information is contained in the polynomials counting these shapes and provide recursions that allow to compute the latter. In particular we give a bijection between such irreducible shapes over one and two backbones. We present two applications of our results. The first is concerned with RNA-RNA interaction structures, obtained from the $γ$-matchings via symbolic methods. We secondly show that, using analytic-combinatorial methods, the topological genus satisfies a central limit theorem.

For the Chebyshev-Stirling numbers, a special case of the Jacobi-Stirling numbers, asymptotic formulae are derived in terms of a local central limit theorem. The underlying probabilistic approach also applies to the classical Stirling numbers of the second kind. Thereby a supplement of the asymptotic analysis for these numbers is established.

We show the existence of regular combinatorial objects which previously were not known to exist. Specifically, for a wide range of the underlying parameters, we show the existence of non-trivial orthogonal arrays, t-designs, and t-wise permutations. In all cases, the sizes of the objects are optimal up to polynomial overhead. The proof of existence is probabilistic. We show that a randomly chosen structure has the required properties with positive yet tiny probability. Our method allows also to give rather precise estimates on the number of objects of a given size and this is applied to count the number of orthogonal arrays, t-designs and regular hypergraphs. The main technical ingredient is a special local central limit theorem for suitable lattice random walks with finitely many steps.

We consider sequences of random variables whose probability generating functions are polynomials all of whose roots lie on the unit circle. The distribution of such random variables has only been sporadically studied in the literature. We show that the random variables are asymptotically normally distributed if and only if the fourth normalized (by the standard deviation) central moment tends to 3, in contrast to the common scenario for polynomials with only real roots for which a central limit theorem holds if and only if the variance goes unbounded. We also derive a representation theorem for all possible limit laws and apply our results to many concrete examples in the literature, ranging from combinatorial structures to numerical analysis, and from probability to analysis of algorithms.

We consider first passage percolation on sparse random graphs with prescribed degree distributions and general independent and identically distributed edge weights assumed to have a density. Assuming that the degree distribution satisfies a uniform X^2\log{X}-condition, we analyze the asymptotic distribution for the minimal weight path between a pair of typical vertices, as well the number of edges on this path or hopcount. The hopcount satisfies a central limit theorem where the norming constants are expressible in terms of the parameters of an associated continuous-time branching process. Centered by a multiple of \log{n}, where the constant is the inverse of the Malthusian rate of growth of the associated branching process, the minimal weight converges in distribution. The limiting random variable equals the sum of the logarithms of the martingale limits of the branching processes that measure the relative growth of neighborhoods about the two vertices, and a Gumbel random variable, and thus shows a remarkably universal behavior. The proofs rely on a refined coupling between the shortest path problems on these graphs and continuous-time branching processes, and on a Poisson point process limit for the potential closing edges of shortest-weight paths between the source and destination. The results extend to a host of related random graph models, ranging from random r-regular graphs, inhomogeneous random graphs and uniform random graphs with a prescribed degree sequence.

We prove asymptotic normality of the distributions defined by q-supernomials, which implies asymptotic normality of the distributions given by the central string functions and the basic specialization of fusion modules of the current algebra of sl2. The limit is taken over linearly scaled fusion powers of a fixed collection of irreducible representations. This includes as special instances all Demazure modules of the affine Kac-Moody algebra associated to sl2. Along with an available complementary result on the asymptotic normality of the basic specialization of graded tensors of the type A standard representation, our result is a central limit theorem for a serious class of graded tensors. It therefore serves as an indication towards universal behavior: The central string functions and the basic specialization of fusion and, in particular, Demazure modules behave asymptotically normal, as the number of fusions scale linearly in an asymptotic parameter, N say.

We prove a central limit theorem for the length of the longest subsequence of a random permutation which follows one of a class of repeating patterns. This class includes every fixed pattern of ups and downs having at least one of each, such as the alternating case considered by Stanley in arXiv:math/0511419 and Widom in arXiv:math/0511533. In every case considered the convergence in the limit of long permutations is to normal with mean and variance linear in the length of the permutation.

We introduce and study the notion of k-divisible elements in a non-commutative probability space. A k-divisible element is a (non-commutative) random variable whose n-th moment vanishes whenever n is not a multiple of k. First, we consider the combinatorial convolution \ast in the lattices NC of non-crossing partitions and NC^k of k-divisible non-crossing partitions and show that convolving k times with the zeta-function in NC is equivalent to convolving once with the zeta-function in NC^k. Furthermore, when x is k-divisible, we derive a formula for the free cumulants of x^k in terms of the free cumulants of x, involving k-divisible non-crossing partitions. Second, we prove that if a and s are free and s is k-divisible then sps and a are free, whenever p is any polynomial (on a and s) of degree k - 2 on s. Moreover, we define a notion of R-diagonal k-tuples and prove similar results. Next, we show that free multiplicative convolution between a measure concentrated in the positive real line and a probability measure with k-symmetry is well defined. Analytic tools to calculate this convolution are developed. Finally, we concentrate on free additive powers of k-symmetric distributions and prove that μt is a well defined probability measure, for all t > 1. We derive central limit theorems and Poisson type ones. More generally, we consider freely infinitely divisible measures and prove that free infinite divisibility is maintained under the mapping μ\rightarrow μ^k . We conclude by focusing on (k-symmetric) free stable distributions, for which we prove a reproducing property generalizing the ones known for one sided and real symmetric free stable laws.

We derive asymptotic formulas for central extended binomial coefficients, which are generalizations of binomial coefficients. To do so, we relate the exact distribution of the sum of independent discrete uniform random variables to the asymptotic distribution, obtained from the Central Limit Theorem and a local limit variant.

In this paper we study $γ$-structures filtered by topological genus. $γ$-structures are a class of RNA pseudoknot structures that plays a key role in the context of polynomial time folding of RNA pseudoknot structures. A $γ$-structure is composed by specific building blocks, that have topological genus less than or equal to $γ$, where composition means concatenation and nesting of such blocks. Our main results are the derivation of a new bivariate generating function for $γ$-structures via symbolic methods, the singularity analysis of the solutions and a central limit theorem for the distribution of topological genus in $γ$-structures of given length. In our derivation specific bivariate polynomials play a central role. Their coefficients count particular motifs of fixed topological genus and they are of relevance in the context of genus recursion and novel folding algorithms.

Voiculescu's notion of asymptotic free independence is known for a large class of random matrices including independent unitary invariant matrices. This notion is extended for independent random matrices invariant in law by conjugation by permutation matrices. This fact leads naturally to an extension of free probability, formalized under the notions of traffic probability. We first establish this construction for random matrices. We define the traffic distribution of random matrices, which is richer than the *-distribution of free probability. The knowledge of the individual traffic distributions of independent permutation invariant families of matrices is sufficient to compute the limiting distribution of the join family. Under a factorization assumption, we call traffic independence the asymptotic rule that plays the role of independence with respect to traffic distributions. Wigner matrices, Haar unitary matrices and uniform permutation matrices converge in traffic distributions, a fact which yields new results on the limiting *-distributions of several matrices we can construct from them. Then we define the abstract traffic spaces as non commutative probability spaces with more structure. We prove that at an algebraic level, traffic independence in some sense unifies the three canonical notions of tensor, free and Boolean independence. A central limiting theorem is stated in this context, interpolating between the tensor, free and Boolean central limit theorems.

Given an undirected graph $G$, we define a new object $H_G$, called the mp-chart of $G$, in the max-plus algebra. We use it, together with the max-plus permanent, to describe the complexity of graphs. We show how to compute the mean and the variance of $H_G$ in terms of the adjacency matrix of $G$ and we give a central limit theorem for $H_G$. Finally, we show that the mp-chart is easily tractable also for the complement graph.

We show the existence of rigid combinatorial objects which previously were not known to exist. Specifically, for a wide range of the underlying parameters, we show the existence of non-trivial orthogonal arrays, $t$-designs, and $t$-wise permutations. In all cases, the sizes of the objects are optimal up to polynomial overhead. The proof of existence is probabilistic. We show that a randomly chosen such object has the required properties with positive yet tiny probability. The main technical ingredient is a special local central limit theorem for suitable lattice random walks with finitely many steps.

Deviation of ergodic sums is studied for substitution dynamical systems with a matrix that admits eigenvalues of modulus 1. We consider the corresponding eigenfunctions, and in Theorem 1.1 we prove that the limit inferior of the ergodic sums is bounded for every point in the phase space. In Theorem 1.2, we prove existence of limit distributions along certain exponential subsequences of times for substitutions of constant length. Under additional assumptions, we prove that ergodic integrals satisfy the Central Limit Theorem (Theorem 1.3, Theorem 1.9).

The goal of this paper is to analyse the asymptotic behavior of the cycle process and the total number of cycles of weighted and generalized weighted random permutations which are relevant models in physics and which extend the Ewens measure. We combine tools from combinatorics and complex analysis (e.g. singularity analysis of generating functions) to prove that under some analytic conditions (on relevant generating functions) the cycle process converges to a vector of independent Poisson variables and to establish a central limit theorem for the total number of cycles. Our methods allow us to obtain an asymptotic estimate of the characteristic functions of the different random vectors of interest together with an error estimate, thus having a control on the speed of convergence. In fact we are able to prove a finer convergence for the total number of cycles, namely \textit{mod-Poisson convergence}. From there we apply previous results on mod-Poisson convergence to obtain Poisson approximation for the total number of cycles as well as large deviations estimates.

We consider random permutations derived by sampling from stick-breaking partitions of the unit interval. The cycle structure of such a permutation can be associated with the path of a decreasing Markov chain on $n$ integers. Under certain assumptions on the stick-breaking factor we prove a central limit theorem for the logarithm of the order of the permutation, thus extending the classical Erdős-Turán law for the uniform permutations and its generalization for Ewens' permutations associated with sampling from the PD/GEM$(θ)$ distribution. Our approach is based on using perturbed random walks to obtain the limit laws for the sum of logarithms of the cycle lengths.