arXiv++ Combinatorics

As a common generalization of previously solved optimization problems concerning bipartite stable matchings, we describe a strongly polynomial network flow based algorithm for computing $\ell$ disjoint stable matchings with minimum total cost. The major observation behind the approach is that stable matchings, as edge sets, can be represented as certain cuts of an associated directed graph. This allows us to use results on disjoint cuts directly to answer questions about disjoint stable matchings. We also provide a construction that represents stable matchings as maximum-size antichains in a partially ordered set (poset), which enables us to apply the theorems of Dilworth, Mirsky, Greene and Kleitman directly to stable matchings. Another consequence of these approaches is a min-max formula for the minimum number of stable matchings covering all stable edges.

Let $W$ be a simply laced Weyl group of finite type and rank $n$. If $W$ has type $E_7$, $E_8$, or $D_n$ for $n$ even, then the root system of $W$ has subsystems of type $nA_1$. This gives rise to an irreducible Macdonald representation of $W$ spanned by $n$-roots, which are products of $n$ orthogonal roots in the symmetric algebra of the reflection representation. We prove that in these cases, the set of all maximal sets of orthogonal positive roots has the structure of a quasiparabolic set in the sense of Rains--Vazirani. The quasiparabolic structure can be described in terms of certain quadruples of orthogonal positive roots which we call crossings, nestings, and alignments. This leads to nonnesting and noncrossing bases for the Macdonald representation, as well as some highly structured partially ordered sets. We use the $8$-roots in type $E_8$ to give a concise description of a graph that is known to be non-isomorphic but quantum isomorphic to the orthogonality graph of the $E_8$ root system.

We study a partially ordered set of planar labeled rooted trees by use of combinatorial objects called Dyck tilings. A generating function of the poset is factorized when the minimum element of the poset is $312$-avoiding and satisfies some extra condition. We define a cover relation on rational Dyck tilings by that of labeled trees, and show that increasing and decreasing labelings are dual to each other. We consider two decompositions of a rational $(a,b)$-Dyck tiling: one is into $ab$ Dyck tilings and the other is into $a$ $(1,b)$-Dyck tilings. In the first case, we show that the weight of the $(a,b)$-Dyck tiling is the sum of the weights of $ab$ Dyck tilings. In the second case, we introduce a cover relation on $(1,b)$-Dyck tilings and obtain a poset of $(a,b)$-Dyck tilings by this decomposition.

A graph $G$ is $k$-vertex-critical if $χ(G)=k$ but $χ(G-v)<k$ for all $v\in V(G)$ and $(G,H)$-free if it contains no induced subgraph isomorphic to $G$ or $H$. We show that there are only finitely many $k$-vertex-critical (co-gem, $H$)-free graphs for all $k$ when $H$ is any graph of order $4$ by showing finiteness in the three remaining open cases, those are the cases when $H$ is $2P_2$, $K_3+P_1$, and $K_4$. For the first two cases we actually prove the stronger results: $\bullet$ There are only finitely many $k$-vertex-critical (co-gem, paw$+P_1$)-free graphs for all $k$ and that only finitely many $k$-vertex-critical (co-gem, paw$+P_1$)-free graphs for all $k\ge 1$. $\bullet$ There are only finitely many $k$-vertex-critical (co-gem, $P_5$, $P_3+cP_2$)-free graphs for all $k\ge 1$ and $c\ge 0$. To prove the latter result, we employ a novel application of Sperner's Theorem on the number of antichains in a partially ordered set. Our result for $K_4$ uses exhaustive computer search and is proved by showing the stronger result that every $(\text{co-gem, }K_4)$-free graph is $4$-colourable. Our results imply the existence of simple polynomial-time certifying algorithms to decide the $k$-colourability of (co-gem, $H$)-free graphs for all $k$ and all $H$ of order $4$ by searching the vertex-critical graphs as induced subgraphs.

Generalizing work of Athanasiadis for the Birkhoff polytope and Reiner and Welker for order polytopes, in 2007 Bruns and Römer proved that any Gorenstein lattice polytope with a regular unimodular triangulation admits a regular unimodular triangulation that is the join of a special simplex with a triangulated sphere. These are sometimes referred to as equatorial triangulations. We apply these techniques to give purely combinatorial descriptions of previously-unstudied triangulations of Gorensten flow polytopes. Further, we prove that the resulting equatorial flow polytope triangulations are usually distinct from the family of triangulations obtained by Danilov, Karzanov, and Koshevoy via framings. We find the facet description of the reflexive polytope obtained by projecting a Gorenstein flow polytope along a special simplex. Finally, we show that when a partially ordered set is strongly planar, equatorial triangulations of a related flow polytope can be used to produce new unimodular triangulations of the corresponding order polytope.

