arXiv++ Combinatorics

The dynamics of certain combinatorial actions and their liftings to actions at the piecewise-linear and birational level have been studied lately with an eye towards questions of periodicity, orbit structure, and invariants. One key property enjoyed by the rowmotion operator on certain finite partially-ordered sets is homomesy, where the average value of a statistic is the same for all orbits. To prove refined versions of homomesy in the product of two chain posets, J. Propp and the second author used an equivariant bijection discovered (less formally) by R. Stanley and H. Thomas. We explore the lifting of this "Stanley--Thomas word" to the piecewise-linear, birational, and noncommutative realms. Although the map is no longer a bijection, so cannot be used to prove periodicity directly, it still gives enough information to prove the homomesy at the piecewise-linear and birational levels (a result previously shown by D. Grinberg, S. Hopkins, and S. Okada). Even at the noncommutative level, the Stanley--Thomas word of a poset labeling rotates cyclically with the lifting of antichain rowmotion. Along the way we give some formulas for noncommutative antichain rowmotion that we hope will be first steps towards proving the conjectured periodicity at this level.

Let $(\mathcal{P},\leqslant)$ be a finite poset. Define the numbers $a_1,a_2,\ldots$ (respectively, $c_1,c_2,\ldots$) so that $a_1+\ldots+a_k$ (respectively, $c_1+\ldots+c_k$) is the maximal number of elements of $\mathcal{P}$ which may be covered by $k$ antichains (respectively, $k$ chains.) Then the number $e(\mathcal{P})$ of linear extensions of poset $\mathcal{P}$ is not less than $\prod a_i!$ and not more than $n!/\prod c_i!$. A corollary: if $\mathcal{P}$ is partitioned onto disjoint antichains of size $b_1,b_2, \ldots$, then $e(\mathcal{P})\geqslant \prod b_i!$.

Two sets $\mathscr{A}$ and $\mathscr{B}$ are said to be cross-intersecting if $X\cap Y\neq\emptyset$ for all $X\in\mathscr{A}$ and $Y\in\mathscr{B}$. Given two cross-intersecting Sperner families (or antichains) $\mathscr{A}$ and $\mathscr{B}$ of $\mathbb{N}_n$, we prove that $|\mathscr{A}|+|\mathscr{B}|\le 2{{n}\choose{\lceil{n/2}\rceil}}$ if $n$ is odd, and $|\mathscr{A}|+|\mathscr{B}|\le {{n}\choose{n/2}}+{{n}\choose{(n/2)+1}}$ if $n$ is even. Furthermore, all extremal and almost-extremal families for $\mathscr{A}$ and $\mathscr{B}$ are determined.

A subset $A$ of $\mathbb{Z}^n$ is called a weak antichain if it does not contain two elements $x$ and $y$ satisfying $x_i<y_i$ for all $i$. Engel, Mitsis, Pelekis and Reiher showed that for any weak antichain $A$, the sum of the sizes of its $(n-1)$-dimensional projections must be at least as large as its size $|A|$. They asked what the smallest possible value of the gap between these two quantities is in terms of $|A|$. We answer this question by giving an explicit weak antichain attaining this minimum for each possible value of $|A|$. In particular, we show that sets of the form $A_N=\{x\in\mathbb{Z}^n: 0\leq x_j\leq N-1$ for all $j$ and $x_i=0$ for some $i\}$ minimise the gap among weak antichains of size $|A_N|$.

It is well-known that an antichain in the poset $[0,1]^n$ must have measure zero. Engel, Mitsis, Pelekis and Reiher showed that in fact it must have $(n-1)$-dimensional Hausdorff measure at most $n$, and they conjectured that this bound can be attained. In this note we show that, for every $n$, such an antichain does indeed exist.

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.

We introduce a sorting machine consisting of $k+1$ stacks in series: the first $k$ stacks can only contain elements in decreasing order from top to bottom, while the last one has the opposite restriction. This device generalizes \cite{SM}, which studies the case $k=1$. Here we show that, for $k=2$, the set of sortable permutations is a class with infinite basis, by explicitly finding an antichain of minimal nonsortable permutations. This construction can easily be adapted to each $k \ge 3$. Next we describe an optimal sorting algorithm, again for the case $k=2$. We then analyze two types of left-greedy sorting procedures, obtaining complete results in one case and only some partial results in the other one. We close the paper by discussing a few open questions.

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.

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.

