arXiv++ Combinatorics

The active bijection forms a package of results studied by the authors in a series of papers in oriented matroids. The present paper is intended to state the main results in the particular case, and more widespread language, of graphs. We associate any directed graph, defined on a linearly ordered set of edges, with one particular of its spanning trees, which we call its active spanning tree. For any graph on a linearly ordered set of edges, this yields a surjective mapping from orientations onto spanning trees, which preserves activities (for orientations in the sense of Las Vergnas, for spanning trees in the sense of Tutte), as well as some partitions (or filtrations) of the edge set associated with orientations and spanning trees. It yields a canonical bijection between classes of orientations and spanning trees, as well as a refined bijection between all orientations and edge subsets, containing various noticeable bijections [...]. Several constructions of independent interest are involved. The basic case concerns bipolar orientations, which are in bijection with their fully optimal spanning trees, as proved in a previous paper, and as computed in a companion paper. We give a canonical decomposition of a directed graph on a linearly ordered set of edges into acyclic/cyclic bipolar directed graphs. Considering all orientations of a graph, we obtain an expression of the Tutte polynomial in terms of products of beta invariants of minors, a remarkable partition of the set of orientations into activity classes, and a simple expression of the Tutte polynomial using four orientation activity parameters. We derive a similar decomposition theorem for spanning trees. We also provide a general deletion/contraction framework for these bijections and relatives.

It has been previously shown by the authors that a directed graph on a linearly ordered set of edges (ordered graph) with adjacent unique source and sink (bipolar digraph) has a unique fully optimal spanning tree, that satisfies a simple criterion on fundamental cycle/cocycle directions. This result yields, for any ordered graph, a canonical bijection between bipolar orientations and spanning trees with internal activity 1 and external activity 0 in the sense of the Tutte polynomial. This bijection can be extended to all orientations and all spanning trees, yielding the active bijection, presented for graphs in a companion paper. In this paper, we specifically address the problem of the computation of the fully optimal spanning tree of an ordered bipolar digraph. In contrast with the inverse mapping, built by a straightforward single pass over the edge set, the direct computation is not easy and had previously been left aside. We give two independent constructions. The first one is a deletion/contraction recursion, involving an exponential number of minors. It is structurally significant but it is efficient only for building the whole bijection (i.e. all images) at once. The second one is more complicated and is the main contribution of the paper. It involves just one minor for each edge of the resulting spanning tree, and it is a translation and an adaptation in the case of graphs, in terms of weighted cocycles, of a general geometrical linear programming type algorithm, which allows for a polynomial time complexity.

An ordered hypergraph is a hypergraph $H$ with a specified linear ordering of the vertices, and the appearance of an ordered hypergraph $G$ in $H$ must respect the specified order on $V(G)$. In on-line Ramsey theory, Builder iteratively presents edges that Painter must immediately color. The $t$-color on-line size Ramsey number $\tilde R_t (G)$ of an ordered hypergraph $G$ is the minimum number of edges Builder needs to play (on a large ordered set of vertices) to force Painter using $t$ colors to produce a monochromatic copy of $G$. The monotone tight path $P_r^{(k)}$ is the ordered hypergraph with $r$ vertices whose edges are all sets of $k$ consecutive vertices. We obtain good bounds on $\tilde R_t (P_r^{(k)})$. Letting $m=r-k+1$ (the number of edges in $P_r^{(k)}$), we prove $m^{t-1}/(3\sqrt t)\le\tilde R_t (P_r^{(2)})\le tm^{t+1}$. For general $k$, a trivial upper bound is ${R \choose k}$, where $R$ is the least number of vertices in a $k$-uniform (ordered) hypergraph whose $t$-colorings all contain $P_r^{(k)}$ (and is a tower of height $k-2$). We prove $R/(k\lg R)\le\tilde R_t(P_r^{(k)})\le R(\lg R)^{2+ε}$, where $ε$ is any positive constant and $t(m-1)$ is sufficiently large. Our upper bounds improve prior results when $t$ grows faster than $m/\log m$. We also generalize our results to $\ell$-loose monotone paths, where each successive edge begins $\ell$ vertices after the previous edge.

