Skip to main navigation Skip to search Skip to main content

The Möbius Function of Generalized Subword Order

Peter R. W. McNamara, Bruce Eli Sagan

Research output: Contribution to journalArticlepeer-review

Abstract

<p> Let <em> P </em> be a poset and let <em> P </em> <sup> ⁎ </sup> be the set of all finite length words over <em> P </em> . Generalized subword order is the partial order on <em> P </em> <sup> ⁎ </sup> obtained by letting <em> u </em> &les; <em> w </em> if and only if there is a subword <em> u </em> <sup> &prime; </sup> of <em> w </em> having the same length as <em> u </em> such that each element of <em> u </em> is less than or equal to the corresponding element of <em> u </em> <sup> &prime; </sup> in the partial order on <em> P </em> . Classical subword order arises when <em> P </em> is an antichain, while letting <em> P </em> be a chain gives an order on compositions. For any finite poset <em> P </em> , we give a simple formula for the M&ouml;bius function of <em> P </em> <sup> ⁎ </sup> in terms of the M&ouml;bius function of <em> P </em> . This permits us to rederive in an easy and uniform manner previous results of Bj&ouml;rner, Sagan and Vatter, and Tomie. We are also able to determine the homotopy type of all intervals in <em> P </em> <sup> ⁎ </sup> for any finite <em> P </em> of rank at most 1.</p>
Original languageAmerican English
JournalDefault journal
Volume229
StatePublished - Mar 20 2012

Keywords

  • Chebyshev polynomial
  • Discrete Morse theory
  • homotopy type
  • minimal skipped interval
  • Möbius function
  • poset
  • subword order

Disciplines

  • Discrete Mathematics and Combinatorics
  • Geometry and Topology

Cite this