poset ↗ reference
2264 papers tagged with this keyword
Crystal Pop-Stack Sorting and Type A Crystal Lattices
Published
• View Publication
• BIB
Given a complex simple Lie algebra $\mathfrak g$ and a dominant weight $λ$, let $\mathcal B_λ$ be the crystal poset associated to the irreducible representation of $\mathfrak g$ with highest weight $λ$. In the first part of the article, we introduce the \emph{crystal pop-stack sorting operator} $\mathsf{Pop}_{\lozenge}\colon\mathcal B_λ\to\mathcal B_λ$, a noninvertible operator whose definition extends that of the pop-stack sorting map and the recently-introduced Coxeter pop-stack sorting operators. Every forward orbit of $\mathsf{Pop}_{\lozenge}$ contains the minimal element of $\mathcal B_λ$, which is fixed by $\mathsf{Pop}_{\lozenge}$. We prove that the maximum size of a forward orbit of $\mathsf{Pop}_{\lozenge}$ is the Coxeter number of the Weyl group of $\mathfrak g$. In the second part of the article, we characterize exactly when a type $A$ crystal is a lattice.
On the Representation Number of Bipartite Graphs
Published
• View Publication
• BIB
A word-representable graph is a simple graph $G$ which can be represented by a word $w$ over the vertices of $G$ such that any two vertices are adjacent in $G$ if and only if they alternate in $w$. It is known that the class of comparability graphs -- the graphs which admit a transitive orientation -- is precisely the class of graphs that can be represented by a concatenation of permutations of vertices. The class of bipartite graphs is a subclass of comparability graphs. While it is an open problem to determine the representation number of comparability graphs, it was conjectured that the representation number of bipartite graphs on $n$ vertices is at most $n/4$. In this paper, we propose a polynomial time relabeling algorithm to produce a word representing a given bipartite graph which is a concatenation of permutations of the graph's vertices. Thus we obtain an upper bound for the representation number of bipartite graphs, which in turn gives us an upper bound for the dimension of the posets corresponding to bipartite graphs.
On the homeomorphism and homotopy type of complexes of multichains
Published
• View Publication
• BIB
In this paper we define and study for a finite partially ordered set P a class of simplicial complexes on the set P_r of r-element multichains from P. The simplicial complexes depend on a strictly monotone function from [r] to [2r]. We show that there exactly 2^r such functions which yield subdivisions of the order complex of P of which 2^{r-1} are pairwise different. Within this class are for example the order complexes of the interval and the zig-zag poset of P and the rth edgewise subdivision of the order complex of P. We also exhibit a large subclass for which our simplicial complexes are order complexes and homotopy equivalent to the order complex of P.
Join operation for the Bruhat order and Verma modules
Published in Israel Journal of Mathematics 263, 627-691 (2024)
• View Publication
• BIB
We observe that the join operation for the Bruhat order on a Weyl group agrees with the intersections of Verma modules in type $A$. The statement is not true in other types, and we propose a conjectural statement of a weaker correspondence. Namely, we introduce distinguished subsets of the Weyl group on which the join operation conjecturally agrees with the intersections of Verma modules. We also relate our conjecture with a statement about the socles of the cokernels of inclusions between Verma modules. The latter determines the first Ext spaces between a simple module and a Verma module. We give a conjectural complete description of such socles, which we verify in a number of cases. Along the way, we determine the poset structure of the join-irreducible elements in Weyl groups and obtain closed formulae for certain families of Kazhdan-Lusztig polynomials.
Homomesy via Toggleability Statistics
Published in Combinatorial Theory, 3(2), 2023
• View Publication
• BIB
The rowmotion operator acting on the set of order ideals of a finite poset has been the focus of a significant amount of recent research. One of the major goals has been to exhibit homomesies: statistics that have the same average along every orbit of the action. We systematize a technique for proving that various statistics of interest are homomesic by writing these statistics as linear combinations of "toggleability statistics" (originally introduced by Striker) plus a constant. We show that this technique recaptures most of the known homomesies for the posets on which rowmotion has been most studied. We also show that the technique continues to work in modified contexts. For instance, this technique also yields homomesies for the piecewise-linear and birational extensions of rowmotion; furthermore, we introduce a $q$-analogue of rowmotion and show that the technique yields homomesies for "$q$-rowmotion" as well.
Rowmotion on fences
Published in Algebraic Combin., 6 (2023), no. 1, 17-36,
• View Publication
• BIB
A fence is a poset with elements F = {x_1, x_2, ..., x_n} and covers x_1 < x_2 < ... < x_a > x_{a+1} > ... > x_b < x_{b+1} < ... where a, b, ... are positive integers. We investigate rowmotion on antichains and ideals of F. In particular, we show that orbits of antichains can be visualized using tilings. This permits us to prove various homomesy results for the number of elements of an antichain or ideal in an orbit. Rowmotion on fences also exhibits a new phenomenon, which we call homometry, where the value of a statistic is constant on orbits of the same size. Along the way, we prove a general homomesy result for all self-dual posets. We end with some conjectures and avenues for future research.
Faces of maximal chain polytopes
The maximal chain polytope $\mathscr{M}(P)$ is associated with a finite poset $P$. For a set of maximal chains $\mathcal{C}$, it is shown that the convex hull of all the points corresponding to elements of $\mathcal{C}$ is not a face of $\mathscr{M}(P)$ if and only if $\mathcal{C}$ has an incomplete guided crown structure. Using this result, several examples, including the dimension of $\mathscr{M}(\boldsymbol{m} \times \boldsymbol{n})$, are calculated.
Homomorphism complexes, reconfiguration, and homotopy for directed graphs
Published in European J. Combin. 110 (2023)
• View Publication
• BIB
The neighborhood complex of a graph was introduced by Lovász to provide topological lower bounds on chromatic number. More general homomorphism complexes of graphs were further studied by Babson and Kozlov. Such `Hom complexes' are also related to mixings of graph colorings and other reconfiguration problems, as well as a notion of discrete homotopy for graphs. Here we initiate the detailed study of Hom complexes for directed graphs (digraphs). For any pair of digraphs graphs $G$ and $H$, we consider the polyhedral complex $\text{Hom}(G,H)$ that parametrizes the directed graph homomorphisms $f: G \rightarrow H$. Hom complexes of digraphs have applications in the study of chains in graded posets and cellular resolutions of monomial ideals. We study examples of directed Hom complexes and relate their topological properties to certain graph operations including products, adjunctions, and foldings. We introduce a notion of a neighborhood complex for a digraph and prove that its homotopy type is recovered as the Hom complex of homomorphisms from a directed edge. We establish a number of results regarding the topology of directed neighborhood complexes, including the dependence on directed bipartite subgraphs, a digraph version of the Mycielski construction, as well as vanishing theorems for higher homology. The Hom complexes of digraphs provide a natural framework for reconfiguration of homomorphisms of digraphs. Inspired by notions of directed graph colorings we study the connectivity of $\text{Hom}(G,T_n)$ for $T_n$ a tournament. Finally, we use paths in the internal hom objects of digraphs to define various notions of homotopy, and discuss connections to the topology of Hom complexes.
On the Queue-Number of Partial Orders
Published
• View Publication
• BIB
The queue-number of a poset is the queue-number of its cover graph viewed as a directed acyclic graph, i.e., when the vertex order must be a linear extension of the poset. Heath and Pemmaraju conjectured that every poset of width $w$ has queue-number at most $w$. Recently, Alam et al. constructed posets of width $w$ with queue-number $w+1$. Our contribution is a construction of posets with width $w$ with queue-number $Ω(w^2)$. This asymptotically matches the known upper bound.
Totally nonnegative Grassmannians, Grassmann necklaces and quiver Grassmannians
Published
• View Publication
• BIB
Postnikov constructed a cellular decomposition of the totally nonnegative Grassmannians. The poset of cells can be described (in particular) via Grassmann necklaces. We study certain quiver Grassmannians for the cyclic quiver admitting a cellular decomposition, whose cells are naturally labeled by Grassmann necklaces. We show that the posets of cells coincide with the reversed cell posets of the cellular decomposition of the totally nonnegative Grassmannians. We investigate algebro-geometric and combinatorial properties of these quiver Grassmannians. In particular, we describe the irreducible components, study the action of the automorphism groups of the underlying representations and describe the moment graphs. We also construct a resolution of singularities for each irreducible component; the resolutions are defined as quiver Grassmannians for an extended cyclic quiver.
Containments in families with forbidden subposets
We consider the problem of determining the maximum number of pairs $F\subseteq F'$ in a family $\mathcal{F}\subseteq 2^{[n]}$ that avoids certain posets $P$ of height 2. We show that for any such $P$ the number of pairs is $O(n\binom{n}{\lfloor n/2\rfloor})$ and we find the exact value for the butterfly poset and the $N$ poset. Also, we determine the asymptotics of the maximum number of pairs in containment for some posets of which the Hasse diagram is a path.
On generalized Turán results in height two posets
Published
• View Publication
• BIB
For given posets $P$ and $Q$ and an integer $n$, the generalized Turán problem for posets, asks for the maximum number of copies of $Q$ in a $P$-free subset of the $n$-dimensional Boolean lattice, $2^{[n]}$.
In this paper, among other results, we show the following:
(i) For every $n\geq 5$, the maximum number of $2$-chains in a butterfly-free subfamily of $2^{[n]}$ is $\left\lceil\frac{n}{2}\right\rceil\binom{n}{\lfloor n/2\rfloor}$.
(ii) For every fixed $s$, $t$ and $k$, a $K_{s,t}$-free family in $2^{[n]}$ has $O\left(n\binom{n}{\lfloor n/2\rfloor}\right)$ $k$-chains.
(iii) For every $n\geq 3$, the maximum number of $2$-chains in an $\textbf{N}$-free family is $\binom{n}{\lfloor n/2\rfloor}$, where $\textbf{N}$ is a poset on 4 distinct elements $\{p_1,p_2,q_1,q_2\}$ for which $p_1 < q_1$, $p_2 < q_1$ and $p_2 < q_2$.
(iv) We also prove exact results for the maximum number of $2$-chains in a family that has no $5$-path and asymptotic estimates for the number of $2$-chains in a family with no $6$-path.
Ramsey Properties for $V$-shaped Posets in the Boolean Lattices
Published
• View Publication
• BIB
Given posets $\mathbf{P}_1,\mathbf{P}_2,\ldots,\mathbf{P}_k$, let the {\em Boolean Ramsey number} $R(\mathbf{P}_1,\mathbf{P}_2,\ldots,\mathbf{P}_k)$ be the minimum number $n$ such that no matter how we color the elements in the Boolean lattice $\mathbf{B}_n$ with $k$ colors, there always exists a poset $\mathbf{P}_i$ contained in $\mathbf{B}_n$ whose elements are all colored with $i$. This function was first introduced by Axenovich and Walzer~\cite{AW}. Recently, many results on determining $R(\mathbf{B}_m,\mathbf{B}_n)$ have been published. In this paper, we will study the function $R(\mathbf{P}_1,\mathbf{P}_2,\ldots,\mathbf{P}_k)$ for each $\mathbf{P}_i$'s being the $V$-shaped poset. That is, a poset obtained by identifying the minimal elements of two chains.
Another major result presented in the paper is to determine the minimal posets $\mathbf{Q}$ contained in $\mathbf{B}_n$, when $R(\mathbf{P}_1,\mathbf{P}_2,\ldots,\mathbf{P}_k)=n$ is determined, having the Ramsey property described in the previous paragraph.
In addition, we define the {\em Boolean rainbow Ramsey number} $RR(\mathbf{P},\mathbf{Q})$ the minimum number $n$ such that when arbitrarily coloring the elements in $\mathbf{B}_n$, there always exists either a monochromatic $\mathbf{P}$ or a rainbow $\mathbf{Q}$ contained in $\mathbf{B}_n$. The upper bound for $RR(\mathbf{P},\mathbf{A}_k)$ was given by Chang, Li, Gerbner, Methuku, Nagy, Patkos, and Vizer for general poset $\mathbf{P}$ and $k$-element antichain $\mathbf{A}_k$. We study the function for $\mathbf{P}$ being the $V$-shaped posets in this paper as well.
Alternating sign matrices and Verma modules
Published
• View Publication
• BIB
We show that the poset of alternating sign matrices, with Bruhat order, is isomorphic to the poset of certain submodules of the dominant Verma module for the special linear Lie algebra $\frak{sl}_n$. The latter poset consists of the intersections of Verma submodules and can also be defined in terms of a Kazhdan-Lusztig cell.
Stable sets of contracts in two-sided markets
We revisit the problem of existence of stable systems of contracts with arbitrary sets of contracts. We show that stable sets of contracts exists if choices of agents satisfy path-independence. We call such choice functions Plott functions. Our proof is based on application of Zorn lemma to a special poset of semi-stable pairs. Moreover, we construct a dynamic process on the poset (generalizing algorithm Gale and Shapley) steady states of which are stable sets.
In Appendix we discuss Lehmann hyper-orders and establish a bijection between the set of Lehmann hyper-orders and the set of Plott functions.
Proper Lie automorphisms of incidence algebras
Published
• View Publication
• BIB
Let $X$ be a finite connected poset and $K$ a field. We study the question, when all Lie automorphisms of the incidence algebra $I(X,K)$ are proper. Without any restriction on the length of $X$ we find only a sufficient condition involving certain equivalence relation on the set of maximal chains of $X$. For some classes of posets of length one, such as finite connected crownless posets (i.e., without weak crown subposets), crowns and ordinal sums of two antichains we give a complete answer.
Counting weighted maximal chains in the circular Bruhat order
Published
• View Publication
• BIB
The totally nonnegative Grassmannian $\mathrm{Gr}(k,n)_{\geq0}$ is the subset of the real Grassmannian $\mathrm{Gr}(k,n)$ consisting of points with all nonnegative Plücker coordinates. The circular Bruhat order is a poset isomorphic to the face poset of A. Postnikov's (2005) positroid cell decomposition of $\mathrm{Gr}(k,n)_{\geq0}$. We provide a closed formula for the sum of its weighted chains in the spirit of J. Stembridge (2002).
Multipath cohomology of directed graphs
Published in Algebr. Geom. Topol. 24 (2024) 4373-4421
• View Publication
• BIB
This work is part of a series of papers focusing on multipath cohomology of directed graphs. Multipath cohomology is defined as the (poset) homology of the path poset -- i.e., the poset of disjoint simple paths in a graph -- with respect to a certain functor. This construction is essentially equivalent, albeit more computable, to taking the higher limits of said functor on (a certain modification of) the path poset. We investigate the functorial properties of multipath cohomology. We provide a number of sample computations, show that the multipath cohomology does not vanish on trees, and that, when evaluated at the coherently oriented polygon, it recovers Hochschild homology. Finally, we use the same techniques employed to study the functoriality to investigate the connection with the chromatic homology of (undirected) graphs introduced by L. Helme-Guizon and Y. Rong.
Three families of toric rings arising from posets or graphs with small class groups
Published
• View Publication
• BIB
The main objects of the present paper are (i) Hibi rings (toric rings arising from order polytopes of posets), (ii) stable set rings (toric rings arising from stable set polytopes of perfect graphs), and (iii) edge rings (toric rings arising from edge polytopes of graphs satisfying the odd cycle condition). The goal of the present paper is to analyze those three toric rings and to discuss their structures in the case where their class groups have small rank. We prove that the class groups of (i), (ii) and (iii) are torsionfree. More precisely, we give descriptions of their class groups. Moreover, we characterize the posets or graphs whose associated toric rings have rank $1$ or $2$. By using those characterizations, we discuss the differences of isomorphic classes of those toric rings with small class groups.
Groups generated by involutions, numberings of posets, and central measures
Published in Russian Math Surv. vol 76, #4 (2021) 143-144
• View Publication
• BIB
We define a new class of countable groups, which are defined by its action on the set of monotonic numberings (diagrams) of an arbitrary finite or countable partial ordered set (poset). These groups are generated by the set of involutions? and in the case of finite posets could be considered as generalization of Coxeter's symmetric groups. We discuss the problems concerned to infinite groups jf this type, in particular the problem of the descripton of invariant measures on the space of numberings (central measures)with respect to actions of those groups. The probelms are tightly connected with the new theory of representations of the generalizations of infinite symmetric group.