Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009....
Transcript of Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009....
![Page 1: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/1.jpg)
Maximal Chains and Antichainsin Finite Partially Ordered Sets
Dwight Duffus
Mathematics and Computer Science DepartmentEmory UniversityAtlanta GA USA
The 24th Clemson Conferenceon Discrete Mathematics and Algorithms
22 October 2009
![Page 2: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/2.jpg)
Outline
1 Classic Problems and Results on [Maximal] Chains and Antichains
2 Maximal Antichains in the Boolean Lattice 2n
Pairwise disjoint maximal antichains in 2n
Fibres in 2n
3 Maximal Chains and Antichains in Finite Partially Ordered Sets
Conditions on chain size yield pwd maximal antichains
Conditions on antichain size yield pwd maximal chains
![Page 3: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/3.jpg)
Outline
1 Classic Problems and Results on [Maximal] Chains and Antichains
2 Maximal Antichains in the Boolean Lattice 2n
Pairwise disjoint maximal antichains in 2n
Fibres in 2n
3 Maximal Chains and Antichains in Finite Partially Ordered Sets
Conditions on chain size yield pwd maximal antichains
Conditions on antichain size yield pwd maximal chains
![Page 4: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/4.jpg)
Outline
1 Classic Problems and Results on [Maximal] Chains and Antichains
2 Maximal Antichains in the Boolean Lattice 2n
Pairwise disjoint maximal antichains in 2n
Fibres in 2n
3 Maximal Chains and Antichains in Finite Partially Ordered Sets
Conditions on chain size yield pwd maximal antichains
Conditions on antichain size yield pwd maximal chains
![Page 5: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/5.jpg)
Outline
1 Classic Problems and Results on [Maximal] Chains and Antichains
2 Maximal Antichains in the Boolean Lattice 2n
Pairwise disjoint maximal antichains in 2n
Fibres in 2n
3 Maximal Chains and Antichains in Finite Partially Ordered Sets
Conditions on chain size yield pwd maximal antichains
Conditions on antichain size yield pwd maximal chains
![Page 6: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/6.jpg)
Outline
1 Classic Problems and Results on [Maximal] Chains and Antichains
2 Maximal Antichains in the Boolean Lattice 2n
Pairwise disjoint maximal antichains in 2n
Fibres in 2n
3 Maximal Chains and Antichains in Finite Partially Ordered Sets
Conditions on chain size yield pwd maximal antichains
Conditions on antichain size yield pwd maximal chains
![Page 7: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/7.jpg)
Outline
1 Classic Problems and Results on [Maximal] Chains and Antichains
2 Maximal Antichains in the Boolean Lattice 2n
Pairwise disjoint maximal antichains in 2n
Fibres in 2n
3 Maximal Chains and Antichains in Finite Partially Ordered Sets
Conditions on chain size yield pwd maximal antichains
Conditions on antichain size yield pwd maximal chains
![Page 8: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/8.jpg)
Outline
1 Classic Problems and Results on [Maximal] Chains and Antichains
2 Maximal Antichains in the Boolean Lattice 2n
Pairwise disjoint maximal antichains in 2n
Fibres in 2n
3 Maximal Chains and Antichains in Finite Partially Ordered Sets
Conditions on chain size yield pwd maximal antichains
Conditions on antichain size yield pwd maximal chains
![Page 9: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/9.jpg)
Classic problems and results
Dilworth’s Max-Min Theorem [1942]:
A partially ordered set of finite width has a partition into width-manychains.
Dedekind’s Problem [1897]:
Determine the cardinality of FD(n) the free distributive lattice on ngenerators; that is, enumerate the antichains in the Boolean lattice 2n ofall subsets of an n-set.
Sperner’s Theorem [1928]:
The maximum size of an antichain in 2n is( nbn/2c
).
![Page 10: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/10.jpg)
Classic problems and results
Dilworth’s Max-Min Theorem [1942]:
A partially ordered set of finite width has a partition into width-manychains.
Dedekind’s Problem [1897]:
Determine the cardinality of FD(n) the free distributive lattice on ngenerators; that is, enumerate the antichains in the Boolean lattice 2n ofall subsets of an n-set.
Sperner’s Theorem [1928]:
The maximum size of an antichain in 2n is( nbn/2c
).
![Page 11: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/11.jpg)
Classic problems and results
Dilworth’s Max-Min Theorem [1942]:
A partially ordered set of finite width has a partition into width-manychains.
Dedekind’s Problem [1897]:
Determine the cardinality of FD(n) the free distributive lattice on ngenerators;
that is, enumerate the antichains in the Boolean lattice 2n ofall subsets of an n-set.
Sperner’s Theorem [1928]:
The maximum size of an antichain in 2n is( nbn/2c
).
![Page 12: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/12.jpg)
Classic problems and results
Dilworth’s Max-Min Theorem [1942]:
A partially ordered set of finite width has a partition into width-manychains.
Dedekind’s Problem [1897]:
Determine the cardinality of FD(n) the free distributive lattice on ngenerators; that is, enumerate the antichains in the Boolean lattice 2n ofall subsets of an n-set.
Sperner’s Theorem [1928]:
The maximum size of an antichain in 2n is( nbn/2c
).
![Page 13: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/13.jpg)
Classic problems and results
Dilworth’s Max-Min Theorem [1942]:
A partially ordered set of finite width has a partition into width-manychains.
Dedekind’s Problem [1897]:
Determine the cardinality of FD(n) the free distributive lattice on ngenerators; that is, enumerate the antichains in the Boolean lattice 2n ofall subsets of an n-set.
Sperner’s Theorem [1928]:
The maximum size of an antichain in 2n is( nbn/2c
).
![Page 14: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/14.jpg)
Classic problems and results
Proof of Sperner’s Theorem
Call a chain X0 ≺ . . . ≺ Xh symmetric if |X0|+ |Xh| = n.
2n has a partition into symmetric chains [SCD]:
h−1
h
0
h−1
h
+ {
+{
+ {
n+1
n+1
n+1}
}
}
0X
X
X
X
X
X
![Page 15: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/15.jpg)
Classic problems and results
Proof of Sperner’s Theorem
Call a chain X0 ≺ . . . ≺ Xh symmetric if |X0|+ |Xh| = n.
2n has a partition into symmetric chains [SCD]:
h−1
h
0
h−1
h
+ {
+{
+ {
n+1
n+1
n+1}
}
}
0X
X
X
X
X
X
![Page 16: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/16.jpg)
Classic problems and results
Proof of Sperner’s Theorem
Call a chain X0 ≺ . . . ≺ Xh symmetric if |X0|+ |Xh| = n.
2n has a partition into symmetric chains [SCD]:
h−1
h
0
h−1
h
+ {
+{
+ {
n+1
n+1
n+1}
}
}
0X
X
X
X
X
X
![Page 17: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/17.jpg)
Classic problems and results
Proof of Sperner’s Theorem
Call a chain X0 ≺ . . . ≺ Xh symmetric if |X0|+ |Xh| = n.
2n has a partition into symmetric chains [SCD]:
h−1
h
0
h−1
h
+ {
+{
+ {
n+1
n+1
n+1}
}
}
0X
X
X
X
X
X
![Page 18: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/18.jpg)
Classic problems and results
2n
Each symmetric chain contains one set of size bn/2c so there are( nbn/2c
)
chains in a SCD C(n). Any antichain A intersects any chain in at most 1element. Thus:
|A| =∑
C∈C(n)
|A ∩ C| ≤(
n
bn/2c
).
![Page 19: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/19.jpg)
Classic problems and results
2n
Each symmetric chain contains one set of size bn/2c so there are( nbn/2c
)
chains in a SCD C(n). Any antichain A intersects any chain in at most 1element.
Thus:
|A| =∑
C∈C(n)
|A ∩ C| ≤(
n
bn/2c
).
![Page 20: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/20.jpg)
Classic problems and results
2n
Each symmetric chain contains one set of size bn/2c so there are( nbn/2c
)
chains in a SCD C(n). Any antichain A intersects any chain in at most 1element. Thus:
|A| =∑
C∈C(n)
|A ∩ C| ≤(
n
bn/2c
).
![Page 21: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/21.jpg)
Classic problems and results
Simple questions about maximal chains and antichains
How many are there?
I For chains, this is an irritating but elementary combinatorialenumeration problem.
I For maximal chains this is not so interesting: n!
I For antichains, this is Dedekind’s problem.
I For maximal antichains, this seems hard.
For particular classes of partially ordered sets,
I Are there interesting ways to generate maximal antichains?
I Are there large families of pairwise disjoint maximal antichains?
![Page 22: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/22.jpg)
Classic problems and results
Simple questions about maximal chains and antichains
How many are there?
I For chains, this is an irritating but elementary combinatorialenumeration problem.
I For maximal chains this is not so interesting: n!
I For antichains, this is Dedekind’s problem.
I For maximal antichains, this seems hard.
For particular classes of partially ordered sets,
I Are there interesting ways to generate maximal antichains?
I Are there large families of pairwise disjoint maximal antichains?
![Page 23: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/23.jpg)
Classic problems and results
Simple questions about maximal chains and antichains
How many are there?
I For chains, this is an irritating but elementary combinatorialenumeration problem.
I For maximal chains this is not so interesting: n!
I For antichains, this is Dedekind’s problem.
I For maximal antichains, this seems hard.
For particular classes of partially ordered sets,
I Are there interesting ways to generate maximal antichains?
I Are there large families of pairwise disjoint maximal antichains?
![Page 24: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/24.jpg)
Classic problems and results
Simple questions about maximal chains and antichains
How many are there?
I For chains, this is an irritating but elementary combinatorialenumeration problem.
I For maximal chains this is not so interesting: n!
I For antichains, this is Dedekind’s problem.
I For maximal antichains, this seems hard.
For particular classes of partially ordered sets,
I Are there interesting ways to generate maximal antichains?
I Are there large families of pairwise disjoint maximal antichains?
![Page 25: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/25.jpg)
Classic problems and results
Simple questions about maximal chains and antichains
How many are there?
I For chains, this is an irritating but elementary combinatorialenumeration problem.
I For maximal chains this is not so interesting: n!
I For antichains, this is Dedekind’s problem.
I For maximal antichains, this seems hard.
For particular classes of partially ordered sets,
I Are there interesting ways to generate maximal antichains?
I Are there large families of pairwise disjoint maximal antichains?
![Page 26: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/26.jpg)
Classic problems and results
Simple questions about maximal chains and antichains
How many are there?
I For chains, this is an irritating but elementary combinatorialenumeration problem.
I For maximal chains this is not so interesting: n!
I For antichains, this is Dedekind’s problem.
I For maximal antichains, this seems hard.
For particular classes of partially ordered sets,
I Are there interesting ways to generate maximal antichains?
I Are there large families of pairwise disjoint maximal antichains?
![Page 27: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/27.jpg)
Classic problems and results
Simple questions about maximal chains and antichains
How many are there?
I For chains, this is an irritating but elementary combinatorialenumeration problem.
I For maximal chains this is not so interesting: n!
I For antichains, this is Dedekind’s problem.
I For maximal antichains, this seems hard.
For particular classes of partially ordered sets,
I Are there interesting ways to generate maximal antichains?
I Are there large families of pairwise disjoint maximal antichains?
![Page 28: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/28.jpg)
Classic problems and results
Simple questions about maximal chains and antichains
How many are there?
I For chains, this is an irritating but elementary combinatorialenumeration problem.
I For maximal chains this is not so interesting: n!
I For antichains, this is Dedekind’s problem.
I For maximal antichains, this seems hard.
For particular classes of partially ordered sets,
I Are there interesting ways to generate maximal antichains?
I Are there large families of pairwise disjoint maximal antichains?
![Page 29: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/29.jpg)
Classic problems and results
Simple questions about maximal chains and antichains
How many are there?
I For chains, this is an irritating but elementary combinatorialenumeration problem.
I For maximal chains this is not so interesting: n!
I For antichains, this is Dedekind’s problem.
I For maximal antichains, this seems hard.
For particular classes of partially ordered sets,
I Are there interesting ways to generate maximal antichains?
I Are there large families of pairwise disjoint maximal antichains?
![Page 30: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/30.jpg)
Antichains in 2n Pairwise disjoint maximal antichains in 2n
A family of maximal antichains
Let S ⊆ [n] have 2k − 1 elements, k < n/2 and let AS be the set of allk-subsets of S and their complements:AS is a maximal antichain in 2n.
Consequence: There is a family of more than 1.067422n of pairwisedisjoint maximal antichains in 2n .
![Page 31: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/31.jpg)
Antichains in 2n Pairwise disjoint maximal antichains in 2n
A family of maximal antichainsLet S ⊆ [n] have 2k − 1 elements, k < n/2 and let AS be the set of allk-subsets of S and their complements:
AS is a maximal antichain in 2n.
Consequence: There is a family of more than 1.067422n of pairwisedisjoint maximal antichains in 2n .
![Page 32: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/32.jpg)
Antichains in 2n Pairwise disjoint maximal antichains in 2n
A family of maximal antichainsLet S ⊆ [n] have 2k − 1 elements, k < n/2 and let AS be the set of allk-subsets of S and their complements:AS is a maximal antichain in 2n.
����������������������������
����������������������������
����������������������������
����������������������������
S
S
T U
U T
2k−1
k
Consequence: There is a family of more than 1.067422n of pairwisedisjoint maximal antichains in 2n .
![Page 33: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/33.jpg)
Antichains in 2n Pairwise disjoint maximal antichains in 2n
A family of maximal antichainsLet S ⊆ [n] have 2k − 1 elements, k < n/2 and let AS be the set of allk-subsets of S and their complements:AS is a maximal antichain in 2n.
��������������� ���������������
������������������������������
������������������������������
S
S
T U
U T
2k−1
k
Maximality:
Consequence: There is a family of more than 1.067422n of pairwisedisjoint maximal antichains in 2n .
![Page 34: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/34.jpg)
Antichains in 2n Pairwise disjoint maximal antichains in 2n
A family of maximal antichainsLet S ⊆ [n] have 2k − 1 elements, k < n/2 and let AS be the set of allk-subsets of S and their complements:AS is a maximal antichain in 2n.
��
��
��
��
��
��
��
��
��
��
��
��
��
��
��
��
��
��
��
��
��
��
��
��
��
��
��
��
��
��
������������������������������
������������������������������
S
S
T U
U T
2k−1
k
Maximality:
Any set A which does not have k elementsin common with S must miss at least k
elements of S and so must be contained in
some T for a k− S subset of T
Consequence: There is a family of more than 1.067422n of pairwisedisjoint maximal antichains in 2n .
![Page 35: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/35.jpg)
Antichains in 2n Pairwise disjoint maximal antichains in 2n
A family of maximal antichainsLet S ⊆ [n] have 2k − 1 elements, k < n/2 and let AS be the set of allk-subsets of S and their complements:AS is a maximal antichain in 2n.
��
��
��
��
��
��
��
��
��
��
��
��
��
��
��
��
��
��
��
��
��
��
��
��
��
��
��
��
��
��
������������������������������
������������������������������
S
S
T U
U T
2k−1
k
Maximality:
Antichain:
Any set A which does not have k elementsin common with S must miss at least k
elements of S and so must be contained in
some T for a k− S subset of T
Consequence: There is a family of more than 1.067422n of pairwisedisjoint maximal antichains in 2n .
![Page 36: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/36.jpg)
Antichains in 2n Pairwise disjoint maximal antichains in 2n
A family of maximal antichainsLet S ⊆ [n] have 2k − 1 elements, k < n/2 and let AS be the set of allk-subsets of S and their complements:AS is a maximal antichain in 2n.
Maximality:
Antichain:
Any set A which does not have k elementsin common with S must miss at least k
elements of S and so must be contained in
some T for a k− S subset of T
Given sets U and shown, they must
intersect, so that cannot be a subset of
T
U T
�������������� ��������������
������������������������������
������������������������������
S
S
T U
U T
2k−1
k
Consequence: There is a family of more than 1.067422n of pairwisedisjoint maximal antichains in 2n .
![Page 37: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/37.jpg)
Antichains in 2n Pairwise disjoint maximal antichains in 2n
A family of maximal antichainsLet S ⊆ [n] have 2k − 1 elements, k < n/2 and let AS be the set of allk-subsets of S and their complements:AS is a maximal antichain in 2n.
Maximality:
Antichain:
Any set A which does not have k elementsin common with S must miss at least k
elements of S and so must be contained in
some T for a k− S subset of T
Given sets U and shown, they must
intersect, so that cannot be a subset of
T
U T
�������������� ��������������
������������������������������
������������������������������
S
S
T U
U T
2k−1
k
Consequence: There is a family of more than 1.067422n of pairwisedisjoint maximal antichains in 2n .
![Page 38: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/38.jpg)
Antichains in 2n Fibres in 2n
Sets that intersect all maximal antichains
Call F ⊆ 2n a fibre of 2n if for every maximal antichain M, F ∩M 6= ∅.Given A ∈ 2n, let
C(A) = {B ∈ 2n | A ⊆ B or B ⊆ A}
and note that for all A, C(A) is a fibre.
Let f (n) be the minimum size of a fibre in 2n
For any A of size n/2, C(A) shows that f (n) ≤ 2n/2.
(Duffus, Sands, Winkler (1990)) Every fibre in 2n contains at leastn!/2n−1 distinct maximal chains.
( Luczak (1996)) 2n/3 ≤ f (n)
Improve these bounds on f (n):
2n/3 ≤ f (n) ≤ 2n/2
![Page 39: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/39.jpg)
Antichains in 2n Fibres in 2n
Sets that intersect all maximal antichainsCall F ⊆ 2n a fibre of 2n if for every maximal antichain M, F ∩M 6= ∅.Given A ∈ 2n, let
C(A) = {B ∈ 2n | A ⊆ B or B ⊆ A}
and note that for all A, C(A) is a fibre.
Let f (n) be the minimum size of a fibre in 2n
For any A of size n/2, C(A) shows that f (n) ≤ 2n/2.
(Duffus, Sands, Winkler (1990)) Every fibre in 2n contains at leastn!/2n−1 distinct maximal chains.
( Luczak (1996)) 2n/3 ≤ f (n)
Improve these bounds on f (n):
2n/3 ≤ f (n) ≤ 2n/2
![Page 40: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/40.jpg)
Antichains in 2n Fibres in 2n
Sets that intersect all maximal antichainsCall F ⊆ 2n a fibre of 2n if for every maximal antichain M, F ∩M 6= ∅.Given A ∈ 2n, let
C(A) = {B ∈ 2n | A ⊆ B or B ⊆ A}
and note that for all A, C(A) is a fibre.
Let f (n) be the minimum size of a fibre in 2n
For any A of size n/2, C(A) shows that f (n) ≤ 2n/2.
(Duffus, Sands, Winkler (1990)) Every fibre in 2n contains at leastn!/2n−1 distinct maximal chains.
( Luczak (1996)) 2n/3 ≤ f (n)
Improve these bounds on f (n):
2n/3 ≤ f (n) ≤ 2n/2
![Page 41: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/41.jpg)
Antichains in 2n Fibres in 2n
Sets that intersect all maximal antichainsCall F ⊆ 2n a fibre of 2n if for every maximal antichain M, F ∩M 6= ∅.Given A ∈ 2n, let
C(A) = {B ∈ 2n | A ⊆ B or B ⊆ A}
and note that for all A, C(A) is a fibre.
Let f (n) be the minimum size of a fibre in 2n
For any A of size n/2, C(A) shows that f (n) ≤ 2n/2.
(Duffus, Sands, Winkler (1990)) Every fibre in 2n contains at leastn!/2n−1 distinct maximal chains.
( Luczak (1996)) 2n/3 ≤ f (n)
Improve these bounds on f (n):
2n/3 ≤ f (n) ≤ 2n/2
![Page 42: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/42.jpg)
Antichains in 2n Fibres in 2n
Sets that intersect all maximal antichainsCall F ⊆ 2n a fibre of 2n if for every maximal antichain M, F ∩M 6= ∅.Given A ∈ 2n, let
C(A) = {B ∈ 2n | A ⊆ B or B ⊆ A}
and note that for all A, C(A) is a fibre.
Let f (n) be the minimum size of a fibre in 2n
For any A of size n/2, C(A) shows that f (n) ≤ 2n/2.
(Duffus, Sands, Winkler (1990)) Every fibre in 2n contains at leastn!/2n−1 distinct maximal chains.
( Luczak (1996)) 2n/3 ≤ f (n)
Improve these bounds on f (n):
2n/3 ≤ f (n) ≤ 2n/2
![Page 43: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/43.jpg)
Antichains in 2n Fibres in 2n
Sets that intersect all maximal antichainsCall F ⊆ 2n a fibre of 2n if for every maximal antichain M, F ∩M 6= ∅.Given A ∈ 2n, let
C(A) = {B ∈ 2n | A ⊆ B or B ⊆ A}
and note that for all A, C(A) is a fibre.
Let f (n) be the minimum size of a fibre in 2n
For any A of size n/2, C(A) shows that f (n) ≤ 2n/2.
(Duffus, Sands, Winkler (1990)) Every fibre in 2n contains at leastn!/2n−1 distinct maximal chains.
( Luczak (1996)) 2n/3 ≤ f (n)
Improve these bounds on f (n):
2n/3 ≤ f (n) ≤ 2n/2
![Page 44: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/44.jpg)
Antichains in 2n Fibres in 2n
Sets that intersect all maximal antichainsCall F ⊆ 2n a fibre of 2n if for every maximal antichain M, F ∩M 6= ∅.Given A ∈ 2n, let
C(A) = {B ∈ 2n | A ⊆ B or B ⊆ A}
and note that for all A, C(A) is a fibre.
Let f (n) be the minimum size of a fibre in 2n
For any A of size n/2, C(A) shows that f (n) ≤ 2n/2.
(Duffus, Sands, Winkler (1990)) Every fibre in 2n contains at leastn!/2n−1 distinct maximal chains.
( Luczak (1996)) 2n/3 ≤ f (n)
Improve these bounds on f (n):
2n/3 ≤ f (n) ≤ 2n/2
![Page 45: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/45.jpg)
Antichains in 2n Fibres in 2n
Sets that intersect all maximal antichainsCall F ⊆ 2n a fibre of 2n if for every maximal antichain M, F ∩M 6= ∅.Given A ∈ 2n, let
C(A) = {B ∈ 2n | A ⊆ B or B ⊆ A}
and note that for all A, C(A) is a fibre.
Let f (n) be the minimum size of a fibre in 2n
For any A of size n/2, C(A) shows that f (n) ≤ 2n/2.
(Duffus, Sands, Winkler (1990)) Every fibre in 2n contains at leastn!/2n−1 distinct maximal chains.
( Luczak (1996)) 2n/3 ≤ f (n)
Improve these bounds on f (n):
2n/3 ≤ f (n) ≤ 2n/2
![Page 46: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/46.jpg)
Chains and antichains in general Conditions on chain size yield pwd maximal antichains
Chain length and pairwise disjoint maximal antichains
For any finite partially orderedset P, if all maximal chains inP have the same size, say n,then P has n pairwise disjointmaximal antichains, namely,its levels.
1
5P
P4
length(P) = l(P) = 5
P
P
P
0
2
3
P
If we want 2 disjoint maximal antichains, we need only avoid 1-elementchains - AKA isolated elements. But to ensure 3 pwd maximal antichains,we must restrict the sizes of maximal chains more carefully.
![Page 47: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/47.jpg)
Chains and antichains in general Conditions on chain size yield pwd maximal antichains
Chain length and pairwise disjoint maximal antichains
For any finite partially orderedset P, if all maximal chains inP have the same size, say n,then P has n pairwise disjointmaximal antichains, namely,its levels.
1
5P
P4
length(P) = l(P) = 5
P
P
P
0
2
3
P
If we want 2 disjoint maximal antichains, we need only avoid 1-elementchains - AKA isolated elements. But to ensure 3 pwd maximal antichains,we must restrict the sizes of maximal chains more carefully.
![Page 48: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/48.jpg)
Chains and antichains in general Conditions on chain size yield pwd maximal antichains
Chain length and pairwise disjoint maximal antichains
For any finite partially orderedset P, if all maximal chains inP have the same size, say n,then P has n pairwise disjointmaximal antichains, namely,its levels.
1
5P
P4
length(P) = l(P) = 5
P
P
P
0
2
3
P
If we want 2 disjoint maximal antichains, we need only avoid 1-elementchains - AKA isolated elements. But to ensure 3 pwd maximal antichains,we must restrict the sizes of maximal chains more carefully.
![Page 49: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/49.jpg)
Chains and antichains in general Conditions on chain size yield pwd maximal antichains
Chain length and pairwise disjoint maximal antichains
For any finite partially orderedset P, if all maximal chains inP have the same size, say n,then P has n pairwise disjointmaximal antichains, namely,its levels.
1
5P
P4
length(P) = l(P) = 5
P
P
P
0
2
3
P
If we want 2 disjoint maximal antichains, we need only avoid 1-elementchains - AKA isolated elements. But to ensure 3 pwd maximal antichains,we must restrict the sizes of maximal chains more carefully.
![Page 50: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/50.jpg)
Chains and antichains in general Conditions on chain size yield pwd maximal antichains
!! !
!
1
2
...
n! 1
n
1
2...
n! 1
n
!!!
!!!! !
P (n, 3)
1
P(n, 3) has maximal chains of sizes n and2n − 2, and no 3 pwd maximal antichains.
However, this is as bad as things can get.
For all n ≥ 3, if every maximal chain C ofa partially ordered set P satisfies
n ≤ |C | ≤ 2n − 3
then P has 3 pwd maximal antichains.
In fact, there is a condition that yields k pwd maximal antichains, thoughit took some time to find it.
![Page 51: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/51.jpg)
Chains and antichains in general Conditions on chain size yield pwd maximal antichains
!! !
!
1
2
...
n! 1
n
1
2...
n! 1
n
!!!
!!!! !
P (n, 3)
1
P(n, 3) has maximal chains of sizes n and2n − 2, and no 3 pwd maximal antichains.
However, this is as bad as things can get.
For all n ≥ 3, if every maximal chain C ofa partially ordered set P satisfies
n ≤ |C | ≤ 2n − 3
then P has 3 pwd maximal antichains.
In fact, there is a condition that yields k pwd maximal antichains, thoughit took some time to find it.
![Page 52: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/52.jpg)
Chains and antichains in general Conditions on chain size yield pwd maximal antichains
!! !
!
1
2
...
n! 1
n
1
2...
n! 1
n
!!!
!!!! !
P (n, 3)
1
P(n, 3) has maximal chains of sizes n and2n − 2, and no 3 pwd maximal antichains.
However, this is as bad as things can get.
For all n ≥ 3, if every maximal chain C ofa partially ordered set P satisfies
n ≤ |C | ≤ 2n − 3
then P has 3 pwd maximal antichains.
In fact, there is a condition that yields k pwd maximal antichains, thoughit took some time to find it.
![Page 53: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/53.jpg)
Chains and antichains in general Conditions on chain size yield pwd maximal antichains
!! !
!
1
2
...
n! 1
n
1
2...
n! 1
n
!!!
!!!! !
P (n, 3)
1
P(n, 3) has maximal chains of sizes n and2n − 2, and no 3 pwd maximal antichains.
However, this is as bad as things can get.
For all n ≥ 3, if every maximal chain C ofa partially ordered set P satisfies
n ≤ |C | ≤ 2n − 3
then P has 3 pwd maximal antichains.
In fact, there is a condition that yields k pwd maximal antichains, thoughit took some time to find it.
![Page 54: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/54.jpg)
Chains and antichains in general Conditions on chain size yield pwd maximal antichains
!! !
!
1
2
...
n! 1
n
1
2...
n! 1
n
!!!
!!!! !
P (n, 3)
1
P(n, 3) has maximal chains of sizes n and2n − 2, and no 3 pwd maximal antichains.
However, this is as bad as things can get.
For all n ≥ 3, if every maximal chain C ofa partially ordered set P satisfies
n ≤ |C | ≤ 2n − 3
then P has 3 pwd maximal antichains.
In fact, there is a condition that yields k pwd maximal antichains, thoughit took some time to find it.
![Page 55: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/55.jpg)
Chains and antichains in general Conditions on chain size yield pwd maximal antichains
Theorem [Duffus and Sands - 2009]
Let n and k be integers with 3 ≤ k ≤ n and let P be a finite partiallyordered set. If every maximal chain C of P satisfies
n ≤ |C | ≤ n +n − k
k − 2
then P contains k pairwise disjoint maximal antichains.
Alternative formulation:
Let the shortest maximal chains of P have m elements and the longesthave M elements. Then P contains at least
2 +
⌊m − 2
M −m + 1
⌋
pairwise disjoint maximal antichains.
![Page 56: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/56.jpg)
Chains and antichains in general Conditions on chain size yield pwd maximal antichains
Theorem [Duffus and Sands - 2009]
Let n and k be integers with 3 ≤ k ≤ n and let P be a finite partiallyordered set. If every maximal chain C of P satisfies
n ≤ |C | ≤ n +n − k
k − 2
then P contains k pairwise disjoint maximal antichains.
Alternative formulation:
Let the shortest maximal chains of P have m elements and the longesthave M elements. Then P contains at least
2 +
⌊m − 2
M −m + 1
⌋
pairwise disjoint maximal antichains.
![Page 57: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/57.jpg)
Chains and antichains in general Conditions on chain size yield pwd maximal antichains
The theorem is sharp: for 4 ≤ k ≤ n, P(n, k) has all maximal chains withsize between n and n + n−k
k−2 + 1, and no k pwd maximal antichains.
!!
!!
!!
!!
!!
!!
!!
!!
!!
!!
!!
!!
!!
!!
!!
!!
!!
!!
!!
!!
!!
!!
!!
!!
!!
!!
!!
!!
!!
!!
!!
!!
!!
!!
!!
!!
1 1 1 1 1 1 1 1 1
2
1
n
n! 1
n n n n n n n n n
C1
C2 C3 · · · Ci+1 Ci+2 · · · Ck!2 Ck!1
c1
c2
c3
ci+1
ci+2
ck!2
ck!1
!n
k!2
"!
2nk!2
"
!in
k!2
"!(i+1)n
k!2
"
!(k!3)n
k!2
"
! ! ! ! ! ! ! ! ! !
! ! ! ! ! ! ! ! !! ! ! ! ! ! ! ! !! ! ! ! ! ! ! ! !
! ! ! ! ! ! ! ! !
P (n, k)
1
![Page 58: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/58.jpg)
Chains and antichains in general Conditions on chain size yield pwd maximal antichains
The theorem is sharp: for 4 ≤ k ≤ n, P(n, k) has all maximal chains withsize between n and n + n−k
k−2 + 1, and no k pwd maximal antichains.
!!
!!
!!
!!
!!
!!
!!
!!
!!
!!
!!
!!
!!
!!
!!
!!
!!
!!
!!
!!
!!
!!
!!
!!
!!
!!
!!
!!
!!
!!
!!
!!
!!
!!
!!
!!
1 1 1 1 1 1 1 1 1
2
1
n
n! 1
n n n n n n n n n
C1
C2 C3 · · · Ci+1 Ci+2 · · · Ck!2 Ck!1
c1
c2
c3
ci+1
ci+2
ck!2
ck!1
!n
k!2
"!
2nk!2
"
!in
k!2
"!(i+1)n
k!2
"
!(k!3)n
k!2
"
! ! ! ! ! ! ! ! ! !
! ! ! ! ! ! ! ! !! ! ! ! ! ! ! ! !! ! ! ! ! ! ! ! !
! ! ! ! ! ! ! ! !
P (n, k)
1
![Page 59: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/59.jpg)
Chains and antichains in general Conditions on antichain size yield pwd maximal chains
Idle thought . . .
What about the dual question? Can we guarantee the existence of k pwdmaximal chains by bounding the sizes of maximal antichains?
It’s true that
if every maximal antichain contains at least 2 elements then thepartially ordered set has at least 2 pwd maximal chains,
if all maximal antichains have size n then the Dilworth decompositionyields n pwd maximal chains,
there are several famous examples of valid statements with validduals, and
the partially ordered sets P(n, k) are all 2-dimensional.
Meaning?
![Page 60: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/60.jpg)
Chains and antichains in general Conditions on antichain size yield pwd maximal chains
Idle thought . . .
What about the dual question? Can we guarantee the existence of k pwdmaximal chains by bounding the sizes of maximal antichains?
It’s true that
if every maximal antichain contains at least 2 elements then thepartially ordered set has at least 2 pwd maximal chains,
if all maximal antichains have size n then the Dilworth decompositionyields n pwd maximal chains,
there are several famous examples of valid statements with validduals, and
the partially ordered sets P(n, k) are all 2-dimensional.
Meaning?
![Page 61: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/61.jpg)
Chains and antichains in general Conditions on antichain size yield pwd maximal chains
Idle thought . . .
What about the dual question? Can we guarantee the existence of k pwdmaximal chains by bounding the sizes of maximal antichains?
It’s true that
if every maximal antichain contains at least 2 elements then thepartially ordered set has at least 2 pwd maximal chains,
if all maximal antichains have size n then the Dilworth decompositionyields n pwd maximal chains,
there are several famous examples of valid statements with validduals, and
the partially ordered sets P(n, k) are all 2-dimensional.
Meaning?
![Page 62: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/62.jpg)
Chains and antichains in general Conditions on antichain size yield pwd maximal chains
Idle thought . . .
What about the dual question? Can we guarantee the existence of k pwdmaximal chains by bounding the sizes of maximal antichains?
It’s true that
if every maximal antichain contains at least 2 elements then thepartially ordered set has at least 2 pwd maximal chains,
if all maximal antichains have size n then the Dilworth decompositionyields n pwd maximal chains,
there are several famous examples of valid statements with validduals, and
the partially ordered sets P(n, k) are all 2-dimensional.
Meaning?
![Page 63: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/63.jpg)
Chains and antichains in general Conditions on antichain size yield pwd maximal chains
Idle thought . . .
What about the dual question? Can we guarantee the existence of k pwdmaximal chains by bounding the sizes of maximal antichains?
It’s true that
if every maximal antichain contains at least 2 elements then thepartially ordered set has at least 2 pwd maximal chains,
if all maximal antichains have size n then the Dilworth decompositionyields n pwd maximal chains,
there are several famous examples of valid statements with validduals, and
the partially ordered sets P(n, k) are all 2-dimensional.
Meaning?
![Page 64: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/64.jpg)
Chains and antichains in general Conditions on antichain size yield pwd maximal chains
Idle thought . . .
What about the dual question? Can we guarantee the existence of k pwdmaximal chains by bounding the sizes of maximal antichains?
It’s true that
if every maximal antichain contains at least 2 elements then thepartially ordered set has at least 2 pwd maximal chains,
if all maximal antichains have size n then the Dilworth decompositionyields n pwd maximal chains,
there are several famous examples of valid statements with validduals, and
the partially ordered sets P(n, k) are all 2-dimensional.
Meaning?
![Page 65: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/65.jpg)
Chains and antichains in general Conditions on antichain size yield pwd maximal chains
Idle thought . . .
What about the dual question? Can we guarantee the existence of k pwdmaximal chains by bounding the sizes of maximal antichains?
It’s true that
if every maximal antichain contains at least 2 elements then thepartially ordered set has at least 2 pwd maximal chains,
if all maximal antichains have size n then the Dilworth decompositionyields n pwd maximal chains,
there are several famous examples of valid statements with validduals, and
the partially ordered sets P(n, k) are all 2-dimensional.
Meaning?
![Page 66: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/66.jpg)
Chains and antichains in general Conditions on antichain size yield pwd maximal chains
Given a partially ordered set P of dimension 2, that is, whose order is theintersection of 2 linear orders ≤1 and ≤2, there is a complementaryordered set Q – its ordering is ≤1 ∩ ≤d
2 , where ≤d2 is the dual of ≤2:
!! !
!
1
2
...
n! 1
n
1
2...
n! 1
n
!!!
!!!! !
P (n, 3)
1
P’s max chains = Q’s max antichains
!!
!!
!
""
""
"
######
$$$$$$
%%
%%
%
$$$$$$
######
""
""
"
!!
!!
!
1 2 · · · n! 1
1 2 · · · n! 1
! ! ! !! ! ! !
!!
Q(n, 3)
1
P’s max antichains = Q’s max chains
![Page 67: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/67.jpg)
Chains and antichains in general Conditions on antichain size yield pwd maximal chains
Given a partially ordered set P of dimension 2, that is, whose order is theintersection of 2 linear orders ≤1 and ≤2, there is a complementaryordered set Q – its ordering is ≤1 ∩ ≤d
2 , where ≤d2 is the dual of ≤2:
!! !
!
1
2
...
n! 1
n
1
2...
n! 1
n
!!!
!!!! !
P (n, 3)
1
P’s max chains = Q’s max antichains
!!
!!
!
""
""
"
######
$$$$$$
%%
%%
%
$$$$$$
######
""
""
"
!!
!!
!
1 2 · · · n! 1
1 2 · · · n! 1
! ! ! !! ! ! !
!!
Q(n, 3)
1
P’s max antichains = Q’s max chains
![Page 68: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/68.jpg)
Chains and antichains in general Conditions on antichain size yield pwd maximal chains
Given a partially ordered set P of dimension 2, that is, whose order is theintersection of 2 linear orders ≤1 and ≤2, there is a complementaryordered set Q – its ordering is ≤1 ∩ ≤d
2 , where ≤d2 is the dual of ≤2:
!! !
!
1
2
...
n! 1
n
1
2...
n! 1
n
!!!
!!!! !
P (n, 3)
1
P’s max chains = Q’s max antichains
!!
!!
!
""
""
"
######
$$$$$$
%%
%%
%
$$$$$$
######
""
""
"
!!
!!
!
1 2 · · · n! 1
1 2 · · · n! 1
! ! ! !! ! ! !
!!
Q(n, 3)
1
P’s max antichains = Q’s max chains
![Page 69: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/69.jpg)
Chains and antichains in general Conditions on antichain size yield pwd maximal chains
Observation
Given 3 ≤ k ≤ n and a 2-dimensional partially ordered set Q all of whosemaximal antichains A satisfy
n ≤ |A| ≤ n +n − k
k − 2,
Q has k pwd maximal chains. Morever, the ordered sets Q(n, k) show thatthe result is sharp.
Question
For 3 ≤ k , what are the maximal intervals Ik so that whenever the size ofevery maximal antichain of an ordered set P lies in Ik , P contains k pwdmaximal chains?
Surely, we thought, the intervals are smaller in the general case.
![Page 70: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/70.jpg)
Chains and antichains in general Conditions on antichain size yield pwd maximal chains
Observation
Given 3 ≤ k ≤ n and a 2-dimensional partially ordered set Q all of whosemaximal antichains A satisfy
n ≤ |A| ≤ n +n − k
k − 2,
Q has k pwd maximal chains. Morever, the ordered sets Q(n, k) show thatthe result is sharp.
Question
For 3 ≤ k , what are the maximal intervals Ik so that whenever the size ofevery maximal antichain of an ordered set P lies in Ik , P contains k pwdmaximal chains?
Surely, we thought, the intervals are smaller in the general case.
![Page 71: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/71.jpg)
Chains and antichains in general Conditions on antichain size yield pwd maximal chains
Observation
Given 3 ≤ k ≤ n and a 2-dimensional partially ordered set Q all of whosemaximal antichains A satisfy
n ≤ |A| ≤ n +n − k
k − 2,
Q has k pwd maximal chains. Morever, the ordered sets Q(n, k) show thatthe result is sharp.
Question
For 3 ≤ k , what are the maximal intervals Ik so that whenever the size ofevery maximal antichain of an ordered set P lies in Ik , P contains k pwdmaximal chains?
Surely, we thought, the intervals are smaller in the general case.
![Page 72: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/72.jpg)
Chains and antichains in general Conditions on antichain size yield pwd maximal chains
To our surprise . . .
Theorem [Howard and Trotter - 2009]
Let n and k be integers with 3 ≤ k ≤ n and let P be a finite partiallyordered set. If every maximal antichain A of P satisfies
n ≤ |A| ≤ n +n − k
k − 2
then P contains k pairwise disjoint maximal chains.
Moreover, the result remains sharp, due to Q(n, k), the complementary(2-dimensional) partially ordered set to P(n, k).
![Page 73: Maximal Chains and Antichains in Finite Partially Ordered Setsgoddard/MINI/2009/Duffus.pdf · 2009. 10. 26. · Classic problems and results Simple questions about maximal chains](https://reader035.fdocuments.in/reader035/viewer/2022063016/5fd69d6f9a3a7d70fb12e209/html5/thumbnails/73.jpg)
Chains and antichains in general Conditions on antichain size yield pwd maximal chains
To our surprise . . .
Theorem [Howard and Trotter - 2009]
Let n and k be integers with 3 ≤ k ≤ n and let P be a finite partiallyordered set. If every maximal antichain A of P satisfies
n ≤ |A| ≤ n +n − k
k − 2
then P contains k pairwise disjoint maximal chains.
Moreover, the result remains sharp, due to Q(n, k), the complementary(2-dimensional) partially ordered set to P(n, k).