Let
2[n] denote the
Boolean lattice o
f order
n, that is, the poset o
f subsets o
f {1,…,n} ordered by inclusion. Extending our previous work on a question o
f Füredi, we show that
for any
c>1, there exist
functions
e(n)
√n/2 and
f(n)
c√nlogn and an integer
N (depending only on
c) such that
for all
n>N, there is a chain decomposition o
f the Boolean lattice
2[n] into
n |
n/2![](/images/glyphs/BE1.GIF) |
chains, all o
f which have size between
e(n) and
f(n). (A positive answer to Füredis question would imply that the same result holds
for some
e(n)
√π/2√n and
f(n)=e(n)+1.) The main tool used is an apparently new observation about
rank-collection in normalized matching (LYM) posets.