Date of Completion

5-3-2024

Degree Type

Honors Thesis

Discipline

Mathematics (MATH)

First Advisor

Josh Hallam

Abstract

A partially ordered set, or poset, is governed by an ordering that may or may not relate any pair of objects in the set. Both the bonds of a graph and the partitions of a set are partially ordered, and their poset structure can be depicted visually in a Hasse diagram. The partitions of {1, 2, ..., n} form a particularly important poset known as the partition lattice Πn. It is isomorphic to the bond lattice of the complete graph Kn, making it a special case of the family of bond lattices. Dowling and Wilson’s 1975 Top-Heavy Conjecture states that every bond lattice has at least as many elements in its upper half as in its lower half. The existing proof of this conjecture by Huh et al. in 2017 relies heavily on algebraic geometry. In this paper, we provide an alternate combinatorial proof for the Top-Heavy Conjecture on partition lattices. To do this, we define a specific class of forests on n vertices and construct an abstract simplicial complex ∆n out of the edge sets of these graphs. Then, we show that ∆n is a shellable complex for all n, and we use this result to prove that Πn is a top-heavy lattice.

Brian Macdonald Honors Thesis Cover Sheet.pdf (97 kB)
Cover sheet for my thesis

Share

COinS