We show that 4-connected plane triangulations can be redrawn such that edges are represented by straight segments and the vertices are covered by a set of at most $\sqrt{2n}$ lines each of them horizontal or vertical. The same holds for all subgraphs of such triangulations. The proof is based on a corresponding result for diagrams of planar lattices which makes use of orthogonal chain and antichain families.

A \emph{chain} in the unit $n$-cube is a set $C\subset [0,1]^n$ such that for every $\mathbf{x}=(x_1,\ldots,x_n)$ and $\mathbf{y}=(y_1,\ldots,y_n)$ in $C$ we either have $x_i\le y_i$ for all $i\in [n]$, or $x_i\ge y_i$ for all $i\in [n]$. We consider subsets, $A$, of the unit $n$-cube $[0,1]^n$ that satisfy \[ \text{card}(A \cap C) \le k, \, \text{ for all chains } \, C \subset [0,1]^n \, , \] where $k$ is a fixed positive integer. We refer to such a set $A$ as a $k$-antichain. We show that the $(n-1)$-dimensional Hausdorff measure of a $k$-antichain in $[0,1]^n$ is at most $kn$ and that the bound is asymptotically sharp. Moreover, we conjecture that there exist $k$-antichains in $[0,1]^n$ whose $(n-1)$-dimensional Hausdorff measure equals $kn$ and we verify the validity of this conjecture when $n=2$.

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$.

Let $X= \{x_1, x_2, \cdots, x_n\}$ be a finite alphabet, and let $K$ be a field. We study classes $\mathfrak{C}(X, W)$ of graded $K$-algebras $A = K\langle X\rangle / I$, generated by $X$ and with a fixed set of obstructions $W$. Initially we do not impose restrictions on $W$ and investigate the case when all algebras in $\mathfrak{C} (X, W)$ have polynomial growth and finite global dimension $d$. Next we consider classes $\mathfrak{C} (X, W)$ of algebras whose sets of obstructions $W$ are antichains of Lyndon words. The central question is "when a class $\mathfrak{C} (X, W)$ contains Artin-Schelter regular algebras?" Each class $\mathfrak{C} (X, W)$ defines a Lyndon pair $(N,W)$ which determines uniquely the global dimension, $gl\dim A$, and the Gelfand-Kirillov dimension, $GK\dim A$, for every $A \in \mathfrak{C}(X, W)$. We find a combinatorial condition in terms of $(N,W)$, so that the class $\mathfrak{C}(X, W)$ contains the enveloping algebra $U\mathfrak{g}$ of a Lie algebra $\mathfrak{g}$. We introduce monomial Lie algebras defined by Lyndon words, and prove results on Groebner-Shirshov bases of Lie ideals generated by Lyndon-Lie monomials. Finally we classify all two-generated Artin-Schelter regular algebras of global dimensions $6$ and $7$ occurring as enveloping $U = U\mathfrak{g}$ of standard monomial Lie algebras. The classification is made in terms of their Lyndon pairs $(N, W)$, each of which determines also the explicit relations of $U$.

This paper gives a formula for the antichain generating polynomial $\mathcal{N}_{[k]\times Q}$ of the poset $[k]\times Q$, where $[k]$ is an arbitrary chain and $Q$ is any finite graded poset. When $Q$ specializes to be a connected minuscule poet, which was classified by Proctor in 1984, we find that the polynomial $\mathcal{N}_{[k]\times Q}$ bears nice properties. For instance, we will recover the $B_n$-Narayana polynomial and the $D_{2n+2}$-Narayana polynomial. We collect evidence for the conjecture that whenever $\mathcal{N}_{[k]\times P}(x)$ is palindromic, it must be $γ$-positive. Moreover, the family $\mathcal{N}_{[2]\times [n]\times [m]}$ should be real-rooted and $\mathcal{N}_{[2]\times [n]\times [n+1]}$ should be $γ$-positive. We also conjecture that $\mathcal{N}_{Q}(x)$ is log-concave (thus unimodal) for any connected Peck poset $Q$.

We present new exact and asymptotic results about the size of the largest antichain in the product of $n$ linear orders.

