poset ↗ reference
2216 papers tagged with this keyword
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.
ZZ Polynomials of Regular $m$-tier Benzenoid Strips as Extended Strict Order Polynomials of Associated Posets -- Part 1. Proof of Equivalence
Published
• View Publication
• BIB
In Part 1 of the current series of papers, we demonstrate the equivalence between the Zhang-Zhang polynomial $\text{ZZ}(\boldsymbol{S},x)$ of a Kekuléan regular $m$-tier strip $\boldsymbol{S}$ of length $n$ and the extended strict order polynomial $\text{E}_{\mathcal{S}}^{\circ}(n,x+1)$ of a certain partially ordered set (poset) $\mathcal{S}$ associated with $\boldsymbol{S}$. The discovered equivalence is a consequence of the one-to-one correspondence between the set $\left\{ K\right\}$ of Kekulé structures of $\boldsymbol{S}$ and the set $\left\{ μ:\mathcal{S}\supset\mathcal{A}\rightarrow\left[\,n\,\right]\right\}$ of strictly order-preserving maps from the induced subposets of $\mathcal{S}$ to the interval $\left[\thinspace n\thinspace\right]$. As a result, the problems of determining the Zhang-Zhang polynomial of $\boldsymbol{S}$ and of generating the complete set of Clar covers of $\boldsymbol{S}$ reduce to the problem of constructing the set $\mathcal{L}(\mathcal{S})$ of linear extensions of the corresponding poset $\mathcal{S}$ and studying their basic properties. In particular, the Zhang-Zhang polynomial of $\boldsymbol{S}$ can be written in a compact form as $\text{ZZ}(\boldsymbol{S},x)=\sum_{k=0}^{\left|\mathcal{S}\right|}\sum_{w\in\mathcal{L}(\mathcal{S})}\binom{\left|\mathcal{S}\right|-\text{fix}_{\mathcal{S}}(w)}{\,\,k\,\,\hspace{1pt}-\text{fix}_{\mathcal{S}}(w)}\binom{n+\text{des}(w)}{k}\left(1+x\right)^{k}$, where $\text{des}(w)$ and $\text{fix}_{\mathcal{S}}(w)$ denote the number of descents and the number of fixed labels, respectively, in the linear extension $w\in\mathcal{L}(\mathcal{S})$.
Connection matrices in combinatorial topological dynamics
Connection matrices are one of the central tools in Conley's approach to the study of dynamical systems, as they provide information on the existence of connecting orbits in Morse decompositions. They may be considered a generalisation of the boundary operator in the Morse complex in Morse theory. Their computability has recently been addressed by Harker, Mischaikow, and Spendlove in the context of lattice filtered chain complexes. In the current paper, we extend the recently introduced Conley theory for combinatorial vector and multivector fields on Lefschetz complexes by transferring the concept of connection matrix to this setting. This is accomplished by the notion of connection matrix for arbitrary poset filtered chain complexes, as well as an associated equivalence, which allows for changes in the underlying posets. We show that for the special case of gradient combinatorial vector fields in the sense of Forman, connection matrices are necessarily unique. Thus, the classical results of Reineck have a natural analogue in the combinatorial setting.
Bruhat intervals, subword complexes and brick polyhedra for finite Coxeter groups
Published
• View Publication
• BIB
We study the interplay between the discrete geometry of Bruhat poset intervals and subword complexes of finite Coxeter systems. We establish connections between the cones generated by cover labels for Bruhat intervals and of root configurations for subword complexes, culminating in the notion of brick polyhedra for general subword complexes.
Resolutions of Convex Geometries
Published
• View Publication
• BIB
Convex geometries (Edelman and Jamison, 1985) are finite combinatorial structures dual to union-closed antimatroids or learning spaces. We define an operation of resolution for convex geometries, which replaces each element of a base convex geometry by a fiber convex geometry. Contrary to what happens for similar constructions -- compounds of hypergraphs, as in Chein, Habib and Maurer (1981), and compositions of set systems, as in Mohring and Radermacher (1984) -- , resolutions of convex geometries always yield a convex geometry.
We investigate resolutions of special convex geometries: ordinal and affine. A resolution of ordinal convex geometries is again ordinal, but a resolution of affine convex geometries may fail to be affine. A notion of primitivity, which generalize the corresponding notion for posets, arises from resolutions: a convex geometry is primitive if it is not a resolution of smaller ones. We obtain a characterization of affine convex geometries that are primitive, and compute the number of primitive convex geometries on at most four elements. Several open problems are listed.
Monotone and cone preserving mappings on posets
Published
• View Publication
• BIB
We define several sorts of mappings on a poset like monotone, strictly monotone, upper cone preserving and variants of these. Our aim is to characterize posets in which some of these mappings coincide. We define special mappings determined by two elements and investigate when these are strictly monotone or upper cone preserving. If the considered poset is a semilattice then its monotone mappings coincide with semilattice homomorphisms if and only if the poset is a chain. Similarly, we study posets which need not be semilattices but whose upper cones have a minimal element. We extend this investigation to posets that are direct products of chains or an ordinal sum of an antichain and a finite chain. We characterize equivalence relations induced by strongly monotone mappings and show that the quotient set of a poset by such an equivalence relation is a poset again.
Triangulations, order polytopes, and generalized snake posets
Published
• View Publication
• BIB
This work regards the order polytopes arising from the class of generalized snake posets and their posets of meet-irreducible elements. Among generalized snake posets of the same rank, we characterize those whose order polytopes have minimal and maximal volume. We give a combinatorial characterization of the circuits in these order polytopes and then conclude that every triangulation is unimodular. For a generalized snake word, we count the number of flips for the canonical triangulation of these order polytopes. We determine that the flip graph of the order polytope of the poset whose lattice of filters comes from a ladder is the Cayley graph of a symmetric group. Lastly, we introduce an operation on triangulations called twists and prove that twists preserve regular triangulations.
Maximal Matroids in Weak Order Posets
Published
• View Publication
• BIB
Let $\cX$ be a family of subsets of a finite set $E$. A matroid on $E$ is called an $\cX$-matroid if each set in $\cX$ is a circuit. We consider the problem of determining when there exists a unique maximal $\cX$-matroid in the weak order poset of all $\cX$-matroids on $E$, and characterizing its rank function when it exists.
Forbidden subposet problems in the grid
Published
• View Publication
• BIB
For posets $P$ and $Q$, extremal and saturation problems about weak and strong $P$-free subposets of $Q$ have been studied mostly in the case $Q$ is the Boolean poset $Q_n$, the poset of all subsets of an $n$-element set ordered by inclusion. In this paper, we study some instances of the problem with $Q$ being the grid, and its connections to the Boolean case and to the forbidden submatrix problem.
Sweeps, polytopes, oriented matroids, and allowable graphs of permutations
Published in Combinatorica (2023)
• View Publication
• BIB
A sweep of a point configuration is any ordered partition induced by a linear functional. Posets of sweeps of planar point configurations were formalized and abstracted by Goodman and Pollack under the theory of allowable sequences of permutations. We introduce two generalizations that model posets of sweeps of higher dimensional configurations.
Mimicking the fact that sweep polytopes of point configurations (the monotone path polytopes of the associated zonotopes) are projections of permutahedra, we define sweep oriented matroids as strong maps of the braid oriented matroid. Allowable sequences are then the sweep oriented matroids of rank 2, and many of their properties extend to higher rank. We show strong ties between sweep oriented matroids and both modular hyperplanes and Dilworth truncations from (unoriented) matroid theory. We also explore their connection with the generalized Baues problem for cellular strings, where sweep oriented matroids can play the role of monotone path polytopes, even for non-realizable oriented matroids. In particular, we show that for oriented matroids that admit a sweep oriented matroid, their poset of pseudo-sweeps deformation retracts to a sphere of the appropriate dimension.
A second generalization are allowable graphs of permutations: symmetric sets of permutations pairwise connected by allowable sequences. They have the structure of acycloids and include sweep oriented matroids.
Toric Codes from Order Polytopes
Published
• View Publication
• BIB
In this article we investigate a class of linear error correcting codes in relation with the order polytopes. In particular we consider the order polytopes of tree posets and bipartite posets. We calculate the parameters of the associated toric variety codes.
Reconstruction of small graphs and digraphs
We describe computer searches that prove the graph reconstruction conjecture for graphs with up to 13 vertices and some limited classes on larger sizes. We also investigate the reconstructibility of tournaments up to 13 vertices, digraphs up to 9 vertices, and posets up to 13 points. In all cases, our results also apply to the set reconstruction problem that uses the isomorph-reduced deck.
Monotone Paths on Cross-Polytopes
Published
• View Publication
• BIB
In the early 1990's, Billera and Sturmfels introduced the monotone path polytope (MPP), a special case of the general theory of fiber polytopes that associates a polytope to a pair $(P,\varphi)$ of a polytope $P$ and linear functional $\varphi$. In that same paper, they showed that MPPs of simplices and hyper-cubes are combinatorial cubes and permutahedra respectively. Their work has lead to many developments in combinatorics. Here we investigate the monotone paths for generic orientations of cross-polytopes. We show the face lattice of its MPP is isomorphic to the lattice of intervals in the sign poset from oriented matroid theory. We look at its $f$-vector, its realizations, and facets.
What is $-Q$ for a poset $Q$?
Published
• View Publication
• BIB
In the context of combinatorial reciprocity, it is a natural question to ask what "$-Q$" is for a poset $Q$. In a previous work, the definition "$-Q:=Q\times\mathbb{R}$ with lexicographic order" was proposed based on the notion of Euler characteristic of semialgebraic sets. In fact, by using this definition, Stanley's reciprocity for order polynomials was generalized to an equality for the Euler characteristics of certain spaces of increasing maps between posets. The purpose of this paper is to refine this result, that is, to show that these spaces are homeomorphic if the topology of $Q$ is metrizable.