poset ↗ reference
2264 papers tagged with this keyword
Set of independencies and Tutte polynomial of matroids over a domain
In this work, we study matroids over a domain and several classical combinatorial and algebraic invariants related. We define their Grothendieck-Tutte polynomial $T_{\mathcal{M}}(x,y)$, extending the definition given by Fink and Moci in 2016, and we show that such polynomial has the classical deletion-contraction property.
Moreover, we study the set of independencies for a realizable matroid over a domain, generalizing the definition of \emph{poset of torsions} $Gr(\mathcal{M})$ given by the second author in 2017. This is a union of identical simplicial posets as for (quasi-)arithmetic matroids. The new notions harmonize naturally through the face module $N_\mathcal{M}$ of the matroid over a domain.
Whenever $Gr(\mathcal{M})$ is a finite poset, the Hilbert series $N_\mathcal{M}(t)$ of its face module is a specialization of the Tutte polynomial $T_{\mathcal{M}}(x,y)$. Further, for arrangements of codimension-one abelian subvarities of an elliptic curve admitting complex multiplication, we extend certain results of Bibby and we provide an algebraic interpretation of the elliptic Tutte polynomial.
Tree Descent Polynomials: Unimodality and Central Limit Theorem
Published
• View Publication
• BIB
For a poset whose Hasse diagram is a rooted plane forest $F$, we consider the corresponding tree descent polynomial $A_F(q)$, which is a generating function of the number of descents of the labelings of $F$. When the forest is a path, $A_F(q)$ specializes to the classical Eulerian polynomial. We prove that the coefficient sequence of $A_F(q)$ is unimodal and that if $\{T_{n}\}$ is a sequence of trees with $|T_{n}| = n$ and maximal down degree $D_{n} = O(n^{0.5-ε})$ then the number of descents in a labeling of $T_{n}$ is asymptotically normal.
Random shuffles on trees using extended promotion
Published in Internat. J. Algebra Comput. 29 (2019), 561-580
• Search Publication
The Tsetlin library is a very well studied model for the way an arrangement of books on a library shelf evolves over time. One of the most interesting properties of this Markov chain is that its spectrum can be computed exactly and that the eigenvalues are linear in the transition probabilities. In this paper we consider a generalization which can be interpreted as a self-organizing library in which the arrangements of books on each shelf are restricted to be linear extensions of a fixed poset. The moves on the books are given by the extended promotion operators of Ayyer, Klee, and Schilling while the shelves, bookcases, etc. evolve according to the move-to-back moves as in the the self-organizing library of Björner. We show that the eigenvalues of the transition matrix of this Markov chain are $\pm 1$ integer combinations of the transition probabilities if the posets that prescribe the restrictions on the book arrangements are rooted forests or more generally, if they consist of ordinal sums of a rooted forest and so called ladders. For some of the results we show that the monoids generated by the moves are either $\mathcal{R}$-trivial or, more generally, in $\textbf{DO(Ab)}$ and then we use the theory of left random walks on the minimal ideal of such monoids to find the eigenvalues. Moreover, in order to give a combinatorial description of the eigenvalues in the more general case, we relate the eigenvalues when the restrictions on the book arrangements change only by allowing for one additional transposition of two fixed books.
Modules over posets: commutative and homological algebra
The commutative and homological algebra of modules over posets is developed, as closely parallel as possible to the algebra of finitely generated modules over noetherian commutative rings, in the direction of finite presentations, primary decompositions, and resolutions. Interpreting this finiteness in the language of derived categories of subanalytically constructible sheaves proves two conjectures due to Kashiwara and Schapira concerning sheaves with microsupport in a given cone. The motivating case is persistent homology of arbitrary filtered topological spaces, especially the case of multiple real parameters. The algebraic theory yields computationally feasible, topologically interpretable data structures, in terms of birth and death of homology classes, for persistent homology indexed by arbitrary posets. The exposition focuses on the nature and ramifications of a suitable finiteness condition to replace the noetherian hypothesis. The tameness condition introduced for this purpose captures finiteness for variation in families of vector spaces indexed by posets in a way that is characterized equivalently by distinct topological, algebraic, combinatorial, and homological manifestations. Tameness serves both the theoretical and computational purposes: it guarantees finite primary decompositions, as well as various finite presentations and resolutions all related by a syzygy theorem, and the data structures thus produced are computable in addition to being interpretable. The tameness condition and its resulting theory are new even in the finitely generated discrete setting, where being tame is materially weaker than being noetherian.
Cayley posets
Published
• View Publication
• BIB
We introduce Cayley posets as posets arising naturally from pairs $S<T$ of semigroups, much in the same way that Cayley graph arises from a (semi)group and a subset. We show that Cayley posets are a common generalization of several known classes of posets, e.g. posets of numerical semigroups (with torsion) and more generally affine semigroups. Furthermore, we give Sabidussi-type characterizations for Cayley posets and for several subclasses in terms of their endomorphism monoid. We show that large classes of posets are Cayley posets, e.g., series-parallel posets and (generalizations of) join-semilattices, but also provide examples of posets which cannot be represented this way. Finally, we characterize (locally finite, with a finite number of atoms) auto-equivalent posets - a class that generalizes a recently introduced notion for numerical semigroups - as those posets coming from a finitely generated submonoid of an abelian group.
Real polynomials with constrained real divisors. I. Fundamental groups
Published
• View Publication
• BIB
In the late 80s, V.~Arnold and V.~Vassiliev initiated the topological study of the space of real univariate polynomials of a given degree d and with no real roots of multiplicity exceeding a given positive integer. Expanding their studies, we consider the spaces of real monic univariate polynomials of degree d whose real divisors avoid sequences of root multiplicities taken from a given poset of compositions which is closed under certain natural combinatorial operations. In this paper, we concentrate on the fundamental group of such spaces. We find explicit presentations for the fundamental groups in terms of generators and relations and show that in a number of cases they are free with rank bounded from above by a quadratic function in d. We also show that the fundamental group stabilizes for d large. We further show that the fundamental groups admit an interpretation as special bordisms of immersions of 1-manifolds into the cylinder S^1 \times R, whose images avoid the tangency patterns from the poset with respect to the generators of the cylinder.
The index of Lie poset algebras
Published
• View Publication
• BIB
We provide general closed-form formulas for the index of type-A Lie poset algebras corresponding to posets of restricted height. Furthermore, we provide a combinatorial recipe for constructing all posets corresponding to type-A Frobenius Lie poset algebras of heights zero, one, and two. A finite Morse theory argument establishes that the simplicial realization of such posets is contractible. It then follows, from a recent theorem of Coll and Gerstenhaber, that the second Lie cohomology group of the corresponding Lie poset algebra with coefficients in itself is zero. Consequently, the Lie poset algebra is absolutely rigid and cannot be deformed. We also provide matrix representations for Lie poset algebras in the other classical types. By so doing, we are able to give examples of deformable Lie algebras which are both solvable and Frobenius. This resolves a question of Gerstenhaber and Giaquinto about the existence of such algebras.
Strong G-schemes and strict homomorphisms
Let $\mathfrak{P}_r$ be a representation system of the non-isomorphic finite posets, and let ${\cal H}(P,Q)$ be the set of order homomorphisms from $P$ to $Q$. For finite posets $R$ and $S$, we write $R \sqsubseteq_G S$ iff, for every $P \in \mathfrak{P}_r$, a one-to-one mapping $ρ_P : {\cal H}(P,R) \rightarrow {\cal H}(P,S)$ exists which fulfills a certain regularity condition. It is shown that $R \sqsubseteq_G S$ is equivalent to $\# {\cal S}(P,R) \leq \# {\cal S}(P,S)$ for every finite posets $P$, where ${\cal S}(P,Q)$ is the set of strict order homomorphisms from $P$ to $Q$. In consequence, $\# {\cal S}(P,R) = \# {\cal S}(P,S)$ holds for every finite posets $P$ iff $R$ and $S$ are isomorphic. A sufficient condition is derived for $R \sqsubseteq_G S$ which needs the inspection of a finite number of posets only. Additionally, a method is developed which facilitates for posets $P + Q$ (direct sum) the construction of posets $T$ with $P + Q \sqsubseteq_G A + T$, where $A$ is a convex subposet of $P$.
Calculation Rules and Cancellation Rules for Strong Hom-Schemes
Let ${\cal H}(A,B)$ denote the set of homomorphisms from the poset $A$ to the poset $B$. In previous studies, the author has started to analyze what it is in the structure of finite posets $R$ and $S$ that results in $# {\cal H}(P,R) \leq # {\cal H}(P,S)$ for every finite poset $P$, if additional regularity conditions are imposed. In the present paper, it is examined if this relation (with or without regularity conditions) is compatible with the operations of order arithmetic and if cancellation rules hold.
New Invariants for Permutations, Orders and Graphs
Published in Adv. Appl. Math. 121 (2020), 102080
• View Publication
• BIB
We study the symmetric function and polynomial combinatorial invariants of Hopf algebras of permutations, posets and graphs. We investigate their properties and the relations among them. In particular, we show that the chromatic symmetric function and many other invariants have a property we call positively $h$-alternating. This property of positively $h$-alternating leads to Schur positivity and $e$-positivity when applying the operator $\nabla$ at $q=1$. We conclude by showing that the invariants we consider can be expressed as scheduling problems.
Representations of torsion-free arithmetic matroids
Published in European Journal of Combinatorics Volume 93, March 2021
• View Publication
• BIB
We study the representability problem for torsion-free arithmetic matroids. By using a new operation called "reduction" and a "signed Hermite normal form", we provide and implement an algorithm to compute all the representations, up to equivalence. As an application, we disprove two conjectures about the poset of layers and the independence poset of a toric arrangement.
Improved bounds for induced poset saturation
Published
• View Publication
• BIB
Given a finite poset $\mathcal{P}$, a family $\mathcal{F}$ of elements in the Boolean lattice is induced-$\mathcal{P}$-saturated if $\mathcal{F}$ contains no copy of $\mathcal{P}$ as an induced subposet but every proper superset of $\mathcal{F}$ contains a copy of $\mathcal{P}$ as an induced subposet. The minimum size of an induced-$\mathcal{P}$-saturated family in the $n$-dimensional Boolean lattice, denoted $\operatorname{sat}^*(n,\mathcal{P})$, was first studied by Ferrara et al. (2017).
Our work focuses on strengthening lower bounds. For the 4-point poset known as the diamond, we prove $\operatorname{sat}^*(n,\mathcal{D}_2)\geq\sqrt{n}$, improving upon a logarithmic lower bound. For the antichain with $k+1$ elements, we prove $\operatorname{sat}^*(n,\mathcal{A}_{k+1})\geq (1-o_k(1))\frac{kn}{\log_2 k}$, improving upon a lower bound of $3n-1$ for $k\geq 3$.
On the Boundaries of the m=2 Amplituhedron
Amplituhedra $\mathcal{A}_{n,k}^{(m)}$ are geometric objects of great interest in modern mathematics and physics: for mathematicians they are combinatorially rich generalizations of polygons and polytopes, based on the notion of positivity; for physicists, the amplituhedron $\mathcal{A}^{(4)}_{n,k}$ encodes the scattering amplitudes of the planar $\mathcal{N}=4$ super Yang-Mills theory. In this paper we study the structure of boundaries for the amplituhedron $\mathcal{A}_{n,k}^{(2)}$. We classify all boundaries of all dimensions and provide their graphical enumeration. We find that the boundary poset for the amplituhedron is Eulerian and show that the Euler characteristic of the amplituhedron equals one. This provides an initial step towards proving that the amplituhedron for $m=2$ is homeomorphic to a closed ball.
Proof of the $K(π,1)$ conjecture for affine Artin groups
Published in Inventiones mathematicae (2020)
• View Publication
• BIB
We prove the $K(π,1)$ conjecture for affine Artin groups: the complexified complement of an affine reflection arrangement is a classifying space. This is a long-standing problem, due to Arnol'd, Pham, and Thom. Our proof is based on recent advancements in the theory of dual Coxeter and Artin groups, as well as on several new results and constructions. In particular: we show that all affine noncrossing partition posets are EL-shellable; we use these posets to construct finite classifying spaces for dual affine Artin groups; we introduce new CW models for the orbit configuration spaces associated with arbitrary Coxeter groups; we construct finite classifying spaces for the braided crystallographic groups introduced by McCammond and Sulway.
Dual graphs from noncommutative and quasisymmetric Schur functions
Published
• View Publication
• BIB
By establishing relations between operators on compositions, we show that the posets of compositions arising from the right and left Pieri rules for noncommutative Schur functions can each be endowed with both the structure of dual graded graphs and dual filtered graphs when paired with the poset of compositions arising from the Pieri rules for quasisymmetric Schur functions and its deformation.
Enriched set-valued P-partitions and shifted stable Grothendieck polynomials
Published in Math. Z. 299 (2021), 1929-1972
• View Publication
• BIB
We introduce an enriched analogue of Lam and Pylyavskyy's theory of set-valued $P$-partitions. An an application, we construct a $K$-theoretic version of Stembridge's Hopf algebra of peak quasisymmetric functions. We show that the symmetric part of this algebra is generated by Ikeda and Naruse's shifted stable Grothendieck polynomials. We give the first proof that the natural skew analogues of these power series are also symmetric. A central tool in our constructions is a "$K$-theoretic" Hopf algebra of labeled posets, which may be of independent interest. Our results also lead to some new explicit formulas for the involution $ω$ on the ring of symmetric functions.
Amalgamating poset extensions and generating free lattices
Published
• View Publication
• BIB
We investigate connections between the free lattice generated by a poset while preserving certain bounds and the canonical extension of a poset. Explicitly, we describe how the free lattice generated by a poset while preserving certain bounds can be constructed as a colimit of `intermediate structures' as they occur in the construction of a canonical extension of a poset.
P-flag spaces and incidence stratifications
Published in Selecta Mathematica, 27, 72 (2021)
• View Publication
• BIB
For any finite poset P we introduce a homogeneous space as a quotient of the general linear group with the incidence group of P. When P is a chain this quotient is a flag variety; for the trivial poset our construction gives a variety recently introduced in [20]. Moreover we provide decompositions for any set in a projective space, induced by the action of the incidence group of a suitable poset. In the classical cases of Grassmannians and flag varieties we recover, depending on the choice of the poset, the partition into Schubert cells and the matroid strata. Our general framework produces, for the homogeneous spaces corresponding to the trivial posets, a stratification by parking functions.
$DIII$ clan combinatorics for the orthogonal Grassmannian
Borel subgroup orbits of the classical symmetric space $SO_{2n}/GL_n$ are parametrized by $DIII$ $(n,n)$-clans. We group the clans into "sects" corresponding to Schubert cells of the orthogonal Grassmannian, thus providing a cell decomposition for $SO_{2n}/GL_n$. We also compute a recurrence for the rank polynomial of the weak order poset on $DIII$ clans, and then describe explicit bijections between such clans, diagonally symmetric rook placements, certain pairs of minimally intersecting set partitions, and a class of weighted Delannoy paths. Clans of the largest sect are in bijection with fixed-point-free partial involutions.
The fundamental theorem of finite semidistributive lattices
Published in Selecta Math. (N.S.) 27(2021), no.4, Paper No. 59
• View Publication
• BIB
We prove a Fundamental Theorem of Finite Semidistributive Lattices (FTFSDL), modelled on Birkhoff's Fundamental Theorem of Finite Distributive Lattices. Our FTFSDL is of the form "A poset L is a finite semidistributive lattice if and only if there exists a set Sha with some additional structure, such that L is isomorphic to the admissible subsets of Sha ordered by inclusion; in this case, Sha and its additional structure are uniquely determined by L." The additional structure on Sha is a combinatorial abstraction of the notion of torsion pairs from representation theory and has geometric meaning in the case of posets of regions of hyperplane arrangements. We show how the FTFSDL clarifies many constructions in lattice theory, such as canonical join representations and passing to quotients, and how the semidistributive property interacts with other major classes of lattices. Many of our results also apply to infinite lattices.