poset ↗ reference
2264 papers tagged with this keyword
Further Bijections to Pattern-Avoiding Valid Hook Configurations
Published
• View Publication
• BIB
Valid hook configurations are combinatorial objects used to understand West's stack-sorting map. We extend existing bijections corresponding valid hook configurations to intervals in partial orders on Motzkin paths. To enumerate valid hook configurations on $312$-avoiding permutations, we build off of an existing bijection into a Motzkin poset and construct a bijection to certain well-studied closed lattice walks in the first quadrant. We use existing results about these lattice paths to show that valid hook configurations on $312$-avoiding permutations are not counted by a $D$-finite generating function, resolving a question of Defant's, and additionally to compute asymptotics for the number of such configurations. We also extend a bijection of Defant's to a correspondence between valid hook configurations on $132$-avoiding permutations and intervals in the Motzkin-Tamari posets, providing a more elegant proof of Defant's enumeration thereof. To investigate this bijection, we present a number of lemmas about valid hook configurations that are generally applicable and further study the bijections of Defant's.
Cluster algebras and binary subwords
Published in Order (2021)
• View Publication
• BIB
This paper establishes a connection between binary subwords and perfect matchings of a snake graph, an important tool in the theory of cluster algebras. Every binary expansion w can be associated to a piecewise-linear poset P and a snake graph G. We construct a tree structure called the antichain trie which is isomorphic to the trie of subwords introduced by Leroy, Rigo, and Stipulanti. We then present bijections from the subwords of w to the antichains of P and to the perfect matchings of G.
Generating Posets Beyond N
Published
• View Publication
• BIB
We introduce iposets---posets with interfaces---equipped with a novel gluing composition along interfaces and the standard parallel composition. We study their basic algebraic properties as well as the hierarchy of gluing-parallel posets generated from singletons by finitary applications of the two compositions. We show that not only series-parallel posets, but also interval orders, which seem more interesting for modelling concurrent and distributed systems, can be generated, but not all posets. Generating posets is also important for constructing free algebras for concurrent semirings and Kleene algebras that allow compositional reasoning about such systems.
Combinatorics of Euclidean spaces over finite fields
Published
• View Publication
• BIB
The $q$-binomial coefficients are q-analogues of the binomial coefficients, counting the number of $k$-dimensional subspaces in the $n$-dimensional vector space $\mathbb{F}^n_q$ over $\mathbb{F}_{q}$. In this paper, we define a Euclidean analogue of $q$-binomial coefficients as the number of $k$-dimensional subspaces which have an orthonormal basis in the quadratic space $(\mathbb{F}_{q}^{n},x_{1}^{2}+x_{2}^{2}+\cdots+x_{n}^{2})$ using a poset structure on these subspaces. We prove its various combinatorial properties comparing with those of $q$-binomial coefficients. In addition, we formulate the number of subspaces of other quadratic types and study some related properties.
The facial weak order on hyperplane arrangements
Published in Discrete Comput. Geom., 67(1):166-202, 2022
• View Publication
• BIB
We extend the facial weak order from finite Coxeter groups to central hyperplane arrangements. The facial weak order extends the poset of regions of a hyperplane arrangement to all its faces. We provide four non-trivially equivalent definitions of the facial weak order of a central arrangement: (1) by exploiting the fact that the faces are intervals in the poset of regions, (2) by describing its cover relations, (3) using covectors of the corresponding oriented matroid, and (4) using certain sets of normal vectors closely related to the geometry of the corresponding zonotope. Using these equivalent descriptions, we show that when the poset of regions is a lattice, the facial weak order is a lattice. In the case of simplicial arrangements, we further show that this lattice is semidistributive and give a description of its join-irreducible elements. Finally, we determine the homotopy type of all intervals in the facial weak order.
Resolution of ideals associated to subspace arrangements
Published in Alg. Number Th. 16 (2022) 1121-1140
• View Publication
• BIB
Let $I_1,\dots,I_n$ be ideals generated by linear forms in a polynomial ring over an infinite field and let $J = I_1 \cdots I_n$. We describe a minimal free resolution of $J$ and show that it is supported on a polymatroid obtained from the underlying representable polymatroid by means of the so-called Dilworth truncation. Formulas for the projective dimension and Betti numbers are given in terms of the polymatroid as well as a characterization of the associated primes. Along the way we show that $J$ has linear quotients. In fact, we do this for a large class of ideals $J_P$, where $P$ is a certain poset ideal associated to the underlying subspace arrangement.
Enumerative combinatorics of intervals in the Dyck pattern poset
Published
• View Publication
• BIB
We initiate the study of the enumerative combinatorics of the intervals in the Dyck pattern poset. More specifically, we find some closed formulas to express the size of some specific intervals, as well as the number of their covering relations. In most of the cases, we are also able to refine our formulas by rank. We also provide the first results on the Möbius function of the Dyck pattern poset, giving for instance a closed expression for the Möbius function of initial intervals whose maximum is a Dyck path having exactly two peaks.
Existence thresholds and Ramsey properties of random posets
Published
• View Publication
• BIB
Let $\mathcal P(n)$ denote the power set of $[n]$, ordered by inclusion, and let $\mathcal P (n,p)$ denote the random poset obtained from $\mathcal P(n)$ by retaining each element from $\mathcal P (n)$ independently at random with probability $p$ and discarding it otherwise.
Given any fixed poset $F$ we determine the threshold for the property that $\mathcal P(n,p)$ contains $F$ as an induced subposet. We also asymptotically determine the number of copies of a fixed poset $F$ in $\mathcal P(n)$. Finally, we obtain a number of results on the Ramsey properties of the random poset $\mathcal P(n,p)$.
Profinite tree sets
Tree sets are posets with additional structure that generalize tree-like objects in graphs, matroids, or other combinatorial structures. They are a special class of abstract separation systems. We study infinite tree sets and how they relate to the finite tree sets they induce, and obtain a characterization of infinite tree sets in combinatorial terms.
Chromatic Posets
Published
• View Publication
• BIB
In 1995 Stanley introduced the chromatic symmetric function $X_G$ of a graph $G$, whose $e$-positivity and Schur-positivity has been of large interest. In this paper we study the relative $e$-positivity and Schur-positivity between connected graphs on $n$ vertices. We define and investigate two families of posets on distinct chromatic symmetric functions. The relations depend on the $e$-positivity or Schur-positivity of a weighed subtraction between $X_G$ and $X_H$. We find a biconditional condition between $e$-positivity or Schur-positivity and the relation to the complete graph. This gives a new paradigm for $e$-positivity and for Schur-positivity. We show many other interesting properties of these posets including that trees form an independent set and are maximal elements. Additionally, we find that stars are independent elements, the independence number increases as we increase in the poset and that the family of lollipop graphs form a chain.
The Boolean Rainbow Ramsey Number of Antichains, Boolean Posets, and Chains
Published
• View Publication
• BIB
Motivated by the paper of Axenovich and Walzer [2], we study the Ramsey-type problems on the Boolean lattices. Given posets $P$ and $Q$, we look for the smallest Boolean lattice $\mathcal{B}_N$ such that any coloring on elements of $\mathcal{B}_N$ must contain a monochromatic $P$ or a rainbow $Q$. This number $N$ is called the Boolean rainbow Ramsey number of $P$ and $Q$ in the paper.
Particularly, we determine the exact values of the Boolean rainbow Ramsey number for $P$ and $Q$ being the antichains, the Boolean posets, or the chains. From these results, we also give some general upper and lower bounds of the Boolean rainbow Ramsey number for general $P$ and $Q$ in terms of the poset parameters.
Moduli Spaces of Morse Functions for Persistence
Published
• View Publication
• BIB
We consider different notions of equivalence for Morse functions on the sphere in the context of persistent homology, and introduce new invariants to study these equivalence classes. These new invariants are as simple, but more discerning than existing topological invariants, such as persistence barcodes and Reeb graphs. We give a method to relate any two Morse--Smale vector fields on the sphere by a sequence of fundamental moves by considering graph-equivalent Morse functions. We also explore the combinatorially rich world of height-equivalent Morse functions, considered as height functions of embedded spheres in $\mathbf R^3$. Their level-set invariant, a poset generated by nested disks and annuli from levels sets, gives insight into the moduli space of Morse functions sharing the same persistence barcode.
A new sieve for restricted multiset counting
Published in Discrete Mathematics 344, no. 8 (2021): 112487
• View Publication
• BIB
The Li--Wan sieve is extended to multisets when the underlying set is symmetric. The main ingredient of the proof is the Mobius inversion formula on the poset of partitions of $\{1,2,\dots,k\}$ ordered by refinement. As illustrative applications, we investigate the problems of partitions over finite fields and zero-sum multisets over the additive group $\mathbb{Z}/n\mathbb{Z}$. .
Birational and noncommutative lifts of antichain toggling and rowmotion
Published
• View Publication
• BIB
The rowmotion action on order ideals or on antichains of a finite partially ordered set has been studied (under a variety of names) by many authors. Depending on the poset, one finds unexpectedly interesting orbit structures, instances of (small order) periodicity, cyclic sieving, and homomesy. Many of these nice features still hold when the action is extended to $[0,1]$-labelings of the poset or (via detropicalization) to labelings by rational functions (the birational setting).
In this work, we parallel the birational lifting already done for order-ideal rowmotion to antichain rowmotion. We give explicit equivariant bijections between the birational toggle groups and between their respective liftings. We further extend all of these notions to labellings by noncommutative rational functions, setting an unpublished periodicity conjecture of Grinberg in a broader context.
Poset Ramsey Numbers for Boolean Lattices
Published
• View Publication
• BIB
A subposet $Q'$ of a poset $Q$ is a \textit{copy of a poset} $P$ if there is a bijection $f$ between elements of $P$ and $Q'$ such that $x \le y$ in $P$ iff $f(x) \le f(y)$ in $Q'$. For posets $P, P'$, let the \textit{poset Ramsey number} $R(P,P')$ be the smallest $N$ such that no matter how the elements of the Boolean lattice $Q_N$ are colored red and blue, there is a copy of $P$ with all red elements or a copy of $P'$ with all blue elements. Axenovich and Walzer introduced this concept in \textit{Order} (2017), where they proved $R(Q_2, Q_n) \le 2n + 2$ and $R(Q_n, Q_m) \le mn + n + m$, where $Q_n$ is the Boolean lattice of dimension $n$. They later proved $2n \le R(Q_n, Q_n) \le n^2 + 2n$. Walzer later proved $R(Q_n, Q_n) \le n^2 + 1$. We provide some improved bounds for $R(Q_n, Q_m)$ for various $n,m \in \mathbb{N}$. In particular, we prove that $R(Q_n, Q_n) \le n^2 - n + 2$, $R(Q_2, Q_n) \le \frac{5}{3}n + 2$, and $R(Q_3, Q_n) \le \frac{37}{16}n + \frac{39}{16}$. We also prove that $R(Q_2,Q_3) = 5$, and $R(Q_m, Q_n) \le (m - 2 + \frac{9m - 9}{(2m - 3)(m + 1)})n + m + 3$ for all $n \ge m \ge 4$.
A new decomposition of ascent sequences and Euler--Stirling statistics
Published
• View Publication
• BIB
As shown by Bousquet-Mélou--Claesson--Dukes--Kitaev (2010), ascent sequences can be used to encode $({\bf2+2})$-free posets. It is known that ascent sequences are enumerated by the Fishburn numbers, which appear as the coefficients of the formal power series $$\sum_{m=1}^{\infty}\prod_{i=1}^m (1-(1-t)^i).$$ In this paper, we present a novel way to recursively decompose ascent sequences, which leads to: (i) a calculation of the Euler--Stirling distribution on ascent sequences, including the numbers of ascents ($\asc$), repeated entries $(\rep)$, zeros ($\zero$) and maximal entries ($\max$). In particular, this confirms and extends Dukes and Parviainen's conjecture on the equidistribution of $\zero$ and $\max$. (ii) a far-reaching generalization of the generating function formula for $(\asc,\zero)$ due to Jelínek. This is accomplished via a bijective proof of the quadruple equidistribution of $(\asc,\rep,\zero,\max)$ and $(\rep,\asc,\rmin,\zero)$, where $\rmin$ denotes the right-to-left minima statistic of ascent sequences. (iii) an extension of a conjecture posed by Levande, which asserts that the pair $(\asc,\zero)$ on ascent sequences has the same distribution as the pair $(\rep,\max)$ on $({\bf2-1})$-avoiding inversion sequences. This is achieved via a decomposition of $({\bf2-1})$-avoiding inversion sequences parallel to that of ascent sequences.
This work is motivated by a double Eulerian equidistribution of Foata (1977) and a tempting bi-symmetry conjecture, which asserts that the quadruples $(\asc,\rep,\zero,\max)$ and $(\rep,\asc,\max,\zero)$ are equidistributed on ascent sequences.
Garland Recurrences
Partially ordered sets have received much attention in recent years, not just due to their usefulness in combinatorics and abstract algebra, but also due to their practical applications in fields ranging from chemistry to macroeconomics. The garland or double fence $G_N$ is a partially ordered set with $2N$ elements which generalizes the well-known fence or zigzag poset. The main result of this paper is recurrence relations for enumerating the linear extensions of $G_N$. These recurrences were then applied to prove divergence of the standard type $G_N$-generating series. When coded in Python, it provides a fast method for computing $e(G_n)$ for arbitrary $n$. The first 200 terms of this sequence are published online under OEIS A227656.
Free resolutions of function classes via order complexes
Published
• View Publication
• BIB
Function classes are collections of Boolean functions on a finite set, which are fundamental objects of study in theoretical computer science. We study algebraic properties of ideals associated to function classes previously defined by the third author. We consider the broad family of intersection-closed function classes, and describe cellular free resolutions of their ideals by order complexes of the associated posets. For function classes arising from matroids, polyhedral cell complexes, and more generally interval Cohen-Macaulay posets, we show that the multigraded Betti numbers are pure, and are given combinatorially by the Möbius functions. We then apply our methods to derive bounds on the VC dimension of some important families of function classes in learning theory.
New expressions for order polynomials and chromatic polynomials
Published
• View Publication
• BIB
Let $G=(V,E)$ be a simple graph with $V=\{1,2,\cdots,n\}$ and $χ(G,x)$ be its chromatic polynomial. For an ordering $π=(v_1,v_2,\cdots,v_n)$ of elements of $V$, let $δ_G(π)$ be the number of $i$'s, where $1\le i\le n-1$, with either $v_i<v_{i+1}$ or $v_iv_{i+1}\in E$. Let ${\cal W}(G)$ be the set of subsets $\{a,b,c\}$ of $V$, where $a<b<c$, which induces a subgraph with $ac$ as its only edge. We show that ${\cal W}(G)=\emptyset$ if and only if $(-1)^nχ(G,-x)=\sum_π {x+δ_G(π)\choose n}$, where the sum runs over all $n!$ orderings $π$ of $V$. To prove this result, we establish an analogous result on order polynomials of posets and apply Stanley's work on the relation between chromatic polynomials and order polynomials.
Face posets of tropical polyhedra and monomial ideals
Published
• View Publication
• BIB
We exhibit several posets arising from commutative algebra, order theory, tropical convexity as potential face posets of tropical polyhedra, and we clarify their inclusion relations. We focus on monomial tropical polyhedra, and deduce how their geometry reflects properties of monomial ideals. Their vertex-facet lattice is homotopy equivalent to a sphere and encodes the Betti numbers of an associated monomial ideal.