arXiv++ Combinatorics

For any finite connected poset $P$, Galashin introduced a simple convex $(|P|-2)$-dimensional polytope $\mathscr{A}(P)$ called the poset associahedron. Let $P$ be a poset with a proper autonomous subposet $S$ that is a chain of size $n$. For $1\leq i \leq n$, let $P_i$ be the poset obtained from $P$ by replacing $S$ by an antichain of size $i$. We show that the $h$-polynomial of $\mathscr{A}(P)$ can be written in terms of the $h$-polynomials of $\mathscr{A}(P_i)$ and type B Narayana polynomials. We then use the identity to deduce several identities involving Narayana polynomials, Eulerian polynomials, and stack-sorting preimages.

We prove that the bounded derived category of the lattice of order ideals of the product of two ordered chains is fractionally Calabi-Yau. We also show that these lattices are derived equivalent to higher Auslander algebras of type A. The proofs involve the study of intervals of the poset that have resolutions described with antichains having rigid properties. These two results combined corroborate a conjecture by Chapoton linking posets to Fukaya-Seidel Categories.

We completely describe the order ideal (resp. antichain) toggleability space for general fences: the space of statistics which are linear combinations of order ideal (antichain) indicator functions and equal to a constant plus a linear combination of toggleability statistics. This allows us to strengthen some homomesies under rowmotion on fences proven by Elizalde et al. and prove some new homomesy results for combinatorial, piecewise-linear, and birational rowmotion.

We study systems of equations on antichains, together with a way to count the number of solutions. We start with a simple example, generalise and show more applications. One of the results was used in the recent computation of D(9), the others have potential to speed up existing techniques in the future. In fact, the result of two independent computations of D(9) were published nearly at the same time, in one of them the authors of the present paper were involved. D(n) counts the monotone Boolean functions or antichains on subsets of a set of n elements. The number rises doubly exponentially in the number of elements n, and until now no algorithm of a lower combinatorial complexity is known to compute D(n). In our computation, we use coefficients representing the number of solutions of a specific set of equations on antichains over a finite set. We refer to these coefficients as P-coefficients. These can be computed efficiently. In this paper, we generalise this coefficient and apply it to four different systems of equations. Finally we show how the coefficient was used in our computation of D(9), and how its generalisations can be used to compute D(n).

A cap set in $\mathbb{F}_3^n$ is a subset that contains no three elements adding to 0. Building on a construction of Edel, a recent paper of Tyrrell gave the first improvement to the lower bound for a size of a cap set in two decades showing that, for large enough $n$, there is always a cap set in $\mathbb{F}_3^n$ of size at least $2.218^n$. This was shown by constructing what is called an $I(11,7)$ admissible set. An admissible set is a subset of $\{0,1,2\}^m$ such that the supports of the vectors form an antichain with respect to inclusion and each triple of vectors has some coordinate where either exactly one of them is non-zero or exactly two are and they have different values. Such an admissible set is said to be $I(m,w)$ if it is of size $\binom mw$ and all of the vectors have exactly $w$ non-zero elements. In Tyrrell's paper they conjectured that $I(m,w)$ admissible set exists for all parameters. We resolve this conjecture by showing that there exists an $N$ such that an $I(N,4)$ admissible set does not exist. We refer to the type of a vector in $\{0,1,2\}^m$ is the ordered sequence of its non-zero coefficients. The vectors of type $12$ form an $I(m,2)$ admissible set and the vectors of type $121$ form an $I(m,3)$ admissible set (as can be easily checked by an interested reader). Sadly it is quite easily proved that there is no $I(6,4)$ admissible set where all vectors are of the same type. It follows by Ramsey's Theorem applied to 4-regular hypergraphs that there exists an $N$ such that an $I(N,4)$ admissible set does not exist. A similar argument shows that there exists an $N'$ such that an $I(N',N'-2)$ admissible set does not exist. Since we can construct an $I(m-1,w)$ and an $I(m-1,w-1)$ admissible set from an $I(m,w)$ admissible set, it follows that there are only finitely many $I(m,w)$ admissible sets exist other than the known forms.

We introduce a new partial order on the set of all antichains of a fixed size in any poset. When applied to minuscule posets, these partial orders give rise to distributive lattices that appear in the branching rules for minuscule representations of complex simple Lie algebras.

An inversion in a matrix of zeros and ones consists of two entries both of which equal $1$, and one of which is located to the top-right of the other. It is known that in the class $\mathcal{A}(R,S)$ of $(0,1)$--matrices with row sum vector $R$ and column sum vector $S$, the number of inversions in a matrix is monotonic with respect to the secondary Bruhat order. Hence any two matrices in the same class $\mathcal{A}(R,S)$ having the same number of inversions, are incomparable in the secondary Bruhat order. We use this fact to construct antichains in the Bruhat order of $\mathcal{A}(n,2)$, the class of all $n\times n$ binary matrices with common row and column sum~$2$. A product construction of antichains in the Bruhat order of $\mathcal{A}(R,S)$ is given. This product construction is applied in finding antichains in the Bruhat order of the class $\mathcal{A}(2k,k)$ of square $(0,1)$--matrices of order $2k$ and common row and column sum~$k$.