We consider a natural combinatorial optimization problem on chordal graphs, the class of graphs with no induced cycle of length four or more. A subset of vertices of a chordal graph is (monophonically) convex if it contains the vertices of all chordless paths between any two vertices of the set. The problem is to find a maximum-weight convex subset of a given vertex-weighted chordal graph. It generalizes previously studied special cases in trees and split graphs. It also happens to be closely related to the closure problem in partially ordered sets and directed graphs. We give the first polynomial-time algorithm for the problem.

A set partition of $[n] := \{1, 2, \dots, n \}$ is called {\em $r$-Stirling} if the numbers $1, 2, \dots, r$ belong to distinct blocks. Haglund, Rhoades, and Shimozono constructed graded ring $R_{n,k}$ depending on two positive integers $k \leq n$ whose algebraic properties are governed by the combinatorics of ordered set partitions of $[n]$ with $k$ blocks. We introduce a variant $R_{n,k}^{(r)}$ of this quotient for ordered $r$-Stirling partitions which depends on three integers $r \leq k \leq n$. We describe the standard monomial basis of $R_{n,k}^{(r)}$ and use the combinatorial notion of the {\em coinversion code} of an ordered set partition to reprove and generalize some results of Haglund et.\ al.\ in a more direct way. Furthermore, we introduce a variety $X_{n,k}^{(r)}$ of line arrangements whose cohomology is presented as the integral form of $R_{n,k}^{(r)}$, generalizing results of Pawlowski and Rhoades.

An ordered set partition of $\{1,2,\ldots,n\}$ is a partition with an ordering on the parts. Let $\mathcal{OP}_{n,k}$ be the set of ordered set partitions of $[n]$ with $k$ blocks. Godbole, Goyt, Herdan and Pudwell defined $\mathcal{OP}_{n,k}(σ)$ to be the set of ordered set partitions in $\mathcal{OP}_{n,k}$ avoiding a permutation pattern $σ$ and obtained the formula for $|\mathcal{OP}_{n,k}(σ)|$ when the pattern $σ$ is of length $2$. Later, Chen, Dai and Zhou found a formula algebraically for $|\mathcal{OP}_{n,k}(σ)|$ when the pattern $σ$ is of length $3$. In this paper, we define a new pattern avoidance for the set $\mathcal{OP}_{n,k}$, called $\mathcal{WOP}_{n,k}(σ)$, which includes the questions proposed by Godbole, Goyt, Herdan and Pudwell. We obtain formulas for $|\mathcal{WOP}_{n,k}(σ)|$ combinatorially for any $σ$ of length $ 3$. We also define 3 kinds of descent statistics on ordered set partitions and study the distribution of the descent statistics on $\mathcal{WOP}_{n,k}(σ)$ for $σ$ of length $3$.

Let $P$ be a partially ordered set. We prove that if $n$ is sufficiently large, then there exists a packing $\mathcal{P}$ of copies of $P$ in the Boolean lattice $(2^{[n]},\subset)$ that covers almost every element of $2^{[n]}$: $\mathcal{P}$ might not cover the minimum and maximum of $2^{[n]}$, and at most $|P|-1$ additional points due to divisibility. In particular, if $|P|$ divides $2^{n}-2$, then the truncated Boolean lattice $2^{[n]}-\{\emptyset,[n]\}$ can be partitioned into copies of $P$. This confirms a conjecture of Lonc from 1991.

We prove that there are arbitrarily large indecomposable ordered sets T with a 2-chain C such that the smallest indecomposable proper superset U of C in T is T itself. Subsequently, we characterize all such indecomposable ordered sets T and 2-chains C. We also prove the same type of result for 2-antichains.

