# Longest increasing subsequences of random colored permutations

## 1. Introduction

Baik, Deift, and Johansson recently solved a problem about the asymptotic behavior of the length $`l_n`$ of the longest increasing subsequence for the random permutations of order $`n`$ as $`n\mathrm{}`$ (with the uniform distribution on the symmetric group $`S_n`$). They proved, see \[BDJ\], that the sequence

$$\left\{\frac{l_n2\sqrt{n}}{n^{1/6}}\right\}$$

converges in distribution, as $`n\mathrm{}`$, to a certain random variable whose distribution function we shall denote by $`F(x)`$. This distribution function can be expressed via a solution of the Painlevé II equation, see \[BDJ\] for details. It was first obtained by Tracy and Widom \[TW1\] in the framework of Random Matrix Theory where it gives the limit distribution for the (centered and scaled) largest eigenvalue in the Gaussian Unitary Ensemble of Hermitian matrices.

The problem of the asymptotics of $`l_n`$ was first raised by Ulam \[U\]. Substantial contributions to the solution of the problem have been made by Hammersley \[H\], Logan and Shepp \[LS\], Vershik and Kerov \[VK1, VK2\].

A survey of the interesting history of this problem, further references, and a discussion of its intriguing connection with Random Matrix Theory can be found in \[BDJ\].

Soon after the appearance of \[BDJ\] Tracy and Widom computed the asymptotic behavior of the length $`l_n^{}`$ of the longest increasing for the random ‘signed permutations’, see definitions in the next section. In \[TW2\] they showed that

$$\left\{\frac{l_n^{}2\sqrt{2n}}{2^{2/3}(2n)^{1/6}}\right\}$$

converges in distribution, as $`n\mathrm{}`$, to a random variable with the distribution function $`F^2(x)`$.

The present paper provides another proof of the result by Tracy and Widom. In our approach the distribution function $`F^2(x)`$ arises as the distribution function of the maximum of two asymptotically independent variables each of which behaves as $`(l_n2\sqrt{n})/n^{1/6}`$ (hence, by \[BDJ\], converges to the distribution given by $`F(x)`$).

The combinatorial techniques we use relies on recent works by Rains \[R\] and Fomin & Stanton \[FS\]. It also allows to handle a more general case of ‘colored permutations’ (the problem for ‘two–colored case’, essentially, coincides with that for signed permutations). We show that for the length $`l_n^{\prime \prime }`$ of the longest increasing subsequence of the random $`m`$–colored permutations of order $`n`$ the sequence

$$\left\{\frac{l_n^{\prime \prime }2\sqrt{mn}}{m^{2/3}(mn)^{1/6}}\right\}$$

converges in distribution, as $`n\mathrm{}`$, to a random variable with distribution function $`F^m(x)`$. The function $`F^m(x)`$ naturally appears as the distribution function of the maximum of $`m`$ asymptotically independent variables, each having $`F(x)`$ as the limit distribution function.

Combinatorial quantities which we consider can be also interpreted as expectations of certain central functions on unitary groups, see Section 4.

I am very grateful to G. I. Olshanski for a number of valuable discussions.

## 2. Colored permutations and signed permutations

A colored permutation is a map from $`\{1,\mathrm{},n\}`$ to $`\{1,\mathrm{},n\}\times \{1,\mathrm{},m\}`$ such that its composition with the projection on the first component of the target set is a permutation (of order $`n`$). One can view such a map as a permutation with one of $`m`$ colors attributed to each of $`n`$ points which this permutation permutes. The set of all colored permutations of order $`n`$ with $`m`$ colors will be denoted by $`S_n^{(m)}`$.

An increasing subsequence of $`\pi S_n^{(m)}`$ is a sequence $`1i_1<i_2<\mathrm{}<i_kn`$ such that the first coordinates of $`\pi (i_j)`$ increase in $`j`$ and the second coordinates of $`\pi (i_j)`$ are equal. Thus, elements of an increasing subsequence are of the same color, say, $`p`$. The length of such increasing subsequence is defined to be $`m(k1)+p`$.

These definitions are due to Rains \[R\]. A slightly more general notion of hook permutation was introduced and intensively used earlier by Stanton and White \[SW\].

