arXiv++ Combinatorics

We establish a characterization of coagulation-fragmentation processes, such that the induced birth and death processes depicting the total number of groups at time $t\ge 0$ are time homogeneous. Based on this, we provide a characterization of mean-field Gibbs coagulation-fragmentation models, which extends the one derived by Hendriks et al. As a by- product of our results, the class of solvable models is widened and a question posed by N. Berestycki and Pitman is answered, under restriction to mean-field models.

We give a probalistic proof of the famous Meinardus' asymptotic formula for the number of weighted partitions with weakened one of the three Meinardus' conditions, and extend the resulting version of the theorem to other two classis types of decomposable combinatorial structures, which are called assemblies and selections. The results obtained are based on combining Meinardus' analytical approach with probabilistic method of Khitchine.

We establish necessary and sufficient conditions for convergence (in the sense of finite dimensional distributions) of multiplicative measures on the set of partitions. We show that this convergence is equivalent to asymptotic independence of finite sizes of components. The multiplicative measures depict component spectra of random structures, the equilibrium of classic models of statistical mechanics and stochastic processes of coagulation-fragmentation. We then apply Schur's tauberian lemma and some results from additive number theory and enumerative combinatorics, in order to verify the conditions derived in important special cases. Our results demostrate that the common belief that interacting groups in mean field models become independent as the number of particles goes to infinity, is not true in general.

Given a sequence of integers $a_j, j\ge 1,$ a multiset is a combinatorial object composed of unordered components, such that there are exactly $a_j$ one-component multisets of size $j.$ When $a_j\asymp j^{r-1} y^j$ for some $r>0$, $y\geq 1$, then the multiset is called {\em expansive}. Let $c_n$ be the number of multisets of total size $n$. Using a probabilistic approach, we prove for expansive multisets that $c_n/c_{n+1}\to 1$ and that $c_n/c_{n+1}<1$ for large enough $n$. This allows us to prove Monadic Second Order Limit Laws for expansive multisets. The above results are extended to a class of expansive multisets with oscillation. Moreover, under the condition $a_j=Kj^{r-1}y^j + O(y^{νj}),$ where $K>0$, $r>0$, $y>1$, $ν\in (0,1)$, we find an explicit asymptotic formula for $c_n$. In a similar way we study the asymptotic behavior of selections which are defined as multisets composed of components of distinct sizes.