A class of LYM orders in divisor lattices (Q947050)

In 1980, \textit{K.-W. Lih} [``Sperner families over a subset,'' J. Comb. Theory, Ser. A 29, 182--185 (1980; Zbl 0446.05002)] obtained the following extension of Sperner's theorem: If \(X\) be a set of cardinality \(n\) and \(Y\) is a subset of \(X\) with cardinality \(k\), then the partially ordered set \(C(n,k)=\{A\subseteq X:\;A\cap Y\not=\emptyset\}\) (ordered by set inclusion) has the Sperner property. Later \textit{J. R. Griggs} [``Collections of subsets with the Sperner property,'' Trans. Am. Math. Soc. 269, 575--591 (1982; Zbl 0485.05002)], and \textit{D. B. West}, \textit{L. H. Harper} and \textit{D. E. Daykin} [``Some remarks on normalized matching,'' J. Comb. Theory, Ser. A 35, 301--308 (1983; Zbl 0531.05001)] generalized Lih's result in two different ways. In the paper under review, the authors prove the following theorem which implies both Griggs' and West-Harper-Daykin's extensions of Lih's result: Suppose that \(X=[1,n]=\{1,\dots,n\}\) is partitioned into \(X_1,\dots,X_r\). Let \(I_i\subseteq[0,|X_i|]\) be an arithmetic progression and let \(J_i=[a_i,b_i]\) with \(a_i\leq b_i\). Then the partially ordered set \[ P=\bigg\{A\subseteq X:\;|A\cap X_j|\in I_j\;\&\;\sum_{i=1}^j|A\cap X_i|\in J_j\;\text{for}\;j=1,\dots,r\bigg\} \] ordered by inclusion has the LYM property and the LC (log-concave) property.