In the Grassmannian $Gr_{\mathbb{C}}(k,n)$ we have positroid varieties $Π_f$, each indexed by a bounded affine permutation $f$ and containing torus-fixed points $λ\in Π_f$. In this paper we consider the partially ordered set consisting of quadruples $(k,n,Π_f,λ)$ (or \textit{(positroid) pairs} $(Π_f,λ)$ for short). The partial order is the ordering given by the covering relation $\lessdot$ where $(Π_f',λ') \lessdot (Π_f,λ)$ if $Π_f'$ is obtained by $Π_f$ by \textit{deletion} or \textit{contraction.} Using the results of Snider [2010], we know that positroid varieties can be studied in a neighborhood of each of these points by \textit{affine pipe dreams.} Our main theorem provides a quick test of when a positroid variety is smooth at one of these given points. It is sufficient to test smoothness of a positroid variety by using the main result to test smoothness at each of these points. These results can also be applied to the question of whether Schubert varieties in flag manifolds are smooth at points given by 321-avoiding permutations, as studied in Graham/Kreimer [2020]. We have a secondary result, which describes the minimal singular positroid pairs in our ordering - these are the positroid pairs where any deletion or contraction causes it to become smooth.

We consider the well-studied pattern counting problem: given a permutation $π\in \mathbb{S}_n$ and an integer $k > 1$, count the number of order-isomorphic occurrences of every pattern $τ\in \mathbb{S}_k$ in $π$. Our first result is an $\widetilde{\mathcal{O}}(n^2)$-time algorithm for $k=6$ and $k=7$. The proof relies heavily on a new family of graphs that we introduce, called pattern-trees. Every such tree corresponds to an integer linear combination of permutations in $\mathbb{S}_k$, and is associated with linear extensions of partially ordered sets. We design an evaluation algorithm for these combinations, and apply it to a family of linearly-independent trees. For $k=8$, we show a barrier: the subspace spanned by trees in the previous family has dimension exactly $|\mathbb{S}_8| - 1$, one less than required. Our second result is an $\widetilde{\mathcal{O}}(n^{7/4})$-time algorithm for $k=5$. This algorithm extends the framework of pattern-trees by speeding-up their evaluation in certain cases. A key component of the proof is the introduction of pair-rectangle-trees, a data structure for dominance counting.

Partially ordered sets (posets) play a universal role as an abstract structure in many areas of mathematics. For finite posets, an explicit enumeration of distinct partial orders on a set of unlabelled elements is known only up to a cardinality of 16 (listed as sequence A000112 in the OEIS), but closed expressions are unknown. By considering the automorphisms of (finite) posets, I introduce a formulation of local symmetries. These symmetries give rise to a division operation on the set of posets and lead to the construction of symmetry classes that are easier to characterise and enumerate. Furthermore, we consider polynomial expressions that count certain subsets of posets with a large number of layers (a large height). As an application in physics, local symmetries or rather their absence helps to distinguish causal sets (locally finite posets) that serve as discrete spacetime models from generic causal sets.

We survey some of the mechanisms used to prove that naturally defined sequences in combinatorics are log-concave. Among these mechanisms are Alexandrov's inequality for mixed discriminants, the Alexandrov Fenchel inequality for mixed volumes, Lorentzian polynomials, and the Hard Lefschetz theorem. We use these mechanisms to prove some new log-concavity and extremal results related to partially ordered sets and matroids. We present joint work with Ramon van Handel and Xinmeng Zeng to give a complete characterization for the extremals of the Kahn-Saks inequality. We extend Stanley's inequality for regular matroids to arbitrary matroids using the technology of Lorentzian polynomials. As a result, we provide a new proof of the weakest Mason conjecture. We also prove necessary and sufficient conditions for the Gorenstein ring associated to the basis generating polynomial of a matroid to satisfy Hodge-Riemann relations of degree one on the facets of the positive orthant.

A natural unit interval order is a naturally labelled partially ordered set that avoids patterns ${\bf 3} + {\bf 1}$ and $\bf 2 + 2$. To each natural unit interval order one can associate a symmetric function. The Stanley-Stembridge conjecture states that each such symmetric function is positive in the basis of complete homogenous symmetric functions. This conjecture has connections to cohomology rings of Hessenberg varieties, and to Kazhdan-Lusztig theory. We use a diagrammatic technique to re-prove the special case of the conjecture for unit interval orders additionally avoiding pattern $\bf 2 + 1 + 1$. Originally this special case is due to Gebhard and Sagan.

