poset ↗ reference
2216 papers tagged with this keyword
Local $h$-polynomials, invariants of subdivisions, and mixed Ehrhart theory
Published in Adv. Math. 286 (2016), 181-239
• View Publication
• BIB
There are natural polynomial invariants of polytopes and lattice polytopes coming from enumerative combinatorics and Ehrhart theory, namely the $h$- and $h^*$-polynomials, respectively. In this paper, we study their generalization to subdivisions and lattice subdivisions of polytopes. By abstracting constructions in mixed Hodge theory, we introduce multivariable polynomials which specialize to the $h$-, $h^*$- polynomials. These polynomials, the mixed $h$-polynomial and the (refined) limit mixed $h^*$-polynomial have rich symmetry, non-negativity, and unimodality properties, which both refine known properties of the classical polynomials, and reveal new structure. For example, we prove a lower bound theorem for a related invariant called the local $h^*$-polynomial. We introduce our polynomials by developing a very general formalism for studying subdivisions of Eulerian posets that extends the work of Stanley, Brenti and Athanasiadis on local $h$-vectors. In particular, we prove a conjecture of Nill and Schepers, and answer a question of Athanasiadis.
On the representation of finite distributive lattices
A simple but elegant result of Rival states that every sublattice $L$ of a finite distributive lattice $\mathcal{P}$ can be constructed from $\mathcal{P}$ by removing a particular family $\mathcal{I}_L$ of its irreducible intervals.
Applying this in the case that $\mathcal{P}$ is a product of a finite set $\mathcal{C}$ of chains, we get a one-to-one correspondence $L \mapsto \mathcal{D}_\mathcal{P}(L)$ between the sublattices of $\mathcal{P}$ and the preorders spanned by a canonical sublattice $\mathcal{C}^\infty$ of $\mathcal{P}$.
We then show that $L$ is a tight sublattice of the product of chains $\mathcal{P}$ if and only if $\mathcal{D}_\mathcal{P}(L)$ is asymmetric. This yields a one-to-one correspondence between the tight sublattices of $\mathcal{P}$ and the posets spanned by its poset $J(\mathcal{P})$ of non-zero join-irreducible elements.
With this we recover and extend, among other classical results, the correspondence derived from results of Birkhoff and Dilworth, between the tight embeddings of a finite distributive lattice $L$ into products of chains, and the chain decompositions of its poset $J(L)$ of non-zero join-irreducible elements.
Antichains in weight posets associated with gradings of simple Lie algebras
Published
• View Publication
• BIB
For a reductive Lie algebra $\mathfrak h$ and a simple finite-dimensional $\mathfrak h$-module $V$, the set of weights of $V$, $P(V)$, has a natural poset structure. We consider antichains in the weight poset $P(V)$ and a certain operator $\mathfrak X$ acting on antichains. Eventually, we impose stronger constraints on $(\mathfrak h,V)$ and stick to the case in which $\mathfrak h$ and $V$ are associated with a $Z$-grading of a simple Lie algebra $\mathfrak g$. Then $V$ is a weight multiplicity free $\mathfrak h$-module and $P(V)$ can be regarded as a subposet of $Δ^+$, where $Δ$ is the root system of $\mathfrak g$. Our goal is to demonstrate that antichains in the weight posets associated with $Z$-gradings of $\mathfrak g$ exhibit many good properties similar to those of $Δ^+$ that are observed earlier in arXiv: math.CO 0711.3353 (=Ref. [14] in the text).
On Structural Decompositions of Finite Frames
Published
• View Publication
• BIB
A frame in an $n$-dimensional Hilbert space $H_n$ is a possibly redundant collection of vectors $\{f_i\}_{i\in I}$ that span the space. A tight frame is a generalization of an orthonormal basis. A frame $\{f_i\}_{i\in I}$ is said to be scalable if there exist nonnegative scalars $\{c_i\}_{i\in I}$ such that $\{c_if_i\}_{i\in I}$ is a tight frame. In this paper we study the combinatorial structure of frames and their decomposition into tight or scalable subsets by using partially-ordered sets (posets). We define the factor poset of a frame $\{f_i\}_{i\in I}$ to be a collection of subsets of $I$ ordered by inclusion so that nonempty $J\subseteq I$ is in the factor poset if and only if $\{f_j\}_{j\in J}$ is a tight frame for $H_n$. A similar definition is given for the scalability poset of a frame. We prove conditions which factor posets satisfy and use these to study the inverse factor poset problem, which inquires when there exists a frame whose factor poset is some given poset $P$. We determine a necessary condition for solving the inverse factor poset problem in $H_n$ which is also sufficient for $H_2$. We describe how factor poset structure of frames is preserved under orthogonal projections. We also consider the enumeration of the number of possible factor posets and bounds on the size of factors posets. We then turn our attention to scalable frames and present partial results regarding when a frame can be scaled to have a given factor poset.
RNA, local moves on plane trees, and transpositions on tableaux
Published in Involve, a Journal of Mathematics 11:3 (2018), 383-411
• View Publication
• BIB
We define a collection of functions $s_i$ on the set of plane trees (or standard Young tableaux). The functions are adapted from transpositions in the representation theory of the symmetric group and almost form a group action. They were motivated by $\textit{local moves}$ in combinatorial biology, which are maps that represent a certain unfolding and refolding of RNA strands. One main result of this study identifies a subset of local moves that we call $s_i$-local moves, and proves that $s_i$-local moves correspond to the maps $s_i$ acting on standard Young tableaux. We also prove that the graph of $s_i$-local moves is a connected, graded poset with unique minimal and maximal elements. We then extend this discussion to functions $s_i^C$ that mimic reflections in the Weyl group of type $C$. The corresponding graph is no longer connected, but we prove it has two connected components, one of symmetric and the other of asymmetric plane trees. We give open questions and possible biological interpretations.
Applications of Quotient Posets
Published
• View Publication
• BIB
In this paper we consider the characteristic polynomial of not necessarily ranked posets. We do so by allowing the rank to be an arbitrary function from the poset to the nonnegative integers. We will prove two results showing that the characteristic polynomial of a poset has nonnegative integral roots. Our factorization theorems will then be used to show that any interval of the Tamari lattice has a characteristic polynomial which factors in this way. Blass and Sagan's result about LL lattices will also be shown to be a consequence of our factorization theorems. Finally we will use quotient posets to give unified proofs of some classic Möbius function results.
CW posets after the Poincare Conjecture
Anders Bjorner characterized which finite graded partially ordered sets arise as the posets of closure relations on cells of a finite, regular CW complex. His characterization of these "CW posets" required each open interval $(\hat{0},u)$ to have order complex homeomorphic to a sphere of dimension $rk(u)-2$. Work of Danaraj and Klee showed that sufficient conditions were for the poset to be thin and shellable. The proof of the Poincare Conjecture enables the requirement of shellability to be replaced by the homotopy Cohen-Macaulay property. This expands the range of tools that may be used to prove a poset is a CW poset.
Biclosed sets in real hyperplane arrangements
The set of chambers of a real hyperplane arrangement may be ordered by separation from some fixed chamber. When this poset is a lattice, Bjorner, Edelman, and Ziegler proved that the chambers are in natural bijection with the biconvex sets of the arrangement. Two families of examples of arrangements with a lattice of chambers are simplicial and supersolvable arrangements. For these arrangements, we prove that the chambers correspond to biclosed sets, a weakening of the biconvex property.
On-line coloring between two lines
We study on-line colorings of certain graphs given as intersection graphs of objects "between two lines", i.e., there is a pair of horizontal lines such that each object of the representation is a connected set contained in the strip between the lines and touches both. Some of the graph classes admitting such a representation are permutation graphs (segments), interval graphs (axis-aligned rectangles), trapezoid graphs (trapezoids) and cocomparability graphs (simple curves). We present an on-line algorithm coloring graphs given by convex sets between two lines that uses $O(ω^3)$ colors on graphs with maximum clique size $ω$.
In contrast intersection graphs of segments attached to a single line may force any on-line coloring algorithm to use an arbitrary number of colors even when $ω=2$.
The {\em left-of} relation makes the complement of intersection graphs of objects between two lines into a poset. As an aside we discuss the relation of the class $\mathcal{C}$ of posets obtained from convex sets between two lines with some other classes of posets: all $2$-dimensional posets and all posets of height $2$ are in $\mathcal{C}$ but there is a $3$-dimensional poset of height $3$ that does not belong to $\mathcal{C}$.
We also show that the on-line coloring problem for curves between two lines is as hard as the on-line chain partition problem for arbitrary posets.
Exact forbidden subposet results using Chain decompositions of the Cycle
Published
• View Publication
• BIB
We introduce a method of decomposing the family of intervals along a cyclic permutation into chains to determine the size of the largest family of subsets of $[n]:= \{1,2,...,n\}$ not containing one or more given posets as a subposet. De Bonis, Katona and Swanepoel determined the size of the largest butterfly-free family. We strengthen this result by showing that, for certain posets containing the butterfly poset as a subposet, the same bound holds. We also obtain the corresponding LYM-type inequalities.
Marked poset polytopes: Minkowski sums, indecomposables, and unimodular equivalence
Published
• View Publication
• BIB
We analyze marked poset polytopes and generalize a result due to Hibi and Li, answering whether the marked chain polytope is unimodular equivalent to the marked order polytope. Both polytopes appear naturally in the representation theory of semi-simple Lie algebras, and hence we can give a necessary and sufficient condition on the marked poset such that the associated toric degenerations of the corresponding partial flag variety are isomorphic.
We further show that the set of lattice points in such a marked poset polytope is the Minkowski sum of sets of lattice points for 0-1 polytopes. Moreover, we provide a decomposition of the marked poset into indecomposable marked posets, which respects this Minkowski sum decomposition for the marked chain polytopes polytopes.
Vincular pattern posets and the Möbius function of the quasi-consecutive pattern poset
Published
• View Publication
• BIB
We introduce vincular pattern posets, then we consider in particular the quasi-consecutive pattern poset, which is defined by declaring $σ\leq τ$ whenever the permutation $τ$ contains an occurrence of the permutation $σ$ in which all the entries are adjacent in $τ$ except at most the first and the second. We investigate the Möbius function of the quasi-consecutive pattern poset and we completely determine it for those intervals $[σ,τ]$ such that $σ$ occurs precisely once in $τ$.
On homology of finite topological spaces
Published in Topology and its Applications 217 (2017), 1-19
• View Publication
• BIB
We develop a new method to compute the homology groups of finite topological spaces (or equivalently of finite partially ordered sets) by means of spectral sequences giving a complete and simple description of the corresponding differentials. Our method proves to be powerful and involves far fewer computations than the standard one. We derive many applications of our technique which include a generalization of Hurewicz theorem for regular CW-complexes, results in homological Morse theory and formulas to compute the Möbius function of posets.
Block Circulant Graphs and the Graphs of Critical Pairs of a Crown
In this paper, we provide a natural bijection between a special family of block circulant graphs and the graphs of critical pairs of the posets known as generalized crowns. In particular, every graph in this family of block circulant graphs we investigate has a generating block row that follows a symmetric growth pattern of the all ones matrix. The natural bijection provides an upper bound on the chromatic number for this infinite family of graphs.
Möbius Polynomials of Face Posets of Convex Polytopes
Published in Communications in Algebra 2016 44(11):4945-4972
• View Publication
• BIB
The Möbius polynomial is an invariant of ranked posets, closely related to the Möbius function. In this paper, we study the Möbius polynomial of face posets of convex polytopes. We present formulas for computing the Möbius polynomial of the face poset of a pyramid or a prism over an existing polytope, or of the gluing of two or more polytopes in terms of the Möbius polynomials of the original polytopes. We also present general formulas for calculating Möbius polynomials of face posets of simplicial polytopes and of Eulerian posets in terms of their $f$-vectors and some additional constraints.
Some Instances of Homomesy Among Ideals of Posets
Published
• View Publication
• BIB
Given a permutation $τ$ defined on a set of combinatorial objects $S$, together with some statistic $f:S\rightarrow \mathbb{R}$, we say that the triple $\langle S, τ,f \rangle$ exhibits homomesy if $f$ has the same average along all orbits of $τ$ in $S$. This phenomenon was noticed by Panyushev (2007) and later studied, named and extended by Propp and Roby (2013). After Propp and Roby's paper, homomesy has received a lot of attention and a number of mathematicians are intrigued by it. While seeming ubiquitous, homomesy is often surprisingly non-trivial to prove. Propp and Roby studied homomesy in the set of ideals in the product of two chains, with two well known permutations, rowmotion and promotion, the statistic being the size of the ideal. In this paper we extend their results to generalized rowmotion and promotion together with a wider class of statistics in product of two chains .
Moreover, we derive some homomesy results in posets of type A and B. We believe that the framework that we set up can be used to prove similar results in wider classes of posets.
An easy subexponential bound for online chain partitioning
Published
• View Publication
• BIB
Bosek and Krawczyk exhibited an online algorithm for partitioning an online poset of width $w$ into $w^{14\lg w}$ chains. We improve this to $w^{6.5 \lg w + 7}$ with a simpler and shorter proof by combining the work of Bosek & Krawczyk with work of Kierstead & Smith on First-Fit chain partitioning of ladder-free posets. We also provide examples illustrating the limits of our approach.
Backward jeu de taquin slides for composition tableaux and a noncommutative Pieri rule
Published
• View Publication
• BIB
We give a backward jeu de taquin slide analogue on semistandard reverse composition tableaux. These tableaux were first studied by Haglund, Luoto, Mason and van Willigenburg when defining quasisymmetric Schur functions. Our algorithm for performing backward jeu de taquin slides on semistandard reverse composition tableaux results in a natural operator on compositions that we call the jdt operator. This operator in turn gives rise to a new poset structure on compositions whose maximal chains we enumerate. As an application, we also give a noncommutative Pieri rule for noncommutative Schur functions that uses the jdt operators.
A Preliminary Report on Scarf Complexes of Posets
The Scarf complex for lattices is well understood and utilized. In 2014, the author expanded the use of the term Scarf complex to encompass an infinite set in $\mathbb{Z}^n$ that was generated via an action of a lattice $Λ\in\mathbb{Z}^n$ upon a finite subset $A\subset\mathbb{N}^n$. This paper aims to further generalize the use of Scarf complex by removing the integer lattice completely while maintaining the essence of the Scarf complex.
Cyclic inclusion-exclusion
Published in Siam J. Disc. Math., 29 (4), pp. 2284-2311, 2015
• Search Publication
Following the lead of Stanley and Gessel, we consider a morphism which associates to an acyclic directed graph (or a poset) a quasi-symmetric function. The latter is naturally defined as multivariate generating series of non-decreasing functions on the graph. We describe the kernel of this morphism, using a simple combinatorial operation that we call cyclic inclusion-exclusion. Our result also holds for the natural noncommutative analog and for the commutative and noncommutative restrictions to bipartite graphs. An application to the theory of Kerov character polynomials is given.