arXiv++ Combinatorics

We use discrete Morse theory to determine the Möbius function of generalized factor order. Ordinary factor order on the Kleene closure A* of a set A is the partial order defined by letting u\leq w if w contains u as a subsequence of consecutive letters. The Möbius function of ordinary factor order was determined by Björner. Using Babson and Hersh's application of Robin Forman's discrete Morse theory to lexicographically ordered chains, we are able to gain new understanding of Björner's result and its proof. We generalize the notion of factor order to take into account a partial order on the alphabet A and, relying heavily on discrete Morse theory, give a recursive formula in the case where each letter of the alphabet covers a unique letter.

We use discrete Morse theory to provide another proof of Bernini, Ferrari, and Steingrimson's formula for the Mobius function of the consecutive pattern poset. In addition, we are able to determine the homotopy type of this poset. Earlier, Bjorner determined the Mobius function and homotopy type of factor order and the results are remarkably similar to those in the pattern case. In his thesis, Willenbring used discrete Morse theory to give an illuminating proof of Bjorner's result. Since our proof parallels Willenbring's, we also consider the relationship between the two posets.