Fix a positive integer $n$ and consider the bipartite graph whose vertices are the $3$-element subsets and the $2$-element subsets of $[n]=\{1,2,\dots,n\}$, and there is an edge between $A$ and $B$ if $A\subset B$. We prove that the domination number of this graph is $\binom{n}{2}-\lfloor\frac{(n+1)^2}{8}\rfloor$, we characterize the dominating sets of minimum size, and we observe that the minimum size dominating set can be chosen as an independent set. This is an exact version of an asymptotic result by Balogh, Katona, Linz and Tuza (2021). For the corresponding bipartite graph between the $(k+1)$-element subsets and the $k$-elements subsets of $[n]$ ($k\geq 3$), we provide a new construction for small independent dominating sets. This improves on a construction by Gerbner, Kezegh, Lemons, Palmer, Pálvölgyi and Patkós (2012), who studied these independent dominating sets under the name saturating flat antichains.

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.

We say that a poset $(Q,\le_{Q})$ contains an induced copy of a poset $(P,\le_P)$ if there is an injective function $φ\colon P\to Q$ such that for every two $X,Y\in P$,\;\;$X\le_P Y$ if and only if $φ(X)\le_Q φ(Y)$. We denote the Boolean lattice $(2^{[n]},\subseteq)$ by $Q_n$. Given a fixed $2$-coloring $c$ of a poset $P$, the poset Erdős-Hajnal number of this colored poset is the smallest integer $N$ such that every $2$-coloring of the Boolean lattice $Q_N$ contains an induced copy of $P$ colored as in $c$, or a monochromatic induced copy of $Q_n$. We present bounds on the poset Erdős-Hajnal number of general colored posets, antichains, chains, and small Boolean lattices. Let the poset Ramsey number $R(Q_n,Q_n)$ be the least $N$ such that every $2$-coloring of $Q_N$ contains a monochromatic induced copy of $Q_n$. As a corollary, we show that $R(Q_n,Q_n)> 2.02n$, improving on the best known lower bound $2n+1$ by Cox and Stolee \cite{CS}.

Given a Shi arrangement $\mathcal{A}_Φ$, it is well-known that the total number of regions is counted by the parking number of type $Φ$ and the total number of regions in the dominant cone is given by the Catalan number of type $Φ$. In the case of the latter, Shi gave a bijection between antichains in the root poset of $Φ$ and the regions in the dominant cone. This result was later extended by Armstrong, Reiner and Rhoades where they gave a bijection between the number of regions contained in an arbitrary Weyl cone $C_w$ in $\mathcal{A}_Φ$ and certain subposets of the root poset. In this article we expand on these results by giving a determinental formula for the precise number of regions in $C_w$ using paths in certain digraphs related to Shi diagrams.

We study the action of Bender-Knuth involutions on linear extensions of posets and identify LE-cactus posets, i.e. those for which the cactus relations hold. It was conjectured in \cite{chiang2023bender} that d-complete posets are LE-cactus. Among the non-d-complete posets that are LE-cactus, one notable family is ordinal sums of antichains. In this paper, we characterize the LE-cactus posets in a more general family, namely ordinal sums of disjoint unions of chains.

Interval-closed sets of a poset are a natural superset of order ideals. We initiate the study of interval-closed sets of finite posets from enumerative and dynamical perspectives. In particular, we use the generalized toggle group to define rowmotion on interval-closed sets as a product of these toggles. Our main theorem is an intricate global characterization of rowmotion on interval-closed sets, which we show is equivalent to the toggling definition. We also study specific posets; we enumerate interval-closed sets of ordinal sums of antichains, completely describe their rowmotion orbits, and prove a homomesy result involving the signed cardinality statistic. Finally, we study interval-closed sets of product of chains posets, proving further results about enumeration and homomesy.

We give a short and self-contained argument that shows that, for any positive integers $t$ and $n$ with $t =O\Bigl(\frac{n}{\log n}\Bigr)$, the number $α([t]^n)$ of antichains of the poset $[t]^n$ is at most \[\exp_2\Bigl(1+O\Bigl(\Bigl(\frac{t\log^3 n}{n}\Bigr)^{1/2}\Bigr)\Bigr)N(t,n)\,,\] where $N(t,n)$ is the size of a largest level of $[t]^n$. This, in particular, says that if $t \ll n/\log^3 n$ as $n \rightarrow \infty$, then $\logα([t]^n)=(1+o(1))N(t,n)$, giving a (partially) positive answer to a question of Moshkovitz and Shapira for $t, n$ in this range. Particularly for $t=3$, we prove a better upper bound: \[\logα([3]^n)\le(1+4\log 3/n)N(3,n),\] which is the best known upper bound on the number of antichains of $[3]^n$.

