arXiv++ Combinatorics

We apply ideas from the theory of limits of dense combinatorial structures to study order types, which are combinatorial encodings of finite point sets. Using flag algebras we obtain new numerical results on the Erdős problem of finding the minimal density of 5-or 6-tuples in convex position in an arbitrary point set, and also an inequality expressing the difficulty of sampling order types uniformly. Next we establish results on the analytic representation of limits of order types by planar measures. Our main result is a rigidity theorem: we show that if sampling two measures induce the same probability distribution on order types, then these measures are projectively equivalent provided the support of at least one of them has non-empty interior. We also show that some condition on the Hausdorff dimension of the support is necessary to obtain projective rigidity and we construct limits of order types that cannot be represented by a planar measure. Returning to combinatorial geometry we relate the regularity of this analytic representation to the aforementioned problem of Erdős on the density of k-tuples in convex position, for large k.

We propose inhomogeneous random K-out graphs $\mathbb{H}(n; \pmbμ, \pmb{K}_n)$, where each of the $n$ nodes is assigned to one of $r$ classes independently with a probability distribution $\pmbμ = \{μ_1, \ldots, μ_r\}$. In particular, each node is classified as class-$i$ with probability $μ_i>0$, independently. Each class-$i$ node selects $K_{i,n}$ distinct nodes uniformly at random from among all other nodes. A pair of nodes are adjacent in $\mathbb{H}(n; \pmbμ, \pmb{K}_n)$ if at least one selects the other. Without loss of generality, we assume that $K_{1,n} \leq K_{2,n} \leq \ldots \leq K_{r,n}$. Earlier results on homogeneous random K-out graphs $\mathbb{H}(n; K_n)$, where all nodes select the same number $K$ of other nodes, reveal that $\mathbb{H}(n; K_n)$ is connected with high probability (whp) if $K_n \geq 2$ which implies that $\mathbb{H}(n; \pmbμ, \pmb{K}_n)$ is connected whp if $K_{1,n} \geq 2$. In this paper, we investigate the connectivity of inhomogeneous random K-out graphs $\mathbb{H}(n; \pmbμ, \pmb{K}_n)$ for the special case when $K_{1,n}=1$, i.e., when each class-$1$ node selects only one other node. We show that $\mathbb{H}\left(n;\pmbμ,\pmb{K}_n\right)$ is connected whp if $K_{r,n}$ is chosen such that $\lim_{n \to \infty} K_{r,n} = \infty$. However, any bounded choice of the sequence $K_{r,n}$ gives a positive probability of $\mathbb{H}\left(n;\pmbμ,\pmb{K}_n\right)$ being not connected. Simulation results are provided to validate our results in the finite node regime.

A heterochromatic (or rainbow) graph is an edge-colored graph whose edges have distinct colors, that is, where each color appears at most once. In this paper, I propose a $(g,f)$-chromatic graph as an edge-colored graph where each color $c$ appears at least $g(c)$ times and at most $f(c)$ times. I also present a necessary and sufficient condition for edge-colored graphs (not necessary to be proper) to have a $(g,f)$-chromatic spanning tree. Using this criterion, I show that an edge-colored complete graph $G$ has a spanning tree with a color probability distribution `similar' to that of $G$. Moreover, I conjecture that an edge-colored complete graph $G$ of order $2n$ $(n \ge 3)$ can be partitioned into $n$ edge-disjoint spanning trees such that each has a color probability distribution `similar' to that of $G$.

Horn's problem, i.e., the study of the eigenvalues of the sum $C=A+B$ of two matrices, given the spectrum of $A$ and of $B$, is re-examined, comparing the case of real symmetric, complex Hermitian and self-dual quaternionic $3\times 3$ matrices. In particular, what can be said on the probability distribution function (PDF) of the eigenvalues of $C$ if $A$ and $B$ are independently and uniformly distributed on their orbit under the action of, respectively, the orthogonal, unitary and symplectic group? While the two latter cases (Hermitian and quaternionic) may be studied by use of explicit formulae for the relevant orbital integrals, the case of real symmetric matrices is much harder. It is also quite intriguing, since numerical experiments reveal the occurrence of singularities where the PDF of the eigenvalues diverges. Here we show that the computation of the PDF of the symmetric functions of the eigenvalues for traceless $3\times 3$ matrices may be carried out in terms of algebraic functions;- roots of quartic polynomials;- and their integrals. The computation is carried out in detail in a particular case, and reproduces the expected singular patterns. The divergences are of logarithmic or inverse power type. We also relate this PDF to the (rescaled) structure constants of zonal polynomials and introduce a zonal analogue of the Weyl ${\rm SU}(n)$ characters.