A collection of linear orders on $X$, say $\mathcal{L}$, is said to \emph{realize} a partially ordered set (or poset) $\mathcal{P} = (X, \preceq)$ if, for any two distinct $x,y \in X$, $x \preceq y$ if and only if $x \prec_L y$, $\forall L \in \mathcal{L}$. We call $\mathcal{L}$ a \emph{realizer} of $\mathcal{P}$. The \emph{dimension} of $\mathcal{P}$, denoted by $dim(\mathcal{P})$, is the minimum cardinality of a realizer of $\mathcal{P}$. A \emph{containment model} $M_{\mathcal{P}}$ of a poset $\mathcal{P}=(X,\preceq)$ maps every $x \in X$ to a set $M_x$ such that, for every distinct $x,y \in X,\ x \preceq y$ if and only if $M_x \varsubsetneq M_y$. We shall be using the collection $(M_x)_{x \in X}$ to identify the containment model $M_{\mathcal{P}}$. A poset $\mathcal{P}=(X,\preceq)$ is a Containment order of Paths in a Tree (CPT poset), if it admits a containment model $M_{\mathcal{P}}=(P_x)_{x \in X}$ where every $P_x$ is a path of a tree $T$, which is called the host tree of the model. We show that if a poset $\mathcal{P}$ admits a CPT model in a host tree $T$ of maximum degree $Δ$ and radius $r$, then \rogers{$dim(\mathcal{P}) \leq \lg\lg Δ+ (\frac{1}{2} + o(1))\lg\lg\lg Δ+ \lg r + \frac{1}{2} \lg\lg r + \frac{1}{2}\lg π+ 3$. This bound is asymptotically tight up to an additive factor of $\min(\frac{1}{2}\lg\lg\lg Δ, \frac{1}{2}\lg\lg r)$. Further, let $\mathcal{P}(1,2;n)$ be the poset consisting of all the $1$-element and $2$-element subsets of $[n]$ under `containment' relation and let $dim(1,2;n)$ denote its dimension. The proof of our main theorem gives a simple algorithm to construct a realizer for $\mathcal{P}(1,2;n)$ whose cardinality is only an additive factor of at most $\frac{3}{2}$ away from the optimum.

The class of finite distributive lattices, as many other classes of structures, does not have the Ramsey property. It is quite common, though, that after expanding the structures with appropriately chosen linear orders the resulting class has the Ramsey property. So, one might expect that a similar result holds for the class of all finite distributive lattices. Surprisingly, Kechris and Sokić have proved in 2012 that this is not the case: no expansion of the class of finite distributive lattices by linear orders satisfies the Ramsey property. In this paper we prove that the variety of distributive lattices is not an exception, but an instance of a more general phenomenon. We show that for almost all nontrivial locally finite varieties of lattices no "reasonable" expansion of the finite members of the variety by linear orders gives rise to a Ramsey class. The responsibility for this lies not with the lattices as structures, but with the lack of algebraic morphisms: if we consider lattices as partially ordered sets (and thus switch from algebraic embeddings to embeddings of relational structures) we show that every variety of lattices gives rise to a class of linearly ordered posets having both the Ramsey property and the ordering property. It now comes as no surprise that the same is true for varieties of semilattices.

In this paper we continue investigations of cover-incomparability graphs of finite partially ordered sets (see \cite{Bres,Bres2,Bres3,Bres4} and \cite{Max,MaxDH}). We consider in some detail the distinction between cover-preserving subsets and isometric subsets of a partially ordered set. This is critical to understanding why forbidden subposet characterizations of certain classes of cover-incomparability graphs in \cite{Bres} and \cite{Bres3} are not valid as presented. Here we provide examples, investigate the root of the difficulties, and formulate and prove valid revisions of these characterizations.

According to Kearnes and Oman (2013), an ordered set $P$ is \emph{Jónsson} if it is infinite and the cardinality of every proper initial segment of $P$ is strictly less than the cardinaliy of $P$. We examine the structure of Jónsson posets.

Let $Λ^{\ast}$ be the free monoid of (finite) words over a not necessarily finite alphabet $Λ$, which is equipped with some (partial) order. This ordering lifts to $Λ^{\ast}$, where it extends the divisibility ordering of words. The MacNeille completion of $Λ^{\ast}$ constitutes a complete lattice ordered monoid and is realized by the system of "closed" lower sets in $Λ^*$ (ordered by inclusion) or its isomorphic copy formed of the "closed" upper sets (ordered by reverse inclusion). Under some additional hypothesis on $Λ$, one can easily identify the closed lower sets as the finitely generated ones, whereas it is more complicated to determine the closed upper sets. For a fairly large class of ordered sets $Λ$ (including complete lattices as well as antichains) one can generate the closure of any upper set of words by means of binary operations ( "syntactic rules") thus obtaining an efficient procedure to test closedness. Closed upper set of words are involved in an embedding theorem for valuated oriented graphs. In fact, generalized paths (so-called "zigzags") are encoded by words over an alphabet $Λ$. Then the valuated oriented graphs which are "isometrically" embeddable in a product of zigzags have the characteristic property that the words corresponding to the zigzags between any pair of vertices form a closed upper set in $Λ$.

A universal cycle for permutations of length $n$ is a cyclic word or permutation, any factor of which is order-isomorphic to exactly one permutation of length $n$, and containing all permutations of length $n$ as factors. It is well known that universal cycles for permutations of length $n$ exist. However, all known ways to construct such cycles are rather complicated. For example, in the original paper establishing the existence of the universal cycles, constructing such a cycle involves finding an Eulerian cycle in a certain graph and then dealing with partially ordered sets. In this paper, we offer a simple way to generate a universal cycle for permutations of length $n$, which is based on applying a greedy algorithm to a permutation of length $n-1$. We prove that this approach gives a unique universal cycle $Π_n$ for permutations, and we study properties of $Π_n$.

The aim of this paper is to establish a lattice theoretical framework to study the partially ordered set $\operatorname{\mathsf{tors}} A$ of torsion classes over a finite-dimensional algebra $A$. We show that $\operatorname{\mathsf{tors}} A$ is a complete lattice which enjoys very strong properties, as bialgebraicity and complete semidistributivity. Thus its Hasse quiver carries the important part of its structure, and we introduce the brick labelling of its Hasse quiver and use it to study lattice congruences of $\operatorname{\mathsf{tors}} A$. In particular, we give a representation-theoretical interpretation of the so-called forcing order, and we prove that $\operatorname{\mathsf{tors}} A$ is completely congruence uniform. When $I$ is a two-sided ideal of $A$, $\operatorname{\mathsf{tors}} (A/I)$ is a lattice quotient of $\operatorname{\mathsf{tors}} A$ which is called an algebraic quotient, and the corresponding lattice congruence is called an algebraic congruence. The second part of this paper consists in studying algebraic congruences. We characterize the arrows of the Hasse quiver of $\operatorname{\mathsf{tors}} A$ that are contracted by an algebraic congruence in terms of the brick labelling. In the third part, we study in detail the case of preprojective algebras $Π$, for which $\operatorname{\mathsf{tors}} Π$ is the Weyl group endowed with the weak order. In particular, we give a new, more representation theoretical proof of the isomorphism between $\operatorname{\mathsf{tors}} k Q$ and the Cambrian lattice when $Q$ is a Dynkin quiver. We also prove that, in type $A$, the algebraic quotients of $\operatorname{\mathsf{tors}} Π$ are exactly its Hasse-regular lattice quotients.

Given two finite ordered sets $A = \{a_1, \ldots, a_m\}$ and $B = \{b_1, \ldots, b_n\}$, introduce the set of $m n$ outcomes of the game $O = \{(a, b) \mid a \in A, b \in B\} = \{(a_i, b_j) \mid i \in I = \{1, \ldots, m\}, j \in J = \{1, \ldots, n\}$. Two players, Alice and Bob, have the sets of strategies $X$ and $Y$ that consist of all monotone non-decreasing mappings $x: A \rightarrow B$ and $y: B \rightarrow A$, respectively. It is easily seen that each pair $(x,y) \in X \times Y$ produces at least one {\em deal}, that is, an outcome $(a,b) \in O$ such that $x(a) = b$ and $y(b) = a$. Denote by $G(x,y) \subseteq O$ the set of all such deals related to $(x,y)$. The obtained mapping $G = G_{m,n}: X \times Y \rightarrow 2^O$ is a game correspondence. Choose an arbitrary deal $g(x,y) \in G(x,y)$ to obtained a mapping $g : X \times Y \rightarrow O$, which is a game form. We will show that each such game form is tight and, hence, Nash-solvable, that is, for any pair $u = (u_A, u_B)$ of utility functions $u_A : O \rightarrow \mathbb R$ of Alice and $u_B: O \rightarrow \mathbb R$ of Bob, the obtained monotone bargaining game $(g, u)$ has at least one Nash equilibrium in pure strategies. Moreover, the same equilibrium can be chosen for all selections $g(x,y) \in G(x,y)$. We also obtain an efficient algorithm that determines such an equilibrium in time linear in $m n$, although the numbers of strategies $|X| = \binom{m+n-1}{m}$ and $|Y| = \binom{m+n-1}{n}$ are exponential in $m n$. Our results show that, somewhat surprising, the players have no need to hide or randomize their bargaining strategies, even in the zero-sum case.

We define spreadability systems as a generalization of exchangeability systems in order to unify various notions of independence and cumulants known in noncommutative probability. In particular, our theory covers monotone independence and monotone cumulants which do not satisfy exchangeability. To this end we study generalized zeta and Möbius functions in the context of the incidence algebra of the semilattice of ordered set partitions and prove an appropriate variant of Faa di Bruno's theorem. With the aid of this machinery we show that our cumulants cover most of the previously known cumulants. Due to noncommutativity of independence the behaviour of these cumulants with respect to independent random variables is more complicated than in the exchangeable case and the appearance of Goldberg coefficients exhibits the role of the Campbell-Baker-Hausdorff series in this context. In a final section we exhibit an interpretation of the Campbell-Baker-Hausdorff series as a sum of cumulants in a particular spreadability system, thus providing a new derivation of the Goldberg coefficients.

In the early 1970's, Richard Stanley and Kenneth Johnson introduced and laid the groundwork for studying the order polynomial of partially ordered sets (posets). Decades later, Hamaker, Patrias, Pechenik, and Williams introduced the term "doppelgangers": equivalence classes of posets under the equivalence relation given by equality of the order polynomial. We provide necessary and sufficient conditions on doppelgangers through application of both old and novel tools, including new recurrences and the Ur-operation: a new generalized poset operation. In addition, we prove that the doppelgangers of posets P of bounded height $|P|-k$ may be classified up to systems of $k$ diophantine equations in $2^{O(k^2)}$ time, and similarly that the order polynomial of such posets may be computed in $O(|P|)$ time.

Let $P(n)$ be the set of all posets with $n$ elements. Let $P^{(j)}(n)$, $1\leq j\leq 2^n,$ be the number of all posets with $n$ elements possessing exactly $j$ antichains. We have determined the numbers $P^{(j)}(7),$ $1\leq j\leq 128$, and using a result of M.~Erné [Erné, M., On the cardinalities of finite topologies and the number of antichains in partially ordered sets, Discrete Mathematics 35 (1981), 119-133.], we compute $|P(10)|$ without the aid of any computer program. We include the Hasse diagrams of all the non-isomorphic posets of $P(7)$. We also present formulas for the number of connected posets of certain forms, and use them to compute $|P(n)|$ with $1\le n\le 8$ by a different method.

We formulate conjectures giving combinatorial interpretations of the Ehrhart $h^*$-vector, for hypersimplices, for dilated simplices and for generic cross-sections of cubes, in terms of certain decorated ordered set partitions. All were formulated and checked computationally during our graduate study at Penn State.