## P(c, m). If the edges of a countable injinite complete graph G are exactly c-colored, then there exists a countable infinite complete subgraph H of G whose edges are exactly m-colored. The purpose of this note is to inquire as to which pairs c, m of positive integers make P(c, m) a true stateme
On Lih's Conjecture concerning Spernerity
β Scribed by D.G.C. Horrocks
- Publisher
- Elsevier Science
- Year
- 1999
- Tongue
- English
- Weight
- 237 KB
- Volume
- 20
- Category
- Article
- ISSN
- 0195-6698
No coin nor oath required. For personal study only.
β¦ Synopsis
Let F be a nonempty collection of subsets of [n] = {1, 2, . . . , n}, each having cardinality t. Denote by P F the poset consisting of all subsets of [n] which contain at least one member of F , ordered by set-theoretic inclusion. In 1980, K. W. Lih conjectured that P F has the Sperner property for all 1 β€ t β€ n and every choice of F . This conjecture is known to be true for t = 1 but false, in general, for t β₯ 4. In this paper, we prove Lih's conjecture in the case t = 2.
We make extensive use of fundamental theorems concerning the preservation of Sperner-type properties under direct products of posets.
π SIMILAR VOLUMES