We shall consider $`S_n^{(m)}`$ as a probability space with uniform distribution: probability of each colored permutation is $`|S_n^{(m)}|^1=(m^nn!)^1`$. Then the length of the longest increasing subsequence becomes a random variable on this space, it will be denoted as $`L_n^{col(m)}`$.

Let $`H_n`$ be the hyperoctahedral group of order $`n`$ defined as the wreath product $`_2^nS_n`$ ($`S_n`$ is the symmetric group of order $`n`$). The elements of $`H_n`$ are called signed permutations. This group can be naturally embedded in $`S_{2n}`$ as the group of permutations $`\sigma `$ of $`\{n,n+1,\mathrm{},1,1,\mathrm{},n1,n\}`$ subject to the condition $`\sigma (x)=\sigma (x)`$. Indeed, each such permutation is parametrized by the permutation $`|\sigma |S_n`$ and the set of signs of $`\sigma (1),\mathrm{},\sigma (n)`$. Using the natural ordering on the set $`\{n,n+1,\mathrm{},1,1,\mathrm{},n1,n\}`$ we can define the length of the longest increasing subsequence for each signed permutation. Assuming that every signed permutation has probability $`|H_n|^1=(2^nn!)^1`$, we get a random variable on $`H_n`$ which will be denoted as $`L_n^{even}`$.

The group $`H_n`$ can also be embedded into the symmetric group of order $`2n+1`$: we add 0 to the set $`\{n,n+1,\mathrm{},1,1,\mathrm{},n1,n\}`$ and assume that the elements $`\sigma H_n`$ satisfy the same condition $`\sigma (x)=\sigma (x)`$. Clearly, this implies $`\sigma (0)=0`$. The random variable on $`H_n`$ equal to the length of the longest increasing subsequence with respect to this realization will be denoted by $`L_n^{odd}`$.

Note that for any element $`\sigma H_n`$,

$$L_n^{odd}(\sigma )L_n^{even}(\sigma )=0\text{ or }1.$$
$`2.1`$   
## 3. Rim hook tableaux

We refer to the work \[SW\] for the definitions concerning rim hook tableaux.

The next claim is a direct consequence of the Schensted algorithm, see \[S\].

###### Proposition 3.1

Permutations of order $`n`$ with the length of longest increasing subsequence equal to $`l`$ are in one–to–one correspondence with pairs of standard Young tableaux of the same shape with $`n`$ boxes and width $`l`$.

Here is a generalization of this claim for colored permutations.

###### Proposition 3.2 \[R\], \[SW\]

Colored permutations with $`m`$ colors of order $`n`$ with the length of longest increasing subsequence equal to $`l`$ are in one–to–one correspondence with pairs of $`m`$–rim hook tableaux of the same shape with $`mn`$ boxes and width $`l`$.

In \[SW\] it was proved that $`\frac{l}{m}=\frac{w}{m}`$ where $`w`$ is the width of the rim hook tableau corresponding to a permutation with the length of longest increasing subsequence equal to $`l`$ ($`a`$ stands for the smallest integer $`a`$). The refinement of this statement given above was published in \[R\].

###### Proposition 3.3 \[R\]

Signed permutations of order $`n`$ embedded in $`S_{2n}`$ with the length of longest increasing subsequence equal to $`l`$ are in one–to–one correspondence with pairs of $`2`$–rim hook tableaux of the same shape with $`2n`$ boxes and width $`l`$.

The length of the longest increasing subsequence for signed permutations embedded into the symmetric group of odd order can also be interpreted in terms of rim hook tableaux, see \[R, proof of Theorem 2.3\].

Note that Propositions 3.2 and 3.3 imply that the distributions of random variables $`L_n^{col(2)}`$ and $`L_n^{even}`$ coincide.

## 4. Expectations over unitary groups

Everywhere below the symbol $`𝔼_{UU(k)}f(U)`$ stands for the integral of $`f`$ over $`UU(k)`$ with respect to the Haar measure on the unitary group $`U(k)`$ normalized so that $`𝔼_{UU(k)}1=1`$ (i.e., $`𝔼`$ denotes the expectation of $`f`$ with respect to the uniform distribution on the unitary group).

###### Proposition 4.1 \[R\]