We extend the notion of graph homomorphism to cellularly embedded graphs (maps) by designing operations on vertices and edges that respect the surface topology; we thus obtain the first definition of map homomorphism that preserves both the combinatorial structure (as a graph homomorphism) and the topological structure of the surface (in particular, orientability and genus). Notions such as the core of a graph and the homomorphism order on cores are then extended to maps. We also develop a purely combinatorial framework for various topological features of a map such as the contractibility of closed walks, which in particular allows us to characterize map cores. We then show that the poset of map cores ordered by the existence of a homomorphism is connected and, in contrast to graph homomorphisms, does not contain any dense interval (so it is not universal for countable posets). Finally, we give examples of a pair of cores with an infinite number of cores between them, an infinite chain of gaps, and arbitrarily large antichains with a common homomorphic image.

Let $P$ be a finite poset of width two, i.e., with no three-element antichain. We associate with $P$ a skew Young diagram $Υ(P)$ and discuss some of the properties of the map $Υ$. In particular, if we regard $Υ(P)$ as a poset in a standard way, then the linear extensions of $P$ are in bijection with the order ideals of $Υ(P)$.

In this paper, we present a new framework that exploits combinatorial optimization for efficiently generating a large variety of combinatorial objects based on graphs, matroids, posets and polytopes. Our method relies on a simple and versatile algorithm for computing a Hamilton path on the skeleton of any 0/1-polytope ${\rm conv}(X)$, where $X\subseteq \{0,1\}^n$. The algorithm uses as a black box any algorithm that solves a variant of the classical linear optimization problem $\min\{w\cdot x\mid x\in X\}$, and the resulting delay, i.e., the running time per visited vertex on the Hamilton path, is only by a factor of $\log n$ larger than the running time of the optimization algorithm. When $X$ encodes a particular class of combinatorial objects, then traversing the skeleton of the polytope ${\rm conv}(X)$ along a Hamilton path corresponds to listing the combinatorial objects by local change operations, i.e., we obtain Gray code listings. As concrete results of our general framework, we obtain efficient algorithms for generating all ($c$-optimal) bases in a matroid; ($c$-optimal) spanning trees, forests, ($c$-optimal) matchings in a general graph; ($c$-optimal) vertex covers, ($c$-optimal) stable sets in a bipartite graph; as well as ($c$-optimal) antichains and ideals of a poset. The delay and space required by these algorithms are polynomial in the size of the matroid, graph, or poset, respectively, and these listings correspond to Hamilton paths on the corresponding combinatorial polytopes. We also obtain an $O(t_{\rm LP} \log n)$ delay algorithm for the vertex enumeration problem on 0/1-polytopes $\{x\in\mathbb{R}^n\mid Ax\leq b\}$, where $A\in \mathbb{R}^{m\times n}$ and $b\in\mathbb{R}^m$, and $t_{\rm LP}$ is the time needed to solve the linear program $\min\{w\cdot x\mid Ax\leq b\}$. This improves upon the 25-year old $O(t_{\rm LP}\,n)$ delay algorithm of Bussieck and Lübbecke.

An induced subposet $(P_2,\le_2)$ of a poset $(P_1,\le_1)$ is a subset of $P_1$ such that for every two $X,Y\in P_2$, $X\le_2 Y$ if and only if $X\le_1 Y$. The Boolean lattice $Q_n$ of dimension $n$ is the poset consisting of all subsets of $\{1,\dots,n\}$ ordered by inclusion. Given two posets $P_1$ and $P_2$ the poset Ramsey number $R(P_1,P_2)$ is the smallest integer $N$ such that in any blue/red coloring of the elements of $Q_N$ there is either a monochromatically blue induced subposet isomorphic to $P_1$ or a monochromatically red induced subposet isomorphic to $P_2$. We provide upper bounds on $R(P,Q_n)$ for two classes of $P$: parallel compositions of chains, i.e.\ posets consisting of disjoint chains which are pairwise element-wise incomparable, as well as subdivided $Q_2$, which are posets obtained from two parallel chains by adding a common minimal and a common maximal element. This completes the determination of $R(P,Q_n)$ for posets $P$ with at most $4$ elements. If $P$ is an antichain $A_t$ on $t$ elements, we show that $R(A_t,Q_n)=n+3$ for $3\le t\le \log \log n$. Additionally, we briefly survey proof techniques in the poset Ramsey setting $P$ versus $Q_n$.

Aharoni and Korman (Order 9 (1992) 245--253) have conjectured that every ordered set without infinite antichains possesses a chain and a partition into antichains so that each part intersects the chain. The conjecture is verified for posets whose incomparability graph is locally finite. It follows that the conjecture is true for $(3 + 1)$-free posets with no infinite antichains.

This is the second of two papers investigating for which positive integers $m$ there exists a maximal antichain of size $m$ in the Boolean lattice $B_n$ (the power set of $[n]:=\{1,2,\dots,n\}$, ordered by inclusion). In the first part, the sizes of maximal antichains have been characterized. Here we provide an alternative construction with the benefit of showing that almost all sizes of maximal antichains can be obtained using antichains containing only $l$-sets and $(l+1)$-sets for some $l$.