poset ↗ reference
2287 papers tagged with this keyword
Incidence Monoids: Automorphisms and Complexity
Published
• View Publication
• BIB
The algebraic monoid structure of an incidence algebra is investigated. We show that the multiplicative structure alone determines the algebra automorphisms of the incidence algebra. We present a formula that expresses the complexity of the incidence monoid with respect to the two sided action of its maximal torus in terms of the zeta polynomial of the poset. In addition, we characterize the finite (connected) posets whose incidence monoids have complexity $\leq 1$. Finally, we determine the covering relations of the adherence order on the incidence monoid of a star poset.
An algebra over the operad of posets and structural binomial identities
Published in Bol. Soc. Mat. Mex. 29, 8 (2023)
• View Publication
• BIB
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.
On the enumeration of plane bipolar posets and transversal structures
Published
• View Publication
• BIB
We show that plane bipolar posets (i.e., plane bipolar orientations with no transitive edge) and transversal structures can be set in correspondence to certain (weighted) models of quadrant walks, via suitable specializations of a bijection due to Kenyon, Miller, Sheffield and Wilson. We then derive exact and asymptotic counting results. In particular we prove (computationally and then bijectively) that the number of plane bipolar posets on $n+2$ vertices equals the number of plane permutations of size $n$. Regarding transversal structures, for each $v\geq 0$ we consider $t_n(v)$ the number of such structures with $n+4$ vertices and weight $v$ per quadrangular inner face (the case $v=0$ corresponds to having only triangular inner faces). We obtain a recurrence to compute $t_n(v)$, and an asymptotic formula that for $v=0$ gives $t_n(0)\sim c\ \!(27/2)^nn^{-1-π/\mathrm{arccos}(7/8)}$ for some $c>0$, which also ensures that the associated generating function is not D-finite.
Combinatorial invariance conjecture for $\widetilde{A}_2$
Published
• View Publication
• BIB
The combinatorial invariance conjecture (due independently to G. Lusztig and M. Dyer) predicts that if $[x,y]$ and $[x',y']$ are isomorphic Bruhat posets (of possibly different Coxeter systems), then the corresponding Kazhdan-Lusztig polynomials are equal, that is, $P_{x,y}(q)=P_{x',y'}(q)$. We prove this conjecture for the affine Weyl group of type $\widetilde{A}_2$. This is the first infinite group with non-trivial Kazhdan-Lusztig polynomials where the conjecture is proved.
Filtered simplicial homology, graph dissimilarity and überhomology
Published
• View Publication
• BIB
We introduce a filtration on the simplicial homology of a finite simplicial complex X using bi-colourings of its vertices. This yields two dual homology theories closely related to discrete Morse matchings on X. We give an explicit expression for the associated graded object of these homologies when X is the matching complex of the Tait graph of a plane graph $G$, in terms of subgraphs determined by certain matchings on the dual of G. We then use one of these homologies, in the case where X is a graph, to define a conjecturally optimal dissimilarity pseudometric for graphs; we prove various results for this dissimilarity and provide several computations. We further show that, by organising the horizontal homologies of a simplicial complex in the poset of its colourings, we obtain a triply graded homology theory which we call überhomology. This latter homology is not a homotopy invariant, but nonetheless encodes both combinatorial and topological information on X. For example, we prove that if X is a subdivision, the überhomology vanishes in its lowest degree, while for an homology manifold it coincides with the fundamental class in its top degree. We compute the überhomology on several classes of examples and infinite families, and prove some of its properties; namely that, in its extremal degrees, it is well-behaved under coning and taking suspension. We then focus on the case where X is a simple graph, and prove a detection result. Finally, we define some singly-graded homologies for graphs obtained by specialising the überhomology in certain bi-degrees, provide some computations and use computer aided calculations to make some conjectures.
A generalization of a theorem of Erné
Published
• View Publication
• BIB
Let $X$ be a finite set, $Z \subseteq X$ and $y \notin X$. Marcel Erné showed in 1981, that the number of posets on $X$ containing $Z$ as an antichain equals the number of posets $R$ on $X \cup \{ y \}$ in which the points of $Z \cup \{ y \}$ are exactly the maximal points of $R$. We prove the following generalization: For every poset $Q$ with carrier $Z$, the number of posets on $X$ containing $Q$ as an induced sub-poset equals the number of posets $R$ on $X \cup \{ y \}$ which contain $Q^d + A_y$ as an induced sub-poset and in which the maximal points of $Q^d + A_y$ are exactly the maximal points of $R$. Here, $Q^d$ is the dual of $Q$, $A_y$ is the singleton-poset on $y$, and $Q^d + A_y$ denotes the direct sum of $Q^d$ and $A_y$.
The Ordered Join of Impartial Games
Inspired by the theory of poset games, we introduce a new compound of impartial combinatorial games and provide a complete analysis in the spirit of the Sprague-Grundy theory. Furthermore, we establish several substitution and reduction principles for this compound and consider its computational aspects.
An explicit order matching for $L(3,n)$ from several approaches and its extension for $L(4,n)$
Let $L(m,n)$ denote Young's lattice consisting of all partitions whose Young diagrams are contained in the $m\times n$ rectangle. It is a well-known result that the poset $L(m,n)$ is rank symmetric, rank unimodal, and Sperner. A direct proof of this result by finding an explicit order matching of $L(m,n)$ is an outstanding open problem. In this paper, we present an explicit order matching $\varphi$ for $L(3,n)$ by several different approaches, and give chain tableau version of $\varphi$ that is very helpful in finding patterns. It is surprise that the greedy algorithm and a recursive knead process also give the same order matching. Our methods extend for $L(4,n)$.
Naruse hook formula for linear extensions of mobile posets
Published
• View Publication
• BIB
Linear extensions of posets are important objects in enumerative and algebraic combinatorics that are difficult to count in general. Families of posets like Young diagrams of straight shapes and $d$-complete posets have hook-length product formulas to count linear extensions, whereas families like Young diagrams of skew shapes have determinant or positive sum formulas like the Naruse hook-length formula from 2014. In 2020, Garver et. al. gave determinant formulas to count linear extensions of a family of posets called mobile posets that refine $d$-complete posets and border strip skew shapes. We give a Naruse type hook-length formula to count linear extensions of such posets by proving a major index $q$-analogue. We also a inversion index $q$-analogue of the Naruse formula for mobile tree posets.
Newton-Okounkov polytopes of flag varieties and marked chain-order polytopes
Published
• View Publication
• BIB
Marked chain-order polytopes are convex polytopes constructed from a marked poset, which give a discrete family relating a marked order polytope with a marked chain polytope. In this paper, we consider the Gelfand-Tsetlin poset of type A, and realize the associated marked chain-order polytopes as Newton-Okounkov bodies of the flag variety. Our realization connects previous realizations of Gelfand-Tsetlin polytopes and Feigin-Fourier-Littelmann-Vinberg polytopes as Newton-Okounkov bodies in a uniform way. As an application, we prove that the flag variety degenerates into the irreducible normal projective toric variety corresponding to a marked chain-order polytope. We also construct a specific basis of an irreducible highest weight representation which is naturally parametrized by the set of lattice points in a marked chain-order polytope.
The cross-product conjecture for width two posets
Published in Trans. Amer. Math. Soc. 375 (2022), no. 8, 5923-5961
• View Publication
• BIB
The cross--product conjecture (CPC) of Brightwell, Felsner and Trotter (1995) is a two-parameter quadratic inequality for the number of linear extensions of a poset $P= (X, \prec)$ with given value differences on three distinct elements in $X$. We give two different proofs of this inequality for posets of width two. The first proof is algebraic and generalizes CPC to a four-parameter family. The second proof is combinatorial and extends CPC to a $q$-analogue. Further applications include relationships between CPC and other poset inequalities, including a new $q$-analogue of the Kahn--Saks inequality.
Sharp bounds for the number of regions of maxout networks and vertices of Minkowski sums
We present results on the number of linear regions of the functions that can be represented by artificial feedforward neural networks with maxout units. A rank-k maxout unit is a function computing the maximum of $k$ linear functions. For networks with a single layer of maxout units, the linear regions correspond to the upper vertices of a Minkowski sum of polytopes. We obtain face counting formulas in terms of the intersection posets of tropical hypersurfaces or the number of upper faces of partial Minkowski sums, along with explicit sharp upper bounds for the number of regions for any input dimension, any number of units, and any ranks, in the cases with and without biases. Based on these results we also obtain asymptotically sharp upper bounds for networks with multiple layers.
A recursive approach for the enumeration of the homomorphisms from a poset $P$ to the chain $C_3$
Let ${\cal H}(P,C_3)$ be the set of order homomorphisms from a poset $P$ to the chain $C_3 = 1 < 2 < 3$. We develop a recursive approach for the calculation of the cardinality of ${\cal H}(P,C_3)$, and we apply it on several types of posets, including $P = C_3 \times C_3 \times C_k$ and $P = {\cal H}(C_k, C_3)$; for the latter poset $P$, we derive a direct formula for $\# {\cal H} ( P, C_3 )$.
Profunctors between posets and Alexander duality
We consider profunctors $f : P \promap Q$ between posets and introduce their {\em graph} and {\em ascent}. The profunctors $\Pro(P,Q)$ form themselves a poset, and we consider a partition $\cI \sqcup \cF$ of this into a down-set $\cI$ and up-set $\cF$, called a {\it cut}. To elements of $\cF$ we associate their graphs, and to elements of $\cI$ we associate their ascents. Our basic result is that this, suitable refined, preserves being a cut: We get a cut in the Boolean lattice of subsets of the underlying set of $Q \times P$. Cuts in finite Booleans lattices correspond precisely to finite simplicial complexes.
We apply this in commutative algebra where these give classes of Alexander dual square-free monomial ideals giving the full and natural generalized setting of isotonian ideals and letterplace ideals for posets. We study $\Pro(\NN, \NN)$. Such profunctors identify as order preserving maps $f : \NN \pil \NN \cup \{\infty \}$. For our applications when $P$ and $Q$ are infinite, we also introduce a topology on $\Pro(P,Q)$, in particular on profunctors $\Pro(\NN,\NN)$.
Shelling the m=1 amplituhedron
Published in Comb. Theory 3 (2023), no. 1, Paper No. 6, 22 pages
• View Publication
• BIB
The amplituhedron $\mathcal{A}_{n,k,m}$ was introduced by Arkani-Hamed and Trnka (2014) in order to give a geometric basis for calculating scattering amplitudes in planar $\mathcal{N}=4$ supersymmetric Yang-Mills theory. It is a projection inside the Grassmannian $\text{Gr}_{k,k+m}$ of the totally nonnegative part of $\text{Gr}_{k,n}$. Karp and Williams (2019) studied the $m=1$ amplituhedron $\mathcal{A}_{n,k,1}$, giving a regular CW decomposition of it. Its face poset $R_{n,l}$ (with $l := n-k-1$) consists of all projective sign vectors of length $n$ with exactly $l$ sign changes. We show that $R_{n,l}$ is EL-shellable, resolving a problem posed by Karp and Williams. This gives a new proof that $\mathcal{A}_{n,k,1}$ is homeomorphic to a closed ball, which was originally proved by Karp and Williams. We also give explicit formulas for the $f$-vector and $h$-vector of $R_{n,l}$, and show that it is rank-log-concave and strongly Sperner. Finally, we consider a related poset $P_{n,l}$ introduced by Machacek (2019), consisting of all projective sign vectors of length $n$ with at most $l$ sign changes. We show that it is rank-log-concave, and conjecture that it is Sperner.
Ramsey numbers of Boolean lattices
The poset Ramsey number $R(Q_m,Q_n)$ is the smallest integer $N$ such that any blue-red coloring of the elements of the Boolean lattice $Q_N$ has a blue induced copy of $Q_m$ or a red induced copy of $Q_n$. The weak poset Ramsey number $R_w(Q_m,Q_n)$ is defined analogously, with weak copies instead of induced copies. It is easy to see that $R(Q_m,Q_n) \ge R_w(Q_m,Q_n)$.
Axenovich and Walzer showed that $n+2 \le R(Q_2,Q_n) \le 2n+2$. Recently, Lu and Thompson improved the upper bound to $\frac{5}{3}n+2$. In this paper, we solve this problem asymptotically by showing that $R(Q_2,Q_n)=n+O(n/\log n)$.
In the diagonal case, Cox and Stolee proved $R_w(Q_n,Q_n) \ge 2n+1$ using a probabilistic construction. In the induced case, Bohman and Peng showed $R(Q_n,Q_n) \ge 2n+1$ using an explicit construction. Improving these results, we show that $R_w(Q_m,Q_n) \ge n+m+1$ for all $m \ge 2$ and large $n$ by giving an explicit construction; in particular, we prove that $R_w(Q_2,Q_n)=n+3$.
Posets with $k$-outerplanar cover graphs have bounded dimension
In 2015, Felsner, Trotter, and Wiechert showed that posets with outerplanar cover graphs have bounded dimension. We generalise this result to posets with $k$-outerplanar cover graphs. Namely, we show that posets with $k$-outerplanar cover graph have dimension $\mathcal{O}(k^3)$. As a consequence, we show that every poset with a planar cover graph and height $h$ has dimension $\mathcal{O}(h^3)$. This improves the previously best known bound of $\mathcal{O}(h^6)$ by Kozik, Micek and Trotter.
Some properties of the parking function poset
Published in Electronic Journal of Combinatorics 29(4) (2022), Article P4.42
• View Publication
• BIB
In 1980, Edelman defined a poset on objects called the noncrossing 2-partitions. They are closely related with noncrossing partitions and parking functions. To some extent, his definition is a precursor of the parking space theory, in the framework of finite reflection groups. We present some enumerative and topological properties of this poset. In particular, we get a formula counting certain chains, that encompasses formulas for Whitney numbers (of both kinds). We prove shellability of the poset, and compute its homology as a representation of the symmetric group. We moreover link it with two well-known polytopes : the associahedron and the permutohedron.
Algebras describing pseudocomplemented, relatively pseudocomplemented and sectionally pseudocomplemented posets
Published
• View Publication
• BIB
In order to be able to use methods of Universal Algebra for investigating posets, we assign to every pseudocomplemented poset, to every relatively pseudocomplemented poset and to every sectionally pseudocomplemented poset a certain algebra (based on a commutative directoid or on a lambda-lattice) which satisfies certain identities and implications. We show that the assigned algebras fully characterize the given corresponding posets. It turns out that the assigned algebras satisfy strong congruence properties which can be transferred back to the posets. We also mention applications of such posets in certain non-classical logics.
The Gálvez-Kock-Tonks conjecture for locally discrete decomposition spaces
Published
• View Publication
• BIB
Gálvez-Carrillo, Kock, and Tonks constructed a decomposition space $U$ of all Möbius intervals, as a recipient of Lawvere's interval construction for Möbius categories, and conjectured that $U$ enjoys a certain universal property: for every Möbius decomposition space $X$, the space of culf functors from $X$ to $U$ is contractible. In this paper, we work at the level of homotopy 1-types to prove the first case of the conjecture, namely for locally discrete decomposition spaces. This provides also the first substantial evidence for the general conjecture.
This case is general enough to cover all locally finite posets, Cartier--Foata monoids, Möbius categories and strict (directed) restriction species. The proof is 2-categorical. First, we construct a local strict model of $U$, which is then used to show by hand that the Lawvere interval construction, considered as a natural transformation, does not admit other self-modifications than the identity.