Asymptotics for Compositions 357
and
(k − 1)(k +1)(k
2
(6n − 7) + 2(3n − 1))
90k
2
,
respectively.
(4) Prove (3) directly without using (1) and (2).
8.8 Research directions and open problems
We now suggest several research directions, which are motivated both by
the results and exercises of this and earlier chapter(s).
Research Direction 8.1 As shown in the previous chapter, finding either
the number of k-ary words of length n avoiding a fixed pattern or the number
of compositions of n avoiding a fixed pattern is a hard problem. A potentially
easier problem is to find the asymptotics for either the number of k-ary words
of length n avoiding a fixed pattern or the number of compositions of n that
avoid a fixed pattern. This question has been answered for words avoiding
a subsequence pattern of length three by Br¨and´en and Masour [27], and for
compositions avoiding a subsequence pattern of length three by Savage and
Wilf [176].
Find either the asymptotics for the number of words (compositions) avoiding
a fixed subsequence pattern of length four or five, or find an upper bound for
therateofgrowthforthenumberofthesewords(compositions). Obviously, we
are interested in the smallest upper bound. (The trivial bound for compositions
is 2
n
, and for words on the alphabet [k] the trivial bound is k
n
).
Research Direction 8.2 Baik, Deift, and Johansson [12] solved a problem
about the asymptotic behavior of the length X
lis
(n) of the longest increasing
subsequence for random permutations of order n as n →∞(with the uniform
distribution on the set of permutations S
n
). They proved that the sequence
X
lis
(n) − 2
√
n
n
1/6
converges in distribution, as n →∞, to a certain random variable whose
distribution function can be expressed via a solution of the Painlev´eIIequation
(see [12] for details).
More recently, the case of the longest (strongly and weakly) increasing subse-
quence in k-ary words has been studied by Tracy and Widom [187]. For exam-
ple, the word w = 1123254 has longest strongly (=strictly) increasing subse-
quence of length 4,namelyw
1
w
3
w
4
w
6
= w
2
w
3
w
4
w
6
= 1235, while the longest
(weakly) increasing subsequence is of length 5, namely either w
1
w
2
w
3
w
4
w
6
=
© 2010 by Taylor and Francis Group, LLC