A simplicial complex is said to be {\em critical} (or {\em forbidden}) for the 3-sphere $S^3$ if it cannot be embedded in $S^3$, but becomes embeddable upon removing the open star of any simplex in its second barycentric subdivision. We show that if a regular multibranched surface cannot be embedded in $S^3$, then it contains a critical complex consisting of a multibranched surface and, possibly, a graph. We classify all critical complexes for $S^3$ that are contained in the $K_5 \times S^1$ and $K_{3,3} \times S^1$ families. Additionally, we classify all critical complexes for $S^3$ that decompose as $(G \times S^1) \cup H$, where $G$ and $H$ are graphs whose intersection $G \cap H$ consists solely of vertices of $H$. Nevertheless, some complexes cannot be embedded in $S^3$ and yet do not contain any critical subcomplex. Motivated by such examples, we define an equivalence relation on the set of simplicial complexes $\mathcal{C}$, leading to a partially ordered set $(\mathcal{C}/\mathord\sim; \subseteqq)$, and refine the definition of critical. According to the refined definition of criticality, we prove that if a 2-dimensional complex $X$ cannot be embedded in $S^3$, then there exists $[X']\subseteqq [X]$ such that $[X']$ is critical for $[S^3]$.

Various authors have calculated how many pairwise incomparable points can be selected from a partially ordered set. We tackle this question for the family of subsets of a finite set obtained by removing or adding a bounded number of elements from a given subset. Our versatile approach is proven valid under the condition of the set size exceeding the cube of the radius.

For any finite partially ordered set $P$, the $P$-Eulerian polynomial is the generating function for the descent number over the set of linear extensions of $P$, and is closely related to the order polynomial of $P$ arising in the theory of $P$-partitions. Here we study the $P$-Eulerian polynomial where $P$ is a naturally labeled zig-zag poset; we call these zig-zag Eulerian polynomials. A result of Brändén implies that these polynomials are gamma-nonnegative, and hence their coefficients are symmetric and unimodal. The zig-zag Eulerian polynomials and the associated order polynomials have appeared fleetingly in the literature in a wide variety of contexts$\unicode{x2014}$e.g., in the study of polytopes, magic labelings of graphs, and Kekulé structures$\unicode{x2014}$but they do not appear to have been studied systematically. In this paper, we use a "relaxed" version of $P$-partitions to both survey and unify results. Our technique shows that the zig-zag Eulerian polynomials also capture the distribution of "big returns" over the set of (up-down) alternating permutations, as first observed by Coons and Sullivant. We develop recurrences for refined versions of the relevant generating functions, which evoke similarities to recurrences for the classical Eulerian polynomials. We conclude with a literature survey and open questions.

We introduce a q-analogue of the classical Zeta polynomial of finite partially ordered sets, as a polynomial in one variable x with coefficients depending on the indeterminate q. We prove some properties of this polynomial invariant, including its behaviour with respect to duality, product and disjoint union. The leading term is a q-analogue of the number of maximal chains, but not always with non-negative coefficients. The value at q=0 turns out to be essentially the characteristic polynomial.

We consider the convex subset $[A,B]$ of all elements between two levels $A$ and $B$ of a finite distributive lattice, as a union of (or covered by) intervals $[a,b]$. A 1988 result of Voigt and Wegener shows that for such convex subsets of finite Boolean lattices, covers using $\max(|A|,|B|)$ intervals (the minimum possible number) exist. In 1992 Bouchemakh and Engel pointed out that this result holds more generally for finite products of finite chains. In this paper we show that covers of size $\max(|A|,|B|)$ exist for $[A,B]$ when $A$ is the set of atoms and $B$ the set of coatoms of any finite distributive lattice. This is a consequence of a more general result for finite partially ordered sets. We also speculate on the situation when other levels of finite distributive lattices are considered, and prove a couple of theorems supporting these speculations.

Using the stratifications of Deligne-Mumford moduli spaces $\overline{\mathcal M}_{g,n}$ indexed by stable graphs, we introduce a partially ordered set of stable graphs by defining a partial ordering on the set of connected stable graphs of genus $g$ with $n$ external edges. By modifying the usual definition of zeta function and Möbius function of a poset, we introduce generalized ($\mathbb Q$-valued) zeta function and generalized ($\mathbb Q$-valued) Möbius function of the poset of stable graphs. We use them to proved a generalized Möbius inversion formula for functions on the poset of stable graphs. Two applications related to duality in earlier work are also presented.

