# The Absolute Orders on the Coxeter Groups $A_n$ and $B_n$ are Sperner

## TL;DR

This paper proves that the absolute orders on Coxeter groups $A_n$ and $B_n$ are strong Sperner, extending previous results about related orders on symmetric groups.

## Contribution

It provides a concise and elegant proof that the absolute orders on $A_n$ and $B_n$ are strong Sperner, a significant extension of prior work on symmetric groups.

## Key findings

- Absolute orders on $A_n$ and $B_n$ are strong Sperner
- Extends previous results on symmetric groups
- Provides a concise, elegant proof

## Abstract

Over 50 years ago, Rota posted the following celebrated `Research Problem': prove or disprove that the partial order of partitions on an $n$-set (i.e., the refinement order) is Sperner. A counterexample was eventually discovered by Canfield in 1978. However, Harper and Kim recently proved that a closely related order --- i.e., the refinement order on the symmetric group --- is not only Sperner, but strong Sperner. Equivalently, the well-known absolute order on the symmetric group is strong Sperner. In this paper, we extend these results by giving a concise, elegant proof that the absolute orders on the Coxeter groups $A_n$ and $B_n$ are strong Sperner.