On the existence of symmetric chain decompositions in a quotient of the Boolean lattice
type: Item
instance of: scholarly article
title: On the existence of symmetric chain decompositions in a quotient of the Boolean lattice
zbMATH Open document ID: 1195.06001
author: Zongliang Jiang
author: Carla D. Savage
published in: Discrete Mathematics
publication date: 2009-12-15T00:00:00Z
review text: The paper under review is not in the strict sense of the word a mathematical research paper. The style of it is merely expository and avoids the precise mathematical formalism. The paper is a short report about a mathematical result concerning finite Boolean lattices, which originally appeared in [\textit{J. Griggs, C. E. Killian} and \textit{C. D. Savage}, Electron. J. Comb. 11, No. 1, Research paper R2, 30 p. (2004; Zbl 1034.06001)] under the title ``Venn diagrams and symmetric chain decompositions in the Boolean lattice''. Here are some definitions and results: Let \(B_n\) be the collection of all subsets of \(\{1,2,\cdots,n\}\), ordered by inclusion. \(B_n\) is a Boolean lattice having \(2^n\) elements. Let be \(S\in B_n\). \(S\) can be viewed as an \(n\)-bit string \(x_1\cdots x_n\) whose \(i\)th bit \(x_i=1\) iff \(i\in S\) (otherwise \(x_i=0\)). The cardinality of \(S\) (notation: \(|S|\)) is the number of \(x_i=1\) in the corresponding string. Moreover, a \textit{chain} in \(B_n\) is a sequence \(S_1\subseteq \cdots \subseteq S_k\). Only chains satisfying \(|S_i|= |S_{i-1}|+1\) for all \(i\geq 2\) will be of interest. The chain is \textit{symmetric} if \(k+1=n.\) A key concept is a \textit{symmetric chain decomposition} (SCD) of \(B_n\), which means a partition of \(B_n\) such that all symmetric chains are classes of the partition. The first question is: Has every \(B_n\) an SCD? Yes, \(B_n\) has an SCD for every \(n\), and there exists an algorithm to get it. There is a modification of the above question. Let \(\Theta\) be an equivalence on \(B_n\) Choose a representative from every partition class \([S]\Theta\) and form a subposet \(R_n\) of \(B_n.\) Has \(R_n\) now an SCD? The authors report about the equivalence \(\Delta\) generated by the cyclic rotation \(\sigma\): Let \(x=x_1\cdots x_n\in B_n\). Then \(\sigma(x)=x_2 x_3\cdots x_n x_1\). Define \(x\Delta y\) iff \(y=\sigma^i(x)\) for some \(i\). Now the result is: Let \(n\) be a prime number. Then ther…
Mathematics Subject Classification ID: 06A07
Mathematics Subject Classification ID: 05D05
zbMATH DE Number: 5647973
zbMATH Keywords: symmetric chain
zbMATH Keywords: decomposition
zbMATH Keywords: necklace
zbMATH Keywords: quotient of Boolean lattice
reviewed by: Tibor Katriňák
MaRDI profile type: Publication
full work available at URL: j.disc.2007.11.036
OpenAlex ID: W2053659158
cites work: Strong versions of Sperner's theorem
cites work: Sufficient Conditions for a Symmetric Chain Order
cites work: Venn diagrams and symmetric chain decompositions in the Boolean lattice
cites work: Venn Diagrams and Independent Families of Sets
cites work: Q4238037
cites work: Spherical Venn diagrams with involutory isometries
cites work: More fun with symmetric Venn diagrams
cites work: Quotients of Peck posets
DOI: 10.1016/J.DISC.2007.11.036
Recommended article: Symmetric Chain Decomposition for Cyclic Quotients of Boolean Algebras and Relation to Cyclic Crystals
Recommended article: Decompositions of the Boolean lattice into rank-symmetric chains.
Recommended article: Symmetric Chain Decompositions of Linear Lattices
Recommended article: Q5111018
Recommended article: Explicit semisymmetric chain decomposition of the partition lattice
Recommended article: Venn diagrams and symmetric chain decompositions in the Boolean lattice
Recommended article: Distributivity and decomposability on the lattices satisfying the chain conditions
Recommended article: On orthogonal symmetric chain decompositions
Recommended article: Q4405934
Recommended article: Applications of the symmetric chain decomposition of the lattice of divisors
description: scientific article; zbMATH DE number 5647973