A New Characterization of -Posets
arXiv:1810.07276
Abstract
In 2016, Hasebe and Tsujie gave a recursive characterization of the set of induced -free and bowtie-free posets; Misanantenaina and Wagner studied these orders further, naming them "-posets". Here we offer a new characterization of -posets by introducing a property we refer to as autonomy. A poset $\cP$ is said to be autonomous if there exists a directed acyclic graph (with adjacency matrix ) whose transitive closure is $\cP$, with the property that any total ordering of the vertices of so that Gaussian elimination of proceeds without row swaps is a linear extension of $\cP$. Autonomous posets arise from the theory of pressing sequences in graphs, a problem with origins in phylogenetics. The pressing sequences of a graph can be partitioned into families corresponding to posets; because of the interest in enumerating pressing sequences, we investigate when this partition has only one block, that is, when the pressing sequences are all linear extensions of a single autonomous poset. We also provide an efficient algorithm for recognition of autonomy using structural information and the forbidden subposet characterization, and we discuss a few open questions that arise in connection with these posets.