$$\text{Prob}\{L_n^{col(m)}k\}=(m^nn!)^1𝔼_{UU(k)}\left(|Tr(U^m)^n|^2\right).$$
$`4.1`$   
###### Proposition 4.2 \[R\]

$$\text{Prob}\{L_n^{even}k\}=(2^nn!)^1𝔼_{UU(k)}\left(|Tr(U^2)^n|^2\right).$$
$`4.2`$   
$$\text{Prob}\{L_n^{odd}k\}=(2^nn!)^1𝔼_{UU(k)}\left(|Tr(U^2)^nTr(U)|^2\right).$$
$`4.3`$   
\[DS\] gives (4.1) for $`kmn`$, (4.2) for $`k2n`$, and (4.3) for $`k2n+1`$. For such values of $`k`$ the left–hand sides of (4.1), (4,2), (4.3) are all equal to 1.

## 5. Rim hook lattices

Our main reference for this section is the work \[FS\] by Fomin and Stanton.

For this section we fix an integer number $`m`$, all our rim hooks here will contain exactly $`m`$ boxes.

Let $`\mu `$ and $`\lambda `$ be shapes (Young diagrams) such that $`\mu \lambda `$ and $`\lambda \mu `$ is a ($`m`$–)rim hook. Then we shall write $`\mu \lambda `$.

We introduce a partial order on the set of Young diagrams as follows: $`\lambda \mu `$ if and only if there exists a sequence $`\nu _1,\nu _2,\mathrm{},\nu _k`$ of Young diagrams such that $`\mu \nu _1\nu _2\mathrm{}\nu _k\lambda `$. The empty Young diagram is denoted by $`\mathrm{}`$. We shall say that a Young diagram $`\lambda `$ is $`m`$–decomposable if $`\lambda \mathrm{}`$.

The poset of all $`m`$–decomposable shapes with $``$ as the order is called rim hook lattice and is denoted by $`RH_m`$. (It can be shown that this poset is indeed a lattice).

For $`m=1`$ we get the Young lattice: the poset of all Young diagrams ordered by inclusion. The Young lattice will be denoted by $`𝕐`$.

###### Proposition 5.1 \[FS\]

The rim hook lattice $`RH_m`$ is isomorphic to the Cartesian product of $`m`$ copies of the Young lattice: $`RH_m𝕐^m`$.

In other words, $`RH_m`$ is isomorphic to the poset of $`m`$–tuples of Young diagrams with the following coordinate–wise ordering: one tuple is greater than or equal to another tuple if the $`k`$th coordinate of the first tuple includes (i.e., greater than or equal to) the $`k`$th coordinate of the second tuple for all $`k=1,\mathrm{},m`$.

Clearly, the number of $`m`$–rim hook tableaux of a given shape $`\lambda `$ is equal to the number of paths $`\mathrm{}\nu _1\nu _2\mathrm{}\nu _k\lambda `$, $`k=|\lambda |/m1`$, from $`\mathrm{}`$ to $`\lambda `$ (and is equal to 0 if $`\lambda `$ is not $`m`$–decomposable), $`|\lambda |`$ stands for the number of boxes in $`\lambda `$. We shall denote this number by $`dim_m\lambda `$ and call it the $`m`$–dimension of the shape $`\lambda `$.

Take any $`\lambda RH_m`$ and the corresponding $`m`$–tuple $`(\lambda _1,\mathrm{},\lambda _m)𝕐^m`$. Note that $`|\lambda |=m(|\lambda _1|+\mathrm{}+|\lambda _m|)`$. We have

$$dim_m\lambda =\frac{(|\lambda _1|+\mathrm{}+|\lambda _m|)!}{|\lambda _1|!\mathrm{}|\lambda _m|!}dim_1\lambda _1\mathrm{}dim_1\lambda _m.$$
$`5.1`$   
Indeed, to specify the path from $`\mathrm{}`$ to $`(\lambda _1,\mathrm{},\lambda _m)`$ we need to specify $`m`$ paths from $`\mathrm{}`$ to $`\lambda _k`$ in the $`k`$th copy of $`𝕐`$ for $`k=1,\mathrm{},m`$ together with the order in which we make steps along those paths. The number of different orders is the combinatorial coefficient in the right–hand side of (5.1) while the number of different possibilities for the $`m`$ paths in $`𝕐`$ is the product of 1–dimensions $`dim_1\lambda _1\mathrm{}dim_1\lambda _m`$.

