An algebra over the operad of posets and structural binomial identities
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2021
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866908786708447232 |
|---|---|
| author | Arciniega-Nevarez, Jose Antonio Berghoff, Marko Dolores-Cuenca, Eric |
| author_facet | Arciniega-Nevarez, Jose Antonio Berghoff, Marko Dolores-Cuenca, Eric |
| contents | We study generating functions of strict and non-strict order polynomials of series-parallel posets, called order series. These order series are closely related to Ehrhart series and h*-polynomials of the associated order polytopes. We explain how they can be understood as algebras over a certain operad of posets. Our main results are based on the fact that the order series of chains form a basis in the space of order series. This allows to reduce the search space of an algorithm that finds for a given power series f, if possible, a poset P such that f is the generating function of the order polynomial of P. In terms of Ehrhart theory of order polytopes, the coordinates with respect to this basis describe the number of (internal) simplices in the canonical triangulation of the order polytope of P. Furthermore, we derive a new proof of the reciprocity theorem of Stanley. As an application, we find new identities for binomial coefficients and for finite partitions that allow for empty sets, and we describe properties of the negative hypergeometric distribution. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2105_06633 |
| institution | arXiv |
| publishDate | 2021 |
| record_format | arxiv |
| spellingShingle | An algebra over the operad of posets and structural binomial identities Arciniega-Nevarez, Jose Antonio Berghoff, Marko Dolores-Cuenca, Eric Combinatorics Algebraic Topology 06A07(primary)60C05, 18M80, 05A19, 05A10, 05E14, 05E45, 05A15, 05A17, 05A18(Secondary) We study generating functions of strict and non-strict order polynomials of series-parallel posets, called order series. These order series are closely related to Ehrhart series and h*-polynomials of the associated order polytopes. We explain how they can be understood as algebras over a certain operad of posets. Our main results are based on the fact that the order series of chains form a basis in the space of order series. This allows to reduce the search space of an algorithm that finds for a given power series f, if possible, a poset P such that f is the generating function of the order polynomial of P. In terms of Ehrhart theory of order polytopes, the coordinates with respect to this basis describe the number of (internal) simplices in the canonical triangulation of the order polytope of P. Furthermore, we derive a new proof of the reciprocity theorem of Stanley. As an application, we find new identities for binomial coefficients and for finite partitions that allow for empty sets, and we describe properties of the negative hypergeometric distribution. |
| title | An algebra over the operad of posets and structural binomial identities |
| topic | Combinatorics Algebraic Topology 06A07(primary)60C05, 18M80, 05A19, 05A10, 05E14, 05E45, 05A15, 05A17, 05A18(Secondary) |
| url | https://arxiv.org/abs/2105.06633 |