We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.CO

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Combinatorics

Title: Hereditary Semiorders and Enumeration of Semiorders by Dimension

Abstract: In 2010, Bousquet-M\'elou et al. defined sequences of nonnegative integers called ascent sequences and showed that the ascent sequences of length $n$ are in one-to-one correspondence with the interval orders, i.e., the posets not containing the poset $\mathbf{2}+\mathbf{2}$. Through the use of generating functions, this provided an answer to the longstanding open question of enumerating the (unlabeled) interval orders. A semiorder is an interval order having a representation in which all intervals have the same length. In terms of forbidden subposets, the semiorders exclude $\mathbf{2}+\mathbf{2}$ and $\mathbf{1}+\mathbf{3}$. The number of unlabeled semiorders on $n$ points has long been known to be the $n$-th Catalan number. However, describing the ascent sequences that correspond to the semiorders under the bijection of Bousquet-M\'elou et al. has proved difficult. In this paper, we discuss a major part of the difficulty in this area: the ascent sequence corresponding to a semiorder may have an initial subsequence that corresponds to an interval order that is not a semiorder.
We define the hereditary semiorders to be those corresponding to an ascent sequence for which every initial subsequence also corresponds to a semiorder. We provide a structural result that characterizes the hereditary semiorders and use this characterization to determine the ordinary generating function for hereditary semiorders. We also use our characterization of hereditary semiorders and the characterization of semiorders of dimension 3 given by Rabinovitch to provide a structural description of the semiorders of dimension at most 2. From this description, we are able to determine the ordinary generating for the semiorders of dimension at most 2.
Comments: 27 pages, 19 figures, 1 table
Subjects: Combinatorics (math.CO)
MSC classes: 06A07, 05A15
Journal reference: The Electronic Journal of Combinatorics 27(1) (2020), #P1.50
DOI: 10.37236/8140
Cite as: arXiv:1801.00501 [math.CO]
  (or arXiv:1801.00501v3 [math.CO] for this version)

Submission history

From: Mitchel Keller [view email]
[v1] Mon, 1 Jan 2018 19:58:23 GMT (33kb)
[v2] Tue, 24 Jul 2018 14:00:58 GMT (34kb)
[v3] Fri, 17 Apr 2020 14:58:57 GMT (34kb)

Link back to: arXiv, form interface, contact.