We relate Reiner, Tenner, and Yong's coincidental down-degree expectations (CDE) property of posets to the minuscule doppelgänger pairs studied by Hamaker, Patrias, Pechenik, and Williams. Via this relation, we put forward a series of conjectures which suggest that the minuscule doppelgänger pairs behave "as if" they had isomorphic comparability graphs, even though they do not. We further explore the idea of minuscule doppelgänger pairs pretending to have isomorphic comparability graphs by considering the rowmotion operator on order ideals. We conjecture that the members of a minuscule doppelgänger pair behave the same way under rowmotion, as they would if they had isomorphic comparability graphs. Moreover, we conjecture that these pairs continue to behave the same way under the piecewise-linear and birational liftings of rowmotion introduced by Einstein and Propp. This conjecture motivates us to study the homomesies (in the sense of Propp and Roby) exhibited by birational rowmotion. We establish the birational analog of the antichain cardinality homomesy for the major examples of posets known or conjectured to have finite birational rowmotion order (namely: minuscule posets and root posets of coincidental type).

To each lattice simplex $Δ$ we associate a poset encoding the additive structure of lattice points in the fundamental parallelepiped for $Δ$. When this poset is an antichain, we say $Δ$ is antichain. To each partition $λ$ of $n$, we associate a lattice simplex $Δ_λ$ having one unimodular facet, and we investigate their associated posets. We give a number-theoretic characterization of the relations in these posets, as well as a simplified characterization in the case where each part of $λ$ is relatively prime to $n-1$. We use these characterizations to experimentally study $Δ_λ$ for all partitions of $n$ with $n\leq 73$. We also investigate the structure of these posets when $λ$ has only one or two distinct parts. Finally, we explain how this work relates to Poincaré series for the semigroup algebra associated to $Δ$, and we prove that this series is rational when $Δ$ is antichain.

An antichain $\mathcal{A}$ in a poset $\mathcal{P}$ is a subset of $\mathcal{P}$ in which no two elements are comparable. Sperner showed that the maximal antichain in the Boolean lattice, $\mathcal{B}_n = \left\{ 0 < 1 \right\}^n$, is the largest rank (of size $\binom{n}{\lfloor n/2 \rfloor}$). This type of problem has been since generalized, and a graded poset $\mathcal{P}$ is said to be Sperner if the largest rank of $\mathcal{P}$ is its maximal antichain. In this paper, we will show that the symmetric group $S_n$, partially ordered by refinement (or equivalently by absolute order), is Sperner.

Let $F(n,k)$ ($f(n,k)$) denote the maximum possible size of the smallest color class in a (partial) $k$-coloring of the Boolean lattice $B_n$ that does not admit a rainbow antichain of size $k$. The value of $F(n,3)$ and $f(n,2)$ has been recently determined exactly. We prove that for any fixed $k$ if $n$ is large enough, then $F(n,k),f(n,k)=2^{(1/2+o(1))n}$ holds. We also introduce the general functions for any poset $P$ and integer $c\ge |P|$: let $F(n,c,P)$ ($f(n,c,P)$) denote the the maximum possible size of the smallest color class in a (partial) $c$-coloring of the Boolean lattice $B_n$ that does not admit a rainbow copy of $P$. We consider the first instances of this general problem.

A set $A \subseteq {\mathbb{R}}^n$ is called an antichain (resp. antichain) if it does not contain two distinct elements ${\mathbf x}=(x_1,\ldots, x_n)$ and ${\mathbf y}=(y_1,\ldots, y_n)$ satisfying $x_i\le y_i$ (resp. $x_i < y_i$) for all $i\in \{1,\ldots,n\}$. We show that the Hausdorff dimension of a weak antichain $A$ in the $n$-dimensional unit cube $[0,1]^n$ is at most $n-1$ and that the $(n-1)$-dimensional Hausdorff measure of $A$ is at most $n$, which are the best possible bounds. This result is derived as a corollary of the following {\it projection inequality}, which may be of independent interest: The $(n-1)$-dimensional Hausdorff measure of a (weak) antichain $A\subseteq [0, 1]^n$ cannot exceed the sum of the $(n-1)$-dimensional Hausdorff measures of the $n$ orthogonal projections of $A$ onto the facets of the unit $n$-cube containing the origin. For the proof of this result we establish a discrete variant of the projection inequality applicable to weak antichains in ${\mathbb Z}^n$ and combine it with ideas from geometric measure theory.