arXiv++ Combinatorics

The paper is concerned with the asymptotic analysis of a family of Boltzmann (multiplicative) distributions over the set $\check{\varLambda}^{q}$ of strict integer partitions (i.e., with unequal parts) into perfect $q$-th powers. A combinatorial link is provided via a suitable conditioning by fixing the partition weight (the sum of parts) and length (the number of parts), leading to uniform distribution on the corresponding subspaces of partitions. The Boltzmann measure is calibrated through the hyper-parameters $\langle N\rangle$ and $\langle M\rangle$ controlling the expected weight and length, respectively. We study ``short'' partitions, where the parameter $\langle M\rangle$ is either fixed or grows slower than for typical plain (unconstrained) partitions. For this model, we obtain a variety of limit theorems including the asymptotics of the cumulative cardinality in the case of fixed $\langle M\rangle$ and a limit shape result in the case of slow growth of $\langle M\rangle$. In both cases, we also characterize the joint distribution of the weight and length, as well as the growth of the smallest and largest parts. Using these results we construct suitable sampling algorithms and analyse their performance.

The class of minimal difference partitions MDP($q$) (with gap $q$) is defined by the condition that successive parts in an integer partition differ from one another by at least $q\ge 0$. In a recent series of papers by A. Comtet and collaborators, the MDP($q$) ensemble with uniform measure was interpreted as a combinatorial model for quantum systems with fractional statistics, that is, interpolating between the classic Bose-Einstein ($q=0$) and Fermi-Dirac ($q=1$) cases. This was done by formally allowing values $q \in (0,1)$ using an analytic continuation of the limit shape of the corresponding Young diagrams calculated for integer $q$. To justify this "replica-trick", we introduce a more general model based on a variable MDP-type condition encoded by an integer sequence $(q_i)$, whereby the (limiting) gap $q$ is naturally interpreted as the Cesàro mean of $(q_i)$. In this model, we find the family of limit shapes parameterized by $q \in [0,\infty)$ confirming the earlier answer, and also obtain the asymptotics of the number of parts.

The paper concerns the limit shape (under some probability measure) of convex polygonal lines with vertices on $\mathbb{Z}_+^2$, starting at the origin and with the right endpoint $n=(n_1,n_2)\to\infty$. In the case of the uniform measure, an explicit limit shape $γ^*:=\{(x_1,x_2)\in\mathbb{R}_+^2\colon \sqrt{1-x_1}+\sqrt{x_2}=1\}$ was found independently by Vershik (1994), Bárány (1995), and Sinai (1994). Recently, Bogachev and Zarbaliev (2011) proved that the limit shape $γ^*$ is universal for a certain parametric family of multiplicative probability measures generalizing the uniform distribution. In the present work, the universality result is extended to a much wider class of multiplicative measures, including (but not limited to) analogs of the three meta-types of decomposable combinatorial structures -- multisets, selections and assemblies. This result is in sharp contrast with the one-dimensional case where the limit shape of Young diagrams associated with integer partitions heavily depends on the distributional type.

We derive the limit shape of Young diagrams, associated with growing integer partitions, with respect to multiplicative probability measures underpinned by the generating functions of the form $\mathcal{F}(z)=\prod_{\ell=1}^\infty \mathcal{F}_0(z^\ell)$ (which entails equal weighting among possible parts $\ell\in\mathbb{N}$). Under mild technical assumptions on the function $H_0(u)=\ln(\mathcal{F}_0(u))$, we show that the limit shape $ω^*(x)$ exists and is given by the equation $y=γ^{-1}H_0(\mathrm{e}^{-γx})$, where $γ^2=\int_0^1 u^{-1}H_0(u)\,\mathrm{d}u$. The wide class of partition measures covered by this result includes (but is not limited to) representatives of the three meta-types of decomposable combinatorial structures --- assemblies, multisets and selections. Our method is based on the usual randomization and conditioning; to this end, a suitable local limit theorem is proved. The proofs are greatly facilitated by working with the cumulants of sums of the part counts rather than with their moments.

Let ${\varPi}_n$ be the set of convex polygonal lines $\varGamma$ with vertices on $\mathbb {Z}_+^2$ and fixed endpoints $0=(0,0)$ and $n=(n_1,n_2)$. We are concerned with the limit shape, as $n\to\infty$, of "typical" $\varGamma\in {\varPi}_n$ with respect to a parametric family of probability measures $\{P_n^r,0<r<\infty\}$ on ${\varPi}_n$, including the uniform distribution ($r=1$) for which the limit shape was found in the early 1990s independently by A. M. Vershik, I. Bárány and Ya. G. Sinai. We show that, in fact, the limit shape is universal in the class $\{P^r_n\}$, even though $P^r_n$ ($r\ne1$) and $P^1_n$ are asymptotically singular. Measures $P^r_n$ are constructed, following Sinai's approach, as conditional distributions $Q_z^r(\cdot |{\varPi}_n)$, where $Q_z^r$ are suitable product measures on the space ${\varPi}=\bigcup_n{\varPi}_n$, depending on an auxiliary "free" parameter $z=(z_1,z_2)$. The transition from $({\varPi},Q_z^r)$ to $({\varPi}_n,P_n^r)$ is based on the asymptotics of the probability $Q_z^r({\varPi}_n)$, furnished by a certain two-dimensional local limit theorem. The proofs involve subtle analytical tools including the Möbius inversion formula and properties of zeroes of the Riemann zeta function.