For partially ordered sets $X$ we consider the square matrices $M^{X}$ with rows and columns indexed by linear extensions of the partial order on $X$. Each entry $\left( M^{X}\right)_{PQ}$ is a formal variable defined by a pedestal of the linear order $Q$ with respect to linear order $P$. We show that all the eigenvalues of any such matrix $M^{X}$ are $\mathbb{Z}$-linear combinations of those variables.

We prove that every partially ordered set on $n$ elements contains $k$ subsets $A_{1},A_{2},\dots,A_{k}$ such that either each of these subsets has size $Ω(n/k^{5})$ and, for every $i<j$, every element in $A_{i}$ is less than or equal to every element in $A_{j}$, or each of these subsets has size $Ω(n/(k^{2}\log n))$ and, for every $i \not = j$, every element in $A_{i}$ is incomparable with every element in $A_{j}$ for $i\ne j$. This answers a question of the first author from 2006. As a corollary, we prove for each positive integer $h$ there is $C_h$ such that for any $h$ partial orders $<_{1},<_{2},\dots,<_{h}$ on a set of $n$ elements, there exists $k$ subsets $A_{1},A_{2},\dots,A_{k}$ each of size at least $n/(k\log n)^{C_{h}}$ such that for each partial order $<_{\ell}$, either $a_{1}<_{\ell}a_{2}<_{\ell}\dots<_{\ell}a_{k}$ for any tuple of elements $(a_1,a_2,\dots,a_k) \in A_1\times A_2\times \dots \times A_k$, or $a_{1}>_{\ell}a_{2}>_{\ell}\dots>_{\ell}a_{k}$ for any $(a_1,a_2,\dots,a_k) \in A_1\times A_2\times \dots \times A_k$, or $a_i$ is incomparable with $a_j$ for any $i\ne j$, $a_i\in A_i$ and $a_j\in A_j$. This improves on a 2009 result of Pach and the first author motivated by problems in discrete geometry.

Let $n,k$ denote integers with $n>2k\geq 6$. Let $\mathbb{F}_q$ denote a finite field with $q$ elements, and let $V$ denote a vector space over $\mathbb{F}_q$ that has dimension $n$. The projective geometry $P_q(n)$ is the partially ordered set consisting of the subspaces of $V$; the partial order is given by inclusion. For the Grassmann graph $J_q(n,k)$ the vertex set consists of the $k$-dimensional subspaces of $V$. Two vertices of $J_q(n,k)$ are adjacent whenever their intersection has dimension $k-1$. The graph $J_q(n,k)$ is known to be distance-regular. Let $\partial$ denote the path-length distance function of $J_q(n,k)$. Pick two vertices $x,y$ in $J_q(n,k)$ such that $1<\partial(x,y)<k$. The set $P_q(n)$ contains the elements $x,y,x\cap y,x+y$. In our main result, we describe $x\cap y$ and $x+y$ using only the graph structure of $J_q(n,k)$. To achieve this result, we make heavy use of the Euclidean representation of $J_q(n,k)$ that corresponds to the second largest eigenvalue of the adjacency matrix.

Consider the partially ordered set on $[t]^n:=\{0,\dots,t-1\}^n$ equipped with the natural coordinate-wise ordering. Let $A(t,n)$ denote the number of antichains of this poset. The quantity $A(t,n)$ has a number of combinatorial interpretations: it is precisely the number of $(n-1)$-dimensional partitions with entries from $\{0,\dots,t\}$, and by a result of Moshkovitz and Shapira, $A(t,n)+1$ is equal to the $n$-color Ramsey number of monotone paths of length $t$ in 3-uniform hypergraphs. This has led to significant interest in the growth rate of $A(t,n)$. A number of results in the literature show that $\log_2 A(t,n)=(1+o(1))\cdot α(t,n)$, where $α(t,n)$ is the width of $[t]^n$, and the $o(1)$ term goes to $0$ for $t$ fixed and $n$ tending to infinity. In the present paper, we prove the first bound that is close to optimal in the case where $t$ is arbitrarily large compared to $n$, as well as improve all previous results for sufficiently large $n$. In particular, we prove that there is an absolute constant $c$ such that for every $t,n\geq 2$, $$\log_2 A(t,n)\leq \left(1+c\cdot \frac{(\log n)^3}{n}\right)\cdot α(t,n).$$ This resolves a conjecture of Moshkovitz and Shapira. A key ingredient in our proof is the construction of a normalized matching flow on the cover graph of the poset $[t]^n$ in which the distribution of weights is close to uniform, a result that may be of independent interest.