Note that the number of pairs of $`m`$–rim hook tableaux of the same shape $`\lambda `$ is exactly

$$dim_m^2\lambda =\left(\frac{(|\lambda _1|+\mathrm{}+|\lambda _m|)!}{|\lambda _1|!\mathrm{}|\lambda _m|!}\right)^2dim_1^2\lambda _1\mathrm{}dim_1^2\lambda _m.$$
$`5.2`$   
Let us denote by $`w(\lambda )`$ the width of a Young diagram $`\lambda `$. We shall need the following

###### Observation 5.2

For any $`\lambda RH_m`$ and corresponding $`m`$–tuple $`(\lambda _1,\mathrm{},\lambda _m)𝕐^m`$ we have

$$m\mathrm{max}\{w(\lambda _1),\mathrm{},w(\lambda _m)\}w(\lambda )\{0,1,\mathrm{},m1\}.$$
$`5.3`$   
This follows immediately from the explicit construction of the isomorphism from Proposition 5.1, see \[FS, §2\].

Observation 5.2 will be crucial for our further considerations.

## 6. Plancherel distributions

Using the correspondence from Proposition 3.2 (which is exactly the rim hook generalization of the Schensted algorithm, see \[SW\]), we can associate to each $`m`$–colored permutation of order $`n`$ a Young diagram with $`mn`$ boxes — the common shape of the corresponding pair of $`m`$–rim hook tableaux. The image of the uniform distribution on $`S_n^{(m)}`$ under this map gives a probability distribution on $`m`$–decomposable Young diagrams with $`mn`$ boxes; the weight of a Young diagram $`\lambda `$ is, clearly, equal to $`(m^nn!)^1dim_m^2\lambda `$. As a consequence, we get (cf. \[FS, Corollary 1.6\])

$$\underset{|\lambda |=mn}{}dim_m^2\lambda =m^nn!.$$
$`6.1`$   
Using the isomorphism of Proposition 5.1 we transfer our probability distribution to the set of $`m`$–tuples of Young disgrams with total number of boxes equal to $`n`$. Then by (5.2) we see that the probability of an $`m`$–tuple $`(\lambda _1,\mathrm{},\lambda _m)𝕐^m`$ with $`|\lambda _1|+\mathrm{}+|\lambda _m|=n`$ equals

$$\text{Prob}\{(\lambda _1,\mathrm{},\lambda _m)\}=\frac{1}{m^nn!}\left(\frac{n!}{|\lambda _1|!\mathrm{}|\lambda _m|!}\right)^2dim_1^2\lambda _1\mathrm{}dim_1^2\lambda _m.$$
$`6.2`$   
This distribution will be called the Plancherel distribution.

###### Proposition 6.1

For any $`n=1,2,\mathrm{}`$

$$\begin{array}{c}\text{Prob}\{|\lambda _1|=n_1,\mathrm{}|\lambda _m|=n_m;n_1+\mathrm{}+n_m=n\}\\ =\frac{1}{m^n}\frac{n!}{n_1!\mathrm{}n_m!}.\end{array}$$
$`6.3`$   
###### Demonstration Proof

Direct computation. Using (6.1) for $`m=1`$ and (6.2) we get

$$\begin{array}{c}\text{Prob}\{|\lambda _1|=n_1,\mathrm{}|\lambda _m|=n_m;n_1+\mathrm{}+n_m=n\}\\ =\frac{1}{m^nn!}\underset{\frac{}{|\lambda _k|=n}_k}{}\\ k=1,\mathrm{},m\left(\frac{n!}{|\lambda _1|!\mathrm{}|\lambda _m|!}\right)^2dim_1^2\lambda _1\mathrm{}dim_1^2\lambda _m\\ =\frac{1}{m^nn!}\left(\frac{n!}{n_1!\mathrm{}n_m!}\right)^2n_1!\mathrm{}n_m!=\frac{1}{m^n}\frac{n!}{n_1!\mathrm{}n_m!}.\mathit{}\end{array}$$

## 7. Two lemmas from Probability Theory

We shall denote by $`\stackrel{𝑝}{}`$ convergence of random variables in probability, and by $`\stackrel{𝒟}{}`$ convergence in distribution.