The basic $κ$-color box-ball (BBS) system is an integrable cellular automaton on one dimensional lattice whose local states take $\{0,1,\cdots,κ\}$ with $0$ regarded as an empty box. The time evolution is defined by a combinatorial rule of quantum group theoretical origin, and the complete set of conserved quantities is given by a $κ$-tuple of Young diagrams. In the randomized BBS, a probability distribution on $\{0,1,\cdots,κ\}$ to independently fill the consecutive $n$ sites in the initial state induces a highly nontrivial probability measure on the $κ$-tuple of those invariant Young diagrams. In a recent work \cite{kuniba2018randomized}, their large $n$ `equilibrium shape' has been determined in terms of Schur polynomials by a Markov chain method and also by a very different approach of Thermodynamic Bethe Ansatz (TBA). In this paper, we establish a large deviations principle for the row lengths of the invariant Young diagrams. As a corollary, they are shown to converge almost surely to the equilibrium shape at an exponential rate. We also refine the TBA analysis and obtain the exact scaling form of the vacancy, the row length and the column multiplicity, which exhibit nontrivial factorization in a one-parameter specialization.

We study the longest increasing subsequence problem for random permutations avoiding the pattern $312$ and another pattern $τ$ under the uniform probability distribution. We determine the exact and asymptotic formulas for the average length of the longest increasing subsequences for such permutation classes specifically when the pattern $τ$ is monotone increasing or decreasing, or any pattern of length four.

This paper is a revision of the combinatorics of fractional exclusion statistics (FES). More specifically, the following exact statement of the generalized Pauli principle is derived: for an $N$-particles system exhibiting FES of extended parameter $g=q/r$ ($q$ and $r$ are co-prime integers such that $0 < q \leq r$), we found that the allowed occupation number of a state is smaller than or equal to $r-q+1$ and \emph{not} to $1/g$ whenever $q\neq 1$ and, moreover, the global occupancy shape (merely represented by a partition of $N$) is admissible if the number of states occupied by at least two particles is less than or equal to $(N-1)/r$ ($N \equiv 1 \pmod r$). These counting rules allow distinguishing infinitely many families of FES systems depending on the parameter $g$ and the size $N$. As an application of the main result, we study the probability distributions of occupancy configurations. For instance, the number of occupied states is found to be a hypergeometric random variable. Closed-form expressions for the expectation values and variances in the thermodynamic limit are presented. By way of comparison, we obtain parallel results regarding the Gentile intermediate statistics and demonstrate subtle similarities and contrasts with respect to FES.

The notion of a barely set-valued semistandard Young tableau was introduced by Reiner, Tenner and Yong in their study of the probability distribution of edges in the Young lattice of partitions. Given a partition $λ$ and a positive integer $k$, let ${\mathrm{BSSYT}}(λ,k)$ (respectively, ${\mathrm{SYT}}(λ,k)$) denote the set of barely set-valued semistandard Young tableaux (respectively, ordinary semistandard Young tableaux) of shape $λ$ with entries in row $i$ not exceeding $k+i$. In the case when $λ$ is a rectangular staircase partition $δ_d(b^a)$, Reiner, Tenner and Yong conjectured that $|{\mathrm{BSSYT}}(λ,k)|= \frac{kab(d-1)}{(a+b)} |{\mathrm{SYT}}(λ,k)|$. In this paper, we establish a connection between barely set-valued tableaux and reverse plane partitions with designated corners. We show that for any shape $λ$, the expected jaggedness of a subshape of $λ$ under the weak probability distribution can be expressed as $\frac{2|{\mathrm{BSSYT}}(λ,k)|} {k|{\mathrm{SYT}}(λ,k)|}$. On the other hand, when $λ$ is a balanced shape with $r$ rows and $c$ columns, Chan, Haddadan, Hopkins and Moci proved that the expected jaggedness of a subshape in $λ$ under the weak distribution equals $2rc/(r+c)$. Hence, for a balanced shape $λ$ with $r$ rows and $c$ columns, we establish the relation that $|{\mathrm{BSSYT}}(λ,k)|=\frac{krc}{(r+c)}|{\mathrm{SYT}}(λ,k)|$. Since a rectangular staircase shape $δ_d(b^a)$ is a balanced shape, we confirm the conjecture of Reiner, Tenner and Yong.

In 2001, J.-M. Le Bars disproved the zero-one law (that says that every sentence from a certain logic is either true asymptotically almost surely (a.a.s.), or false a.a.s.) for existential monadic second order sentences (EMSO) about undirected graphs. He proved that there exists an EMSO sentence $φ$ such that ${\sf P}(G_n \modelsφ)$ does not converge as $n\to\infty$ (here, the probability distribution is uniform over the set of all graphs on the labeled set of vertices $\{1, \dots, n\}$). In the same paper, he conjectured that, for EMSO sentences with 2 first order variables, the zero-one law holds. In this paper, we disprove this conjecture.

We study the distribution of the cokernels of adjacency matrices (the Smith groups) of certain models of random $r$-regular graphs and directed graphs, using recent mixing results of Mészáros. We explain how convergence of such distributions to a limiting probability distribution implies asymptotic nonsingularity of the matrices, giving another perspective on recent results of Huang and Mészáros on asymptotic nonsingularity of adjacency matrices of random regular directed and undirected graphs, respectively. We also remark on the new distributions on finite abelian groups that arise, in particular in the $p$-group aspect when $p\mid r$.

In modeling DNA chains, the number of alternations between Adenine-Thymine (AT) and Guanine-Cytosine (GC) base pairs can be considered as a measure of the heterogeneity of the chain, which in turn could affect its dynamics. A probability distribution function of the number of these alternations is derived for circular or periodic DNA. Since there are several symmetries to account for in the periodic chain, necklace counting methods are used. In particular, Polya's Enumeration Theorem is extended for the case of a group action that preserves partitioned necklaces. This, along with the treatment of generating functions as formal power series, allows for the direct calculation of the number of possible necklaces with a given number of AT base pairs, GC base pairs and alternations. The theoretically obtained probability distribution functions of the number of alternations are accurately reproduced by Monte Carlo simulations and fitted by Gaussians. The effect of the number of base pairs on the characteristics of these distributions is also discussed, as well as the effect of the ratios of the numbers of AT and GC base pairs.

We study the average number of distinct fringe subtrees in random trees generated by leaf-centric binary tree sources as introduced by Zhang, Yang and Kieffer. A leaf-centric binary tree source induces for every $n \geq 2$ a probability distribution on the set of binary trees with $n$ leaves. We generalize a result by Flajolet, Gourdon, Martinez and Devroye, according to which the average number of distinct fringe subtrees in a random binary search tree of size $n$ is in $Θ(n/\log n)$, as well as a result by Flajolet, Sipala and Steayert, according to which the number of distinct fringe subtrees in a uniformly random binary tree of size $n$ is in $Θ(n/\sqrt{\log n})$.

Let $G$ be the special linear group $\mathrm{SL}(2,q)$. We show that if $(a_1,\ldots,a_t)$ and $(b_1,\ldots,b_t)$ are sampled uniformly from large subsets $A$ and $B$ of $G^t$ then their interleaved product $a_1 b_1 a_2 b_2 \cdots a_t b_t$ is nearly uniform over $G$. This extends a result of the first author, which corresponds to the independent case where $A$ and $B$ are product sets. We obtain a number of other results. For example, we show that if $X$ is a probability distribution on $G^m$ such that any two coordinates are uniform in $G^2$, then a pointwise product of $s$ independent copies of $X$ is nearly uniform in $G^m$, where $s$ depends on $m$ only. Extensions to other groups are also discussed. We obtain closely related results in communication complexity, which is the setting where some of these questions were first asked by Miles and Viola. For example, suppose party $A_i$ of $k$ parties $A_1,\dots,A_k$ receives on its forehead a $t$-tuple $(a_{i1},\dots,a_{it})$ of elements from $G$. The parties are promised that the interleaved product $a_{11}\dots a_{k1}a_{12}\dots a_{k2}\dots a_{1t}\dots a_{kt}$ is equal either to the identity $e$ or to some other fixed element $g\in G$, and their goal is to determine which of the two the product is equal to. We show that for all fixed $k$ and all sufficiently large $t$ the communication is $Ω(t \log |G|)$, which is tight. Even for $k=2$ the previous best lower bound was $Ω(t)$. As an application, we establish the security of the leakage-resilient circuits studied by Miles and Viola in the "only computation leaks" model.

We investigate combinatorial properties of a family of probability distributions on finite abelian p-groups. This family includes several well-known distributions as specializations. These specializations have been studied in the context of Cohen-Lenstra heuristics and cokernels of families of random p-adic matrices.

We investigate Mahonian and Eulerian probability distributions given by inversions and descents in general finite Coxeter groups. We provide uniform formulas for the means and variances in terms of Coxeter group data in both cases. We also provide uniform formulas for the double-Eulerian probability distribution of the sum of descents and inverse descents. We finally establish necessary and sufficient conditions for general sequences of Coxeter groups of increasing rank under which Mahonian and Eulerian probability distributions satisfy central and local limit theorems.

The traveling salesman problem is one of the most studied combinatorial optimization problems, because of the simplicity in its statement and the difficulty in its solution. We characterize the optimal cycle for every convex and increasing cost function when the points are thrown independently and with an identical probability distribution in a compact interval. We compute the average optimal cost for every number of points when the distance function is the square of the Euclidean distance. We also show that the average optimal cost is not a self-averaging quantity by explicitly computing the variance of its distribution in the thermodynamic limit. Moreover, we prove that the cost of the optimal cycle is not smaller than twice the cost of the optimal assignment of the same set of points. Interestingly, this bound is saturated in the thermodynamic limit.

We introduce a general framework for de Finetti reduction results, applicable to various notions of partially exchangeable probability distributions. Explicit statements are derived for the cases of exchangeability, Markov exchangeability, and some generalizations of these. Our techniques are combinatorial and rely on the "BEST" theorem, enumerating the Eulerian cycles of a multigraph.

We write explicit contour integral formulas for probability distributions of the multi-species q-TAZRP and the multi-species ASEP starting with q-exchangeable initial conditions. The formulas are equal to the corresponding explicit contour integral formulas for the single-species q-TAZRP ([Korhonen-Lee 2014, Wang-Waugh 2016]) and ASEP [Tracy-Widom 2007], with a factor in front of the integral. For the multi-species q-TAZRP, we use a decomposition theorem for elements of double cosets of parabolic subgroups in a Coxeter group. The set of distinguished double coset representatives with minimal length is viewed as a particle configuration. For the multi-species ASEP we use a more direct proof.

In this article, we prove that for any probability distribution $μ$ on $\mathbb{N}$ one can construct a two-sided stationary version of the infinite-bin model (an interacting particle system introduced by Foss and Konstantopoulos) with move distribution $μ$. Using this result, we obtain a new formula for the speed of the front of infinite-bin models, as a series of positive terms. This implies that the growth rate $C(p)$ of the longest path in a Barak-Erdős graph of parameter $p$ is analytic on $(0,1]$.

We propose a concise stochastic mechanics framework for chemical reaction systems that allows to formulate evolution equations for three general types of data: the probability generating functions, the exponential moment generating functions and the factorial moment generating functions. This formulation constitutes an intimate synergy between techniques of statistical physics and of combinatorics. We demonstrate how to analytically solve the evolution equations for all six elementary types of single-species chemical reactions by either combinatorial normal-ordering techniques, or, for the binary reactions, by means of Sobolev-Jacobi orthogonal polynomials. The former set of results in particular highlights the relationship between infinitesimal generators of stochastic evolution and parametric transformations of probability distributions.