arXiv++ Combinatorics

Given a complemented poset P, we can assign to every element x of P the set x^+ of all its complements. We study properties of the operator ^+ on P, in particular, we are interested in the case when x^+ forms an antichain or when ^+ is involutive or antitone. We apply ^+ to the set Min U(x,y) of all minimal elements of the upper cone U(x,y) of x,y and to the set Max L(x,y) of all maximal elements of the lower cone L(x,y) of x,y. By using ^+ we define four binary operators on P and investigate their properties that are close to adjointness. We present an example of a uniquely complemented poset that is not Boolean. In the last section we study the orthogonality relation induced by complementation. We characterize when two elements of the Dedekind-MacNeille completion of P are orthogonal to each other. Finally, we extend the orthogonality relation from elements to subsets and we prove that two non-empty subsets of P are orthogonal to each other if and only if their convex hulls are orthogonal to each other within the poset of all non-empty convex subsets of P.

We consider partially ordered sets of combinatorial structures under consecutive orders, meaning that two structures are related when one embeds in the other such that `consecutive' elements remain consecutive in the image. Given such a partially ordered set, we may ask decidability questions about its avoidance sets: subsets defined by a finite number of forbidden substructures. Two such questions ask, given a finite set of structures, whether its avoidance set is well quasi-ordered (i.e. contains no infinite antichains) or atomic (i.e. cannot be expressed as the union of two proper subsets). Extending some recent new approaches, we will establish a general framework, which enables us to answer these problems for a wide class of combinatorial structures, including graphs, digraphs and collections of relations.

We prove that for every surface $Σ$, the class of Eulerian directed graphs that are Eulerian embeddable into $Σ$ (in particular they have degree at most $4$) is well-quasi-ordered by strong immersion. This result marks one of the most versatile directed graph classes (besides tournaments) for which we are aware of a positive well-quasi-ordering result regarding a well-studied graph relation. Our result implies that the class of bipartite circle graphs is well-quasi-ordered under the pivot-minor relation. Furthermore, this also yields two other interesting applications, namely, a polynomial-time algorithm for testing immersion closed properties of Eulerian-embeddable graphs into a fixed surface, and a characterisation of the Erdős-Pósa property for Eulerian digraphs of maximum degree four. Further, in order to prove the mentioned result, we prove that Eulerian digraphs of carving width bounded by some constant $k$ (which correspond to Eulerian digraphs with bounded treewidth and additionally bounded degree) are well-quasi-ordered by strong immersion. We actually prove a stronger result where we allow for vertices of the Eulerian digraphs to be labeled by elements of some well-quasi-order $Ω$. We complement these results with a proof that the class of Eulerian planar digraphs of treewidth at most $3$ is not well-quasi-ordered by strong immersion, noting that any antichain of bounded treewidth cannot have bounded degree.

Given a finite poset $\mathcal P$, we say that a family $\mathcal F$ of subsets of $[n]$ is $\mathcal P$-saturated if $\mathcal F$ does not contain an induced copy of $\mathcal P$, but adding any other set to $\mathcal F$ creates an induced copy of $\mathcal P$. The saturation number of $\mathcal P$ is the size of the smallest $\mathcal P$-saturated family with ground set $[n]$. The saturation numbers have been shown to exhibit a dichotomy: for any poset, the saturation number is either bounded, or at least $2\sqrt n$. The general conjecture is that in fact, the saturation number for any poset is either bounded, or at least linear. The linear sum of two posets $\mathcal P_1$ and $\mathcal P_2$, dented by $\mathcal P_1*\mathcal P_2$, is defined as the poset obtained from a copy of $\mathcal P_1$ placed completely on top of a copy of $\mathcal P_2$. In this paper we show that the saturation number of $\mathcal P_1*\mathcal A_k*\mathcal P_2$ is always at least linear, for any $\mathcal P_1$, $\mathcal P_2$ and $k\geq2$, where $\mathcal A_k$ is the antichain of size $k$. This is a generalisation of the recent result that the saturation number for the diamond is linear (in that case $\mathcal P_1$ and $\mathcal P_2$ are both the single point poset, and $k=2$). We also show that, with the exception of chains which are known to have bounded saturation number, the saturation number for all complete multipartite posets is linear.

Motivated by the Hofmann--Lawson theorem, which states that every continuous lattice is inf-generated by its irreducible elements, we explore how to represent posets by extreme points with respect to a closure operator. For this purpose, we introduce the convolution product of closure operators, and prove that the Krein--Milman property can be transferred from one collection of subsets to another by convolution. This result underpins two new representation theorems of topological flavor, which generalize existing ones, even in posets lacking lattice or semilattice structures. We also prove a third representation theorem: given a poset equipped with a closure operator $\mathfrak{c}$ with adequate properties, we show that the set of kit points, defined as an extension of compact points, has the Krein--Milman property with respect to the convolution product of $\mathfrak{c}$ with the dual Alexandrov operator $\uparrow\!\! \cdot$; moreover, every kit point is sup-generated by a unique antichain of compact points, finite if $\mathfrak{c}$ is finitary.

For any set $X$, ${\mathcal P}(X)$ denotes the collection of all subsets of $X$, ordered by inclusion. A {\it cutset} in ${\mathcal P}(X)$ is a subset of ${\mathcal P}(X)$ which meets every maximal chain of ${\mathcal P}(X)$. A cutset is non-trivial if it does not contain $X$ or the empty set. Our main result is the following. Theorem 1: Let $X$ be an infinite set of cardinality $κ$. Every non-trivial cutset in ${\mathcal P}(X)$ contains a chain of cardinality $κ^+$ and an antichain of cardinality $2^κ$.

In this paper, we present new efficiently solvable cases of the Minimum Uncovering Branching problem, an optimization problem with applications in cancer genomics introduced by Hujdurović, Husić, Milanič, Rizzi, and Tomescu in 2018. The problem involves a family of finite sets, and the goal is to map each non-maximal set to exactly one set that contains it, minimizing the sum of uncovered elements across all sets in the family. Hujdurović et al. formulated the problem in terms of branchings of the digraph formed by the proper set inclusion relation on the input sets and studied the problem complexity based on properties of the corresponding partially ordered set, in particular, with respect to its height and width, defined respectively as the maximum cardinality of a chain and an antichain. They showed that the problem is APX-complete for instances of bounded height and that a constant-factor approximation algorithm exists for instances of bounded width, but left the exact complexity for bounded-width instances open. In this paper, we answer this question by proving that the problem is solvable in polynomial time. We derive this result by examining the structural properties of optimal solutions and reducing the problem to computing maximum matchings in bipartite graphs and maximum weight antichains in partially ordered sets. We also introduce a new polynomially computable lower bound and identify another condition for polynomial-time solvability.

Consider $S$, a set of $n$ points chosen uniformly at random and independently from the unit hypercube of dimension $t>2$. Order $S$ by using the Cartesian product of the $t$ standard orders of $[0,1]$. We determine a constant $\bar x(t)<e$ such that, with probability $\ge 1-\exp(-Θ(\eps)n^{1/t})$, cardinality of a largest subset of comparable points is at most $(\bar x(t)+\eps)n^{1/t}$. The bound $\bar x(t)$ complements an explicit lower bound obtained by Bollobás and Winkler in 1982. Furthermore, we use Dilworth's theorem on partitions of a set into chains to prove that the cardinality of a largest antichain, i. e. a largest subset of incomparable points, is at least $(1-\eps) (n/e)^{1-1/t}$ with probability exponentially close to $1$.

We prove that each finite chain in the two-branching countable ultrahomogeneous pseudotree has finite big Ramsey degrees. This is in contrast to the recent result of Chodounský, Eskew, and Weinert that antichains of size two have infinite big Ramsey degree in the pseudotree. Combining a lower bound result of theirs with work in this paper shows that chains of length two in the pseudotree have big Ramsey degree exactly seven. The pseudotree is the first example of a countable ultrahomogeneous structure in a finite language in which some finite substructures have finite big Ramsey degrees while others have infinite big Ramsey degrees.

We investigate big Ramsey degrees of finite substructures of the universal countable homogeneous meet-tree and its binary variant. We prove that structures containing antichains have infinite big Ramsey degrees, and the big Ramsey degree of a 2-element chain is at least 8 and 7 for the binary variant. We deduce that the generic C-relation does not have finite big Ramsey degrees.

In this paper, we present new objects, quilts of alternating sign matrices with respect to two given posets. Quilts generalize several commonly used concepts in mathematics. For example, the rank function on submatrices of a matrix gives rise to a quilt with respect to two Boolean lattices. When the two posets are chains, a quilt is equivalent to an alternating sign matrix and its corresponding corner sum matrix. Quilts also generalize the monotone Boolean functions counted by the Dedekind numbers. Quilts form a distributive lattice with many beautiful properties and contain many classical and well-known sublattices, such as the lattice of matroids of a given rank and ground set. While enumerating quilts is hard in general, we prove two major enumerative results, when one of the posets is an antichain and when one of them is a chain. We also give some bounds for the number of quilts when one poset is the Boolean lattice.

A poset $P$ is said to satisfy the finite antichain condition, or FAC for short, if it has no infinite antichain. It was conjectured by Aharoni and Korman in 1992 that any FAC poset $P$ possesses a chain $C$ and a partition into antichains such that $C$ meets every antichain of the partition. Our main results are twofold. We provide a counterexample to the conjecture in full generality, but, despite this, we also prove that the conjecture does hold true for a broad class of posets. In particular, we prove that the Aharoni-Korman conjecture holds for countable posets avoiding intervals $I$ such that either $I$ or its reverse $I^*$ is of the form $\bigoplus_{x\inω} Q_x$, where each $Q_x$ is infinite and co-wellfounded. In pursuit of these goals, we also investigate other facets of the structure of FAC posets. In particular, we consider strongly maximal chains in FAC posets, proving some results, and posing several questions and conjectures.

We study Defant and Kravitz's generalization of Schützenberger's promotion operator to arbitrary labelings of finite posets in two directions. Defant and Kravitz showed that applying the promotion operator $n-1$ times to a labeling of a poset on $n$ elements always gives a natural labeling of the poset and called a labeling tangled if it requires the full $n-1$ promotions to reach a natural labeling. They also conjectured that there are at most $(n-1)!$ tangled labelings for any poset on $n$ elements. In the first direction, we propose a further strengthening of their conjecture by partitioning tangled labelings according to the element labeled $n-1$ and prove that this stronger conjecture holds for inflated rooted forest posets and a new class of posets called shoelace posets. In the second direction, we introduce sorting generating functions and cumulative generating functions for the number of labelings that require $k$ applications of the promotion operator to give a natural labeling. We prove that the coefficients of the cumulative generating function of the ordinal sum of antichains are log-concave and obtain a refinement of the weak order on the symmetric group.

We prove that every interval order $P$ with no infinite antichain has a Gallai decomposition. That is, $P$ is a lexicographical sum of proper interval orders over a chain, an antichain or a prime interval order. This is a consequence of the fact that the tree decomposition of a graph into robust modules, as introduced by Courcelle and Delhommé (Theoretical Computer Science \textbf{394} (2008) 1--38), is chain finite whenever the graph has no infinite independent sets. Next, we prove that every prime interval order with no infinite antichain is at most countable and scattered. Furthermore, for each countable ordinal $α$ we exhibit an example of a well-quasi-ordered prime interval order $P_α$ whose chain of maximal antichains has Hausdorff rank $α$.

Dedekind's problem, dating back to 1897, asks for the total number $ψ(n)$ of antichains contained in the Boolean lattice $B_n$ on $n$ elements. We study Dedekind's problem using a recently developed method based on the cluster expansion from statistical physics and as a result, obtain several new results on the number and typical structure of antichains in $B_n$. We obtain detailed estimates for both $ψ(n)$ and the number of antichains of size $β\binom{n}{\lfloor n/2 \rfloor}$ for any fixed $β>0$. We also establish a sparse version of Sperner's theorem: we determine the sharp threshold and scaling window for the property that almost every antichain of size $m$ is contained in a middle layer of $B_n$.

The width of a poset is the size of its largest antichain. Sperner's theorem states that $(2^{[n]},\subset)$ is a poset whose width equals the size of its largest layer. We show that Hamming ball posets also have this property. This extends earlier work that proves this in the case of small radii. Our proof is inspired by (and corrects) a result of Harper.

We investigate connected posets $C$ of height one as retracts of finite posets $P$. We define two multigraphs: a multigraph $\mathfrak{F}(P)$ reflecting the network of so-called improper 4-crown bundles contained in the extremal points of $P$, and a multigraph $\mathfrak{C}(C)$ depending on $C$ but not on $P$. There exists a close interdependence between $C$ being a retract of $P$ and the existence of a graph homomorphism of a certain type from $\mathfrak{F}(P)$ to $\mathfrak{C}(C)$. In particular, if $C$ is an ordinal sum of two antichains, then $C$ is a retract of $P$ iff such a graph homomorphism exists. Returning to general connected posets $C$ of height one, we show that the image of such a graph homomorphism can be a clique in $\mathfrak{C}(C)$ iff the improper 4-crowns in $P$ contain only a sparse subset of the edges of $C$.

We establish one-to-one correspondences between maximal antichains in products of two finite linear orders and other mathematical objects, such as certain alignments of two strings, walks on a grid, lattice paths, words of two or three letters. Leaning on these correspondences, we gather what is known about the number of maximal antichains in products of two finite linear orders and we establish some new results.

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.

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.