poset ↗ reference
2287 papers tagged with this keyword
On the depth of binomial edge ideals of graphs
Published
• View Publication
• BIB
Let $G$ be a graph on the vertex set $[n]$ and $J_G$ the associated binomial edge ideal in the polynomial ring $S=\mathbb{K}[x_1,\ldots,x_n,y_1,\ldots,y_n]$. In this paper we investigate the depth of binomial edge ideals. More precisely, we first establish a combinatorial lower bound for the depth of $S/J_G$ based on some graphical invariants of $G$. Next, we combinatorially characterize all binomial edge ideals $J_G$ with $\mathrm{depth}\hspace{1.2mm}S/J_G=5$. To achieve this goal, we associate a new poset $\mathcal{M}_G$ with the binomial edge ideal of $G$, and then elaborate some topological properties of certain subposets of $\mathcal{M}_G$ in order to compute some local cohomology modules of $S/J_G$.
Completeness-resolvable graphs
Published
• View Publication
• BIB
Given a connected graph $G=(V(G), E(G))$, the length of a shortest path from a vertex $u$ to a vertex $v$ is denoted by $d(u,v)$. For a proper subset $W$ of $V(G)$, let $m(W)$ be the maximum value of $d(u,v)$ as $u$ ranging over $W$ and $v$ ranging over $V(G)\setminus W$. The proper subset $W=\{w_1,\ldots,w_{|W|}\}$ is a {\em completeness-resolving set} of $G$ if
$$
Ψ_W: V(G)\setminus W \longrightarrow [m(W)]^{|W|},\qquad u\longmapsto (d(w_1,u),\ldots,d(w_{|W|},u))
$$ is a bijection, where
$$
[m(W)]^{|W|}=\{(a_{(1)},\ldots,a_{(|W|)})\mid 1\leq a_{(i)}\leq m(W)\text{ for each }i=1,\ldots,|W|\}.
$$ A graph is {\em completeness-resolvable} if it admits a completeness-resolving set.
In this paper, we first construct the set of all completeness-resolvable graphs by using the edge coverings of some vertices in given bipartite graphs, and then establish posets on some subsets of this set by the spanning subgraph relationship. Based on each poset, we find the maximum graph and give the lower and upper bounds for the number of edges in a minimal graph. Furthermore, minimal graphs satisfying the lower or upper bound are characterized.
Symmetry of Narayana numbers and rowvacuation of root posets
Published in Forum of Mathematics, Sigma 9 (2021) e53
• View Publication
• BIB
For a Weyl group $W$ of rank $r$, the $W$-Catalan number is the number of antichains of the poset of positive roots, and the $W$-Narayana numbers refine the $W$-Catalan number by keeping track of the cardinalities of these antichains. The $W$-Narayana numbers are symmetric, i.e., the number of antichains of cardinality $k$ is the same as the number of cardinality $r-k$. However, this symmetry is far from obvious. Panyushev posed the problem of defining an involution on root poset antichains that exhibits the symmetry of the $W$-Narayana numbers.
Rowmotion and rowvacuation are two related operators, defined as compositions of "toggles," that give a dihedral action on the set of antichains of any ranked poset. Rowmotion acting on root posets has been the subject of a significant amount of research in the recent past. We prove that for the root posets of classical types, rowvacuation is Panyushev's desired involution.
Theorems and Conjectures on Some Rational Generating Functions
Published
• View Publication
• BIB
Let $I_n(x)=\prod_{i=1}^n \left( 1+x^{F_{i+1}}\right)$, where $F_{i+1}$ denotes a Fibonacci number. Let $v_r(n)$ denote the sum of the $r$th powers of the coefficients of $I_n(x)$. Our prototypical result is that $\sum_{n\geq 0} v_2(n)x^n= (1-2x^2)/(1-2x-2x^2+2x^3)$. We give many related results and conjectures. A certain infinite poset $\mathfrak{F}$ is naturally associated with $I_n(x)$. We discuss some combinatorial properties of $\mathfrak{F}$ and a natural generalization, including a symmetric function that encodes the flag $h$-vector of $\mathfrak{F}$.
Classifications of $Γ$-colored minuscule posets and $P$-minuscule Kac--Moody representations
Published in Australasian Journal of Combinatorics 81(3) (2021), 412--446
• Search Publication
The $Γ$-colored $d$-complete and $Γ$-colored minuscule posets unify and generalize multiple classes of colored posets introduced by R.A. Proctor, J.R. Stembridge, and R.M. Green. In previous work, we showed that $Γ$-colored minuscule posets are necessary and sufficient to build from colored posets certain representations of Kac--Moody algebras that generalize minuscule representations of semisimple Lie algebras. In this paper we classify $Γ$-colored minuscule posets, which also classifies the corresponding representations. We show that $Γ$-colored minuscule posets are precisely disjoint unions of colored minuscule posets of Proctor and connected full heaps of Green. Connected finite $Γ$-colored minuscule posets can be realized as certain posets of coroots in the corresponding finite Lie type.
The birational Lalanne-Kreweras involution
Published in Algebraic Combinatorics, Volume 5 (2022) no. 2, pp. 227-265
• View Publication
• BIB
The Lalanne-Kreweras involution is an involution on the set of Dyck paths which combinatorially exhibits the symmetry of the number of valleys and major index statistics. We define piecewise-linear and birational extensions of the Lalanne-Kreweras involution. Actually, we show that the Lalanne-Kreweras involution is a special case of a more general operator, called rowvacuation, which acts on the antichains of any graded poset. Rowvacuation, like the closely related and more studied rowmotion operator, is a composition of toggles. We obtain the piecewise-linear and birational lifts of the Lalanne-Kreweras involution by using the piecewise-linear and birational toggles of Einstein and Propp. We show that the symmetry properties of the Lalanne-Kreweras involution extend to these piecewise-linear and birational lifts.
Gelfand--Tsetlin-type weight bases for all special linear Lie algebra representations corresponding to skew Schur functions
Published
• View Publication
• BIB
We generalize the famous weight basis constructions of the finite-dimensional irreducible representations of $\mathfrak{sl}(n,\mathbb{C})$ obtained by Gelfand and Tsetlin in 1950. Using combinatorial methods, we construct one such basis for each finite-dimensional representation of $\mathfrak{sl}(n,\mathbb{C})$ associated to a given skew Schur function. Our constructions use diamond-colored distributive lattices of skew-shaped semistandard tableaux that generalize some classical Gelfand--Tsetlin (GT) lattices. Our constructions take place within the context of a certain programmatic study of poset models for semisimple Lie algebra representations and Weyl group symmetric functions undertaken by the first-named author and others. Some key aspects of the methodology of that program are recapitulated here. Combinatorial and representation-theoretic applications of our constructions are pursued here and elsewhere.
The structure of generic automorphisms of the random poset
We examine properties of generic automorphisms of the random poset, with the goal of explicitly characterizing them. We associate to each automorphism an auxiliary first-order structure, consisting of the random poset equipped with an infinite sequence of binary relations which encode the action of the automorphism. We then explicitly characterize generic automorphisms in terms of properties of this structure. Two notable such properties are ultrahomogeneity, and universality for a certain class of finite structures in this language. As this auxiliary structure seems to be new, we also address some model-theoretic questions. In particular, this structure fails to be saturated, and its theory neither is $ω$-categorical nor admits quantifier-elimination, in contrast to many known ultrahomogeneous structures in finite languages. We also examine orbitals -- order-convex hulls of orbits -- and their use in describing automorphisms. In particular, we introduce and use new orders on the space of orbitals.
Shellable tilings on relative simplicial complexes and their h-vectors
Published
• View Publication
• BIB
An h-tiling on a finite simplicial complex is a partition of its geometric realization by maximal simplices deprived of several codimension one faces together with possibly their remaining face of highest codimension. In this last case, the tiles are said to be critical. An h-tiling thus induces a partitioning of its face poset by closed or semi-open intervals. We prove the existence of h-tilings on every finite simplicial complex after finitely many stellar subdivisions at maximal simplices. These tilings are moreover shellable. We also prove that the number of tiles of each type used by a tiling, encoded by its h-vector, is determined by the number of critical tiles of each index it uses, encoded by its critical vector. In the case of closed triangulated manifolds, these vectors satisfy some palindromic property. We finally study the behavior of tilings under any stellar subdivision.
Binomial edge ideals of small depth
Published
• View Publication
• BIB
Let $G$ be a graph on $[n]$ and $J_G$ be the binomial edge ideal of $G$ in the polynomial ring $S=\mathbb{K}[x_1,\ldots,x_n,y_1,\ldots,y_n]$. In this paper we investigate some topological properties of a poset associated to the minimal primary decomposition of $J_G$. We show that this poset admits some specific subposets which are contractible. This in turn, provides some interesting algebraic consequences. In particular, we characterize all graphs $G$ for which $\mathrm{depth}\hspace{1.2mm} S/J_G=4$.
On the Möbius function of permutations under the pattern containment order
Published
• View Publication
• BIB
We study several aspects of the Möbius function, $μ[σ,π]$, on the poset of permutations under the pattern containment order.
First, we consider cases where the lower bound of the poset is indecomposable. We show that $μ[σ,π]$ can be computed by considering just the indecomposable permutations contained in the upper bound. We apply this to the case where the upper bound is an increasing oscillation, and give a method for computing the value of the Möbius function that only involves evaluating simple inequalities.
We then consider conditions on an interval which guarantee that the value of the Möbius function is zero. In particular, we show that if a permutation $π$ contains two intervals of length 2, which are not order-isomorphic to one another, then $μ[1,π] = 0$. This allows us to prove that the proportion of permutations of length $n$ with principal Möbius function equal to zero is asymptotically bounded below by $(1-1/e)^2 \ge 0.3995$. This is the first result determining the value of $μ[1,π]$ for an asymptotically positive proportion of permutations $π$.
Following this, we use ''2413-balloon'' permutations to show that the growth of the principal Möbius function on the permutation poset is exponential. This improves on previous work, which has shown that the growth is at least polynomial.
We then generalise 2413-balloon permutations, and find a recursion for the value of the principal Möbius function of these generalisations.
$P$-strict promotion and $B$-bounded rowmotion, with applications to tableaux of many flavors
Published in Combinatorial Theory, Volume 1, 2021
• View Publication
• BIB
We define P-strict labelings for a finite poset P as a generalization of semistandard Young tableaux and show that promotion on these objects is in equivariant bijection with a toggle action on B-bounded Q-partitions of an associated poset Q. In many nice cases, this toggle action is conjugate to rowmotion. We apply this result to flagged tableaux, Gelfand-Tsetlin patterns, and symplectic tableaux, obtaining new cyclic sieving and homomesy conjectures. We also show P-strict promotion can be equivalently defined using Bender-Knuth and jeu de taquin perspectives.
The first higher Stasheff-Tamari orders are quotients of the higher Bruhat orders
Published
• View Publication
• BIB
We prove the conjecture that the higher Tamari orders of Dimakis and Müller-Hoissen coincide with the first higher Stasheff--Tamari orders. To this end, we show that the higher Tamari orders may be conceived as the image of an order-preserving map from the higher Bruhat orders to the first higher Stasheff--Tamari orders. This map is defined by taking the first cross-section of a cubillage of a cyclic zonotope. We provide a new proof that this map is surjective and show further that the map is full, which entails the aforementioned conjecture. We explain how order-preserving maps which are surjective and full correspond to quotients of posets. Our results connect the first higher Stasheff--Tamari orders with the literature on the role of the higher Tamari orders in integrable systems.
The Noncrossing Bond Poset of a Graph
Published in Electronic Journal of Combinatorics (2020) Vol 27, Issue 4
• View Publication
• BIB
The partition lattice and noncrossing partition lattice are well studied objects in combinatorics. Given a graph $G$ on vertex set $\{1,2,\dots, n\}$, its bond lattice, $L_G$, is the subposet of the partition lattice formed by restricting to the partitions whose blocks induce connected subgraphs of $G$. In this article, we introduce a natural noncrossing analogue of the bond lattice, the noncrossing bond poset, $NC_G$, obtained by restricting to the noncrossing partitions of $L_G$.
Both the noncrossing partition lattice and the bond lattice have many nice combinatorial properties. We show that, for several families of graphs, the noncrossing bond poset also exhibits these properties. We present simple necessary and sufficient conditions on the graph to ensure the noncrossing bond poset is a lattice. Additionally, for several families of graphs, we give combinatorial descriptions of the Möbius function and characteristic polynomial of the noncrossing bond poset. These descriptions are in terms of a noncrossing analogue of non-broken circuit (NBC) sets of the graphs and can be thought of as a noncrossing version of Whitney's NBC theorem for the chromatic polynomial. We also consider the shellability and supersolvability of the noncrossing bond poset, providing sufficient conditions for both. We end with some open problems.
Clique complexes of multigraphs, edge inflations, and tournaplexes
Published in Homology, Homotopy and Applications 27:2 (2025), 377-398
• View Publication
• BIB
In this paper we introduce and study the topology of clique complexes of multigraphs without loops. These clique complexes generalize tournaplexes, which were recently introduced by Govc, Levi, and Smith for the topological study of brain functional networks. We study a general construction of edge-inflated simplicial posets, which generalize clique complexes of multigraphs. The poset fiber theorem of Björner, Wachs, and Welker is applied to obtain the homotopy wedge decomposition of an edge-inflated simplicial poset. The homological corollary of this result allows to parallelize the homology computations for edge inflated complexes, in particular, for clique complexes of multigraphs and tournaplexes. We provide functorial versions of some results to be used in computations of persistent homology. Finally, we introduce a general notion of simplex inflations and prove homotopy wedge decompositions for this class of spaces.
The hull metric on Coxeter groups
Published in Combinatorial Theory 2 (2)(2022), #7
• View Publication
• BIB
We reinterpret an inequality, due originally to Sidorenko, for linear extensions of posets in terms of convex subsets of the symmetric group $\mathfrak{S}_n$. We conjecture that the analogous inequalities hold in arbitrary (not-necessarily-finite) Coxeter groups $W$, and prove this for the hyperoctahedral groups $B_n$ and all right-angled Coxeter groups. Our proof for $B_n$ (and new proof for $\mathfrak{S}_n$) use a combinatorial insertion map closely related to the well-studied promotion operator on linear extensions; this map may be of independent interest. We also note that the inequalities in question can be interpreted as a triangle inequalities, so that convex hulls can be used to define a new invariant metric on $W$ whenever our conjecture holds. Geometric properties of this metric are an interesting direction for future research.
Ramsey properties of products of chains
Let $\mathbf{k}$ denote the totally ordered set (or chain) on $k$ elements. The product $\mathbf{k}^t=\mathbf{k}\times\cdots\times\mathbf{k}$ is a poset called a grid. This paper discusses several loosely related results on the Ramsey theory of grids. Most of the results involve some application of the Product Ramsey Theorem.
Germs in a poset
Published
• View Publication
• BIB
Motivated by the theory of correspondence functors, we introduce the notion of {\em germ} in a finite poset, and the notion of {\em germ extension} of a poset. We show that any finite poset admits a largest germ extension called its {\em germ closure}. We say that a subset $U$ of a finite lattice $T$ is {\em germ extensible} in $T$ if the germ closure of $U$ naturally embeds in $T$. We show that any for any subset $S$ of a finite lattice $T$, there is a unique germ extensible subset $U$ of $T$ such that $U\subseteq S\subseteq \overline{G}(U)$, where $\overline{G}(U)\subseteq T$ is the embedding of the germ closure of $U$.
The automorphism group of the random poset does not admit a generic pair
We show that the conjugacy class of every pair of automoprhisms of the random poset is meager. This answers a question of Truss; see also Kuske-Truss.
EDIT. Work in progress, at the moment there is a gap in the proof of Theorem 2.
Optimal labelling schemes for adjacency, comparability, and reachability
Published
• View Publication
• BIB
We construct asymptotically optimal adjacency labelling schemes for every hereditary class containing $2^{Ω(n^2)}$ $n$-vertex graphs as $n\to \infty$. This regime contains many classes of interest, for instance perfect graphs or comparability graphs, for which we obtain an adjacency labelling scheme with labels of $n/4+o(n)$ bits per vertex. This implies the existence of a reachability labelling scheme for digraphs with labels of $n/4+o(n)$ bits per vertex and comparability labelling scheme for posets with labels of $n/4+o(n)$ bits per element. All these results are best possible, up to the lower order term.