next up previous
Next: References Up: Boolean layer cakes Previous: Computation

Outlook

 

Our tour d'horizon of Boolean layer cakes has probably raised more open questions than it has provided answers. These questions have mostly been specified at their proper place in section 2 and are accessible through the literature cited there. In fact, only the jump number problem (see 2.5) has been solved completely for arbitrary layer cakes, whereas the other questions considered have been answered only for restricted classes of such orders. This is even more the case for the results reported on in section 3: It would be interesting to know what can be carried over to lattices of type P(0,k,k+1,n;n) for 0<k<k+1<n or even the general layer cake lattices given by 3.2.1.

Boolean layer cakes are defined by picking certain subsets - the level sets - from a Boolean algebra. One might feel tempted to see what happens if we replace the level sets by similarly defined subsets of a Boolean algebra. Possible candidates include (disjoint) cutsets which always contain a maximal antichain as proved by Duffus, Sands and Winkler in [16]. Also, the Boolean algebra in question might be cut up into antichains in a different way: Lonc [41] has proved that for any 0<m<n, the truncated Boolean lattice tex2html_wrap_inline4462 may be partitioned into antichains of size m except for at most m-1 elements which also form an antichain.

It is also quite natural to consider nonboolean settings: Level sets of distributive lattices have been considered by Gierz and Hergert in [25] and [26] in the case of distributive lattices of breadth 3. These sets have interesting geometric properties and arise also in the context of the so-called bandwidth problem. It would be interesting to see what the properties of layer cakes cut from distributive lattices are.

Finally, we mention another concept of ``layered'' ordered sets: Call an ordered set tex2html_wrap_inline4468 a k-layer order ( tex2html_wrap_inline4140 ) iff P can be partitioned into k antichains tex2html_wrap_inline4478 such that (1) every element of tex2html_wrap_inline4480 is below every element of tex2html_wrap_inline4482 for tex2html_wrap_inline4484 and tex2html_wrap_inline4486 , and (2) no element of tex2html_wrap_inline4480 is above an element of tex2html_wrap_inline4490 for tex2html_wrap_inline4492 . Kleitman and Rothschild prove in [35] that almost all n-element orders are 3-layer orders, and that almost all 3-layer orders on n elements have about n/2 elements in the middle layer and about n/4 elements in the outer two layers. Such orders habe been used recently by Brightwell, Prömel and Steger in [6] to estimate the average number of linear extensions of a partial order.

Our last topic is the real thing; accompanied by a nice cup of coffee it might help to digest the contents of this survey. The following construction for a layer cake is fairly standard; see, e.g., Crocker [8].

  Construction804

The most famous consequence of Construction 4.1.1 is given by

  Corollary817


next up previous
Next: References Up: Boolean layer cakes Previous: Computation

Jürg Schmid