###### Lemma 7.1 \[B, Theorem 4.1\]

Let random variables $`\xi `$, $`\{\xi _n\}_{i=1}^{\mathrm{}}`$, $`\{\eta _n\}_{i=1}^{\mathrm{}}`$ satisfy

$$\xi _n\eta _n\stackrel{𝑝}{}0,\xi _n\stackrel{𝒟}{}\xi .$$

Then

$$\eta _n\stackrel{𝒟}{}\xi .$$

For $`m`$ real random variables $`\xi _1,\mathrm{},\xi _m`$ we shall denote by $`\xi _1\times \xi _2\times \mathrm{}\times \xi _m`$ a $`^m`$–valued random variable with distribution function

$$F_{\xi _1\times \mathrm{}\times \xi _m}(x)=F_{\xi _1}(x_1)\mathrm{}F_{\xi _m}(x_m).$$

###### Lemma 7.2

Let $`\{\xi _n^{(k)}\}_{n=1}^{\mathrm{}}`$, $`k=1,\mathrm{},m`$, be $`m>1`$ sequences of real random variables convergent in distribution to random variables $`\xi ^{(1)},\mathrm{},\xi ^{(m)}`$, respectively. Denote by $`B_n^{(m)}`$ the $`n`$th order $`m`$–dimensional fair Bernoulli distribution:

$$\text{Prob}\{B_n^{(m)}=(k_1,\mathrm{},k_m)\}=\{\begin{array}{cc}\frac{1}{m^n}\frac{n!}{k_1!\mathrm{}k_m!},\hfill & k_1+\mathrm{}+k_m=n,k_i\{0,\mathrm{},n\}\hfill \\ 0,\hfill & \text{otherwise}\hfill \end{array}$$

Then the sequence

$$\zeta _n=\xi _{B_{n,1}^{(m)}}^{(1)}\times \xi _{B_{n,2}^{(m)}}^{(2)}\times \mathrm{}\times \xi _{B_{n,m}^{(m)}}^{(m)}$$

converges in distribution to $`\xi ^{(1)}\times \xi ^{(2)}\times \mathrm{}\times \xi ^{(m)}`$. In particular, $`\xi _{B_{n,1}^{(m)}}^{(1)}\stackrel{𝒟}{}\xi ^{(1)}`$.

###### Demonstration Proof

The conditions $`\xi _n^{(k)}\stackrel{𝒟}{}\xi ^{(k)}`$, $`k=1,\mathrm{},m`$, are equivalent to the pointwise convergence of distribution functions

$$F_{\xi _n^{(k)}}(x)F_{\xi ^{(k)}}(x).$$

We have

$$F_{\zeta _n}(x)=\underset{\frac{}{k_1+\mathrm{}+k_m=nk_i=1,\mathrm{},n}}{}\frac{1}{m^n}\frac{n!}{k_1!\mathrm{}k_m!}F_{\xi _{k_1}^{(1)}}(x_1)\mathrm{}F_{\xi _{k_m}^{(m)}}(x_m).$$

For $`m`$ convergent number sequences $`\{a_n^{(k)}\}`$ with limits $`a^{(k)}`$, $`k=1,\mathrm{},m`$, the sequence

$$c_n=\underset{\frac{}{k_1+\mathrm{}+k_m=nk_i=1,\mathrm{},n}}{}\frac{1}{m^n}\frac{n!}{k_1!\mathrm{}k_m!}a_{k_1}^{(1)}\mathrm{}a_{k_m}^{(m)}$$

converges to the product $`a^{(1)}\mathrm{}a^{(m)}`$, so we conclude, that $`\{F_{\zeta _n}(x)\}`$ converges to $`F_\xi ^{(1)}(x_1)\mathrm{}F_\xi ^{(m)}(x_m)`$ pointwise. ∎

Lemma 7.2 implies that random variables $`\xi _{B_{n,1}^{(m)}}^{(1)},\xi _{B_{n,2}^{(m)}}^{(2)},\mathrm{},\xi _{B_{n,m}^{(m)}}^{(m)}`$ are asymptotically independent as $`n\mathrm{}`$.

## 8. Asymptotics

Baik, Deift, and Johansson recently proved, see \[BDJ\], that the sequence

$$\frac{L_n^{col(1)}2\sqrt{n}}{n^{1/6}}$$

converges in distribution to a certain random variable, whose distribution function will be denoted by $`F(x)`$. This function can be expressed through a particular solution of the Painlevé II equation, see \[BDJ\] for details.

In this section we shall study the asymptotic behavior of $`L_n^{col(m)}`$ for $`m2`$ when $`n\mathrm{}`$. Our main result is the following statement.

###### Theorem 8.1

For any $`m=2,3,\mathrm{}`$ the sequence

$$\frac{L_n^{col(m)}2\sqrt{mn}}{(mn)^{1/6}}$$

converges in distribution, as $`n\mathrm{}`$, to a random variable with distribution function $`F^m(m^{\frac{2}{3}}x)`$.

This result for $`m=2`$ was proved by Tracy and Widom in \[TW2\]. Since the distributions of $`L_n^{col(2)}`$ and $`L_n^{even}`$ coincide (see Section 3), we immediately get two other asymptotic formulas.

###### Corollary 8.2 \[TW2\]

The sequence

$$\frac{L_n^{even}2\sqrt{2n}}{(2n)^{1/6}}$$

converges in distribution, as $`n\mathrm{}`$, to a random variable with distribution function $`F^2(2^{\frac{2}{3}}x)`$.

###### Corollary 8.3 \[TW2\]

The sequence

$$\frac{L_n^{odd}2\sqrt{2n}}{(2n)^{1/6}}$$

converges in distribution, as $`n\mathrm{}`$, to a random variable with distribution function $`F^2(2^{\frac{2}{3}}x)`$.

###### Demonstration Proof of Corollary 8.3

Relation (2.1) implies that with probability 1,

$$(L_n^{odd}L_n^{even})(2n)^{1/6}0.$$

Since the convergence with probability 1 implies the convergence in probability, the claim follows from Lemma 7.1 and Corollary 8.2.∎

###### Demonstration Proof of Theorem 8.1

The proof will consist of 4 steps.

Step 1. Following Sections 3, 5, 6, we shall interpret $`L_n^{col(m)}`$ as a random variable on the space of all $`m`$–tuples $`(\lambda _1,\mathrm{},\lambda _m)`$ of Young diagram with total number of boxes equal to $`n`$ supplied with the Plancherel distribution. Let us denote by $`l_1^{(n)},\mathrm{},l_m^{(n)}`$ the widths of the Young diagrams $`\lambda _1,\mathrm{},\lambda _m`$:

$$l_k^{(n)}=w(\lambda _k),k=1,\mathrm{},m.$$

Observation 5.2 implies that with probability 1

$$\frac{L_n^{col(m)}m\mathrm{max}\{l_1^{(n)},\mathrm{},l_m^{(n)}\}}{n^{1/6}}0.$$

Hence, by Lemma 7.1, it is enough to prove that

$$\text{Prob}\left\{\frac{m\mathrm{max}\{l_1^{(n)},\mathrm{},l_m^{(n)}\}2\sqrt{mn}}{(mn)^{1/6}}x\right\}F^m(m^{\frac{2}{3}}x)$$

Our strategy is to prove that $`l_1^{(n)},\mathrm{},l_m^{(n)}`$ are asymptotically independent, and that each of them asymptotically behaves as $`L_{[n/m]}^{col(1)}`$. Then Theorem 8.1 will follow from the result of \[BDJ\] stated in the beginning of this section.

Step 2.

$$\begin{array}{c}\text{Prob}\left\{\frac{m\mathrm{max}\{l_1^{(n)},\mathrm{},l_m^{(n)}\}2\sqrt{mn}}{(mn)^{1/6}}x\right\}\\ =\text{Prob}\left\{\frac{ml_1^{(n)}2\sqrt{mn}}{(mn)^{1/6}}x;\mathrm{};\frac{ml_m^{(n)}2\sqrt{mn}}{(mn)^{1/6}}x\right\}\\ =\text{Prob}\left\{\frac{l_1^{(n)}2\sqrt{n/m}}{(n/m)^{1/6}}m^{\frac{2}{3}}x;\mathrm{};\frac{l_m^{(n)}2\sqrt{n/m}}{(n/m)^{1/6}}m^{\frac{2}{3}}x\right\}.\end{array}$$

Thus, it suffices to prove that

$$\text{Prob}\left\{\frac{l_1^{(n)}2\sqrt{n/m}}{(n/m)^{1/6}}x_1;\mathrm{};\frac{l_m^{(n)}2\sqrt{n/m}}{(n/m)^{1/6}}x_m\right\}F(x_1)\mathrm{}F(x_m).$$
$`8.1`$   
Step 3. Denote by $`n_i^{(n)}`$ the number of boxes in $`\lambda _i`$, $`i=1,\mathrm{},m`$. Then $`n_1^{(n)}+\mathrm{}+n_m^{(n)}=n`$. We claim that for all $`i=1,\mathrm{},m`$

$$\frac{l_i^{(n)}2\sqrt{n/m}}{(n/m)^{1/6}}\frac{l_i^{(n)}2\sqrt{n_i^{(n)}}}{(n_i^{(n)})^{1/6}}\stackrel{𝑝}{}0.$$
$`8.2`$   
Proposition 6.1 implies that

$$\text{Prob}\{n_i^{(n)}=k\}=\frac{(m1)^{nk}}{m^n}\left(\genfrac{}{}{0pt}{}{n}{k}\right).$$

This means that $`n_i^{(n)}`$ can be interpreted as the sum $`\xi _1+\mathrm{}+\xi _n`$ of $`n`$ independent identically distributed Bernoulli variables with

$$\text{Prob}\{\xi _j=0\}=\frac{m1}{m},\text{Prob}\{\xi _j=1\}=\frac{1}{m}.$$

The central limit theorem implies that with probability converging to 1,

$$\frac{n}{m}\left(\frac{n}{m}\right)^{\frac{1}{2}+\epsilon }<n_i^{(n)}<\frac{n}{m}+\left(\frac{n}{m}\right)^{\frac{1}{2}+\epsilon }$$

for any $`\epsilon >0`$. Hence,

$$\begin{array}{c}\left|\left(\frac{n}{m}\right)^{\frac{1}{3}}(n_i^{(n)})^{\frac{1}{3}}\right|<\left|\left(\frac{n}{m}\right)^{\frac{1}{3}}\left(\frac{n}{m}\pm \left(\frac{n}{m}\right)^{\frac{1}{2}+\epsilon }\right)^{\frac{1}{3}}\right|\\ =\left(\frac{n}{m}\right)^{\frac{1}{3}}\left|1\left(1\pm \left(\frac{n}{m}\right)^{\frac{1}{2}+\epsilon }\right)^{\frac{1}{3}}\right|<const\left(\frac{n}{m}\right)^{\frac{1}{6}+\epsilon }\end{array}$$
$`8.3`$   
for sufficiently large $`n`$.

Similarly, we have

$$\begin{array}{c}\left|\left(\frac{n}{m}\right)^{\frac{1}{6}}(n_i^{(n)})^{\frac{1}{6}}\right|<\left|\left(\frac{n}{m}\right)^{\frac{1}{6}}\left(\left(\frac{n}{m}\right)\pm \left(\frac{n}{m}\right)^{\frac{1}{2}+\epsilon }\right)^{\frac{1}{6}}\right|\\ =\left(\frac{n}{m}\right)^{\frac{1}{6}}\left|1\left(1\pm \left(\frac{n}{m}\right)^{\frac{1}{2}+\epsilon }\right)^{\frac{1}{6}}\right|<const\left(\frac{n}{m}\right)^{\frac{1}{2}\frac{1}{6}+\epsilon }<const\left(\frac{n}{m}\right)^{\frac{1}{2}\epsilon }\end{array}$$
$`8.4`$   
if we choose $`\epsilon <1/12`$.

The result of \[BDJ\] implies that $`L_n^{col(1)}n^{\frac{1}{2}\delta }\stackrel{𝒟}{}0`$ for any $`\delta >0`$.

From Proposition 6.2 it follows that in the notation of Lemma 7.2

$$\left\{l_i^{(n)}\right\}_{n=1}^{\mathrm{}}=\left\{L_{(B_{n,1}^{(m)})}^{col(1)}\right\}_{n=1}^{\mathrm{}}.$$

Applying Lemma 7.2 we see that

$$\frac{l_i^{(n)}}{\left(n_i^{(n)}\right)^{\frac{1}{2}+\delta }}\stackrel{𝒟}{}0,$$

which means that $`l_i^{(n)}<\left(n_i^{(n)}\right)^{\frac{1}{2}+\delta }`$ with probability converging to 1.

Since $`n_i^{(n)}<n/m+\left(n/m\right)^{\frac{1+\epsilon }{2}}`$ with probability converging to 1, we get that

$$\begin{array}{c}l_i^{(n)}<\left(\frac{n}{m}+\left(\frac{n}{m}\right)^{\frac{1+\epsilon }{2}}\right)^{\frac{1}{2}+\delta }=\left(\frac{n}{m}\right)^{\frac{1}{2}+\delta }\left(1+\left(\frac{n}{m}\right)^{\frac{1+\epsilon }{2}}\right)^{\frac{1}{2}+\delta }\\ <\left(\frac{n}{m}\right)^{\frac{1}{2}+\delta }+const\left(\frac{n}{m}\right)^{\delta +\frac{\epsilon }{2}}<const\left(\frac{n}{m}\right)^{\frac{1}{2}+\delta }\end{array}$$
$`8.5`$   
with probability converging to 1.

Making use of the relations (8.3), (8.4), (8.5), we now see that

$$\begin{array}{c}\left|\frac{l_i^{(n)}2\sqrt{n/m}}{(n/m)^{1/6}}\frac{l_i^{(n)}2\sqrt{n_i^{(n)}}}{(n_i^{(n)})^{1/6}}\right|l_i^{(n)}\left|\left(\frac{n}{m}\right)^{\frac{1}{6}}(n_i^{(n)})^{\frac{1}{6}}\right|\\ +2\left|\left(\frac{n}{m}\right)^{\frac{1}{3}}(n_i^{(n)})^{\frac{1}{3}}\right|<const\left(\frac{n}{m}\right)^{\frac{1}{2}+\delta }\left(\frac{n}{m}\right)^{\frac{1}{2}\epsilon }+const\left(\frac{n}{m}\right)^{\frac{1}{6}+\epsilon }\end{array}$$

with probability converging to 1. Since the last expression converges to zero as $`n\mathrm{}`$ if $`\delta <\epsilon <1/6`$, the proof of (8.2) is complete.

The relation (8.2) implies that we have asymptotic equivalence of two $`m`$–dimensional vectors

$$\begin{array}{c}(\frac{l_1^{(n)}2\sqrt{n/m}}{(n/m)^{1/6}};\mathrm{};\frac{l_m^{(n)}2\sqrt{n/m}}{(n/m)^{1/6}})\\ (\frac{l_1^{(n)}2\sqrt{n_1^{(n)}}}{(n_1^{(n)})^{1/6}};\mathrm{};\frac{l_m^{(n)}2\sqrt{n_m^{(n)}}}{(n_m^{(n)})^{1/6}})\stackrel{𝑝}{}0.\end{array}$$
$`8.6`$   
Step 4. The random $`m`$–dimensional vector

$$\zeta _n=(\frac{l_1^{(n)}2\sqrt{n_1^{(n)}}}{(n_1^{(n)})^{1/6}};\mathrm{};\frac{l_m^{(n)}2\sqrt{n_m^{(n)}}}{(n_m^{(n)})^{1/6}})$$
$`8.7`$   
is obtained from $`m`$ identical 1–dimensional random variables

$$\xi _n^{(i)}=\frac{L_n^{col(1)}2\sqrt{n}}{n^{1/6}},i=1,\mathrm{},m$$

by the procedure described in Lemma 7.2:

$$\zeta _n=\xi _{B_{n,1}^{(m)}}^{(1)}\times \xi _{B_{n,2}^{(m)}}^{(2)}\times \mathrm{}\times \xi _{B_{n,m}^{(m)}}^{(m)}$$

(this follows from Proposition 6.1). Since sequences $`\{\xi _n^{(i)}\}`$ converge in distribution, as $`n\mathrm{}`$, to a random variable with distribution function $`F(x)`$ (this is the result of \[BDJ\]), the sequence (8.7) also converges in distribution to a random variable with the distribution function $`F(x_1)\mathrm{}F(x_m)`$. Then Lemma 7.1 and (8.6) conclude the proof of (8.1).∎